Bunúsacha na Teoirice Tacair
Tá teoiric na dtacar ar cheann de na bunghnéithe is tábhachtaí sa mhatamaitic nua-aimseartha. Úsáideann beagnach gach brainse den mhatamaitic—ó ailgéabar agus anailís go dóchúlacht agus staitisticí go heolaíocht ríomhaireachta—coincheap na dtacar chun rudaí a shainiú, struchtúir a thógáil, agus argóintí loighciúla a thógáil. Trí thuiscint a fháil ar bhunghnéithe na teoirice dtacar, is fusa coincheapa matamaiticiúla níos forbartha a fhoghlaim, toisc go dtagann go leor sainmhínithe foirmiúla ón gcaoi a ngrúpálaimid agus a ionramháilimid “bailiúcháin” rudaí.
1. Tuiscint a fháil ar Thacair agus a mBaill
Go simplí, is bailiúchán soiléir sainmhínithe é tacar. Tugtar baill nó eilimintí ar na réada laistigh de thacar. Tá soiléireacht sainmhínithe ríthábhachtach: ní mór dúinn a bheith in ann a chinneadh an ball den tacar é réad nó nach ea.
Sampla:
– Is é {2, 4, 6, 8} an tacar uimhreacha cothroma atá níos lú ná 10.
– Is é {a, i, u, e, o} an tacar gutaí san Indinéisis.
Nótaí a úsáidtear go coitianta:
– Más ball den tacar A é \(x\), scríobh \(x \in A\).
– Mura ball de A é \(x\), scríobhtar \(x \notin A\) é.
Mar shampla, má tá A = 1,2,3, ansin tá 2 in A agus 5 in A.
2. Conas Tacar a Lua
Tá roinnt bealaí ann chun tacar a chur in iúl:
1. Trí bhaill a chlárú (modh an chláir)
Sampla: \(A = \{1,2,3,4\}\).
2. Le cur síos (nótaíocht tógálaí tacair)
Sampla: Is uimhir nádúrtha í B = x agus x < 5).
Léitear ann: "Is é B tacar na \(x\) uile sa chaoi is gur uimhir nádúrtha í \(x\) agus \(x < 5\)."
3. Le léaráid Venn
Léirítear na caidrimh idir tacair i léaráidí Venn trí úsáid a bhaint as cruthanna (ciorcail de ghnáth) laistigh de chruinne dioscúrsa.
Braitheann an modh cur i láthair a roghnaítear ar na riachtanais: tá liostáil oiriúnach do thacair bheaga, agus tá nótaíocht an tógálaí tacair oiriúnach do thacair mhóra nó gan teorainn.
3. Tacar Uilíoch agus Tacar Folamh
I ndíospóireachtaí áirithe, is minic a shainmhínímid tacar uilíoch \(U\), arb é an tacar é ina bhfuil na réada uile atá á bplé. Mar shampla, má táimid ag plé slánuimhreacha, ansin d'fhéadfadh an tacar uilíoch a bheith \(U = \mathbb{Z}\).
Idir an dá linn, is tacar folamh é tacar nach bhfuil aon bhaill ann ar chor ar bith, arna léiriú le \(\varnothing\) nó \(\{\}\). Sampla de thacar folamh: tacar uimhreacha nádúrtha atá níos lú ná 0. Níl aon uimhreacha nádúrtha ann a chomhlíonann an coinníoll sin, mar sin tá an tacar folamh.
4. Cosúlacht Tacair
Deirtear go bhfuil dhá shraith cothrom má tá na baill chéanna iontu. Is cuma cén t-ord ina liostaítear na baill.
Sampla:
– \(\{1,3,5\} = \{5,3,1\}\)
Murab ionann agus liostaí gnáth, ní bhíonn tacair in ord agus ní chomhaireamh siad dúblaigh. Mar sin:
– \(\{1,1,2,2,3\} = \{1,2,3\}\)
5. Fíor-Fho-thacair agus Fo-thacair
Más baill den tacar B iad gach ball den tacar A freisin, ansin tugtar fo-thacar de B ar A, scríofa mar A \subseteq B.
Sampla:
– Más \(B = \{1,2,3,4\}\) agus \(A = \{2,4\}\), ansin \(A \subseteq B\).
Más fo-thacar de B é \(A\) ach mura bhfuil \(A\) cothrom le \(B\), ansin tugtar fo-thacar fíor ar \(A\), a scríobhtar \(A \subsetacar B\).
Fíric thábhachtach: is fo-thacar de gach tacar an tacar folamh, i.e. \(\varnothing \subseteq A\) d'aon tacar \(A\).
6. Oibríochtaí Bunúsacha ar Thacair
Soláthraíonn teoiric na dtacar oibríochtaí chun tacair a chomhcheangal nó a chur i gcomparáid.
a) Aontas
Is é an t-aontas \(A \cup B\) an tacar ina bhfuil na heilimintí uile atá i \(A\) nó i \(B\) (nó sa dá cheann).
Sampla:
– (A = 1,2,3), (B = 3,4,5)
Ansin (A agus B = 1,2,3,4,5).
b) Crosbhealach
Tá na heilimintí atá i \(A\) agus i \(B\) ag an am céanna sa trasnú \(A \cap B\).
Sampla:
– \(A \cap B = \{3\}\).
c) Difríocht
Tá na dúile atá i \(A) ach nach bhfuil i \(B) sa difríocht \(A – B\) (nó \(A \setminus B\)).
Sampla:
– (A = B = 1,2).
d) Comhlánú
Is é comhlán \(A^c\) (nó \(\overline{A}\)) an eilimint den chruinne \(U\) nach n-áirítear \(A\).
Sampla: má tá \(U = \{1,2,3,4,5\}\) agus \(A = \{1,3\}\), ansin
(A^c = 2,4,5).
7. Dlíthe Tábhachtacha in Oibríochtaí Tacair
Tá airíonna ag oibríochtaí tacair atá cosúil le hoibríochtaí ar uimhreacha.
1. Commutative
(A \cup B = B \cup A) agus (A \cup B = B \cup A).
2. Comhlachaitheach
((A \cupán B) \cupán C = A \cupán (B \cupán C))
((A \caipín B) \caipín C = A \caipín (B \caipín C)).
3. Dáileach
(A (B, C) = (A, B) (A, C))
(A \cup (B \cup C) = (A \cup B) \cup (A \cup C)).
4. Dlí De Morgan
((A \cup B)^c = A^c \cup B^c)
((A \cup B)^c = A^c \cup B^c).
Tá na dlíthe seo an-úsáideach chun léirithe tacair a shimpliú, go háirithe agus tú ag obair le loighic, dóchúlacht agus struchtúir ailgéabracha.
8. Cairdinéalacht: Líon na mBall de Thacar
Is éard atá i gcairdinéalacht líon na n-eilimintí i dtacar, arna léiriú le \(|A|\). I gcás tacair chríochta, is furasta an chairdinéalacht a ríomh.
Sampla:
– Más ionann A agus 2,4,6), ansin tá A = 3.
I dtacair gan teorainn, bíonn coincheap na cardinalachta níos suimiúla (mar shampla, tá cardinalacht gan teorainn ag an tacar uimhreacha nádúrtha \(\mathbb{N}\). Mar sin féin, is gnách go dtiteann an plé air i dteoiric tacar ardleibhéil.
9. Táirgí Cairtéiseacha agus Gaolta Simplí
Is é an toradh Cairtéiseach de (A) agus (B), scríofa (A × B), an tacar péirí ordaithe (a,b)) le (a in A) agus (b in B).
Sampla:
– Más rud é go bhfuil A = 1,2 agus B = x,y, ansin
(A × B = (1,x), (1,y), (2,x), (2,y)).
Is é an táirge Cairtéiseach an bunús chun caidrimh agus feidhmeanna a staidéar, mar is féidir feidhmeanna a fheiceáil mar shraitheanna de phéirí ordaithe le rialacha áirithe.
Ag dúnadh
Múineann bunghnéithe na teoirice tacair dúinn conas rudaí a eagrú ar bhealach struchtúrtha agus comhsheasmhach. Trí thuiscint a fháil ar choincheapa na n-eilimintí, na bhfo-thacar, oibríochtaí aontais/trasnaithe/difríochta/comhlánachta, dlíthe na n-oibríochtaí, agus na coincheapa maidir le cardinality agus táirgí Cairtéiseacha, tá na huirlisí riachtanacha againn chun bogadh ar aghaidh chuig topaicí matamaitice níos airde. Ní hamháin gur ábhar bunúsach í an teoiric tacair, ach is teanga uilíoch í freisin a úsáidtear i go leor réimsí eolaíochta agus teicneolaíochta. Is minic a fhágann tuiscint mhaith ar na coincheapa seo go mbeidh foghlaim na matamaitice ina dhiaidh sin níos éasca agus níos loighciúla.
