Pangkat (matematika)

Sa matematika, ang isang pangkat (Ingles: set) ay isang koleksyon ng mga natatanging elemento.^[1]^[2]^[3] Maaring kahit anumang bagay ang mga elementong binubuo ng isang pangkat: mga tao, mga titik ng alpabeto, mga bilang, mga punto sa espasyo, mga guhit, mga hugis pang-heometriya, mga baryable, o kahit ibang mga pangkat.^[4] Magkatumbas ang dalawang pangkat kung at kung lamang sila ay mayroong tumpak na mga parehong elemento.^[5]

Nasa lahat ng dako ng makabagong matematika ang mga pangkat. Sa katunayan, ang teorya ng pangkat, mas partikular ang teorya ng pangkat ng Zermelo–Fraenkel, ay naging pamantayang paraan upang magbigay ng mahigpit na mga pundasyon para sa lahat ng sangay ng matematika simula pa noong unang kalahati ng ika-20 dantaon.^[4]

Kasaysayan

Lumitaw ang konsepto ng isang pangkat sa matematika sa pagtatapos ng ika-19 na siglo. Ang Alemang salita para sa isang pangkat, Menge, ay nilalang ni Bernard Bolzano sa kaniyang aklat ng Paradoxien des Unendlichen (Tagalog: Mga Kabalintunaan ng Walang Hangganan).

Ibinigay ni Georg Cantor, isa sa mga tagapagtatag ng teorya ng pangkat, ang kasunod na kahulugan sa simula ng kaniyang Beiträge zur Begründung der transfiniten Mengenlehre (Tagalog: Mga Ambag para sa Pundasyon ng Teorya ng Pangkat):^[6]

Ang pangkat ay isang kapulungan sa kabuuan ng mga natatanging bagay ng nating persepsyon o nating pag-iisip, na tinatawag na mga elemento ng pangkat.

Nagpasok ni Bertrand Russell ang katangian sa pagitan ng isang pangkat at isang klase (ang pangkat ay isang klase, pero ilang mga klase, tulad ng klase ng lahat ng mga pangkat, hindi ay mga pangkat, halimbawa kabalintunaan ni Russell):^[7]

Kapag inatupag ng mga matematiko ang kapulungan, Menge, ensemble, o katumbas na pangalan, karaniwan, lalo na kung saan ang bilang ng mga termino na kinabibilangan ay may hangganan, may palagay ng mismong bagay (sa katunayan isang klase) bilang tala ng niyang mga termino, at palagay na posible na may iisang termino, na nasa kasong iyon ay isang klase.

Intuitibong teorya ng pangkat

Ang pangunahing propyedad ng isang pangkat ay na maaaring sumaklaw ng mga elemento, na tinatawag din na miyembro. Katumbas ang dalawang pangkat kung may parehong mga elemento. Mas eksakto na, katumbas ang mga pangkat ng A at B kung bawa't isang elemento ng A ay isang elemento ng B, at bawa't isang elemento ng B ay isang elemento ng A. Ang itong propyedad ay tinatawag na ekstensiyonalidad (Kastila: extensionalidad, Ingles: extensionality) ng mga pangkat.

Ang simpleng konsepto ng isang pangkat ay naging napaka-kapaki-pakinabang sa matematika, pero lumilitaw ang mga kabalintunaan kung walang takda nasa pagpapagawa ng mga pangkat:

Ang kabalintunaan ni Russell ay ipinapakita na ang "pangkat ng lahat ng mga pangkat na hindi sumasaklaw ng mga mismo", kumbaga Padron:Mset, ay imposible.
Ang kabalintunaan ni Cantor ay ipinapakita na ang "pangkat ng lahat ng mga pangkat" ay imposible.

Ipinapaliwanag ng intuitibong teorya ng pangkat (Ingles: naive set theory) ang pangkat bilang anumang koleksiyon na maayos na ipinapaliwanag (Ingles: well-defined) na may mga natatanging elemento, pero lumilitaw ang mga problema dahil sa labo ng terminong maayos na ipinapaliwanag.

Aksiyomatikong teorya ng pangkat

