Grunnatriði mengjafræðinnar
Mengjafræði er einn mikilvægasti undirstaða nútíma stærðfræði. Næstum allar greinar stærðfræðinnar — allt frá algebru og greiningu til líkindafræði og tölfræði og tölvunarfræði — nota hugtakið mengi til að skilgreina hluti, smíða mannvirki og rökræða. Að skilja grunnatriði mengjafræðinnar auðveldar að læra flóknari stærðfræðileg hugtök, þar sem margar formlegar skilgreiningar eiga rætur að rekja til þess hvernig við flokkum og meðhöndlum „söfn“ hluta.
1. Að skilja mengi og meðlimi þeirra
Einfaldlega sagt er mengi skýrt skilgreint safn hluta. Hlutirnir innan mengis eru kallaðir meðlimir eða stök. Skýr skilgreining er lykilatriði: við verðum að geta ákvarðað hvort hlutur er meðlimur mengisins eða ekki.
Dæmi:
– Mengi jafnra talna minni en 10 er {2, 4, 6, 8}.
– Sérhljóðamengið í indónesísku er {a, i, u, e, o}.
Algengar notaðar táknmyndir:
– Ef \(x\) er meðlimur í menginu \(A\), skrifaðu \(x \in A\).
– Ef \(x\) er ekki meðlimur í \(A\), þá er það skrifað \(x \notin A\).
Til dæmis, ef \(A = \{1,2,3\}\), þá \(2 \in A\) og \(5 \not \in A\).
2. Hvernig á að lýsa mengi
Það eru nokkrar leiðir til að tjá mengi:
1. Með því að skrá félagsmenn (skráningaraðferð)
Dæmi: \(A = \{1,2,3,4\}\).
2. Með lýsingu (mengismyndamerki)
Dæmi: \(B = \{x \mid x \text{ náttúruleg tala og } x < 5\}\). Þar stendur: "B er mengi allra \(x\) þannig að \(x\) sé náttúruleg tala og \(x < 5\)."
3. Með Venn-myndum sýna Venn-myndir tengsl milli mengja með því að nota form (venjulega hringi) innan umræðuheims. Val á framsetningaraðferð fer eftir þörfum: listi hentar fyrir lítil mengi, en mengjasmiður hentar fyrir stór eða óendanleg mengi. 3. Alhliða mengi og tómt mengi Í ákveðnum umræðum skilgreinum við oft alhliða mengið \(U\), sem er mengið sem inniheldur alla hlutina sem verið er að ræða. Til dæmis, ef við erum að ræða heiltölur, þá getur alheimurinn verið \(U = \mathbb{Z}\). Á meðan er tómt mengi mengi sem hefur engin meðlimi yfirleitt, táknað með \(\varnothing\) eða \(\{\}\). Dæmi um tómt mengi: mengi náttúrulegra talna minni en 0. Engin náttúruleg tala uppfyllir það skilyrði, þannig að mengið er tómt. 4. Jafnrétti mengja Tvö mengi eru sögð jöfn ef þau hafa nákvæmlega sömu meðlimi. Röðin sem meðlimirnir eru skrifaðir í skiptir ekki máli. Dæmi: - \(\{1,3,5\} = \{5,3,1\}\) Ólíkt venjulegum listum skipta mengi sér ekki máli fyrir röð og telja ekki afrit. Þannig að: - \(\{1,1,2,2,3\} = \{1,2,3\}\) 5. Hlutmengi og eiginleg hlutamengi Ef öll stök mengis \(A\) eru einnig stök mengis \(B\), þá er \(A\) kallað hlutmengi af \(B\), skrifað sem \(A \subseteq B\). Dæmi: - Ef \(B = \{1,2,3,4\}\) og \(A = \{2,4\}\), þá er \(A \subseteq B\). Ef \(A\) er hlutmengi af \(B\) en \(A\) er ekki jafnt og \(B\), þá er \(A\) kallað raunverulegt hlutmengi, skrifað \(A \subset B\).
Mikilvæg staðreynd: Tóma mengið er hlutmengi af hverju mengi, þ.e. \(\varnothing \subseteq A\) fyrir hvaða mengi \(A\). 6. Grunnaðgerðir á mengjum Mengjafræðin býður upp á aðgerðir til að sameina eða bera saman mengi. a) Sameining Sameiningin \(A \cup B\) er mengið sem inniheldur öll stök sem eru annað hvort í \(A\) eða í \(B\) (eða í báðum). Dæmi: - \(A = \{1,2,3\}\), \(B = \{3,4,5\}\) Þá \(A \cup B = \{1,2,3,4,5\}\). b) Skurðpunktur Skurðpunkturinn \(A \cap B\) inniheldur stök sem eru bæði í \(A\) og í \(B\). Dæmi: - \(A \cap B = \{3\}\). c) Mismunur Mismunurinn \(A - B\) (eða \(A \mínus B\)) inniheldur stök sem eru í \(A\) en ekki í \(B\). Dæmi: - \(A \setminus B = \{1,2\}\). d) Viðbót Viðbót \(A^c\) (eða \(\overline{A}\)) er það stak alheimsins \(U\) sem er ekki innifalið í \(A\). Dæmi: ef \(U = \{1,2,3,4,5\}\) og \(A = \{1,3\}\), þá \(A^c = \{2,4,5\}\). 7. Mikilvæg lögmál í mengjaaðgerðum Mengjaaðgerðir hafa svipaða eiginleika og aðgerðir á tölum. 1. Víxlverkun \(A \cup B = B \cup A\) og \(A \cap B = B \cap A\). 2. Tengverkun \((A \cup B) \cup C = A \cup (B \cup C)\) \((A \cap B) \cap C = A \cap (B \cap C)\). 3. Dreifandi \(A \cup(B \cupC) = (A \cupB) \cup(A \cupC)\) \(A \cup(B \cupC) = (A \cupB) \cup(A \cupC)\).
4. Lögmál De Morgan ((A \cup B)^c = A^c \cap B^c) \(A \cap B)^c = A^c \cup B^c). Þessi lögmál eru mjög gagnleg til að einfalda mengjatjáningar, sérstaklega þegar unnið er með rökfræði, líkindafræði og algebrulegar strúktúrar. 8. Kardinali: Fjöldi staka í mengi Kardinali er fjöldi staka í mengi, táknað með \(|A|\). Fyrir endanleg mengi er auðvelt að reikna kardinali. Dæmi: - Ef \(A = \{2,4,6\}\), þá er \(|A| = 3\). Fyrir óendanleg mengi verður hugtakið kardinali áhugaverðara (til dæmis hefur mengi náttúrulegra talna \(\mathbb{N}\) óendanlega kardinali). Hins vegar fer umræðan um það venjulega inn í háþróaða mengjafræði. 9. Kartesískt margfeldi og einföld tengsl Kartesíska margfeldið af \(A\) og \(B\), skrifað sem \(A \times B\), er mengi raðaðra para \((a \in A\) og \(b \in B\). Dæmi: - Ef \(A = \{1,2\}\) og \(B = \{x,y\}\), þá er \(A \times B = \{(1,x),(1,y),(2,x),(2,y)\}\). Kartesíska margfeldið er grunnurinn að því að rannsaka tengsl og föll, því föll geta verið skoðuð sem mengi raðaðra para með ákveðnum reglum. Niðurstaða Grunnatriði mengjafræðinnar kenna okkur hvernig á að raða hlutum á skipulegan og samræmdan hátt. Með því að skilja hugtökin stök, undirmengi, sameiningar-/skurðpunktar-/mismunar-/viðbótaraðgerðir, lögmál aðgerða og hugmyndir um kardinalitet og kartesíska margfeldið, höfum við nauðsynleg verkfæri til að halda áfram í flóknari stærðfræðiefni. Mengjafræði er ekki aðeins grunnefni heldur einnig alheimsmál sem notað er á mörgum sviðum vísinda og tækni. Að ná góðum tökum á þessum hugtökum mun gera síðari stærðfræðinám auðveldara og rökréttara.
