תוצאות החיפוש
קפיצה לניווט
קפיצה לחיפוש
- ...קבוצות]], '''פונקציה שומרת סדר''' היא [[פונקציה]] בין [[קבוצה סדורה|קבוצות סדורות]], השומרת על [[סדר חלקי|יחס הסדר]]. ...תהיינה <math> (P ,\le)</math> ו-<math> (Q ,\le)</math> [[סדר חלקי|קבוצות סדורות חלקית]]. פונקציה <math>f : P \rightarrow Q </math> היא '''שומרת סדר''' אם ל ...2 ק"ב (120 מילים) - 19:10, 26 במאי 2020
- קבוצה ''<math>X</math>'' אשר כל איבריה הם קבוצות בפני עצמם היא טרנזיטיבית אם ורק אם <math>\, X \subset \mathcal{P}(X)</math> [[קטגוריה:קבוצות סדורות]] ...1 ק"ב (102 מילים) - 17:52, 13 באפריל 2023
- ב[[תורת הקבוצות]], '''טיפוס סדר''' הוא תכונה של [[קבוצה (מתמטיקה)|קבוצות]] שמוגדר עליהן [[יחס סדר מלא]]. ...ו טיפוס סדר אם הן [[איזומורפיזם|איזומורפיות]]. אינטואיטיבית ניתן לומר ששתי קבוצות הן בעלות אותו טיפוס סדר אם יש להן את אותו מבנה של סדר. ...9 ק"ב (175 מילים) - 05:50, 29 בינואר 2025
- [[קטגוריה:קבוצות סדורות]] ...1 ק"ב (34 מילים) - 20:07, 26 במאי 2020
- ...[[קבוצה סופית|סופית]] נתונה על-ידי הקצאת סדר כולל לקבוצה הסופית, והמרת תת-קבוצות [[סדרה (מתמטיקה)|לרצפים הולכים וגדלים]], שעליהם מופעל הסדר הלקסיקוגרפי. ההכללה מגדירה סדר על [[מכפלה קרטזית]] של [[סדר חלקי|קבוצות מסודרות חלקית]] ; סדר זה הוא [[סדר מלא]] (ליניארי) אם ורק אם כל הגורמים של ...9 ק"ב (206 מילים) - 18:49, 26 במרץ 2023
- המספרים הרציונליים והמספרים הממשיים הם קבוצות סדורות ליניארית [[סדר צפוף|צפופות]]. [[קטגוריה:קבוצות סדורות]] ...4 ק"ב (202 מילים) - 04:32, 5 בינואר 2025
- [[קטגוריה:קבוצות סדורות]] ...2 ק"ב (56 מילים) - 06:47, 2 במאי 2024
- ...'') הם תנאים בדבר סופיות של [[שרשרת (מתמטיקה)|שרשראות]] ב[[סדר חלקי|קבוצות סדורות חלקית]]. שימושם הנפוץ הוא ב[[אלגברה מופשטת]], למשל ב[[חוג (מבנה אלגברי)|חוג [[מרחב טופולוגי]] ייקרא נתרי אם כל סדרה יורדת בהכלה של קבוצות סגורות מתייצבת לבסוף. הגדרה זו שימושית ב[[גאומטריה אלגברית]] כיוון שכל [[יר ...4 ק"ב (70 מילים) - 21:01, 26 באוקטובר 2022
- == טיפוסים של חבורות סדורות == * חבורה מקיימת את '''תכונת המכפלה היחידה''' אם לכל שתי תת-קבוצות לא ריקות <math>A,B</math> יש במכפלה <math>AB</math> איבר הניתן להצגה כ-<mat ...7 ק"ב (217 מילים) - 11:23, 3 בנובמבר 2024
- {{פירוש נוסף|נוכחי=קבוצה צפופה במובן הטופולוגי|אחר=צפיפות של קבוצות סדורות|ראו=[[קבוצה סדורה צפופה]]}} ...2 ק"ב (75 מילים) - 18:43, 10 באוקטובר 2020
- [[קטגוריה:קבוצות סדורות]] ...2 ק"ב (31 מילים) - 14:20, 27 בפברואר 2025
- יהיו <math>\mathcal{T}_1,\mathcal{T}_2</math> קבוצות סדורות. '''שעון''' הינו פונקציה <math>C:\mathcal{T}_1 \to \mathcal{T}_2</math> שמש ...2 ק"ב (125 מילים) - 16:52, 19 בינואר 2023
- ...ת]], היא [[משפט (מתמטיקה)|משפט]] שימושי העוסק בתכונה של [[סדר חלקי|קבוצות סדורות חלקית]]. בין היתר, חשיבותו של המשפט באה לידי ביטוי בכך שהוא שקול ל[[אקסיומת [[קטגוריה:קבוצות סדורות]] ...5 ק"ב (168 מילים) - 06:04, 21 בינואר 2025
- == איזומורפיזם של קבוצות סדורות == קבוצות סדורות הן איזומורפיות אם יש ביניהן פונקציה חד-חד-ערכית ועל, ה[[פונקציה שומרת סדר|ש ...12 ק"ב (757 מילים) - 11:09, 7 בפברואר 2023
- * {{לא מדויק|2023/01/07/well_ordered_sets|תורת הקבוצות - קבוצות סדורות היטב}} [[קטגוריה:קבוצות סדורות]] ...7 ק"ב (295 מילים) - 13:11, 4 בדצמבר 2024
- [[קטגוריה:קבוצות סדורות]] ...3 ק"ב (71 מילים) - 04:42, 20 באוגוסט 2023
- ...בים וקטוריים]] או [[מודול (מבנה אלגברי)|מודולים]], של [[קבוצה סדורה|קבוצות סדורות]], ועוד. המכפלה הישרה של [[מרחב טופולוגי|מרחבים טופולוגיים]] נקראת "[[מרחב ...3 ק"ב (157 מילים) - 09:21, 19 במרץ 2025
- [[קטגוריה:קבוצות סדורות]] ...4 ק"ב (84 מילים) - 23:37, 29 בפברואר 2020
- ...צות עם פעולה אסוציאטיבית, קומוטטיבית ואידמפוטנטית. לדוגמה, פעולת החיתוך של קבוצות <math>A \bullet B = A \cap B</math> היא אסוציאטיבית, קומוטטיבית ו[[אידמפוטנ [[קטגוריה:קבוצות סדורות]] ...6 ק"ב (220 מילים) - 07:03, 26 בספטמבר 2023
- ...h>. עתה נסתכל על הקבוצה X\A (הסימן " \ " מסמן [[הפרש (תורת הקבוצות)|הפרש]] קבוצות). כיוון ש-X סדורה היטב, והקבוצה הזאת אינה ריקה, יש לה [[איבר ראשון]], <math [[קטגוריה:קבוצות סדורות]] ...5 ק"ב (108 מילים) - 03:09, 8 במרץ 2023