Неједнакост

У математици, неједнакост је исказ о релативној величини или реду два предмета, или о томе да ли они исти или нису^[1] (Такође погледајте: једнакост)

Ознака -{a}- < -{b}- значи да је -{a}- мање од -{b}-.
Ознака -{a}- > -{b}- значи да је -{a}- веће од -{b}-.
Ознака -{a}- ≠ -{b}- значи да је -{a}- није једнако са -{b}-, али не говори да је једно веће од другог, или чак да се могу поредити по величини.^[2]

У свим овим случајевима, -{a}- није једнако са -{b}-, па постоји „неједнакост“.

Ове релације су познате као строге неједнакости

Ознака -{a}- ≤ -{b}- значи да је -{a}- мање или једнако са -{b}- (или, еквивалентно, не веће од -{b}-);
Ознака -{a}- ≥ -{b}- значи да је -{a}- веће или једнако са -{b}- (или, еквивалентно, не мање од -{b}-);

Ако је смисао неједнакости исти за све вредности променљивих за које су чланови неједнакости дефинисани, тада се неједнакост назива „апсолутном“ или „безусловном“ неједнакошћу. Ако смисао неједнакости важи само са одређене вредности променљивих, али је супротна или се поништава за друге вредности тих променљивих, тада се то назива „условна неједнакост“.

У инжењерским наукама, мање формална употреба нотације је да се каже да је једна величина „много већа“ од друге,^[3] обично за неколико редова величине.

Ознака a ≪ b значи да је a много мање од b.^[4]
Ознака a ≫ b значи да је a много веће од b.^[5]

Ово имплицира да се мања вредност може занемарити са малим утицајем на тачност апроксимације^[6]^[7] (као што је случај ултрарелативистичке границе у физици^[8]).

У свим горе наведеним случајевима, било која два симбола која се огледају један у другом су симетрична; a < b и b > a су еквивалентна, итд.

Особине

Неједнакостима се манипулише следећи особине. Ваља имати у виду да је за особине транзитивности, преокрета, сабирања, одузимања, множења и дељења, особина, такође, важи и када се знаци строге неједнакости (< и >) замене њиховим одговарајућим нестрогим знаковима неједнакости (≤ и ≥).

Трихотомија

Особина трихотомије каже да је:

За све реалне бројеве, -{a}- и -{b}-, тачно једно, од следећег, је тачно:

- -{a}- < -{b}-
- -{a}- = -{b}- ** -{a}- > -{b}-

Транзитивност

Транзитивност неједнакости каже да је:

За све реалне бројеве, -{a}-, -{b}-, -{c}-:

- Ако је -{a}- > -{b}- и -{b}- > -{c}-; тада је -{a}- > -{c}-
- Ако је -{a}- < -{b}- и -{b}- < -{c}-; тада је -{a}- < -{c}-

Сабирање и одузимање

Особине везане за сабирање и одузимање кажу да је:

За све реалне бројеве, -{a}-, -{b}-, -{c}-:
- Ако је -{a}- < -{b}-, тада је -{a}- + -{c}- < -{b}- + -{c}- i -{a}- − -{c}- < -{b}- − -{c}-
- Ако је -{a}- > -{b}-, тада је -{a}- + -{c}- > -{b}- + -{c}- и -{a}- − -{c}- > -{b}- − -{c}-

то јест, реални бројеви су уређена група.

Множење и дељење

Особине везане за множење и дељење кажу да је:

За све реалне бројеве, -{a}-, -{b}- и -{c}- различит од нуле:

- Ако је -{c}- позитиван и -{a}- < -{b}-, тада је -{ac}- < -{bc}- и -{a/c}- < -{b/c}-
- Ако је -{c}- негативан и -{a}- < -{b}-, тада је -{ac}- > -{bc}- и -{a/c}- > -{b/c}-

Општије, ово важи за уређено поље.

Адитивни инверз

Особине за адитивни инверз кажу да је:

За све реалне бројеве -{a}- и -{b}-

- Ако је -{a}- < -{b}-, тада је −-{a}- > −-{b}-
- Ако је -{a}- > -{b}-, тада је −-{a}- < −-{b}-

