גרונטלעכע יסודות פון סעט טעאריע
סעט טעאריע איז איינע פון די וויכטיגסטע יסודות פון מאדערנער מאטעמאטיק. כמעט יעדער צווייג פון מאטעמאטיק—פון אלגעברע און אנאליז ביז ווארשיינליכקייט און סטאטיסטיק ביז קאמפיוטער וויסנשאפט—ניצט דעם קאנצעפט פון סעטס צו דעפינירן אביעקטן, קאנסטרואירן סטרוקטורן, און קאנסטרואירן לאגישע ארגומענטן. פארשטיין די יסודות פון סעט טעאריע מאכט עס גרינגער צו לערנען מער פארגעשריטענע מאטעמאטישע קאנצעפטן, ווייל אסאך פארמאלע דעפיניציעס שטאמען פון ווי אזוי מיר גרופירן און מאניפולירן "זאמלונגען" פון אביעקטן.
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 \subseteq B\). אויב \(A\) איז אַ סובסעט פון \(B\) אָבער \(A\) איז נישט גלייך צו \(B\), דאַן ווערט \(A\) גערופן אַן עכטע סובסעט, געשריבן \(A \subset B\).
וויכטיגער פאַקט: די ליידיקע סכום איז אַ סובסעט פון יעדער סכום, ד"ה, \(\varnothing \subseteq A\) פֿאַר יעדער סכום \(A\). 6. גרונטלעכע אָפּעראַציעס אויף סעטס סעט טעאָריע גיט אָפּעראַציעס פֿאַר קאַמביינינג אָדער פאַרגלייַכן סעטס. א) פאַראייניקונג די פאַראייניקונג \(A \cup B\) איז די סכום וואָס כּולל אַלע עלעמענטן וואָס זענען אָדער אין \(A\) אָדער אין \(B\) (אָדער אין ביידע). בייַשפּיל: - \(A = \{1,2,3\}\), \(B = \{3,4,5\}\) דעמאָלט \(A \cup B = \{1,2,3,4,5\}\). ב) ינטערסעקשאַן די ינטערסעקשאַן \(A \cap B\) כּולל עלעמענטן וואָס זענען ביידע אין \(A\) און אין \(B\). בייַשפּיל: - \(A \cap B = \{3\}\). ג) דיפערענץ דער דיפערענץ \(A - B\) (אָדער \(A \setminus B\)) כּולל עלעמענטן וואָס זענען אין \(A\) אָבער נישט אין \(B\). בייַשפּיל: - \(A \setminus 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 \cap B = B \cap A\). 2. אַססאָסיאַטיוו \((A \cup B) \cup C = A \cup (B \cup C)\) \((A \cap B) \cap C = A \cap (B \cap C)\). 3. דיסטריביוטיוו (A = (A = B) (A = C)) (A = (B) = (A = B) (A = C)).
4. דע מאָרגאַן'ס געזעצן ((A \cup B)^c = A^c \cap^c) \((A \cap^b)^c = A^c \cup B^c). די געזעצן זענען זייער נוצלעך אין סימפּליפייינג סכום אויסדרוקן, ספּעציעל ווען ארבעטן מיט לאָגיק, וואַרשיינלעכקייט, און אַלגעברייַישע סטרוקטורן. 8. קאַרדינאַליטעט: נומער פון עלעמענטן פון אַ סכום קאַרדינאַליטעט איז די נומער פון עלעמענטן אין אַ סכום, באַצייכנט מיט \(|A|\). פֿאַר ענדלעך סעטס, איז קאַרדינאַליטעט גרינג צו רעכענען. בייַשפּיל: - אויב \(A = \{2,4,6\}\), דעמאָלט \(|A| = 3\). פֿאַר אומענדלעך סעטס, ווערט דער באַגריף פון קאַרדינאַליטעט מער אינטערעסאַנט (למשל, די סכום פון נאַטירלעכע נומערן \(\mathbb{N}\) האט אומענדלעך קאַרדינאַליטעט). אָבער, איר דיסקוסיע גייט געוויינטלעך אין אַוואַנסירטע סעט טעאָריע. 9. קאַרטעזיש פּראָדוקט און פּשוטע באַציִונגען דער קאַרטעזיש פּראָדוקט פֿון \(A\) און \(B\), געשריבן ווי \(A \מאל B\), איז די סכום פֿון געאָרדנטע פּאָרן \((a \אין A\) און \(b \אין B\). בייַשפּיל: - אויב \(A = \{1,2\}\) און \(B = \{x,y\}\), דעמאָלט \(A \מאל B = \{(1,x),(1,y),(2,x),(2,y)\}\). דער קאַרטעזיש פּראָדוקט איז די באַזע פֿאַר שטודירן באַציִונגען און פֿונקציעס, ווייל פֿונקציעס קענען געזען ווערן ווי סכום פֿון געאָרדנטע פּאָרן מיט געוויסע כּללים. מסקנה די גרונטפּרינציפּן פֿון סכום טעאָריע לערנען אונדז ווי צו אָרדענען אָביעקטן אין אַ סטרוקטורירטן און קאָנסיסטענטן וועג. דורך פֿאַרשטיין די קאָנצעפּטן פֿון עלעמענטן, סובסעטן, פֿאַראייניקונג/אינטערסעקציע/דיפֿערענץ/קאָמפּלעמענט אָפּעראַציעס, די געזעצן פֿון אָפּעראַציעס, און די געדאַנקען פֿון קאַרדינאַליטעט און דעם קאַרטעזיש פּראָדוקט, האָבן מיר די עיקר מכשירים צו גיין ווייטער צו מער אַוואַנסירטע מאַטעמאַטישע טעמעס. סעט טעאריע איז נישט נאר גרונט מאטעריאל, נאר אויך אן אוניווערסאלע שפראך גענוצט אין פילע פעלדער פון וויסנשאפט און טעכנאלאגיע. באהערשן די קאנצעפטן עפעקטיוו וועט מאכן ווייטערדיגע מאטעמאטיק לערנען גרינגער און מער לאגיש.
