Nejednakost

Grafika rešenja sistema lineranih nejednakosti.

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 manje od b.
• 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 Šablon:Unicode b znači da je a mnogo manje od b.
• Oznaka a Šablon:Unicode 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 (< i >) 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
  • a = b ** 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 i b = c; tada je a > c
  • Ako je a < b i b = c; tada je a < c

Sabiranje i oduzimanje

Osobine vezane za sabiranje i oduzimanje kažu da je:

• Za sve realne brojeve, a, b, c:
  • Ako je a < b, tada je a + c < b + c i a − c < b − 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 < b, tada je ac < bc i a/c < b/c
  • Ako je c negativan i a < b, tada je ac > 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 < b, tada je −a > −b
  • Ako je a > b, tada je −a < −b

Multiplikativni inverz

Osobine za multiplikativni inverz kažu da je:

• Za sve realne brojeve a i b, koji su ili oba pozitivni ili oba negativni
  • Ako je a < b, tada je 1/a > 1/b
  • Ako je a > b, tada je 1/a < 1/b
• ako su ili a ili b negativni (ali ne oba), i b je različito od nule, onda:
  • Ako je a < b, tada je 1/a < 1/b
  • Ako je a > b, tada je 1/a > 1/b

Nejednakosti između srednjih vrednosti

Šablon:Main Postoji mnogo nejednakosti između srednjih vrednosti. Na primer, za bilo koje pozitivne brojeve a₁, a₂, …, a_n, važi da je x ≤ G ≤ a ≤ Q, gde je

$H=\frac{n}{1/a_1+1/a_2+\cdots +1/a_n}$	(harmonijska sredina),
$G=\sqrt[n]{a_1\cdot a_2\cdots a_n}$	(geometrijska sredina),
$A=\frac{a_1+a_2+\cdots +a_n}{n}$	(aritmetička sredina),
$Q=\sqrt{\frac{a_1^2+a_2^2+\cdots +a_n^2}{n}}$	(kvadratna sredina).

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 < p < 1, tada je

$(x+y{)}^p<x^p+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₁, ..., 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 $ℂ$ sa svojim operacijama sabiranja i množenja je polje, ali nije moguće definisati nijednu relaciju ≤ tako da $(ℂ,+,\times ,\le )$ postane uređeno polje. Da bi $(ℂ,+,\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²; 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 {ℝ}^n$ (što znači da je $x={(x_1,x_2,\dots ,x_n)}^T$ i $y={(y_1,y_2,\dots ,y_n)}^T$ gde su $x_i$ i $y_i$ realni brojevi za $i=1,\dots ,n$), mogu se definisati sledeće relacije:

• $x=y$ ako je $x_i=y_i$ za $i=1,\dots ,n$
• $x<y$ ako je $x_i<y_i$ za $i=1,\dots ,n$
• $x\le y$ ako je $x_i\le y_i$ za $i=1,\dots ,n$ and $x\ne y$
• $x\leqq y$ ako je $x_i\le y_i$ za $i=1,\dots ,n$

Slično tome, mogu se definisati relacije za $x>y$, $x\ge 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={[2,5]}^T$ i $y={[3,4]}^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 < i > 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

• Šablon:Cite book
• Šablon:Cite book
• Šablon:Cite book
• Šablon:Cite paper Šablon:Webarchive
• Šablon:Cite web
• Šablon:Cite web
• Šablon:Cite paper
• Šablon:Cite book

Vanjske veze

• interaktivne linearne nejednakosti i grfikoni na www.mathwarehouse.com
• Rešavanje nejednakosti
• WebGraphing.com Šablon:Webarchive – kalkulator za crtanje grafika nejednakosti.
• Grafik nejednakosti od Eda Pega, Wolfram Demonstrations Project.