חשבון אינפיניטסימלי/חסימות ואיבר מינימלי: הבדלים בין גרסאות בדף

תוכן שנמחק תוכן שנוסף
Mathreturn (שיחה | תרומות)
Mathreturn (שיחה | תרומות)
אין תקציר עריכה
שורה 1:
{{הגדרה|
מספר=1|
שם=איבר מינימלימינמום של קבוצה|
תוכן=יהי <math>\mathbb{F}(+,*,<)</math> שדה סדור ותהי תת קבוצה <math>A\subseteq \mathbb{F}</math>.
 
שורה 8:
{{טענה|
מספר=1|
שם=איבר מינמלימינמום הוא יחיד|
תוכן=נניח בשלילה כי קיימים שני חסמים תחתונים מינמלים: <math>m_1,m_2</math> מתקים:
תוכן=
 
עבור <math>m_1</math>: <math>\exists m_1\in A \ \ \forall a\in A \ \ \ m_1\le a</math> על כן <math>m_2\ge m_1</math>
 
עבור <math>m_2</math>: <math>\exists m_2\in A \ \ \forall a\in A \ \ \ m_2\le a</math> על כן <math>m_1\ge m_2</math>
 
מכאן ש-<math>m_1=m_2</math>
 
}}