Epäyhtälö

Epäyhtälöllä tarkoitetaan kahden lausekkeen suuruusjärjestystä vertailevia yhtälöitä. Epäyhtälöitä käytetään monissa optimointiin liittyvissä ongelmissa. Koska reaaliluvut on mahdollista laittaa suuruusjärjestykseen, niiden osalta saadaan monia epäyhtälöitä.

Epäyhtälöitä voidaan käsitellä pitkälti kuin yhtälöitä, mutta puolittain negatiivisella luvulla kerrottaessa tai jaettaessa suuruusjärjestys kääntyy. Esimerkiksi jos ${\displaystyle {\frac {x}{-5}}<1}$ niin ${\displaystyle x>-5}$.

• Merkintä ${\displaystyle a<b\!\ }$ tarkoittaa a on pienempi kuin b ja
• merkintä ${\displaystyle a>b\!\ }$ tarkoittaa että a on suurempi kuin b.

Nämä suhteet tunnetaan tiukkana epävastaavuutena ^lähde?, kun taas

• ${\displaystyle a\leq b}$ merkitsee, että a on pienempi tai yhtä suuri kuin b;
• ${\displaystyle a\geq b}$ merkitsee, että a on suurempi tai yhtä suuri kuin b;
• ${\displaystyle a\not >b}$ merkitsee, että a ei ole suurempi kuin b ja
• ${\displaystyle a\not <b}$ merkitsee, että a ei ole pienempi kuin b.

Kuuluisia epäyhtälöitä

• Kolmioepäyhtälö
• Cauchyn–Schwarzin epäyhtälö
• Suuruusjärjestysepäyhtälö
• Hölderin epäyhtälö
• Jensenin epäyhtälö

Esimerkkejä

Epäyhtälö

${\displaystyle x^{2}+6\geq 5|x|}$

toteutuu, kun^[1]

${\displaystyle x\leq -3,-2\leq x\leq +2,x\geq 3}$.

Pienempi kuin

Pienempi kuin on kaksipaikkainen relaatio, jota käytetään reaalilukujen vertailuun. Sille käytetään merkkiä ${\displaystyle <}$. Esimerkiksi lausekkeet ${\displaystyle 3<5}$ ja ${\displaystyle -5<-3}$ ovat tosia. Relaatiolle on voimassa transitiivisuus, eli jos ${\displaystyle a<b}$ ja ${\displaystyle b<c}$, niin ${\displaystyle a<c}$.

Suurempi tai yhtäsuuri kuin

Suurempi tai yhtäsuuri kuin on myös reaalilukujen kaksipaikkainen relaatio, jota käytetään reaalilukujen vertailuun. Tämä relaatio on esimerkki järjestysrelaatiosta.

Suurempi tai yhtäsuuri kuin -relaatiota merkitään symbolilla ≥. a ≥ b, luetaan a on suurempi tai yhtäsuuri kuin b.

Esimerkki käytöstä: ${\displaystyle 2\geq 1}$, koska ${\displaystyle 2-1\in \mathbb {N} _{0}}$ (N_0).