Sa kasunod na mga pagsisikap para lutasin ang itong mga kabalintunaan sapul nang orihinal na pormulasyon ng intuitibong teorya ng pangkat, ang mga propyedad ng mga pangkat ay ipinapaliwanag ng mga aksiyoma. Naiintindihan ng aksiyomatikong teorya ng pangkat ang konsepto ng isang pangkat bilang isang primitibong nosyon. Ang layon ng mga aksiyoma ay idulot ang basikong balangkas para hinuhain ang katotohanan o kasinungalingan ng partikular na matematikal na mga proposisyon (mga sabi) tungkol sa mga pangkat, sa pamamagitan ng lohika ng unang orden. Gayunman, ayon sa mga teorema ng di-pagkakumpleto ni Gödel (Ingles: Gödel's incompleteness theorems), imposible ang paggamit ng lohika ng unang orden para patunayan na anumang aksiyomatikong teorya ng pangkat ay walang kabalintunaan.

Kahulugan at notasyon

Karaniwang ipinapaliwanag ng mga tekstong matematikal ang mga pangkat sa malalaking titik sa italiko, tulag ng $A$ , $B$ , $C$ .^[8] Ang isang pangkat ay natatawag din na koleksiyon o pamilya, lalo na kung ang kaniyang mga elementong mismo ay mga pangkat

Notasyong pantala

Sa notasyong pantala (Ingles: roster notation, enumeration notation) ipinapaliwanag ang isang pangkat ng tala ng niyang mga elemento sa pagitan ng mga kulot na panaklong, na hinihiwalayan ng mga kuwit:

A = Padron:Mset

B = Padron:Mset

.

Sa isang pangkat, mahalaga lang ang pagkakasama ng bawa't isang elemento, kaya hindi makabuluhan ang pagsasaayos sa notasyong pantala (sa kabilang banda, sa isang sekwensiya, tupla, o permutasyon ng isang pangkat, makahuluhan ang pagsasaayos). Halimbawa, ang $Padron:Mset$ at $Padron:Mset$ ay kinakatawan ang parehong pangkat.

Para sa mga pangkat na may maraming elemento, lalo na kung may implisitong padron, ang tala ng mga miyembro ay maaaring daglatin ng elipsis " $...$ " Halimbawa, ang pangkat ng unang libong positibong buumbilang ay maaaring tukuyin sa notasyong pantala ganito:

Padron:Mset

.

Semantikong kahulugan

Ang ibang paraan para ipaliwanag ang isang pangkat ay sa pamamagitan ng isang panuntunan para itakda ang mga elemento:

Ipaliwanag

A

bilang pangkat na ang kaninong mga miyembro ay unang apat na positibong buumbilang.

Ipaliwanag

B

bilang pangkat ng mga kulay ng watawat ng Pilipinas.

Ang ganyang kahulugan ay tinatawag na isang semantikong paglalarawan.

Notasyong pampangkat

Tinutukoy ng notasyong pampangkat ang isang pangkat bilang isang pagpili mula sa isang mas malaking pangkat. Ang itong pagpili ay itinatakda ng isang kondisyon sa mga elemento. Halimbawa, isang pangkat ng $F$ ay naipapaliwanag ganito:

$F=\{n\mid n{\text{ ay buumbilang, at }}0\leq n\leq 19\}.$

Sa itong notasyon, ang bertikal na harang "|" ay nangangahulugan ng "kung saan", at nababasa ang paglalarawan bilang "Ang $F$ ay pangkat ng lahat ng bilang $n$ kung saan $n$ ay buumbilang nasa interbalo mula sa 0 hanggang sa 19, inklusibo". Gumagamit ang ilang mga awtor ng isang tutuldok imbes na bertikal na harang.

Pagkamiyembro

Kung ang $B$ ay isang pangkat at ang $x$ ay isang elemento ng $B$ , ito ay sinusulat sa maikling anyo bilang $x \in B$ , na nababasa bilang "kinabilangan ng x ang B", o "ang x ay nasa B". Ang sabing "ang y hindi ay elemento sa B" ay sinusulat bilang $y \notin B$ , na nababasa bilang "y hindi ay nasa B".

Halimbawa, tungkol sa mga pangkat ng $A = Padron:Mset$ , $B = Padron:Mset$ , and $F = Padron:Mset$ ,

4 \in A

at

12 \in F

; at

20 \notin F

and

berde \notin B

.

Basyong pangkat

Ang basyong pangkat ay nag-iisang pangkat na wala mga miyembro. Sinusulat $\emptyset$ o $\emptyset$ o Padron:Mset o $ϕ$ o (or $ϕ$ ).

Mga subpangkat

Kung ang bawa't isang elemento ng pangkat ng A ay din nasa B, inilalarawan na A bilang isang subpangkat ng B, o sinasaklaw sa B, na sinusulat A ⊆ B, o B ⊇ A. Nababasa ang huli na Sumasaklaw ang B ng A, Isinasama ng A ang B, o Ang B ay superpangkat ng A. Ang kaugnayan ng mga pangkat ay tinatawag na pagkakasama o saklaw. Katumbas ang dalawang pangkat kung sumasaklaw ng isa't isa: kung A ⊆ B at B ⊆ A, ay katumbas sa A = B.

Kung ang A ay subpangkat ng B, pero ang A hindi ay katumbas sa B, ang A ay tinatawag isang angkop na subpangkat ng B. Naisusulat ito na A ⊊ B. Gayon din ang B ⊋ A ay nangangahulugan na Ang B ay angkop na superpangkat ng A. Kumbaga, sumasaklaw ang B ang A, at hindi ay katumbas sa A.

Ang pangatlong pares ng mga operador ⊂ at ⊃ ay kakaibang ginagawit ng kakaibang mga awtor: gumamit ang ilang mga awtor ng A ⊂ B at B ⊃ A para ibig sabihin na ang A ay anumang subpangkat ng B (at hindi naman kailangan isang angkop na superpangkat), habang inilalaan ng ibang mga awtor para mga kaso kung saan A ay angkop na subpangkat ng B.

Mga halimbawa:

Ang pangkat ng lahat ng mga tao ay isang angkop na subpangkat ng pangkat ng lahat ng mamalya.
Padron:Mset ⊂ Padron:Mset.
Padron:Mset ⊆ Padron:Mset.

Ang basyong pangkat ay subpangkat ng bawa't isang pangkat, at ang bawa't isang pangkat ay subpangkat ng mismo:

∅ ⊆ A.
A ⊆ A.

Mga natatanging pangkat ng mga bilang sa matematika

Ang mga likas na bilang $\mathbb {N}$ ay sinasaklaw sa mga buumbilang $\mathbb {Z}$ , na sinasaklaw sa mga makatwirang bilang $\mathbb {Q}$ , na sinasaklaw sa mga tunay na bilang $\mathbb {R}$ , na sinasaklaw sa mga komplikadong bilang $\mathbb {C}$ .

Napakahahalagang ang ilang mga pangkat sa matematika, kaya ang mga matematiko madalas na tinutukoy ang mga ito, kaya nagtamo ang ganyang mga pangkat ng mga natatanging pangalan at kaugalian para kumilala ng mga ito.

Ang mga itong mahahalagang pangkat ay kinakatawan sa mga tekstong matematikal sa bold (e.g. $\mathbf {Z}$ ) o bold pampisara (Ingles: blackboard bold, e.g. $\mathbb {Z}$ ).^[9] Sumasaklaw:

$\mathbf {N}$ o $\mathbb {N}$ , ang pangkat ng lahat ng mga likas na bilang: $\mathbf {N} =\{0,1,2,3,...\}$ (madalas na pinapalayas ng mga awtor ang $0$ );^[9]
$\mathbf {Z}$ o $\mathbb {Z}$ , ang pangkat ng lahat ng mga buumbilang (kung positibo, negatibo o sero): $\mathbf {Z} =\{...,-2,-1,0,1,2,3,...\}$ ;^[9]
$\mathbf {Q}$ o $\mathbb {Q}$ , ang pangkat ng lahat ng mga makatwirang bilang (kumbaga, ang pangkat ng lahat ng hatimbilang, parehong angkop at hindi angkop): $\mathbf {Q} =\left\{{\frac {a}{b}}\mid a,b\in \mathbf {Z} ,b\neq 0\right\}$ . Halimbawa, $- 7 / 4 \in Q$ at $5 = 5 / 1 \in Q$ ;^[9]
$\mathbf {R}$ o $\mathbb {R}$ , ang pangkat ng lahat ng mga tunay na bilang, na sumusuklaw ng lahat ng makatwirang bilang at lahat ng hindi makatwirang bilang (na sumusuklaw ng mga alhebraikong bilang tulad ng ${\sqrt {2}}$ na hindi naisusulat bilang mga hatimbilang, at saka mga transendental na bilang tulad ng $π$ and $e$ );^[9]
$\mathbf {C}$ o $\mathbb {C}$ , ang pangkat ng lahat ng mga komplikadong bilang: $C = Padron:Mset$ , halimbawa, $1 + 2 i \in C$ .^[9]

Ang bawa't isang pangkat sa itaas ay may mga elemento na walang hangganan. Ang bawa't isa ay subpangkat ng mga pangkat na itinatala sa ilalim.

Ang mga pangkat ng mga positibo o negatibong bilang ay minsan na ipinapahiwatig ng ⁺ at ^-. Halimbawa, kinakatawan ng $\mathbf {Q} ^{+}$ ang pangkat ng mga positibong makatwirang bilang.

Mga punsiyon

Ang isang punsiyon (o pagmamapa) mula sa isang pangkat ng $A$ hanggang sa isang pangkat ng $B$ ay panuntunan na nagtatalaga sa bawa't isang elementong "input" ng $A$ ng isang "output" na ay isang elemento ng $B$ . Mas pormal na, isang punsiyon ay natatanging uri ng kaugnayan, isa na nag-uugnay ng bawa't isang elemento ng $A$ sa eksakto na isang elemento ng $B$ . Ang isang punsiyon ay tinatawag na:

inyektibo kung nagmamapa anumang dalawang kakaibang elemento ng $A$ sa kakaibang mga elemento ng $B$ ,
suryektibo kung para bawa't isang elemento ng $B$ , may kahit isa lang elemento ng $A$ na nagmamapa sa ito, at
biyektibo kung ang punsiyon ay parehong inyektibo at suryektibo — sa itong kaso, bawa't isang elemento ng $A$ ay inirereto sa nag-iisang elemento ng $B$ , at bawa't isang elemento ng $B$ ay inirereto sa nag-iisang elemento ng $A$ , kaya walang elemento na walang kapares.

Ang isang inyektibong punsiyon ay tinatawag na isang inyeksiyon, ang isang suryektibong punsiyon ay tinatawag na isang suryeksiyon, at ang isang biyektibong punsiyon ay tinatawag na isang biyeksiyon o isa-sa-isang tugma.

Kardinalidad

Ang kardinalidad ng isang pangkat ng $S$ , na sinusulat na $Padron:Mabs$ , ay dami ng mga miyembro ng $S$ . Halimbawa, kung Padron:Mset}}, ang kardinalidad ay 3: $Padron:Mabs = 3$ . Sa notasyong pantala, ang mga miyembro na inuulit hindi ay ibinibilang, kaya $Padron:Mabs = 3$ din.

