הצגת המקור של הדף "איבר מינימלי ומקסימלי"

{{חומר רקע|[[סדר חלקי]]}}
ב[[מתמטיקה]], ובפרט ב[[תורת הקבוצות]], '''איבר מינימלי''' ו'''איבר מקסימלי''' הם איברים ב[[תת-קבוצה]] של [[קבוצה סדורה]] שעבורם אין באותה קבוצה איבר קטן יותר או גדול יותר מהם בהתאמה. חשיבותם של איברים אלה בכך שהם לרוב מקיימים תכונות מסוימות המאפשרות לחקור את הקבוצה הסדורה הכוללת או אובייקט מתמטי אחר.

== הגדרה מתמטית ==
בהינתן [[קבוצה סדורה חלקית]] <math>(A,\le)</math> ותת-קבוצה <math>S\subseteq A</math>, מגדירים כי:<ref>{{צ-ספר|שם=Ordered Sets|קישור=https://www.google.com/books/edition/Ordered_Sets/z_aoL8CiPfgC|מו"ל=Springer Science & Business Media|שנת הוצאה=2005-02-17|ISBN=978-0-387-24219-4|מחבר=Egbert Harzheim|שפה=en}}</ref>
* איבר <math>s\in S</math> ייקרא '''איבר מינימלי ב-'''<math>S</math> (או '''איבר מזערי''') [[אם ורק אם]] לכל <math>a\in S</math> המקיים <math>a \le s</math>, מתקיים בהכרח ש-<math>a=s</math>.
* איבר <math>s\in S</math> ייקרא '''איבר מקסימלי ב-'''<math>S</math> (או '''איבר מרבי''') [[אם ורק אם]] לכל <math>a\in S</math> המקיים <math>s\le a</math>, מתקיים בהכרח ש-<math>a=s</math>.

כלומר, איבר מרבי הוא איבר ב-<math>S</math> כך שלא קיים איבר גדול ממנו ב-<math>S</math>. באופן דואלי, איבר מזערי הוא איבר ב-<math>S</math> שלא קיים איבר קטן ממנו.

כאשר הקבוצה <math>S</math> ברורה מההקשר, או במקרה שבו <math>S=A</math>, ניתן לקרוא לאיבר המזערי ב-<math>S</math> '''איבר מזערי''' ללא ציון הקבוצה שבה הוא מזערי. הדבר נכון גם עבור איבר מרבי ב-<math>S</math>.

לא לכל קבוצה קיים בהכרח איבר מינימלי או מקסימלי. מצד שני, ייתכנו בקבוצה כלשהי יותר מאיבר מינימלי אחד או יותר מאיבר מקסימלי אחד.

== איבר קטן ביותר וגדול ביותר ==
בהינתן קבוצה סדורה חלקית <math>(A,\le)</math> ותת-קבוצה <math>S\subseteq A</math>, מגדירים כי:
* איבר <math>s\in S</math> ייקרא '''מינימום ב-'''<math>S</math> (או '''האיבר הקטן ביותר ב-<math>S</math>''') [[אם ורק אם]] לכל <math>a\in S</math> מתקיים ש-<math>s\le a</math>.
* איבר <math>s\in S</math> ייקרא '''מקסימום ב-'''<math>S</math> (או '''האיבר הגדול ביותר ב-<math>S</math>''') [[אם ורק אם]] לכל <math>a\in S</math> מתקיים ש-<math>a \le s</math>.
כלומר, מינימום ב-<math>S</math> הוא איבר ב-<math>S</math> שכל איברי <math>S</math> גדולים ממנו. לחלופין, מקסימום ב-<math>S</math> הוא איבר ב-<math>S</math> שכל איבר <math>S</math> קטנים ממנו.

ניתן להוכיח כי כל מינימום ב-<math>S</math> הוא איבר מינימלי ב-<math>S</math>, ובאופן זהה כל מקסימום ב-<math>S</math> הוא איבר מקסימלי ב-<math>S</math>. ההפך אינו בהכרח נכון.

לכל קבוצה יש לכל היותר מקסימום אחד ומינימום אחד. עם זאת, ישנן קבוצות שאין להן מינימום או מקסימום.

== תכונות ==
* בכל קבוצה סדורה [[קבוצה סופית|סופית]] קיים איבר מינימלי ואיבר מקסימלי.
* בכל [[קבוצה מכוונת מעלה]], אם בתת-קבוצה כלשהי קיים איבר מקסימלי, הוא בהכרח האיבר הגדול ביותר בה. באופן זהה, עבור [[קבוצה מכוונת מטה]], אם בתת-קבוצה כלשהי קיים איבר מינימלי, הוא בהכרח האיבר הקטן ביותר בה.
* התכונה לעיל נכונה בפרט עבור קבוצה סדורה באופן [[סדר מלא|מלא]].
* עבור קבוצה סדורה <math>(A,\le)</math> ותת-קבוצה <math>S\subseteq A</math>, <math>a\in S</math> הוא איבר מינימלי ב-<math>S</math> לפי <math>\le</math> ורק אם הוא איבר מקסימלי ב-<math>S</math> לפי ה[[יחס הפוך|יחס ההפוך]] <math>\ge</math>.

== דוגמה ==
[[קובץ:Hasse diagram of powerset of 3.svg|טקסט=דיאגרמת הסה של קבוצת החזקה של קבוצה בת שלושה איברים|ממוזער|[[דיאגרמת הסה]] של הקבוצה <math>\mathcal{B}</math>]]
בהינתן הקבוצה <math>A=\left\{x,y,z\right\}</math> מתבוננים ב[[קבוצת החזקה]] שלה <math>\mathcal{B}:=\mathcal{P}(A)</math>. 

קבוצה זו היא קבוצה סדורה חלקית לפי יחס ההכלה <math>\subseteq</math>. בקבוצה זו, [[הקבוצה הריקה]] היא מינימום, ובפרט איבר מינימלי. באופן דומה, בקבוצה זו <math>A</math> היא מקסימום, ולכן איבר מקסימלי.

בקבוצה <math>\mathcal{B}</math> המונחים "איבר מינימלי" ו"איבר מקסימלי" מתלכדים עם המונחים "האיבר הקטן ביותר" ו"האיבר הגדול ביותר" בהתאמה.
[[קובץ:Hasse diagram of powerset of 3 no greatest or least.svg|טקסט=דיאגרמת הסה של קבוצת החזקה של קבוצה בת שלושה איברים, ללא הקבוצה הריקה והקבוצה עצמה|ממוזער|דיאגרמת הסה של הקבוצה <math>\mathcal{C}</math>]]
כעת, מגדירים את הקבוצה <math>\mathcal{C}:=\mathcal{B}\backslash\left\{\emptyset, A\right\}</math>. גם קבוצה זו היא סדורה לפי יחס ההכלה.

ניתן להבחין כי בקבוצה <math>\mathcal{C}</math> יש שלושה איברים מינימליים והם <math>\left\{x\right\}</math>, <math>\left\{y\right\}</math> ו-<math>\left\{z\right\}</math>. כמו כן, ב-<math>\mathcal{C}</math> יש שלושה איברים מקסימליים והם <math>\left\{x,y\right\}</math>, <math>\left\{x,z\right\}</math> ו-<math>\left\{y,z\right\}</math>. עם זאת, בקבוצה <math>\mathcal{C}</math> אין מינימום ואין מקסימום.

זוהי דוגמה לכל שהמונחים איבר מקסימלי ומקסימום אינם זהים, וכן איבר מינימלי ומינימום אינם זהים. 

== שימושים ==
=== תורת הקבוצות ===
{{הפניה לערך מורחב|הלמה של צורן}}
בתורת הקבוצות, אחת התוצאות החשובות ביותר הנוגעות לאיברים מינימליים ומקסימליים היא [[הלמה של צורן]], הקובעת כי כל עבור כל קבוצה סדורה שבה לכל [[שרשרת (מתמטיקה)|שרשרת]] יש [[חסם עליון]], יש בהכרח איבר מקסימלי.<ref>{{קישור כללי|כתובת=https://mathworld.wolfram.com/ZornsLemma.html|הכותב=Eric W. Weisstein|כותרת=Zorn's Lemma|אתר=mathworld.wolfram.com|שפה=en|תאריך_וידוא=2025-01-18}}</ref> [[למה (מתמטיקה)|למה]] זו משמשת ככלי בסיסי בהוכחת משפטים חשובים רבים במתמטיקה כגון קיומו של [[בסיס (אלגברה ליניארית)|בסיס]] לכל [[מרחב וקטורי]], [[משפט טיכונוף]], [[משפט ההרחבה של שפילריין]] {{אנג|Szpilrajn_extension_theorem|Szpilrajn extension theorem}} וכו'.

הוכחת הלמה של צורן מסתמכת על [[אקסיומות צרמלו-פרנקל]] ועל [[אקסיומת הבחירה]]. עם זאת, בהינתן אקסיומות צרמלו-פרנקל ובהנחת הלמה של צורן, ניתן להוכיח את אקסיומת הבחירה. משמעות הדבר היא שהלמה של צורן שקולה לאקסיומת הבחירה במערכת האקסיומות של צרמלו-פרנקל.

=== אלגברה ליניארית ===
{{הפניה לערך מורחב|בסיס (אלגברה)}}
עבור [[מרחב וקטורי|מרחבים וקטוריים]], ישנם שני סוגים של תתי-קבוצות מרכזיים להבנת המרחב: [[תלות ליניארית|קבוצה בלתי-תלויה]] ו[[קבוצה פורשֹת]]. ניתן להוכיח כי כל קבוצה בלתי-תלויה מקסימלית (כלומר, שלא מוכלת בקבוצה בלתי-תלויה אחרת) היא בהכרח קבוצה פורשֹת מינימלית (כלומר, קבוצה פורשֹת שלא מכילה קבוצה פורשֹת אחרת). קבוצה שהיא בלתי-תלויה מקסימלית, או באופן שקול פורשֹת מינימלית, נקראת [[בסיס (אלגברה)|בסיס]] של המרחב הווקטורי.

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

=== תורת המספרים ===
{{הפניה לערך מורחב|מספר ראשוני}}
אחד המונחים המרכזיים ב[[תורת המספרים]] הוא [[מספר ראשוני]].

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

למספרים ראשוניים חשיבות רבה בחקר תכונותיהם של כלל המספרים הטבעיים. כך למשל, ניתן להוכיח כי ישנם [[קיומם של אינסוף מספרים ראשוניים|אינסוף מספרים ראשוניים]], שכל מספר טבעי ניתן ל[[המשפט היסודי של האריתמטיקה|פירוק למכפלת מספרים ראשוניים]] יחידה עד כדי סדר הכפלה, וש[[משפט המספרים הראשוניים|התפלגות הראשוניים]] עד מספר טבעי <math>n</math> גדלה כמו <math>\frac{n}{\ln(n)}</math>.

=== לוגיקה ===
עבור קבוצה כלשהי <math>A</math>, קבוצה <math>\mathcal{F}\subseteq \mathcal{P}(A)</math> נקראת [[מסנן (תורת הקבוצות)|מסנן]] אם ורק אם היא [[קבוצה מכוונת|מכוונת]] כלפי מטה וסגורה כלפי מעלה לפי יחס ההכלה <math>\subseteq</math>. מסנן יקרא [[על-מסנן]] אם ורק אם הוא מסנן מקסימלי ביחס להכלה.

כעת, בהינתן קבוצה אינדקסים <math>I</math>, על-מסנן <math>\mathcal{F}\subseteq \mathcal{P}(I)</math> ואוסף קבוצות <math>\left\{A_i\right\}_{i\in I}</math> מגדירים את ה[[על-מכפלה]] <math>\prod_{i\in I}{A_i}/\mathcal{F}</math> להיות ה[[מכפלה קרטזית|מכפלה הקרטזית]] של איברי <math>\left\{A_i\right\}_{i\in I}</math> תחת [[יחס שקילות]] הקובע שזוג איברים שווה זה לזה אם ורק אם אוסף האינדקסים שבהם הקואורדינטה של שני האיברים שווה שייך למסנן <math>\mathcal{F}</math>.<ref>{{צ-ספר|שם=Model Theory : An Introduction|קישור=https://www.google.com/books/edition/Model_Theory_An_Introduction/3LIPBwAAQBAJ|מו"ל=Springer Science & Business Media|שנת הוצאה=2006-04-06|ISBN=978-0-387-22734-4|מחבר=David Marker|שפה=en}}</ref>

לעל-מסננים חשיבות רבה בתחום ה[[לוגיקה]]. [[משפט העל-מכפלות]] קובע שבהינתן אוסף של מודלים של [[שפה מסדר ראשון]], פסוק מתקיים במודל העל-מכפלה אם ורק אם הוא מתקיים באוסף מודלים שאוסף האינדקסים שלהם שייך לעל-מסנן. משפט זה מהווה בסיס למשפטים חשובים אחרים כגון [[משפט הקומפקטיות]].

== ראו גם ==
* [[סדר חלקי]]
* [[נקודת קיצון]]
* [[הלמה של צורן]]

== הערות שוליים ==
{{הערות שוליים|יישור=שמאל}}

[[קטגוריה:תורת הקבוצות]]
[[קטגוריה:קבוצות סדורות]]