Isomorfism: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
Resümee puudub |
P pisitoimetamine using AWB |
||
1. rida:
{{See artikkel| räägib filosoofia ja matemaatika mõistest; mineraloogia mõiste kohta vaata artiklit [[Isomorfism (mineraloogia)]]}}
'''Isomorfism''' ([[kreeka keel|kreeka]]: [[wikt:ἴσος|ἴσος]] ''isos'' – ühesugune, ja [[wikt:μορφή|μορφή]] ''morphe'' – vorm) moodustavad koos [[homomorfism]]iga üldmõiste (sh ka [[filosoofiline kategooria|filosoofilise kategooria]]), mis iseloomustab vastavust objektide struktuuride vahel <ref>
Mõned spetsiifilise suunitlusega filosoofilised koolkonnad võivad mitte tunnistada nende mõistete kuulumist kategooriate kilda.
==Selgitus==
Teadaolevalt võttis isomorfismi termini kasutusele 1857. aastal A. Cayley oma keemiliste isomeeride alastes uuringutes <ref>
Isomorfism on määratletav kui '''''struktuuri säilitav üks-ühene vastavus objektide vahel'''''.
Isomorfsete objektide hulk moodustab '''''isomorfismiklassi'''''. Kõige piltlikum näide isomorfismist on graafide isomorfism.
Kaks graafi on isomorfsed, st omavad ühesugust struktuuri, vaatamata nende erinavaele
{|class="wikitable" style="margin: 1em auto 1em auto"
17. rida:
! Isomorfism<br />G ja H vahel
|-
|style="padding-left:2em;padding-right:2em;"|[[
|style="padding-left:1em;padding-right:1em;"|[[
|align="center" style="background-color:white;"|ƒ(''a'') = 1
37. rida:
==Isomorfism matemaatikas==
Matemaatikas defineeritakse isomorfismi kui süsteemi niisugust üks-ühest kujutust sama tüüpi süsteemiks, mille korral säilib süsteemide [[struktuur]]. Näiteks, kujund ja selle kujundi matemaatiline avaldis <ref>
Isomorfismiprobleem on aktuaalne algebras, kategooria- ja [[graafiteooria]]s. [[Algebra]]s on isomorfism kujutus objektide vahel, selline mis näitab suhet kahe omaduse või operatsiooni vahel. Kui kahe struktuuri vahel esineb isomorfism, siis öeldakse, et vastavad objektid on ''isomorfsed''. Isomorfsed objektid on ''struktuurselt ekvivalentsed'', kuid võivad mõnest teisest aspektist erinevad olla. Teisisõnu, isomorfism on ''bijektiivne kujutus'' ''f'' niisugune, et ''f'' ja selle pöördfunktsioon ''f''<sup> −1</sup> on struktuuri säilitavad kujutused kahe algebralise struktuuri vahel, st need mõlemad on [[homomorfism|homomorfsed]]. Isomorfism on algebras samalaadselt defineeritud ka [[Rühm (matemaatika)|rühma]], [[ring]]i ja teiste struktuuride kohta.
50. rida:
Kahe graafi isomorfsust tähistatakse <math>G\simeq H</math>. Juhul kui bijektsioon on graafi kujutus iseendasse, st kui ''G'' ja ''H'' on üks ja sama graaf, siis seda bijektsiooni nimetatakse graafi ''G'' [[automorfism]]iks '''''AutG'''''.
Graafide isomorfism on [[ekvivalentsus
'''''Isomorfismi tuvastamine''''' kujutab endast vastava [[algoritm]]i konstrueerimist mida nimatatakse [[isomorfismiprobleem]]iks.
61. rida:
==Viited==
{{viited}}
[[Kategooria:Filosoofia]]
|