Mas pormal na, nagkakaroon ang dalawang pangkat ng parehong kardinalidad kung may isa-sa-isang tugma sa pagitan ng nila.

Ang kardinalidad ng basyong pangkat ay sero.

Mga kapangyarihang pangkat

Ang kapangyarihang pangkat ng isang pangkat ng $S$ ay pangkat ng lahat ng mga subpangkat ng $S$ . Ang basyong pangkat at $S$ mismo ay mga elemento ng kapangyarihang pangkat ng $S$ , dahil sila ay parehong mga subpangkat ng $S$ . Halimbawa, ang kapangyarihang pangkat ng $Padron:Mset$ ay $Padron:Mset$ . Ang kapangyarihang pangkat ng isang pangkat ng $S$ ay madalas na isinusulat na $P (S)$ o $2 S$ .

Kung nagkakaroon ang $S$ ng $n$ elemento, nagkakaroon ang $P (S)$ ng $2 n$ elemento. Halimbawa, nagkakaroon ang $Padron:Mset$ ng tatlong elemento, at nagkakaroon ang kaniyang kapangyarihang pangkat ng $23 = 8$ elemento, bilang ipinakita sa itaas.

Kung ang $S$ ay impinito (kung naililista o hindi), ang $P (S)$ hindi ay naililista. Saka, laging "mas malaki" ang kapangyarihang pangkat kaysa sa orihinal na pangkat, sa muwang na ang anumang tangka para parisan ang mga elemento ng $S$ sa mga elemento ng $P (S)$ ay mag-iiwan ng ilang mga elemento ng $P (S)$ na walang pares. (Hindi kailanman may isang biyeksiyon mula sa $S$ hanggang sa $P (S)$ .)

