Nejednakost

U matematici, **nejednakost** je iskaz o relativnoj veličini ili redu dva predmeta, *ili* o tome da li oni isti ili nisu (Takođe pogledajte: jednakost)
* Oznaka *a*  *b* znači da je *a* **veće od** *b*.
* Oznaka *a* ≠ *b* znači da je *a* **nije jednako sa** *b,* ali ne govori da je jedno veće od drugog, ili čak da se mogu porediti po veličini.
U svim ovim slučajevima, *a* nije jednako sa *b,* pa postoji „nejednakost“.

Ove relacije se poznate kao **stroge nejednakosti**
* Oznaka *a* ≤ *b* znači da je *a* **manje ili jednako sa** *b* (ili, ekvivalentno, **ne veće od** *b*);
* Oznaka *a* ≥ *b* znači da je *a* **veće ili jednako sa** *b* (ili, ekvivalentno, **ne manje od** *b*);

Postoje i oznake kojim se govori da je jedna veličina mnogo veća od druge, najčešće za nekoliko redova veličine.
* Oznaka *a*  *b* znači da je *a* **mnogo manje od** *b*.
* Oznaka *a*  *b* znači da je *a* **mnogo veće od** *b*.

Ako je smisao nejednosti isti za sve vrednosti promenljivih za koje su članovi nejednakosti definisani, tada se nejednakost naziva „apsolutnom“ ili „bezuslovnom“ nejednakošću. Ako smisao nejednakosti važi samo sa određene vrednosti promenljivih, ali je suprotna ili se poništava za druge vrednosti tih promenljivih, tada se to naziva „uslovna nejednakost“.

## Osobine
Nejednakostima se manipuliše sledeći osobine. Valja imati u vidu da je za osobine tranzitivnosti, preokreta, sabiranja, oduzimanja, množenja i deljenja, osobina, takođe, važi i kada se znaci stroge nejednakosti () zamene njihovim odgovarajućim nestrogim znakovima nejednakosti (≤ i ≥).

### Trihotomija
Osobina trihotomije kaže da je:
* Za sve realne brojeve, *a* i *b*, tačno jedno, od sledećeg, je tačno:
** *a*  *b*

### Tranzitivnost
Tranzitivnost nejednakosti kaže da je:
* Za sve realne brojeve, *a*, *b*, *c*:
** Ako je *a* > *b* i *b* > *c*; tada je *a* > *c*
** Ako je *a*  *b* i *b* = *c*; tada je *a* > *c*
** Ako je *a*  *b*, tada je *a* + *c* > *b* + *c* i *a* − *c* > *b* − *c*

to jest, realni brojevi su uređena grupa.

### Množenje i deljenje
Osobine vezane za množenje i deljenje kažu da je:
* Za sve realne brojeve, *a*, *b* i *c* različit od nule:
** Ako je *c* pozitivan i *a*  *bc* i *a/c* > *b/c*

Opštije, ovo važi za uređeno polje.