Мултипликативни инверз

Особине за мултипликативни инверз кажу да је:

За све реалне бројеве -{a}- и -{b}-, који су или оба позитивни или оба негативни
- Ако је -{a}- < -{b}-, тада је 1/-{a}- > 1/-{b}-
- Ако је -{a}- > -{b}-, тада је 1/-{a}- < 1/-{b}-

ако су или -{a}- или -{b}- негативни (али не оба), и -{b}- је различито од нуле, онда:
- Ако је -{a}- < -{b}-, тада је 1/-{a}- < 1/-{b}-
- Ако је -{a}- > -{b}-, тада је 1/-{a}- > 1/-{b}-

Неједнакости између средњих вредности

Шаблон:Main Постоји много неједнакости између средњих вредности. На пример, за било које позитивне бројеве -{a}-₁, -{a}-₂, …, -{a}-_-{n}-, важи да је -{x}- ≤ -{G}- ≤ -{a}- ≤ Q, где је

$H = \frac{n}{1 / a_{1} + 1 / a_{2} + \dots + 1 / a_{n}}$	(хармонијска средина),
$G = \sqrt[n]{a_{1} \cdot a_{2} \dots a_{n}}$	(геометријска средина),
$A = \frac{a_{1} + a_{2} + \dots + a_{n}}{n}$	(аритметичка средина),
$Q = \sqrt{\frac{a_{1}^{2} + a_{2}^{2} + \dots + a_{n}^{2}}{n}}$	(квадратна средина).

Неједнакости између геометријске и хармонијске средине

Нека је -{a}- било која -{n}--торка позитивних реалних бројева. Тада је

$G_{n} (a) \geq H_{n} (a)$

Доказ

$\sqrt[n]{a_{1} a_{2} . . . a_{n}} \geq \frac{n}{\frac{1}{a_{1}} + \frac{1}{a_{2}} + . . . + \frac{1}{a_{n}}}$

Применом аритметичко геометријске неједнакости на бројеве $\frac{1}{a_{1}}$ , $\frac{1}{a_{2}}$ ... $\frac{1}{a_{n}}$ добија се

$\sqrt[n]{\frac{1}{a_{1}} \frac{1}{a_{2}} . . . \frac{1}{a_{n}}} \leq \frac{\frac{1}{a_{1}} + \frac{1}{a_{2}} + . . . + \frac{1}{a_{n}}}{n}$

$\sqrt[n]{(a_{1} a_{2} . . . a_{n})^{- 1}} \leq \frac{\frac{1}{a_{1}} + \frac{1}{a_{2}} + . . . + \frac{1}{a_{n}}}{n}$

$\sqrt[n]{(a_{1} a_{2} . . . a_{n})^{- 1}} \leq (\frac{n}{\frac{1}{a_{1}} + \frac{1}{a_{2}} + . . . + \frac{1}{a_{n}}})^{- 1}$

$(a_{1} a_{2} . . . a_{n})^{1 / n} \geq \frac{n}{\frac{1}{a_{1}} + \frac{1}{a_{2}} + . . . + \frac{1}{a_{n}}}$

Једнакост вреди ако и само ако је $\frac{1}{a_{1}} = . . . = \frac{1}{a_{n}}$

Неједнакост између аритметичке и квадратне средине

Нека је -{a}- било која -{n}--торка позитивних реалних бројева. Тада је

$A_{n} (a) \leq K_{n} (a)$

Доказ

$(a_{1} + a_{2} + . . . + a_{n})^{2} = a_{1}^{2} + a_{2}^{2} + . . + a_{n}^{2} + 2 a - 1 a - 2 + 2 a_{2} a_{3} + . . . + a_{n - 1} a_{n}$

зна се да је

$a_{1}^{2} + a_{2}^{2} \geq 2 a_{1} a_{2}$ за $\forall a_{1}, a_{2} \in R$

$(a_{1} + a_{2} + . . . + a_{n})^{2} \leq (a_{1}^{2} + a_{2}^{2} + . . + a_{n}^{2}) + (a_{1}^{2} + a_{2}^{2}) + . . + (a_{n - 1}^{2} + a_{n}^{2}) \leq n (a_{1}^{2} + a_{2}^{2} + . . + a_{n}^{2})$

