O inegalitate liniară este o inegalitate care implică funcții liniare . O inegalitate liniară conține unul dintre simbolurile inegalității [1]
și de asemenea (formal)
O inegalitate liniară arată exact ca o ecuație liniară , dar în loc de un semn egal, se pune un semn de inegalitate.
Inegalitățile liniare bidimensionale sunt expresii de forma:
șiunde inegalitățile pot fi sau nu stricte. Mulțimea soluțiilor unei astfel de inegalități poate fi reprezentată grafic ca un semiplan (toate punctele de pe „una dintre părți” unei linii fixe) al planului euclidian [2] . Linia care definește semiplanul ( ax + by = c ) nu este inclusă în soluție dacă inegalitatea este strictă. O procedură simplă pentru a determina care dintre semiplanuri este soluția este de a calcula valoarea funcției ax + by într-un punct ( x 0 , y 0 ) care nu este pe o dreaptă și de a verifica dacă acest punct satisface inegalitatea .
De exemplu [3] , pentru a desena o soluție x + 3 y < 9, mai întâi trageți o linie cu ecuația x + 3 y = 9 (linie întreruptă) pentru a arăta că linia nu aparține zonei soluției, deoarece inegalitatea este strict. Apoi alegem un punct convenabil care nu este pe linie, cum ar fi (0,0). Deoarece 0 + 3(0) = 0 < 9, acest punct aparține mulțimii de soluții ale inegalității, iar semiplanul care conține acest punct (semiplanul „sub” dreptă) este mulțimea soluțiilor la inegalitatea liniară.
În spațiul R n , inegalitățile liniare sunt expresii care pot fi scrise ca
sauunde f este o formă liniară , și b este o valoare reală constantă.
Mai precis, aceasta poate fi scrisă ca
sau
Aici se numesc necunoscute, dar se numesc coeficienți.
Alternativ, același lucru poate fi scris ca
sauunde g este o funcție afină [4]
Acesta este
sau
Rețineți că orice inegalitate care conține semnele „mai mare decât” sau „mai mare decât sau egal cu” poate fi rescrisă într-o inegalitate cu semnele „mai puțin decât” sau „mai mic decât sau egal cu”, deci nu este nevoie să definiți inegalitățile liniare. cu aceste semne.
Un sistem de inegalități liniare este un set de inegalități cu aceleași variabile:
Aici sunt variabile, sunt coeficienți de sistem și sunt termeni constanți.
Pe scurt, aceasta poate fi scrisă ca o inegalitate matriceală
unde A este o matrice m × n , x este un vector coloană n ×1 de variabile și b este un vector coloană m ×1 de constante.
În sistemele descrise mai sus, pot fi folosite atât inegalitățile stricte, cât și cele nestrictive.
Mulțimea soluțiilor unei inegalități reale formează un semi -spațiu al spațiului real n - dimensional, unul dintre cele două semi-spații definite de ecuația liniară corespunzătoare.
Mulțimea soluțiilor sistemului de inegalități liniare corespunde intersecției semi-spațiilor definite de inegalități individuale. Este o mulțime convexă deoarece semi-spațiile sunt mulțimi convexe, iar intersecția unei mulțimi de mulțimi convexe este, de asemenea, o mulțime convexă. În cazurile nedegenerate, această mulțime convexă este un poliedru convex (posibil nemărginit, cum ar fi un semi-spațiu, o placă între două semi-spații paralele sau un con convex ). Poate fi, de asemenea, un poliedru gol sau convex de dimensiune inferioară delimitat de un subspațiu afin al spațiului n - dimensional R n .
Programare liniarăProblema programării liniare este căutarea optimului (valoarea maximă sau minimă) a unei funcții (numită funcție obiectiv ) sub un anumit set de constrângeri asupra variabilelor, care, în general, sunt inegalități liniare [5] . Lista acestor restricții este un sistem de inegalități liniare.
Definiția de mai sus necesită operații bine definite de adunare , înmulțire și comparare . Prin urmare, noțiunea de inegalitate liniară poate fi extinsă la inele ordonate și, în special, la câmpuri ordonate . Generalizările de acest tip sunt doar de interes teoretic până când aplicațiile acestor generalizări devin clare.