סדר מלא – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
תיקנתי שגיאה: לכל יחסי הסדר קוראים "יחסי סדר חלקיים" תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד |
כנ"ל תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד |
||
שורה 1: | שורה 1: | ||
ב[[תורת הקבוצות]], '''סדר חלקי מלא''' (או '''סדר לינארי''') הוא [[סדר חלקי]] שמקיים גם את תכונות ההשוואה, כלומר, לכל <math>\ a </math> ו-<math>\ b </math> בקבוצה הסדורה חלקית <math>\ \left(A, \le \right) </math> מתקיים <math>\ a \le b </math> '''[[או (לוגיקה)|או]]''' <math>\ b \le a </math>. קבוצה הסדורה בסדר מלא נקראת '''קבוצה סדורה''' (או '''קבוצה סדורה לינארית''' או '''שרשרת'''). |
ב[[תורת הקבוצות]], '''סדר חלקי מלא''' (או '''סדר חלקי לינארי''') הוא [[סדר חלקי]] שמקיים גם את תכונות ההשוואה, כלומר, לכל <math>\ a </math> ו-<math>\ b </math> בקבוצה הסדורה חלקית <math>\ \left(A, \le \right) </math> מתקיים <math>\ a \le b </math> '''[[או (לוגיקה)|או]]''' <math>\ b \le a </math>. קבוצה הסדורה בסדר מלא נקראת '''קבוצה סדורה''' (או '''קבוצה סדורה לינארית''' או '''שרשרת'''). |
||
דוגמאות: |
דוגמאות: |
גרסה מ־00:31, 25 באוגוסט 2015
בתורת הקבוצות, סדר חלקי מלא (או סדר חלקי לינארי) הוא סדר חלקי שמקיים גם את תכונות ההשוואה, כלומר, לכל ו- בקבוצה הסדורה חלקית מתקיים או . קבוצה הסדורה בסדר מלא נקראת קבוצה סדורה (או קבוצה סדורה לינארית או שרשרת).
דוגמאות:
- היחס קטן או שווה על קבוצת המספרים הטבעיים, שנסמנו , הוא סדר מלא.
- היחס קטן על קבוצת המספרים הטבעיים הוא סדר מלא חזק (כפי שיוגדר בהמשך הערך).
- על צבעי האור בקשת הצבעים ניתן להגדיר סדר מלא, לפי אורך הגל של כל צבע. לפי יחס סדר זה, סגול קטן מכחול שקטן מאדום וכו'.
הגדרה
יחס סדר חלקי (חלש או חזק) R נקרא יחס סדר מלא (או "יחס סדר שלם") אם לכל מתקיים או . קבוצה שמוגדר עליה יחס סדר מלא נקראת סדורה לינארית (או "סדורה בשלמות").
פעולות בין סדרים
חיבור סדרים : יהיו סדרים אז נגדיר באופן הבא :
עם הסדר :
,
ולכל מתקיים
כפל סדרים: יהיו סדרים אז נגדיר עם הסדר המילוני הימני (העברי) כלומר :
אם מתקיים :
או, וגם
הערות:
- אם סדרים טובים אז ו הם סדרים טובים
- מכיוון שפעולת החיבור ופעולת הכפל מוגדרות היטב ניתן גם לדבר על פילוג מימין : יהיו סדרים מלאים, אז מתקיים :
- עבור סדרים סופיים פילוג משמאל מתקיים. אך עבור סדרים אינסופיים זה לא נכון.
ראו גם
נושאים בתורת הקבוצות | ||
---|---|---|
מושגי יסוד | תורת הקבוצות הנאיבית • תורת הקבוצות האקסיומטית • קבוצה • יחידון • הקבוצה הריקה • קבוצת החזקה | |
עוצמות | עוצמה • קבוצה בת מנייה • קבוצה שאינה בת מנייה • עוצמת הרצף | |
פעולות | איחוד • חיתוך • משלים • הפרש סימטרי • מכפלה קרטזית | |
אקסיומות | אקסיומת ההיקפיות • אקסיומת האיחוד • אקסיומת הקבוצה האינסופית • אקסיומת ההחלפה • אקסיומת קבוצת החזקה • אקסיומת היסוד • אקסיומת הבחירה • השערת הרצף | |
משפטים | האלכסון של קנטור • משפט קנטור-שרדר-ברנשטיין • הלמה של צורן • משפט הסדר הטוב | |
פונקציות | פונקציה • פונקציה חד-חד-ערכית • פונקציה על • פונקציה חד-חד-ערכית ועל • פונקציית הזיווג של קנטור | |
יחסים | יחס • יחס רפלקסיבי • יחס סימטרי • יחס אנטי-סימטרי • יחס טרנזיטיבי • יחס שקילות • יחס הופכי | |
סדר | סדר חלקי • סדר מלא • סדר טוב • טיפוס סדר • מספר סודר | |
שונות | הפרדוקס של ראסל |