Àwọn Ìpìlẹ̀ ti Ìmọ̀-ẹ̀rọ Ṣíṣe Àkójọ
Ìlànà ìṣètò jẹ́ ọ̀kan lára àwọn ìpìlẹ̀ pàtàkì jùlọ nínú ìmọ̀ ìṣirò òde òní. Ó fẹ́rẹ̀ẹ́ jẹ́ pé gbogbo ẹ̀ka ìmọ̀ ìṣirò—láti aljebra àti ìṣàyẹ̀wò sí ìṣeéṣe àti statistiki sí ìmọ̀ kọ̀ǹpútà—ló ń lo èrò àwọn ìṣètò láti ṣàlàyé àwọn ohun kan, láti kọ́ àwọn ìṣètò, àti láti kọ́ àwọn àríyànjiyàn tó bófin mu. Lílóye àwọn ìpìlẹ̀ ìmọ̀ ìṣirò mú kí ó rọrùn láti kọ́ àwọn èrò ìṣirò tó ti ní ìlọsíwájú sí i, nítorí pé ọ̀pọ̀lọpọ̀ ìtumọ̀ tó péye wá láti inú bí a ṣe ń kó àwọn “àkójọ” àwọn ohun jọ àti láti ṣàkóso wọn.
1. Lílóye Àwọn Ẹgbẹ́ àti Àwọn Ọmọ Ẹgbẹ́ Wọn
Ní ṣókí, set jẹ́ àkójọpọ̀ àwọn ohun tí a ṣàlàyé kedere. Àwọn ohun tí ó wà nínú set kan ni a ń pè ní àwọn ọmọ ẹgbẹ́ tàbí àwọn ohun èlò. Ìtumọ̀ tí ó ṣe kedere ṣe pàtàkì: a gbọ́dọ̀ lè pinnu bóyá ohun kan jẹ́ ọmọ ẹgbẹ́ set náà tàbí bẹ́ẹ̀ kọ́.
Kókó:
– Àkójọ àwọn nọ́mbà tó péye tí kò ju 10 lọ jẹ́ {2, 4, 6, 8}.
– Àkójọ àwọn fáwẹ́lì ní èdè Indonesian ni {a, i, u, e, o}.
Àwọn àmì tí a sábà máa ń lò:
– Tí \(x\) bá jẹ́ ọmọ ẹgbẹ́ set \(A\), kọ \(x \in A\).
– Tí \(x\) kò bá jẹ́ ọmọ ẹgbẹ́ \(A\), a ó kọ ọ́ sí \(x \notin A\).
Fún àpẹẹrẹ, tí \(A = \{1,2,3\}\), lẹ́yìn náà \(2 \in A\) àti \(5 \notin A\).
2. Báwo ni a ṣe lè sọ àkójọ kan
Awọn ọna pupọ lo wa lati ṣe afihan akojọpọ kan:
1. Nípa fífi orúkọ àwọn ọmọ ẹgbẹ́ sílẹ̀ (ọ̀nà ìforúkọsílẹ̀)
Àpẹẹrẹ: \(A = \{1,2,3,4\}\).
2. Pẹ̀lú àpèjúwe (àkọsílẹ̀ olùkọ́lé)
Àpẹẹrẹ: \(B = \{x \mid x \text{ jẹ́ nọ́mbà àdánidá àti } x < 5\}\).
Ó kà pé: "B ni àkójọ gbogbo \(x\) tó bẹ́ẹ̀ tí \(x\) fi jẹ́ nọ́mbà àdánidá àti \(x < 5\)."
3. Pẹ̀lú àwòrán Venn
Àwọn àwòrán Venn ń fi àwọn ìbáṣepọ̀ tó wà láàrín àwọn àkójọpọ̀ hàn nípa lílo àwọn àwòrán (nígbà gbogbo àwọn yíká) láàrín àgbáyé ìjíròrò.
Yiyan ọna igbejade da lori awọn aini: atokọ naa dara fun awọn ṣeto kekere, lakoko ti akọsilẹ olupilẹṣẹ ṣeto dara fun awọn ṣeto nla tabi ailopin.
3. Eto Gbogbo-Agbaye ati Eto Ofo
Nínú àwọn ìjíròrò kan, a sábà máa ń túmọ̀ àkójọpọ̀ gbogbogbò \(U\), èyí tí í ṣe àkójọpọ̀ tí ó ní gbogbo àwọn ohun tí a ń jíròrò nínú. Fún àpẹẹrẹ, tí a bá ń sọ̀rọ̀ nípa nọ́ńbà odidi, àkójọpọ̀ gbogbogbò lè jẹ́ \(U = \mathbb{Z}\).
Nibayi, eto ti o ṣofo jẹ eto ti ko ni awọn ọmọ ẹgbẹ rara, ti a tọka si nipasẹ \(\varnothing\) tabi \(\{\}\). Àpẹẹrẹ ti eto ti o ṣofo: eto awọn nọmba adayeba ti o kere ju 0. Ko si awọn nọmba adayeba ti o ni itẹlọrun ipo yẹn, nitorinaa eto naa ṣofo.
4. Ìbáradọ́gba àwọn Ṣẹ́ẹ̀tì
A sọ pé àwọn ẹgbẹ́ méjì dọ́gba tí wọ́n bá ní àwọn ẹgbẹ́ kan náà. Ìtòlẹ́sẹẹsẹ tí a fi ṣe àkójọ àwọn ẹgbẹ́ kò ṣe pàtàkì.
Kókó:
– \(\{1,3,5\} = \{5,3,1\}\)
Láìdàbí àwọn àkójọpọ̀ lásán, àwọn àkójọpọ̀ kò sí ní ìtòlẹ́sẹẹsẹ wọn kò sì ka àwọn àtúnṣe. Nítorí náà:
– \(\{1,1,2,2,3\} = \{1,2,3\}\)
5. Àwọn Ẹ̀ka Tòótọ́ àti Àwọn Ẹ̀ka Ìsàlẹ̀
Tí gbogbo àwọn ọmọ ẹgbẹ́ ìṣètò náà bá jẹ́ ọmọ ẹgbẹ́ ìṣètò náà (B), nígbà náà ni a ń pe \(A\) ní ìsọ̀rí-ẹ̀ka ti \(B\), tí a kọ sí \(A \subseteq B\).
Kókó:
– Tí \(B = \{1,2,3,4\}\) àti \(A = \{2,4\}\), lẹ́yìn náà \(A \subseteq B\).
Tí \(A\) bá jẹ́ ìpín-ẹ̀yà \(B\) ṣùgbọ́n \(A\) kò bá dọ́gba pẹ̀lú \(B\), nígbà náà ni a ó pe \(A\) ní ìpín-ẹ̀yà tòótọ́, tí a kọ \(A \subset B\).
Kókó pàtàkì: àkójọpọ̀ òfo jẹ́ àkójọpọ̀ gbogbo àkójọpọ̀, ìyẹn ni \(\varnothing \subseteq A\) fún àkójọpọ̀ èyíkéyìí \(A\).
6. Awọn iṣẹ ipilẹ lori Awọn eto
Ìlànà ètò ń pese àwọn iṣẹ́ fún sísopọ̀ tàbí fífiwéra àwọn ètò.
a) Ẹgbẹ́
Ìṣọ̀kan \(A \cup B\) ni àkójọpọ̀ tí ó ní gbogbo àwọn èròjà tí ó wà nínú \(A\) tàbí nínú \(B\) (tàbí nínú méjèèjì).
Kókó:
– \(A = \{1,2,3\}\), \(B = \{3,4,5\}\)
Lẹ́yìn náà \(A \cup B = \{1,2,3,4,5\}\).
b) Ìtajà
Ìsopọ̀ \(A \cap B\) ní àwọn èròjà tí ó wà nínú \(A\) àti nínú \(B\) ní àkókò kan náà.
Kókó:
– \(A \cap B = \{3\}\).
c) Iyatọ
Ìyàtọ̀ \(A – B\) (tàbí \(A \setminus B\)) ní àwọn èròjà tí ó wà nínú \(A\) ṣùgbọ́n tí kò sí nínú \(B\).
Kókó:
– \(A \setminus B = \{1,2\}\).
d) Àfikún
Àfikún \(A^c\) (tàbí \(\overline{A}\)) ni ohun èlò àgbáyé \(U\) tí kò ní \(A\) nínú.
Àpẹẹrẹ: tí \(U = \{1,2,3,4,5\}\) àti \(A = \{1,3\}\), nígbà náà
\(A^c = \{2,4,5\}\).
7. Àwọn Òfin Pàtàkì Nínú Àwọn Iṣẹ́ Tí A Ṣètò
Awọn iṣẹ ṣeto ni awọn ohun-ini ti o jọra si awọn iṣẹ lori awọn nọmba.
1. Ìrìnàjò
\(A \cup B = B \cup A\) àti \(A \cup B = B \cup A\).
2. Olùbáṣepọ̀
\((A \ago B) \ago C = A \ago (B \ago C)\)
\((A \cap B) \cap C = A \cap (B \cap C)\).
3. Pínpín
\(A \cap (B \cap C) = (A \cap B) \cap (A \cap C)\)
\(A \ago (B \ago C) = (A \ago B) \ago (A \ago C)\).
4. Òfin De Morgan
\((A \ago B)^c = A^c \okun B^c\)
\((A \cap B)^c = A^c \cup B^c\).
Àwọn òfin wọ̀nyí wúlò gan-an ní mímú kí àwọn ìgbékalẹ̀ ìṣàfihàn rọrùn, pàápàá jùlọ nígbà tí a bá ń ṣiṣẹ́ pẹ̀lú ìlànà, ìṣeéṣe, àti àwọn ìṣètò aljebra.
8. Kadinalogi: Iye awọn ọmọ ẹgbẹ ti Ẹgbẹ kan
Kadinalite ni iye awon eroja ninu eto kan, ti a fi \(|A|\) se afihan. Fun awon eto ti a pari, o rọrun lati ṣe iṣiro kadinalite.
Kókó:
– Tí \(A = \{2,4,6\}\), nígbà náà \(|A| = 3\).
Nínú àwọn àkójọpọ̀ àìlópin, èrò nípa cardinality di ohun tó fani mọ́ra síi (fún àpẹẹrẹ, àkójọpọ̀ àwọn nọ́mbà àdánidá \(\mathbb{N}\) ní cardinality àìlópin). Síbẹ̀síbẹ̀, ìjíròrò rẹ̀ sábà máa ń wọ inú ẹ̀kọ́ àkójọpọ̀ tó ti ní ìlọsíwájú.
9. Awọn Ọja Cartesian ati Awọn Ibatan Rọrun
Ìṣẹ̀dá Cartesian ti \(A\) àti \(B\), tí a kọ \(A \times B\), ni àkójọ àwọn ìpele tí a ṣètò \((a,b)\) pẹ̀lú \(a \in A\) àti \(b \in B\).
Kókó:
– Tí \(A = \{1,2\}\) àti \(B = \{x,y\}\), nígbà náà
\(A \times B = \{(1,x),(1,y),(2,x),(2,y)\}\).
Ọjà Cartesian ni ipilẹ fun kikọ ẹkọ awọn ibatan ati awọn iṣẹ, nitori awọn iṣẹ le wo bi awọn akojọpọ awọn bata ti a ṣeto pẹlu awọn ofin kan.
Penutup
Àwọn ìpìlẹ̀ ẹ̀kọ́ set kọ́ wa bí a ṣe lè ṣètò àwọn nǹkan ní ọ̀nà tí a ṣètò àti tí ó báramu. Nípa lílóye àwọn èrò ti àwọn èròjà, àwọn ìpín, ìṣọ̀kan/ìjápọ̀/ìyàtọ̀/ìbáramu iṣẹ́, àwọn òfin iṣẹ́, àti àwọn èrò ti cardinarity àti àwọn ọjà Cartesian, a ní àwọn irinṣẹ́ pàtàkì láti gbé síwájú sí àwọn kókó ẹ̀kọ́ mathimatiki tí ó ti ní ìlọsíwájú. Ẹ̀kọ́ set kìí ṣe kókó ẹ̀kọ́ ìpìlẹ̀ nìkan, ṣùgbọ́n ó tún jẹ́ èdè gbogbogbò tí a ń lò ní ọ̀pọ̀lọpọ̀ ẹ̀ka ìmọ̀ sáyẹ́ǹsì àti ìmọ̀ ẹ̀rọ. Òye tí ó dára nípa àwọn èrò wọ̀nyí sábà máa ń mú kí ẹ̀kọ́ mathimatiki tí ó tẹ̀lé e rọrùn àti kí ó bá ọgbọ́n mu.