Fototry ny Teorian'ny Set
Ny teorian'ny seta dia iray amin'ireo fototra manan-danja indrindra amin'ny matematika maoderina. Saika ny sampana rehetra amin'ny matematika—manomboka amin'ny algebra sy ny famakafakana ka hatramin'ny mety ho azo atao sy ny statistika ary ny siansa informatika—dia mampiasa ny foto-kevitry ny seta mba hamaritana zavatra, hananganana rafitra, ary hananganana adihevitra lojika. Ny fahatakarana ny fototry ny teorian'ny seta dia manamora ny fianarana foto-kevitra matematika mandroso kokoa, satria ny famaritana ara-dalàna maro dia avy amin'ny fomba fanakambanantsika sy ny fikirakirantsika ny "fanangonana" zavatra.
1. Fahatakarana ny seta sy ireo mpikambana ao aminy
Raha fintinina, ny seta dia fitambarana zavatra voafaritra mazava tsara. Ireo zavatra ao anatin'ny seta dia antsoina hoe mpikambana na singa. Tena ilaina ny fahazavan'ny famaritana: tsy maintsy afaka mamaritra isika raha mpikambana ao amin'ny seta ny zavatra iray na tsia.
ohatra:
– Ny andiana isa mitovy latsaky ny 10 dia {2, 4, 6, 8}.
– Ny andian-janatsoratra amin'ny teny indonezianina dia {a, i, u, e, o}.
Fanamarihana ampiasaina matetika:
– Raha mpikambana ao amin'ny seta (A) ny \(x), dia soraty hoe \(x \in A\).
– Raha tsy mpikambana ao amin'ny \(A\ ny \(x\), dia soratana hoe \(x \notin A\ izany.)
Ohatra, raha \(A = \{1,2,3\}\), dia \(2 \in A\) ary \(5 \notin A\).
2. Ahoana ny fomba hilazana seta iray
Misy fomba maro hanehoana seta iray:
1. Amin'ny fisoratana anarana mpikambana (fomba fisoratana anarana)
Ohatra: \(A = \{1,2,3,4\}\).
2. Miaraka amin'ny famaritana (fanamarihana mpanamboatra-set)
Ohatra: \(B = \{x \mid x \text{ isa voajanahary sy } x < 5\}\). Toy izao no voasoratra: "Ny B dia ny andian'ny \(x\) rehetra ka ny \(x\) dia isa voajanahary ary \(x < 5\)."
3. Amin'ny alalan'ny kisarisary Venn, ny kisarisary Venn dia mampiseho ny fifandraisana misy eo amin'ireo seta amin'ny alalan'ny endrika (matetika faribolana) ao anatin'ny tontolo iray iadian-kevitra. Miankina amin'ny filàna ny fisafidianana fomba fampisehoana: mety amin'ny seta kely ny lisitra, raha toa kosa ny fanamarihana mpamorona seta amin'ny seta lehibe na tsy manam-petra. 3. Seta Iraisam-pirenena sy Seta Foana Amin'ny fifanakalozan-kevitra sasany, matetika isika no mamaritra ny seta iraisam-pirenena \(U\), izay ny seta misy ireo zavatra rehetra iadian-kevitra. Ohatra, raha miresaka isa manontolo isika, dia mety ho \(U = \mathbb{Z}\ ny tontolo iray. Mandritra izany fotoana izany, ny seta foana dia seta tsy misy mpikambana mihitsy, asehon'ny \(\varnothing\) na \(\{\}\). Ohatra iray amin'ny seta foana: ny seta misy isa voajanahary latsaky ny 0. Tsy misy isa voajanahary mahafeno io fepetra io, ka foana ny seta. 4. Fitovian'ny Seta Lazaina fa mitovy ny seta roa raha mitovy tanteraka ny mpikambana ao aminy. Tsy maninona ny filaharan'ny fanoratana ny mpikambana. Ohatra: - \(\{1,3,5\} = \{5,3,1\}\) Tsy toy ny lisitra mahazatra, ny seta dia tsy miraharaha ny filaharana ary tsy manisa ny dika mitovy. Koa: - \(\{1,1,2,2,3\} = \{1,2,3\}\) 5. Seta madinika sy Seta madinika mety Raha singa ao amin'ny seta \(A\) avokoa ny singa rehetra ao amin'ny seta \(B\), dia antsoina hoe seta madinika an'ny \(B\ ny \(A\), soratana hoe \(A \subseteq B\. Ohatra: - Raha \(B = \{1,2,3,4\}\) ary \(A = \{2,4\}\), dia \(A \subseteq B\). Raha seta madinika an'ny \(B\) ny \(A\) saingy tsy mitovy amin'ny \(B\ ny \(A\), dia antsoina hoe seta madinika marina ny \(A\), soratana hoe \(A \subseteq B\.
Zava-dehibe: Ny seta foana dia ampahany amin'ny seta rehetra, izany hoe, \(\varnothing \subseteq A\) ho an'ny seta rehetra \(A\). 6. Asa fototra amin'ny seta Ny teorian'ny seta dia manome asa ho an'ny fampiarahana na fampitahana seta. a) Firaisana Ny firaisana \(A \cup B\) dia ny seta misy ny singa rehetra izay ao amin'ny \(A\) na ao amin'ny \(B\) (na ao amin'izy roa). Ohatra: - \(A = \{1,2,3\}\), \(B = \{3,4,5\}\) Dia \(A \cup B = \{1,2,3,4,5\}\). b) Fifandimbiasana Ny fifandimbiasana \(A \cap B\) dia misy singa izay ao amin'ny \(A\) sy ao amin'ny \(B\). Ohatra: - \(A \cap B = \{3\}\). c) Fahasamihafana Ny fahasamihafana \(A - B\) (na \(A \setminus B\)) dia misy singa izay ao amin'ny \(A\) fa tsy ao amin'ny \(B\). Ohatra: - \(A \setminus B = \{1,2\}\). d) Fameno Ny fameno an'ny \(A^c\) (na \(\overline{A}\)) no singa ao amin'ny tontolo \(U\) izay tsy tafiditra ao amin'ny \(A\). Ohatra: raha \(U = \{1,2,3,4,5\}\) ary \(A = \{1,3\}\), dia \(A^c = \{2,4,5\}\). 7. Lalàna manan-danja amin'ny fandidiana seta Ny fandidiana seta dia manana toetra mitovy amin'ny fandidiana amin'ny isa. 1. Fifandimbiasana \(A \cup B = B \cup A\) sy \(A \cap B = B \cap A\). 2. Mpikambana \((A \cup B) \cup C = A \cup (B \cup C)\) \((A \cap B) \cap C = A \cap (B \cap C)\). 3. Mizara (A = B) (A = C)) (A = B) = C) (A = B) (A = C)).
4. Ny lalàn'i De Morgan \((A \cup B)^c = A^c \cap B^c\) \((A \cap B)^c = A^c \cup B^c\). Ireo lalàna ireo dia tena ilaina amin'ny fanatsorana ny fanehoana seta, indrindra rehefa miasa amin'ny lojika, ny mety ho azo atao, ary ny rafitra algebra. 8. Kardinalita: Isan'ny singa ao amin'ny seta Ny kardinalita dia ny isan'ny singa ao anaty seta, asehon'ny \(|A|\). Ho an'ny seta voafetra, mora kajy ny kardinalita. Ohatra: - Raha \(A = \{2,4,6\}\), dia \(|A| = 3\). Ho an'ny seta tsy manam-petra, dia lasa mahaliana kokoa ny foto-kevitry ny kardinalita (ohatra, ny seta misy isa voajanahary \(\mathbb{N}\) dia manana kardinalita tsy manam-petra). Na izany aza, ny fifanakalozan-kevitra momba azy dia matetika miditra amin'ny teoria seta mandroso. 9. Vokatra Cartesian sy Fifandraisana Tsotra Ny vokatra Cartesian an'ny \(A\) sy \(B\), izay soratana hoe \(A \times B\), dia andiana mpivady voalamina \((a,b)\) miaraka amin'ny \(a \in A\) sy \(b \in B\). Ohatra: - Raha \(A = \{1,2\}\) sy \(B = \{x,y\}\), dia \(A \times B = \{(1,x),(1,y),(2,x),(2,y)\}\). Ny vokatra Cartesian no fototry ny fandalinana ny fifandraisana sy ny asa, satria ny asa dia azo jerena ho andiana mpivady voalamina misy fitsipika sasany. Famaranana Ny fototry ny teorian'ny seta dia mampianatra antsika ny fomba fandaminana zavatra amin'ny fomba voarafitra sy mifanaraka. Amin'ny fahatakarana ny foto-kevitry ny singa, ny zana-vondrona, ny asa iraisana/fifandonana/fahasamihafana/famenoana, ny lalàn'ny asa, ary ny hevitra momba ny kardinaly sy ny vokatra Cartesian, dia manana ireo fitaovana ilaina isika handrosoana amin'ny lohahevitra matematika mandroso kokoa. Tsy fitaovana fototra fotsiny ny teoria napetraka, fa fiteny iraisam-pirenena ampiasaina amin'ny sehatra maro amin'ny siansa sy teknolojia ihany koa. Ny fahaizana mifehy tsara ireo hevitra ireo dia hahatonga ny fianarana matematika manaraka ho mora kokoa sy lojika kokoa.