Mga partisyon

Ang isang partisyon ng isang pangkat ng $S$ ay isang pangkat ng mga di-basyong pangkat ng $S$ , kung saan bawa't isang $x$ nasa $S$ ay nasa eksakto isa sa mga ito subpangkat.

Mga basikong operasyon

Mga aplikasyon

Nasa lahat ng dako ng makabagong matematika ang mga pangkat. Halimbawa, ang mga alhebraikong istruktura sa alhebrang basal, tulad ng mga grupo, kampo, at singsing, ay nakasarang pangkat sa ilalim ng isa o higit pang mga operasyon.

Ang isa sa pangunahing mga aplikasyon sa intuitibong teorya ng pangkat ay konstruksiyon ng mga kaugnayan. Ang isang kaugnayan mula sa isang sakop ng $A$ hanggang sa kasakop ng $B$ ay subpangkat ng produktong Cartesiang $A \times B$ . Halimbawa, pagdating sa pangkat ng $S = Padron:Mset$ ng mga hugis sa laro ng mismong pangalan, ang kaugnayang "tumatalo" mula sa $S$ hanggang sa $S$ ay pangkat ng $B = Padron:Mset$ . Kaya tumatalo ang $x$ ng $y$ sa laro kung ang pares ng $(x, y)$ ay miyembro ng $B$ . Ang ibang halimbawa ay pangkat ng $F$ ng lahat ng mga pares ng $(x, x 2)$ , where $x$ ay tunay. Ang itong kaugnayan ay isang subpangkat ng $R \times R$ , kasi ang pangkat ng lahat ng mga parirami ay isang subpangkat ng pangkat ng lahat ng tunay na bilang. Dahil para bawa't isang $x$ sa $R$ , may isa at lang isang pares $(x,...)$ sa $F$ , ang itong kaugnayan ay tinatawag na isang punsiyon. Sa notasyong pampunsiyon, ang itong kaugnayan ay nasusulat na $F (x) = x 2$ .

