גרונטלעכע יסודות פון סעט טעאריע
סעט טעאריע איז איינע פון די וויכטיגסטע יסודות פון מאדערנער מאטעמאטיק. כמעט יעדער צווייג פון מאטעמאטיק—פון אלגעברע און אנאליז ביז ווארשיינליכקייט און סטאטיסטיק ביז קאמפיוטער וויסנשאפט—ניצט דעם קאנצעפט פון סעטס צו דעפינירן אביעקטן, קאנסטרואירן סטרוקטורן, און קאנסטרואירן לאגישע ארגומענטן. פארשטיין די יסודות פון סעט טעאריע מאכט עס גרינגער צו לערנען מער פארגעשריטענע מאטעמאטישע קאנצעפטן, ווייל אסאך פארמאלע דעפיניציעס שטאמען פון ווי אזוי מיר גרופירן און מאניפולירן "זאמלונגען" פון אביעקטן.
1. פֿאַרשטיין גרופּעס און זייערע מיטגלידער
פשוט געזאגט, א סכום איז א קלאר דעפינירטע זאמלונג פון אביעקטן. די אביעקטן אין א סכום ווערן גערופן מיטגלידער אדער עלעמענטן. קלארקייט פון דעפיניציע איז קריטיש: מיר מוזן קענען באשטימען צי אן אביעקט איז א מיטגליד פון דער סכום אדער נישט.
קאָנטעקסט:
– די סכום פון גראד נומערן קלענער ווי 10 איז {2, 4, 6, 8}.
– די גרופע וואָקאַלן אין אינדאָנעזיש איז {a, i, u, e, o}.
אָפט גענוצטע נאָטאַציעס:
– אויב \(x\) איז אַ מיטגליד פֿון דער סכום \(A\), שרײַבט \(x \in A\).
– אויב \(x\) איז נישט קיין מיטגליד פון \(A\), ווערט עס געשריבן \(x \notin A\).
למשל, אויב \(A = \{1,2,3\}\), דעמאָלט \(2 \אין A\) און \(5 \אין A\).
2. ווי אזוי צו באשטימען א סכום
עס זענען דא עטלעכע וועגן אויסצודריקן א סכום:
1. דורך רעגיסטרירן מיטגלידער (ראָסטער מעטאָד)
בייַשפּיל: \(A = \{1,2,3,4\}\).
2. מיט באַשרייבונג (סעט-בילדער נאָטאַציע)
בייַשפּיל: \(B = \{x \mid x \text{ איז אַ נאַטירלעכע נומער און } x < 5\}\).
עס לייענט זיך: "B איז די סכום פון אַלע \(x\) אַזוי אַז \(x\) איז אַ נאַטירלעכע נומער און \(x < 5\)."
3. מיט אַ ווען דיאַגראַם
ווען דיאַגראַמען וויזואַליזירן די באַציִונגען צווישן סעטן ניצנדיק פֿאָרמען (געוויינטלעך קרייזן) אין אַ וועלט פֿון דיסקורס.
די אויסוואַל פון פּרעזענטאַציע מעטאָד דעפּענדס אויף די באדערפענישן: ליסטינג איז פּאַסיק פֿאַר קליינע גרופּעס, בשעת זאַמלונג-פאָרמינג נאָטאַציע איז פּאַסיק פֿאַר גרויסע אָדער אומענדלעכע גרופּעס.
3. אוניווערסאַלער סעט און ליידיקער סעט
אין געוויסע דיסקוסיעס, דעפינירן מיר אָפט די אוניווערסאַלע סכום \(U\), וואָס איז די סכום וואָס כּולל אַלע די אָביעקטן וואָס ווערן דיסקוטירט. למשל, אויב מיר דיסקוטירן גאַנצע צאָלן, דעמאָלט קען די אוניווערסאַלע סכום זיין \(U = \mathbb{Z}\).
דערווייל, א ליידיגע סכום איז א סכום וואס האט בכלל נישט קיין מיטגלידער, באצייכנט מיט \(\varnothing\) אדער \(\{\}\). ביישפיל פון א ליידיגע סכום: א סכום פון נאטירלעכע נומערן וואס איז ווייניגער ווי 0. עס זענען נישטא קיין נאטירלעכע נומערן וואס דערפילן דעם באדינגונג, ממילא איז די סכום ליידיג.
4. ענלעכקייט פון סעטס
צוויי סעטס ווערן געזאגט צו זיין גלייך אויב זיי האבן פונקט די זעלבע מיטגלידער. די סדר אין וועלכער די מיטגלידער זענען ליסטעד מאכט נישט אויס.
קאָנטעקסט:
– (1,3,5 = 5,3,1)
אנדערש ווי געווענליכע ליסטעס, זענען סעטס נישט געארדענט און ציילן נישט קיין דופליקאטן. אַלזאָ:
– (1,1,2,2,3 = 1,2,3)
5. אמתע סובסעטס און סובסעטס
אויב אַלע מיטגלידער פֿון דער סכום \(A\) זענען אויך מיטגלידער פֿון דער סכום \(B\), דאַן ווערט \(A\) גערופֿן אַ סובסעט פֿון \(B\), געשריבן ווי \(A \subseteq B\).
קאָנטעקסט:
– אויב \(B = \{1,2,3,4\}\) און \(A = \{2,4\}\), דעמאָלט \(A − B\).
אויב \(A\) איז אַ סובסעט פֿון \(B\) אָבער \(A\) איז נישט גלייך צו \(B\), דאַן ווערט \(A\) גערופֿן אַן עכטע סובסעט, געשריבן \(A \subset B\).
וויכטיגער פאַקט: די ליידיקע סכום איז אַ סובסעט פון יעדער סכום, ד״ה \(\varnothing \subseteq A\) פֿאַר יעדער סכום \(A\).
6. גרונטלעכע אפעראציעס אויף סעטס
סעט טעאָריע גיט אָפּעראַציעס פֿאַר קאָמבינירן אָדער פֿאַרגלייַכן סעטס.
א) פֿאַראיין
די פֿאַראייניקונג \(A \cup B\) איז די סכום וואָס כּולל אַלע עלעמענטן וואָס זענען אין \(A\) אָדער אין \(B\) (אָדער אין ביידע).
קאָנטעקסט:
– (א = 1,2,3), (ב = 3,4,5)
דעמאָלט (A = 1,2,3,4,5).
ב) קראָסינג
די דורכשניט \(A \cap B\) אנטהאלט די עלעמענטן וואס זענען אין \(A\) און אין \(B\) גלייכצייטיג.
קאָנטעקסט:
– (A = B = 3).
ג) אונטערשייד
דער אונטערשייד \(A – B\) (אדער \(A \setminus B\)) אנטהאלט די עלעמענטן וואס זענען אין \(A\) אבער נישט אין \(B\).
קאָנטעקסט:
– (A = B = 1,2).
ד) קאָמפּלעמענט
דער קאָמפּלעמענט פֿון \(A^c\) (אָדער \(\overline{A}\)) איז דער עלעמענט פֿון דעם אוניווערס \(U\) וואָס נעמט נישט אַרײַן \(A\).
בייַשפּיל: אויב \(U = \{1,2,3,4,5\}\) און \(A = \{1,3\}\), דעמאָלט
(A^c = 2,4,5).
7. וויכטיגע געזעצן אין סעט אפעראציעס
סעט אפעראציעס האבן אייגנשאפטן ענלעך צו אפעראציעס אויף נומערן.
1. קאָמוטאַטיוו
(A \cup B = B \cup A) און (A \cup B = B \cup A).
2. אַסאָסיאָאַטיוו
((A \cup B) \cup C = A \cup (B \cup C))
((A ⋅B) ⋅C = A ⋅(B ⋅C)).
3. דיסטריביוטיוו
(א קאַפּ (ב ג) = (א קאַפּ ב) ג (א קאַפּ ג))
(א גלעזל (ב) = (א גלעזל ב) גלעזל (א גלעזל C)).
4. דע מאָרגאַן'ס געזעץ
((A ⋅ גלעזל B)^c = A^c ⋅ גלעזל B^c)
((A \cup B)^c = A^c \cup B^c).
די געזעצן זענען זייער נוצלעך אין פאַרפּשוטערן סעט אויסדרוקן, ספּעציעל ווען מען אַרבעט מיט לאָגיק, וואַרשיינלעכקייט און אַלגעברײַשע סטרוקטורן.
8. קאַרדינאַליטעט: די צאָל מיטגלידער פון אַ סכום
קאַרדינאַליטעט איז די צאָל עלעמענטן אין אַ סכום, באַצייכנט מיט \(|A|\). פֿאַר ענדלעכע סעטס, איז קאַרדינאַליטעט גרינג צו רעכענען.
קאָנטעקסט:
– אויב \(A = \{2,4,6\}\), דעמאָלט \(|A| = 3\).
אין אומענדלעכע סעטס ווערט דער קאנצעפט פון קארדינאליטעט מער אינטערעסאנט (למשל, די סעט פון נאטירלעכע נומערן \(\mathbb{N}\) האט אומענדלעכע קארדינאליטעט). אבער, איר דיסקוסיע פאלט געווענליך אריין אין פארגעשריטענע סעט טעאריע.
9. קאַרטעזישע פּראָדוקטן און פּשוטע באַציִונגען
דאָס קאַרטעזישע פּראָדוקט פֿון Δ און Δ, געשריבן Δ מאָל Δ, איז די סכום פֿון געאָרדנטע פּאָרן Δ מיט Δ אין Δ און Δ אין Δ.
קאָנטעקסט:
– אויב \(A = \{1,2\}\) און \(B = \{x,y\}\), דעמאָלט
(A מאָל B = (1,x), (1,y), (2,x), (2,y)).
דער קאַרטעזיאַנישער פּראָדוקט איז די באַזע פֿאַר שטודירן באַציִונגען און פֿונקציעס, ווײַל פֿונקציעס קענען געזען ווערן ווי גרופּעס פֿון געאָרדנטע פּאָרן מיט געוויסע כּללים.
קלאָוזינג
די יסודות פון סעט טעאריע לערנען אונדז ווי צו אָרגאַניזירן אָביעקטן אין אַ סטרוקטורירטן און קאָנסיסטענטן שטייגער. דורך פֿאַרשטיין די קאָנצעפּטן פון עלעמענטן, סובסעטן, יוניאָן/אינטערסעקשאַן/דיפערענס/קאָמפּלעמענט אָפּעראַציעס, די געזעצן פון אָפּעראַציעס, און די געדאַנקען פון קאַרדינאַליטעט און קאַרטעזישע פּראָדוקטן, האָבן מיר די עסענציעלע מכשירים צו גיין ווייטער צו מער אַוואַנסירטע מאַטעמאַטישע טעמעס. סעט טעאריע איז נישט בלויז אַ גרונטלעכע טעמע, נאָר אויך אַן אוניווערסאַלע שפּראַך געניצט אין פילע פעלדער פון וויסנשאַפֿט און טעכנאָלאָגיע. אַ גוטער פֿאַרשטאַנד פון די קאָנצעפּטן מאַכט אָפט די ווייטערדיקע לערנען פון מאַטעמאַטיק גרינגער און מער לאָגיש.