Изрази на обе стране су позитивни, добијена неједнакост се може кореновати чиме се долази до

$a_{1} + a_{2} + . . . + a_{n} \leq \sqrt{n (a_{1}^{2} + a_{2}^{2} + . . + a_{n}^{2})}$

$\frac{a_{1} + a_{2} + . . . + a_{n}}{n} \leq \sqrt{\frac{a_{1}^{2} + a_{2}^{2} + . . + a_{n}^{2})}{n}}$

Једнакост вреди ако и само ако је $a_{1} = a_{2} = . . . = a_{n}$

Неједнакости степена

Понекад са ознаком „степена неједнакост“ подразумевају једнакости које садрже израз типа -{a}-^-{b}-, где су -{a}- и -{b}- реални позитивни бројеви или изрази неких променљивих.

Примери

Ако је -{x}- > 0, тада је

x^{x} \geq {(\frac{1}{e})}^{1 / e} .

Ако је -{x}- > 0, тада је

x^{x^{x}} \geq x .

Ако је -{x}-, y, -{z}- > 0, тада је

(x + y)^{z} + (x + z)^{y} + (y + z)^{x} > 2 .

За било која два различита број -{a}- и -{b}-,

\frac{e^{b} - e^{a}}{b - a} > e^{(a + b) / 2} .

Ако је -{x}-, y > 0 и 0 < p < 1, tada je

(x + y)^{p} < x^{p} + y^{p} .

Ако је -{x}-, y, -{z}- > 0, тада је

x^{x} y^{y} z^{z} \geq (x y z)^{(x + y + z) / 3} .

Ако је -{a}-, -{b}->0, тада је

a^{b} + b^{a} > 1 .

Овај резултат уопштио је Р. Озолс 2002. године, када је доказано да ако је -{a}-₁, ..., -{a}-_n > 0, тада је

a_{1}^{a_{2}} + a_{2}^{a_{3}} + \dots + a_{n}^{a_{1}} > 1

(резултат је објављен у летонском научном часопису звездано небо; погледајте референце).

Комплексни бројеви и неједнакости

Скуп комплексних бројева $ℂ$ са својим операцијама сабирања и множења је поље, али није могуће дефинисати ниједну релацију ≤ тако да $(ℂ, +, \times, \leq)$ постане уређено поље. Да би $(ℂ, +, \times, \leq)$ постало уређено поље, оно мора да задовољи следећа два услова:

ако је -{a}- ≤ -{b}- тада је -{a}- + -{c}- ≤ -{b}- + -{c}-
ако је 0 ≤ -{a}- и 0 ≤ -{b}- тада је 0 ≤ -{a}- b

Пошто је ≤ тотално уређење, за свако -{a}-, или је 0 ≤ -{a}- или је -{a}- ≤ 0 (у том случају прва особина имплицира да је 0 ≤ $- a$ ). У оба случаја је 0 ≤ -{a}-²; ово значи да је $i^{2} > 0$ и $1^{2} > 0$ ; па је $- 1 > 0$ и $1 > 0$ , што значи да је $(- 1 + 1) > 0$ , што је контрадикција.

Међутим, оператор ≤ се може дефинисати тако да задовољава први услов („ако је -{a}- ≤ -{b}- тада је -{a}- + -{c}- ≤ -{b}- + -{c}-“). Понекад се користи лексикографски поредак:

a ≤ b ако је $R e (a)$ < $R e (b)$ или ( $R e (a) = R e (b)$ и $I m (a)$ ≤ $I m (b)$ )

Може се лако доказати да за ову дефиницију -{a}- ≤ -{b}- имплицира -{a}- + -{c}- ≤ -{b}- + -{c}-.

Векторске неједнакости