Prinsipyo ng ingklusyon at eksklusyon

Mga sanggunian

↑ P. K. Jain; Khalil Ahmad; Om P. Ahuja (1995). Functional Analysis (sa wikang Ingles). New Age International. p. 1. ISBN 978-81-224-0801-0.{{cite book}}: CS1 maint: date auto-translated (link)
↑ Samuel Goldberg (1 Enero 1986). Probability: An Introduction (sa wikang Ingles). Courier Corporation. p. 2. ISBN 978-0-486-65252-8.{{cite book}}: CS1 maint: date auto-translated (link)
↑ Thomas H.. Cormen; Thomas H Cormen; Charles E Leiserson; Ronald L Rivest; Clifford Stein (2001). Introduction To Algorithms (sa wikang Ingles). MIT Press. p. 1070. ISBN 978-0-262-03293-3.{{cite book}}: CS1 maint: date auto-translated (link)
↑ ^4.0 ^4.1 Halmos 1960, p. 1.
↑ Stoll, Robert (1974). Sets, Logic and Axiomatic Theories (sa wikang Ingles). W. H. Freeman and Company. pp. 5.{{cite book}}: CS1 maint: date auto-translated (link)
↑ Cantor, Georg; Jourdain, Philip E.B. (Translator) (1895). "beiträge zur begründung der transfiniten Mengenlehre" [contributions to the founding of the theory of transfinite numbers]. Mathematische Annalen (sa wikang Aleman). New York Dover Publications (1954 English translation). xlvi, xlix: 481–512, 207–246. Inarkibo mula sa orihinal noong 2011-06-10. By an aggregate (Menge) we are to understand any collection into a whole (Zusammenfassung zu einem Gansen) M of definite and separate objects m (p.85){{cite journal}}: CS1 maint: date auto-translated (link)
↑ Bertrand Russell (1903) The Principles of Mathematics, chapter VI: Classes (sa Ingles).
↑ "Introduction to Sets". www.mathsisfun.com (sa wikang Ingles). Nakuha noong 2020-08-19.{{cite web}}: CS1 maint: date auto-translated (link)
↑ ^9.0 ^9.1 ^9.2 ^9.3 ^9.4 ^9.5 George Tourlakis (13 Pebrero 2003). Lectures in Logic and Set Theory: Volume 2, Set Theory (sa wikang Ingles). Cambridge University Press. p. 137. ISBN 978-1-139-43943-5.{{cite book}}: CS1 maint: date auto-translated (link)

