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

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

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

לאיברים גדולים ביותר וקטנים ביותר חשיבות רבה במגוון רחב של תחומים במתמטיקה, לרבות [[תורת הקבוצות האקסיומטית]], [[אופטימיזציה (מתמטיקה)|אופטימיזציה]], [[אנליזה מתמטית]], [[טופולוגיה]] ועוד.

== הגדרה מתמטית ==
בהינתן [[קבוצה סדורה חלקית]] <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>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=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>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>(A,\le)</math> ותת-קבוצה <math>S\subseteq A</math>, מגדירים כי:

# <math>s\in A</math> ייקרא '''סופרמום''' של <math>S</math> אם ורק אם הוא החסם העליון המינימלי של <math>S</math>. כלומר, אם <math>a\in A</math> הוא חסם עליון של <math>S</math>, אז בהכרח <math>s\le a</math>.
# <math>s\in A</math> ייקרא '''אינפימום''' של <math>S</math> אם ורק אם הוא החסם התחתון המקסימלי של <math>S</math>. כלומר, אם <math>a\in A</math> הוא חסם תחתון של <math>S</math>, אז בהכרח <math>s\le a</math>.

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

== תכונות ==
* לכל [[קבוצה סופית]] אשר סדורה ב[[יחס סדר מלא]], יש מינימום ומקסימום.
* לכל [[קבוצה מכוונת מעלה]], אם יש לה איבר מקסימלי, אותו איבר הוא מקסימום. באופן זהה, לכל [[קבוצה מכוונת מטה]], אם יש לה איבר מינימלי, אותו איבר הוא מינימום.
* אם בקבוצה קיימים גם מינימום וגם מקסימום ושניהם זהים, הקבוצה היא בהכרח [[יחידון]] המכיל את איבר זה בלבד.
* בהינתן קבוצה סדורה חלקית <math>(A,\le)</math> ותת-קבוצה <math>S\subseteq A</math>, <math>s\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>\mathcal{B}</math> ללא המינימום והמקסימום שלה. גם קבוצה זו היא סדורה לפי יחס ההכלה. בקבוצה <math>\mathcal{C}</math> לא קיים מינימום ולא קיים מקסימום, זאת מכיוון שישנם שלושה איברים מינימליים שאינם בני השוואה זה לזה ושלושה איברים מקסימלים שאינם בני השוואה זה לזה.

ב[[קטע סגור|קטע הסגור]] <math>[a,b] = \{ x \in \mathbb{R} \ | \ a \le x \le b \}</math> קיימים מינימום ומקסימום. הנקודה a היא מינימום והנקודה b היא מקסימום. לעומת זאת, ב[[קטע פתוח|קטע הפתוח]] <math>(a,b) = \{ x \in \mathbb{R} \ | \ a < x < b \}</math> לא קיימים מינימום ומקסימום, בפרט: לא הקיים האיבר הקטן ביותר כי לכל <math>y \in (a,b)</math> (כלומר: <math>a < y < b</math>) האיבר <math>a < (a+y)/2 < y < b</math> קטן ממנו וגם שייך לקבוצה <math>(a,b)</math>. באותו אופן לא קיים האיבר הגדול ביותר בקטע הפתוח <math>(a,b)</math>.

== שימושים ==
=== תורת הקבוצות ===
{{הפניה לערך מורחב|סדר טוב}}
אחד השימושים המרכזיים בתורת הקבוצות למינימום ומקסימום הוא בהגדרה של [[סדר טוב]]. קבוצה סדורה <math>(A,\le)</math> תקרא קבוצה מסודרת היטב אם ורק אם לכל תת-קבוצה שלה קיים מינימום. אחת הדוגמאות החשובות ביותר לקבוצה בעלת סדר טוב היא קבוצת ה[[מספר טבעי|מספרים הטבעיים]] <math>\mathbb{N}</math>.

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

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

=== אנליזה ואופטימיזציה ===
{{הפניה לערך מורחב|נקודת קיצון}}
בהינתן פונקציה <math>f:\mathbb{R}^n\to \mathbb{R}</math>, כאשר <math>n\in\mathbb{N}</math> הוא מספר טבעי, ו-<math>\mathbb{R}</math> היא קבוצת ה[[מספר ממשי|מספרים הממשיים]], אחת התכונות החשובות ביותר שלה היא [[נקודת קיצון|ערכי הקיצון]] שהיא מקבלת.

נקודת מקסימום גלובלי היא נקודה <math>x\in\mathbb{R}^n</math> כך ש-<math>f(x)</math> הוא מקסימום ב[[תמונה (מתמטיקה)|תמונה]] של <math>f</math>. באופן דומה, נקודת מינימום גלובלי היא נקודה <math>x\in\mathbb{R}^n</math> כך ש-<math>f(x)</math> היא מנימום בתמונה של <math>f</math>. באופן דומה נקודה <math>x\in\mathbb{R}^n</math> נקראת מקסימום (או מינימום) מקומי אם ורק אם הערך <math>f(x)</math> שלה הוא מקסימלי (או מינימלי) ב[[סביבה (מתמטיקה)|סביבה]] סופית שלה.

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

ב[[אופטימיזציה (מתמטיקה)|אופטימיזציה מתמטית]], מציאת נקודות קיצון הוא נושא חשוב ומרכזי. לרוב, לערך המינימום או המקסימום הגלובלי יש חשיבות גדולה, אם בפונקציות מתחום ה[[פיזיקה]], ה[[כלכלה]] ו[[מדעי המחשב]]. אחד האלגוריתמים החשובים ביותר למציאת נקודות מינימום של פונקציה של פונקציה הוא האלגוריתם [[מורד הגרדיאנט]] (Gradient Descent). אלגוריתם זה נמצא בבסיסו של מנגנון האימון של [[רשתות נוירונים]].

== ראו גם ==
* [[איבר מינימלי ומקסימלי]]
* [[אינפימום וסופרמום]]
* [[נקודת קיצון]]

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

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