Coincheap na dTacar sa Mhatamaitic
Is coincheap bunúsach sa mhatamaitic iad tacair, agus tá ról ríthábhachtach acu i go leor brainsí den mhatamaitic, ó anailís agus ailgéabar go teoiric dóchúlachta agus staitisticí. In ainneoin a simplíochta dealraitheach, bíonn struchtúir agus airíonna doimhne ag tacair a mbíonn tionchar acu ar ár dtuiscint ar rudaí matamaiticiúla. Pléifear san alt seo an sainmhíniú, an nótaíocht, na cineálacha agus na hoibríochtaí bunúsacha a bhaineann le tacair.
Sainmhíniú ar Thacar
Go ginearálta, is féidir tacar a shainmhíniú mar bhailiúchán réad a mheastar mar aonad aonair. Is féidir leis na réada seo a bheith ina rud ar bith: uimhreacha, litreacha, siombailí, nó fiú tacair eile. Tugtar eilimintí nó baill den tacar ar na réada i dtacar. De ghnáth, léirítear tacair ag baint úsáide as lúibíní casta `{}`.
Sampla
– An tacar uimhreacha nádúrtha níos lú ná 5: \( \{1, 2, 3, 4\} \)
– An tacar gutaí san aibítir Laidineach: \( \{a, e, i, o, u\} \)
Nótaíocht Tacair
Sa mhatamaitic, tá nótaíocht tacair riachtanach chun cumarsáid agus ionramháil a shimpliú. Seo a leanas cuid de na nótaí agus na siombailí a úsáidtear go minic i dteoiric na dtacar :
1. Ballraíocht:
– Úsáidtear an tsiombail \( \in \) chun a léiriú gur ball de shraith é réad. Mar shampla, ciallaíonn \( 3 \in \{1, 2, 3, 4 \} \) gur ball den shraith {1, 2, 3, 4} é 3.
2. Gan Bhallraíocht:
– Úsáidtear an tsiombail _( \notin \) chun a léiriú nach ball de shraith é réad. Mar shampla, _( 5 \notin \{1, 2, 3, 4 \} \).
3. Tacar Folamh:
– Úsáidtear an tsiombail \( \emptyset \) nó \( \{\} \) chun tacar folamh a léiriú, eadhon tacar nach bhfuil aon bhaill ann.
4. Cuimsiú Tacair:
– Úsáidtear an tsiombail \( \subseteq \) nó \( \subseteq \) chun caidreamh cuimsithe idir dhá shraith a chur in iúl. Ciallaíonn an tsraith \( A \subseteq B \) go bhfuil gach ball den tsraith \( A \) ina bhall den tsraith \( B \) freisin.
Nótaíocht Foirmiú Tacair
Úsáidtear nótaíocht foirmithe tacair chun tacair a léiriú bunaithe ar airíonna áirithe atá ag a mbaill. Is é seo foirm ghinearálta na nótaíochta seo:
\[ \{ x \in A \mid \text{airíonna atá ag } x \} \]
Sampla:
– Is féidir an tacar uimhreacha cothroma dearfacha níos lú ná 10 a chur in iúl mar \( \{ x \in \mathbb{N} \mid x \text{ cothrom agus } x < 10 \} \).
Cineálacha Tacair
Tá roinnt cineálacha tacair ann a bhíonn le fáil go minic sa mhatamaitic, ina measc:
1. Tacar Críochnaithe:
– Tacar le líon teoranta ball. Sampla: \( \{1, 2, 3, 4, 5\} \).
2. Tacar Gan Teorainn:
– Tacar le líon gan teorainn ball. Sampla: An tacar uimhreacha nádúrtha \( \mathbb{N} = \{1, 2, 3, \ldots\} \).
3. Tacar Folamh:
– Tacar nach bhfuil aon bhaill ann ar chor ar bith. Léirithe ag \( \emptyset \).
4. Tacar Uilíoch:
– Tacar ina bhfuil na rudaí uile a phléitear i gcomhthéacs ar leith. De ghnáth léirítear é leis an tsiombail \(U \).
Oibríochtaí ar Thacair
Tá roinnt oibríochtaí bunúsacha is féidir a dhéanamh ar shraitheanna, lena n-áirítear:
1. Aontas:
– Is é aontas dhá shraith \(A \) agus \(B \) an tsraith ina bhfuil na heilimintí uile atá ina mbaill de \(A \), \(B \), nó an dá cheann. Scríofa \(A \cup B \).
– Sampla: Más rud é go bhfuil A = 1, 2, 3 agus B = 3, 4, 5), ansin is é A agus B = 1, 2, 3, 4, 5.
2. Crosbhealach:
– Is é trasnú dhá shraith \(A \) agus \(B \) an tsraith ina bhfuil na heilimintí uile atá ina mbaill de \(A \) agus \(B \) araon ag an am céanna. Scríofa \(A \cap B \).
– Sampla: Más rud é go bhfuil A = 1, 2, 3 agus B = 3, 4, 5), ansin is é A agus B = 3).
3. Difríocht:
– Is é an difríocht idir dhá shraith \(A \) agus \(B \) an tsraith ina bhfuil eilimintí ar baill de \(A \) iad ach nach baill de \(B \). Scríofa \(A – B \) nó \(A \backslash B \).
– Sampla: Más ionann A agus 1, 2, 3 agus B = 3, 4, 5), ansin (A – B = 1, 2).
4. Comhlánú:
– Is tacar é comhlán an tacair \(A \) ina bhfuil eilimintí sa tacar uilíoch \(U \) nach baill de \(A \) iad. Scríofa \(A' \) nó \(A^c \).
– Sampla: Más rud é go bhfuil \(U = \{1, 2, 3, 4, 5} \) agus \(A = \{1, 2, 3} \), ansin \(A' = \{4, 5} \).
Airíonna Tacair
I ngnímh tacair, tá roinnt airíonna tábhachtacha ar eolas, lena n-áirítear:
1. Comhlachaitheach:
– ((A cupán B) cupán C = A cupán (B cupán C))
– ((A B) C = A (B C)
2. Commutative:
– (A cupán B = B cupán A)
– (A caipín B = B caipín A)
3. Dáileadh:
– (A cupán (B cupán C) = (A cupán B) cupán (A cupán C))
– (A (B C) = (A B) C (A C))
4. Dlí De Morgan:
– \((A \cup B)' = A' \cup B'\)
– \((A \cup B)' = A' \cup B'\)
Conclúid
Cuireann coincheap na dtacar bunús láidir ar fáil sa mhatamaitic, agus is é bunús an choincheapa é do go leor struchtúr agus teoiricí. In ainneoin a simplíochta, tugann tuiscint dhomhain ar thacair agus a n-oibríochtaí deis dúinn struchtúir agus caidrimh níos casta sa mhatamaitic a iniúchadh agus a thuiscint. Mar bhunús do go leor brainsí den mhatamaitic, is uirlis riachtanach agus ábhartha iad tacair i staidéar na matamaitice nua-aimseartha agus a feidhmeanna i réimsí éagsúla den eolaíocht.