Релације неједнакости сличне оним дефинисаним горе се могу такође дефинисати за вектор колону. Ако се узму вектори $x, y \in ℝ^{n}$ (што значи да је $x = {(x_{1}, x_{2}, \dots, x_{n})}^{T}$ и $y = {(y_{1}, y_{2}, \dots, y_{n})}^{T}$ где су $x_{i}$ и $y_{i}$ реални бројеви за $i = 1, \dots, n$ ), могу се дефинисати следеће релације:

$x = y$ ако је $x_{i} = y_{i}$ за $i = 1, \dots, n$
$x < y$ ако је $x_{i} < y_{i}$ за $i = 1, \dots, n$
$x \leq y$ ако је $x_{i} \leq y_{i}$ за $i = 1, \dots, n$ and $x \neq y$
$x ≦ y$ ако је $x_{i} \leq y_{i}$ за $i = 1, \dots, n$

Слично томе, могу се дефинисати релације за $x > y$ , $x \geq y$ , и $x ≧ y$ .

Може се уочити да је особина трихотомије није валидна за векторске релације. Ако се размотри случај где је $x = {[2, 5]}^{T}$ и $y = {[3, 4]}^{T}$ , види се да не постоји валидан однос неједнакости између ова два вектора. Такође неопходно је да се дефинише мултипликативни инверз пре него што се овај услов размотри. Међутим, за остатак горе поменутих особина, постоји паралелна особина за векторске неједнакости.

Добро познате неједнакости

Шаблон:Главни

Математичари често користе неједнакости да ограниче величине за које се тачне формуле не могу израчунати лако. Неке неједнакости се користе тако често, да чак имају своје називе:

Види још

Бинарна релација
Заграда за употребу знакова < и > као заграда
Фурије-Моцкинова елиминација
Неједначина
Интервал (математика)
Делимично уређен скуп
Оператор релације, користи се у програмским језицима како би се означила неједнакост

Референце

Шаблон:Reflist

Литература

Шаблон:Литература

Шаблон:Литература крај

Спољашње везе

Шаблон:Commons category

интерактивне линеарне неједнакости и графикони на www.mathwarehouse.com
Решавање неједнакости
WebGraphing.com - калкулатор за цртање графика неједнакости.
График неједнакости од Еда Пега, Wolfram Demonstrations Project.
Шаблон:Springer
AoPS Wiki entry about Inequalities

Шаблон:Нормативна контрола Шаблон:Портал бар

↑ Шаблон:Cite web
↑ Шаблон:Cite web
↑ Шаблон:Cite book
↑ Шаблон:Cite web
↑ Шаблон:Cite web
↑ The Concise Oxford Dictionary, Eighth edition 1990, Шаблон:ISBN
↑ Longman Dictionary of Contemporary English, Pearson Education Ltd 2009, Шаблон:ISBN
↑ Шаблон:Cite journal

[:0-1] Шаблон:Cite web

[:1-2] Шаблон:Cite web

[Polyanin2006-3] Шаблон:Cite book

[4] Шаблон:Cite web

[5] Шаблон:Cite web

[6] The Concise Oxford Dictionary, Eighth edition 1990, Шаблон:ISBN

[7] Longman Dictionary of Contemporary English, Pearson Education Ltd 2009, Шаблон:ISBN

[8] Шаблон:Cite journal

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

Неједнакост

Садржај

Особине

Трихотомија

Транзитивност

Сабирање и одузимање

Множење и дељење

Адитивни инверз

Мултипликативни инверз

Неједнакости између средњих вредности

Неједнакости између геометријске и хармонијске средине

Неједнакост између аритметичке и квадратне средине

Неједнакости степена

Примери

Комплексни бројеви и неједнакости

Векторске неједнакости

Добро познате неједнакости

Види још

Референце

Литература

Спољашње везе

Мени за навигацију

Неједнакост

Особине

Трихотомија

Транзитивност

Сабирање и одузимање

Множење и дељење

Адитивни инверз

Мултипликативни инверз

Неједнакости између средњих вредности

Неједнакости између геометријске и хармонијске средине

Неједнакост између аритметичке и квадратне средине

Неједнакости степена

Примери

Комплексни бројеви и неједнакости

Векторске неједнакости

Добро познате неједнакости

Види још

Референце

Литература

Спољашње везе

Мени за навигацију

Претрага