Hanganga Ārai i roto i te Pāngarau
He pou nui ngā hanganga taurangi o te pāngarau o ēnei rā. Ka āwhina i a tātou ki te mārama ki ngā "tauira" me ngā "ture tākaro" i muri i ngā mahi pēnei i te tāpiri, te whakarea, te hanganga mahi, me ngā panonitanga. Ahakoa te āhua whakarāpopoto, he reo kaha ngā hanganga taurangi mō te whakamārama i te whānuitanga o ngā āhuatanga - mai i ngā tau me te āhuahanga ki te ariā waehere me te whakamunatanga. Ka matapakihia e tēnei tuhinga te ariā o ngā hanganga taurangi, ō rātou momo, tauira, me tō rātou tūranga i roto i ngā momo mara.
He aha te Hanganga Ārai?
I te nuinga o te wā, ko te hanganga taurangi he huinga (kohinga o ngā mea) e mau ana i tētahi, neke atu rānei ngā mahi, ā, e tutuki ana i ētahi axioma. Ko ngā mea kei roto i te huinga he tau, he matihiko, he poronomia, he mahi, he panonitanga āhuahanga rānei. Kei roto i ngā mahi e pā ana ko te tāpiri, te whakarea, ētahi atu mahi rānei kua tautuhia e te horopaki.
Hei tauira māmā, ko te huinga o ngā tauoti \(\mathbb{Z}\) me te tāpiritanga he āhuatanga ōna: he kati, he tuakiri (0), he whakahurihuri (kei te ritenga kē) tō ia huānga, ā, he hononga, he whakawhitiwhiti hoki te tāpiritanga. Mai i tēnei, ka taea e tātou te whakarōpū i a \((\mathbb{Z}, +)\) hei hanganga taurangi motuhake, arā, he rōpū abelian.
Ko te kaupapa matua o te ako i ngā hanganga taurangi ko te kite i te mea e pono tonu ana mō tētahi pūnaha whakahaere, kaua ko te tatau noa i ngā hua motuhake. Arā, ka ako tātou i te "anga ture" e whakarite ana i ngā tataunga.
He aha te hiranga o te hanganga taurangi?
He maha ngā take e tino hira ai te hanganga taurangi:
1. Te whakawhanui i ngā ariā: ka taea te whakawhānui i ngā ture mō ngā tau ki ētahi atu mea pēnei i ngā poronomia, i ngā matihiko rānei.
2. Whakangāwari i te taunakitanga: he maha ngā ariā ka ātaahua ake ina whakahuatia i te taumata hanganga, kaua i ia take.
3. Te hono i ngā peka rerekē o te pāngarau: hei tauira, te whanaungatanga i waenga i ngā rōpū me te ōritetanga i roto i te āhuahanga.
4. Ngā tono whānui: ka whakamahia ngā hanganga taurangi e te whakamunatanga, te hoahoa whatunga, te ariā waehere, te ahupūngao ariā, me te pūtaiao rorohiko.
Mā te mārama ki te hanganga, ka taea e tātou te whakawhiti i te māramatanga me ngā tikanga mai i tētahi horopaki ki tētahi atu, mena he rite tonu ngā whakataukī.
Ngā Mahi me ngā Whakatakotoranga: Te Pūtake o te Hanganga
Ka whakatauhia he hanganga taurangi e:
– Tautuhi \(S\) : te wāhi kei reira ngā huānga.
– Mahi: he mahi e hono ana i tētahi, neke atu rānei o ngā huānga ki ētahi atu huānga o te huinga kotahi.
Mō te mahi rua \( \), kua tuhia:
\[
: S \ngā S \ki S
\]
Ko ngā whakataukī nui e puta pinepine ana ko:
– Kua kati: mēnā ko \(a,b \in S\), ko \(ab \in S\).
– Hononga: \((ab) c = a (bc)\).
– Whakawhitiwhiti: \(ab = ba\).
– Huānga tuakiri: kei reira te \(e\) kia rite ki te \(ae = ea = a\).
– Whakamuri: mō ia \(a\), he \(a^{-1}\) kia rite ai \(aa^{-1} = e\).
– Tohatoha: \(a(b+c)=ab+ac\) mēnā e rua ngā mahi (hei tauira, te tāpiri me te whakarea).
Ko ēnei whakataukī he "paearu" mō te whakaingoa i ngā hanganga: ngā rōpū-haurua, ngā monoid, ngā rōpū, ngā mowhiti, ngā mara, me ērā atu.
Ngā Momo Matua o ngā Hanganga Ārai
1. Rōpū-haurua
Ko te rōpū-haurua he huinga me tētahi mahi rua, he kati, he hononga hoki.
Tauira: ngā tauoti pai \(\mathbb{Z}^+\) me te tāpiri. Nā te mea he hononga te tāpiri, ā, he tauoti pai tonu te hua, he rōpū-haurua tēnei. Heoi, kāore he tuakiri (kāore e whakaurua te 0), nō reira ehara i te mea he monoid.
2. Ngā Monoid
He rōpū-haurua te monoid, he huānga tuakiri tōna.
Tauira: ko te huinga o ngā tau katoa \(\mathbb{N}_0\) me te tāpiri he monoid, ko tōna tuakiri ko te 0. Ko tētahi atu tauira: ko te huinga aho me te mahi honohono, ko tōna tuakiri ko te aho kau.
3. Rōpū
He monoid te rōpū, ā, he whakamuri kei ia huānga.
He tauira matarohia: He rōpū a \((\mathbb{Z}, +)\) nā te mea he whakahurihuri ia tauoti \(a\) \(-a\). Mena he tauwhitiwhiti hoki ngā mahi, ka kiia te rōpū he rōpū abelian. He maha ngā hanganga nui kei roto ngā rōpū nā te mea ka hopukina e ngā rōpū te ariā o ngā "mahi whakahurihuri".
He hononga tata ngā rōpū ki te ōritetanga. Hei tauira, ko ngā hurihanga me ngā whakaata i runga i ngā āhua papatahi ka hanga rōpū i raro i te hanganga o ngā panonitanga.
4. Mowhiti
E rua ngā mahi a ngā mowhiti (ko te tikanga he + me te ×). I te nuinga o te wā:
– He rōpū abelian a \((R, +)\),
– Ko te \((R, \times)\) he rōpū haurua (hononga) i te nuinga o te wā,
– te whakarea tohatoha ki te tāpiri.
Tauira: Ko \(\mathbb{Z}\) me ngā kaiwhakahaere + me × he mowhiti. Ko te pūrinomia me ngā tauwehenga tūturu \(\mathbb{R}[x]\) he mowhiti anō hoki. I roto i ngā mowhiti, kāore e noho tonu ngā whakahuri whakarea; hei tauira, i roto i te \(\mathbb{Z}\), kāore he whakahuri whakarea tauoti i te 2.
5. Mara
He mowhiti "kaha ake" te āpure, arā, he whakahuri whakarea tō ia huānga kore-kore, nō reira ka taea tonu te wehewehe (haunga te kore).
Tauira: ko ngā tau whaitake \(\mathbb{Q}\), ko ngā tau tūturu \(\mathbb{R}\), ko ngā tau matatini \(\mathbb{C}\) he āpure. He mea tino nui te ariā o ngā āpure i roto i te taurangi rārangi, te tātaitai, me te maha o ngā wāhanga whakamahi.
6. Āraipa Rārangi: Wāhi Wētera
Kei roto i te mokowā whārite he huinga o ngā whārite me ngā mahi e rua: te tāpiri whārite me te whakarea tauine (o tētahi āpure). Ko ngā mokowā whārite te pūtake mō ngā matapakinga o ngā matihiko, ngā pūnaha whārite rārangi, ngā ine, ngā turanga, me ngā panoni rārangi.
Tauira: Ko te \(\mathbb{R}^n\) he wāhi whārite kei runga i te mara \(\mathbb{R}\). Ko ngā pūrinomia he iti iho i te \(n\) te tohu, he ōrite rānei ki te \(n\) ka hanga anō hoki i tētahi wāhi whārite.
7. Ētahi atu Hanganga: Ngā Kōwae, Ngā Whatunga, me ngā Ārai Pūrei
– He rite te kōwae ki te wāhi whārite, engari i ahu mai ngā tauine i tētahi mowhiti, ehara i te āpure. Ka whakawhānui ake tēnei i te ariā o te wāhi whārite.
– Ka ako ngā whakarara i ngā mahi e rua pēnei i te "hononga" me te "whakawhitinga" me ētahi āhuatanga, e whakamahia ana i roto i te ariā arorau me te ariā huinga.
– He hanganga e tika ana mō te arorau rua (pono/hē) te ara taupū Boolean, ā, koinei te tūāpapa o ngā ara iahiko matihiko me te pūtaiao rorohiko ariā.
Te Homomorphism me te Isomorphism: Ngā Hanganga Honohono
Ko tētahi o ngā ariā tino kaha i roto i te kaupapa arorangi whakarāpopoto ko te taea e tātou te whakarite i ngā hanganga e rua mā roto i ngā mahere e tiaki ana i ngā mahi.
– Te ōritetanga: he mahi \(f: A \to B\) e pupuri ana i ngā mahi, hei tauira \(f(ab)=f(a)\circ f(b)\).
– Te Iōmoropitanga: he inemoropitanga takirua, e tohu ana he "tino ōrite" ngā hanganga e rua mai i te tirohanga taurangi.
Mā tēnei ariā, ka taea e tātou te whakangawari i te raruraru: mēnā he rite te hanganga matatini ki tētahi hanganga e ngāwari ake te mārama, ka taea e tātou te neke i te tātari ki te hanganga māmā ake.
Ngā Whakamahinga o ngā Hanganga Ārai
Kāore ngā hanganga taurangi e mutu i te ariā anake. Ko ētahi o ngā tono nui ko:
1. Whakamunatanga: he maha ngā tikanga whakamunatanga hou e whakamahi ana i ngā rōpū me ngā āpure tae atu ki ngā kōpiko porowhita.
2. Ariā Waehere (Ngā Waehere Whakatika-Hapa): ka whakamahia ngā mowhiti me ngā āpure tae atu ki ngā mokowā whārite hei kimi me te whakatika i ngā hapa i roto i te tuku raraunga.
3. Ahupūngao: ka whakaatuhia te ōritetanga i roto i te ahupūngao mā te whakamahi i ngā rōpū; ka whakamahia ngā taurangi takoto i roto i te miihini irahiko me te ariā mara.
4. Pūtaiao Rorohiko: Mā te arorangi Boolean, ngā monoid aho, me ētahi atu hanganga ōkawa ka āwhina i te mārama ki ngā reo ōkawa, ngā aunoa, me te tatau.
Te Katinga
Ko ngā hanganga taurangi te huarahi e hangaia ai e te pāngarau he "mīhini ture" ka taea te whakamahi ki te whānuitanga o ngā mea. Mā te tautuhi i ngā huinga, ngā mahi, me ngā axiom, ka whiwhi tātou i tētahi anga e taea ai te whakawhanui, te whakaatu i ngā taunakitanga pūnaha, me te mārama ake ki ngā ariā pēnei i te ōritetanga me ngā panonitanga. Mai i ngā rōpū-haurua me ngā monoid ki ngā rōpū me ngā mowhiti me ngā mara ki ngā mokowā whārite me ngā taurangi Boolean, ka whakaratohia e ia hanganga he taputapu ahurei mō te whakaaro. Hei whakamutunga, ko te ako i ngā hanganga taurangi ko te ako ki te kite i ngā āhuatanga ōrite taketake kei muri i ngā āhuatanga pāngarau me te ao tūturu.