### Aditivni inverz
Osobine za aditivni inverz kažu da je:
* Za sve realne brojeve *a* i *b*
** Ako je *a*  &minus;*b*
** Ako je *a* > *b*, tada je &minus;*a*  1/*b*
** Ako je *a* > *b*, tada je 1/*a*  *b*, tada je 1/*a* > 1/*b*

## Nejednakosti između srednjih vrednosti

Postoji mnogo nejednakosti između srednjih vrednosti. Na primer, za bilo koje pozitivne brojeve *a*1, *a*2, …, *a**n*, važi da je *x* &le; *G* &le; *a* &le; *Q*, gde je
:

## Nejednakosti stepena
Ponekad sa oznakom „**stepena nejednakost**“ podrazumevaju jednakosti koje sadrže izraz tipa *a**b*, gde su *a* i *b* realni pozitivni brojevi ili izrazi nekih promenljivih.

### Primeri
* Ako je *x* > 0, tada je
:: x^x \ge \left( \frac{1}{e}\right)^{1/e}.\,
* Ako je *x* > 0, tada je
:: x^{x^x} \ge x.\,
* Ako je *x*, *y*, *z* > 0, tada je
:: (x+y)^z + (x+z)^y + (y+z)^x > 2.\,
* Za bilo koja dva različita broj *a* i *b*,
:: \frac{e^b-e^a}{b-a} > e^{(a+b)/2}.
* Ako je *x*, *y* > 0 i 0 (x+y)^p 
* Ako je *x*, *y*, *z* > 0, tada je
:: x^x y^y z^z \ge (xyz)^{(x+y+z)/3}.\,
* Ako je *a*, *b* > 0, tada je
:: a^{ea} + b^{eb} \ge a^{eb} + b^{ea}.\,
* Ako je *a*, *b*>0, tada je
:: a^b + b^a > 1.\,
: Ovaj rezultat uopštio je R. Ozols 2002. godine, kada je dokazato da ako je *a*1,&nbsp;...,&nbsp;*a**n* > 0, tada je
:: a_1^{a_2}+a_2^{a_3}+\cdots+a_n^{a_1}>1
: (rezultat je objevljen u letonskom naučnom časopisu *zvezdano nebo*; pogledajte reference).

## Kompleksni brojevi i nejadnakosti
Skup kompleksnih brojevas \mathbb{C} sa svojim operacijama sabiranja i množenja je polje, ali nije moguće definisati nijednu relaciju ≤ tako da (\mathbb{C},+,\times,\le) postane uređeno polje. Da bi (\mathbb{C},+,\times,\le) postalo uređeno polje, ono mora da zadovolji sledeća dva uslova:
* ako je *a* ≤ *b* tada je *a* + *c* ≤ *b* + *c*
* ako je 0 ≤ *a* i 0 ≤ *b* tada je 0 ≤ *a b*

Pošto je ≤ totalno uređenje, za svako *a*, ili je 0 ≤ *a* ili je *a* ≤ 0 (u tom slučaju prva osobina implicira da je 0 ≤ -a). U oba slučaja je 0 ≤ *a*2; ovo znači da je i^2>0 i 1^2>0; pa je -1>0 i 1>0, što znači da je (-1+1)>0, što je kontradikcija.

Međutim, operator ≤ se može definisati tako da zadovoljava prvi uslov („ako je *a* ≤ *b* tada je *a* + *c* ≤ *b* + *c*“). Ponekad se koristi leksikografski poredak:
* a ≤ b ako je  Re(a) Re(b) ili (Re(a) = Re(b) i Im(a) ≤ Im(b))
Može se lako dokazati da za ovu definiciju *a* ≤ *b* implicira *a* + *c* ≤ *b* + *c*.

## Vektorske nejednakosti
Relacije nejadnakosti slične onim definisanim gore se mogu takođe definisati za vektor kolonu. Ako se uzmu vektori x,y\in\mathbb{R}^n (što znači da je x = \left(x_1,x_2,\ldots,x_n\right)^T i y = \left(y_1,y_2,\ldots,y_n\right)^T gde su x_i i y_i realni brojevi za i=1,\ldots,n), mogu se definisati sledeće relacije:
* x = y \  ako je x_i = y_i\  za i=1,\ldots,n
* x  ako je x_i  za i=1,\ldots,n
* x \leq y  ako je x_i \leq y_i  za i=1,\ldots,n and x \neq y
* x \leqq y  ako je x_i \leq y_i  za i=1,\ldots,n

Slično tome, mogu se definisati relacije za  x > y ,  x \geq y , i  x \geqq y .

Može se uočiti da je osobina trihotomije nije validna za vektorske relacije. Ako se razmotri slučaj gde je x = \left[ 2, 5 \right]^T  i y = \left[ 3, 4 \right]^T , vidi se da ne postoji velidan odnos nejednakosti između ova dva vektora. Takođe neophodno je da se definiše multiplikativni inverz pre nego što se ovaj uslov razmotri. Međutim, za ostatak gore pomenutih osobina, postoji paralelna osobina za vektorske nejednakosti.

## Dobro poznate nejednakosti

Matematičari često koriste nejednakosti da ograniče veličine za koje se tačne formule ne mogu izračunati lako. Neke nejednakosti se koriste tako često, da čak imaju svoje nazive:

* Azumaova nejednakost
* Bernulijeva nejednakost
* Bulova nejednakost
* Koši–Švarcova nejednakost
* Čebiševljeva nejednakost
* Černofljeva nejednakost
* Kramer-Raova nejednakost
* Hefdingova nejednakost
* Helderova nejednakost
* Nejednakost aritmetičkih i geometrijskih sredina
* Jensenova nejednakost
* Kolgomorova nejednakost
* Markovljeva nejednakost
* nejednakost Minkovskog
* Nezbitova nejednakost
* Pedeova nejednakost
* Poenkareova nejednakost
* Nejednakost trougla


## Povezano
* Binarna relacija
* Zagrada za upotrebu znakova  kao zagrada
* Furije-Mockinova eliminacija
* Nejednačina
* Interval (matematika)
* Delimično uređen skup
* Operator relacije, koristi se u programskim jezicima kako bi se označila nejednakost

## Izvori
* 
* 
* 
*  
* 
* 
*  
* 

## Vanjske veze
* interaktivne linearne nejednakosti i grfikoni na www.mathwarehouse.com
* Rešavanje nejednakosti
* WebGraphing.com  &ndash; kalkulator za crtanje grafika nejednakosti.
* Grafik nejednakosti od Eda Pega, Wolfram Demonstrations Project.