Ang lathalaing ito na tungkol sa Matematika ay isang usbong. Makatutulong ka sa Wikipedia sa pagpapalawig nito.

[JainAhmad1995-1] P. K. Jain; Khalil Ahmad; Om P. Ahuja (1995). Functional Analysis (sa wikang Ingles). New Age International. p. 1. ISBN 978-81-224-0801-0.{{cite book}}: CS1 maint: date auto-translated (link)

[Goldberg1986-2] Samuel Goldberg (1 Enero 1986). Probability: An Introduction (sa wikang Ingles). Courier Corporation. p. 2. ISBN 978-0-486-65252-8.{{cite book}}: CS1 maint: date auto-translated (link)

[CormenCormen2001-3] Thomas H.. Cormen; Thomas H Cormen; Charles E Leiserson; Ronald L Rivest; Clifford Stein (2001). Introduction To Algorithms (sa wikang Ingles). MIT Press. p. 1070. ISBN 978-0-262-03293-3.{{cite book}}: CS1 maint: date auto-translated (link)

[FOOTNOTEHalmos19601-4] 4.0 ^4.1 Halmos 1960, p. 1.

[Stoll-5] Stoll, Robert (1974). Sets, Logic and Axiomatic Theories (sa wikang Ingles). W. H. Freeman and Company. pp. 5.{{cite book}}: CS1 maint: date auto-translated (link)

[Cantor-6] Cantor, Georg; Jourdain, Philip E.B. (Translator) (1895). "beiträge zur begründung der transfiniten Mengenlehre" [contributions to the founding of the theory of transfinite numbers]. Mathematische Annalen (sa wikang Aleman). New York Dover Publications (1954 English translation). xlvi, xlix: 481–512, 207–246. Inarkibo mula sa orihinal noong 2011-06-10. By an aggregate (Menge) we are to understand any collection into a whole (Zusammenfassung zu einem Gansen) M of definite and separate objects m (p.85){{cite journal}}: CS1 maint: date auto-translated (link)

[7] Bertrand Russell (1903) The Principles of Mathematics, chapter VI: Classes (sa Ingles).

[:1-8] "Introduction to Sets". www.mathsisfun.com (sa wikang Ingles). Nakuha noong 2020-08-19.{{cite web}}: CS1 maint: date auto-translated (link)

[Tourlakis2003-9] 9.0 ^9.1 ^9.2 ^9.3 ^9.4 ^9.5 George Tourlakis (13 Pebrero 2003). Lectures in Logic and Set Theory: Volume 2, Set Theory (sa wikang Ingles). Cambridge University Press. p. 137. ISBN 978-1-139-43943-5.{{cite book}}: CS1 maint: date auto-translated (link)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]