Hoppa till innehållet

Isomorfi

Från Wikipedia

Isomorfi betyder "samma form", och är ett uttryck som används inom bland annat matematiken för att beteckna ett visst slags likhet mellan olika strukturer. Två sfäriska föremål av helt olika ursprung kan exempelvis kallas isomorfa ur ett visuellt perspektiv.

I hjärnan finns särskilda delar, så kallade spegelcentrum, som är specialiserade på att leta efter isomorfi. Förmågan att känna igen ansikten är ett sådant fenomen.

En isomorfi eller isomorfism är inom matematiken en sorts intressant avbildning mellan objekt. Douglas Hofstadter ger en informell definition:

Ordet "isomorfism" kan användas då två komplexa strukturer kan avbildas på varandra på ett sådant sätt att för varje del av den ena strukturen finns det en motsvarande del i den andra, där "motsvarande" betyder att de två delarna spelar liknande roller i sina respektive strukturer. (Gödel, Escher, Bach, s. 49)

Formellt är en isomorfi en homomorfi som har en invers som också är en homomorfi.

Om det existerar en isomorfi mellan två strukturer kallas de två strukturerna isomorfa. Isomorfa strukturer är "samma" på en viss nivå av abstraktion. Om man ignorerar de specifika identiteterna hos elementen i de underliggande mängderna och namnen i de underliggande relationerna är de två strukturerna identiska.

Inom den universella algebran ges en generell definition på isomorfi som täcker dessa och många andra fall. Inom kategoriteori kallas en morfi för en isomorfi om det finns en invers sådan att och .

Låt och vara enkla grafer. Graferna är isomorfa om det existerar en bijektion sådana att för alla hörngrannar i innebär att också är grannar i .[1]

Praktiskt exempel

[redigera | redigera wikitext]

Logaritmen (med någon fix bas ) är en funktion som avbildar de positiva reella talen på alla reella tal :

Denna avbildning är en bijektion. Utöver att vara isomorfi av mängder så bevarar den även vissa operationer. Speciellt kan man titta på gruppen av positiva reella tal under vanlig multiplikation. En av logaritmlagarna är:

Men de reella talen under addition bildar också en grupp. Så logaritmen är faktiskt en gruppisomorfi från gruppen till , alltså från de positiva reella talen under multiplikation till de reella talen under addition. Detta betyder att grupperna är strukturellt identiska (isomorfa).

Således kan logaritmen användas för att förenkla multiplikation av positiva reella tal till addition av deras logaritmer. Det är på grund av detta som man kan multiplicera två tal med hjälp av en räknesticka med logaritmisk skala, eller med linjal och logaritmtabeller.

Om till exempel ett objekt består av en mängd med en ordningsrelation och ett annat objekt består av en mängd med en ordningsrelation , så är en isomorfi från till en bijektiv funktion så att

En sådan isomorfi kallas en ordningsisomorfi.

Om och är magmor med de binära operatorerna respektive så är en magmaisomorfi från till en bijektiv funktion , sådan att

för alla .

När magmorna i fråga är grupper, kallas isomorfin en gruppisomorfi.

Källhänvisning

[redigera | redigera wikitext]
  1. ^ Rolf Karlsson. Föreläsning 11: Grafer, isomorfi, konnektivitet.