אי-שוויון (מתמטיקה)

אי-שוויון הוא שם משותף לשני סוגי טענות במתמטיקה. הטענה הראשונה היא ששני ערכים a ו־b שונים זה מזה, שאותה מסמנים . הטענה השנייה היא שאחד מן הערכים גדול מהשני, שאותה מסמנים  או , טענה זו נקראת אי-שוויון חזק. הטענה שאחד הערכים גדול או שווה לשני, שאותה מסמנים  או , נקראת אי-שוויון חלש.

פעולות באי-שוויונות

יחס הסדר על הישר הממשי הוא ליניארי, כלומר, מבין כל שני מספרים שונים, אחד מוכרח להיות גדול מן השני. תכונה זו מאפשרת לשאול, בהינתן שני מספרים (או "תבניות מספר" - ערכים התלויים במשתנה אחד או יותר) a,b, איזה יחס הוא הנכון: , 
 או . בפרט, כל מספר ממשי אפשר להשוות לאפס - וכך מתקבלת החלוקה למספרים חיוביים, או בעלי "סימן חיובי" (אלו הגדולים מאפס) ושליליים, או בעלי "סימן שלילי" (אלו הקטנים מאפס).

משוואות כמו  אפשר לחבר, לחסר ולהכפיל (כל אגף בנפרד), והתוצאה המתקבלת היא משוואה חדשה. באי-שוויונות, הפעולות המותרות הבסיסיות הן כדלקמן: 
 אם  אז לכל c, ;
 אם  ו- חיובי, אז גם ; אם  שלילי, אז ;
 אם , אז גם .
החוק השני מקנה לאיבר האפס מעמד מיוחד. כפי שהכפל באיבר חיובי שומר על כיוון האי-שוויון, כפל באיבר שלילי תמיד הופך אותו. (בפתרון של אי-שוויונות קורה שמכפילים בגודל שהסימן שלו אינו ידוע, וכדי לשמור על האי-שוויון שהוכפל, יש לבדוק בנפרד את שתי האפשרויות).

מן החוקים שהוזכרו לעיל, יחד עם התכונות הבסיסיות של יחס הסדר (ובפרט, הטרנזיטיביות שלו) נובע גם ש-
 אם  ו-  אז ;
 אם  ו-  אז .

מערכת של אי-שוויונות ליניאריים 

האלגברה הליניארית עוסקת במערכות של משוואות ליניאריות בכמה נעלמים. הצעד הבסיסי בחקירת אי-שוויונות הוא הבנת המבנה הגאומטרי של מערכת השוויונות המתאימה (המתקבלת מהחלפת כל סימן אי-שוויון בסימן השוויון). כפי שמשוואה ליניארית מגבילה את הפתרון לעל-מישור (שממדו קטן ב-1 מממד המרחב המקורי), כל אי-שוויון מגביל את הפתרון לחצי המרחב ("מעל" לשוויון ומתחתיו). מערכת של אי-שוויונות מגדירה פאון (לאו-דווקא חסום), העשוי להיות ריק אם אין למערכת פתרון. בעיות אופטימיזציה על קבוצות כאלה כרוכות בתכנון ליניארי.

כדי שלמערכת של משוואות ליניאריות (כמו ) לא יהיה פתרון, מוכרחה להיות תלות ליניארית בין המשוואות. בדומה לזה, כדי שלמערכת של אי-שוויונות 
 
() לא יהיה פתרון, מוכרח להיות צירוף ליניארי עם מקדמים חיוביים של האי-שוויונות, השווה לאפס; כלומר, מוכרחים להיות קבועים , שאינם כולם אפס, כך ש- .

הכללה 

יחס הסדר המוגדר על שדה המספרים הממשיים הופך אותו לשדה סדור; הסימונים, הפעולות והתכונות של יחס הסדר של הממשיים חלים באותו אופן בכל שדה סדור.

קישורים חיצוניים 

 

 אי-שוויונות, באתר לרגו

אלגברה בסיסית
יחסים מתמטיים
קבוצות סדורות