משפט קנטור – הבדלי גרסאות

נוספו 13 בתים ,  לפני 8 שנים
מ
←‏סימונים: כל שאר סימוני הקבוצות מוצגים בתגי math, וגם זה סימון של קבוצה ---> צריך לכתוב את זה בתג math
מ (בוט: החלפת טקסט אוטומטית (-(\.pdf .*?)\{\{PDF\|.*?\}\} +\1))
מ (←‏סימונים: כל שאר סימוני הקבוצות מוצגים בתגי math, וגם זה סימון של קבוצה ---> צריך לכתוב את זה בתג math)
* אם <math>a</math> הוא איבר של הקבוצה <math>A</math> מסמנים זאת <math>a\in A</math>, ואם הוא אינו איבר של <math>A</math> מסמנים זאת <math>a\not\in A</math>.
* פונקציה מ-<math>A</math> ל-<math>B</math> מסמנים <math>f: A \to B</math>. את האיבר ב-<math>B</math> שהפונקציה מתאימה לאיבר <math>a</math> ב-<math>A</math> מסמנים <math>f(a)</math>. למשל הפונקציה <math>f</math> שמתאימה לכל מספר טבעי את העוקב שלו מוגדרת לפי החוק <math>f(n) = n+1</math>, אבל יש פונקציות מסובכות, שלא ניתן לכתוב להן חוקים מסוג זה.
* אם <math>C</math> תת-קבוצה של <math>A</math>, כלומר כל איבר של <math>C</math> הוא גם איבר של <math>A</math>, מסמנים <math>C \subseteq A</math>.
* לפי הסימונים שהצגנו עתה, ניתן להגדיר את קבוצת החזקה של <math>A</math> כך: <math> \mathcal{P}(A) = \{C \mid C\subseteq A\}</math>
 
5,949

עריכות