Isomorfisme: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Robbot (overleg | bijdragen)
k Botgeholpen doorverwijzing: Ring - Verwijzing(en) gewijzigd naar ring (wiskunde)
RudolphousBot (overleg | bijdragen)
-htmlentities
Regel 1:
In de [[abstracte algebra]], een deelgebied van de [[wiskunde]], is een '''isomorfisme''' ([[Grieks]]]: ἴσος ''isos'' "gelijk", en μορφή ''morphe'' "vorm") een [[bijectie| bijectieve]] [[afbeeldingAfbeelding (wiskunde)|afbeelding]] ''f'' zodat zowel ''f'' als zijn [[inverse|inverse]] ''f''<sup>&nbsp;&minus;1−1</sup> [[Homomorfisme|homomorf]] zijn, dat wil zeggen, ''structuur-bewarende'' afbeeldingen.
 
In de meer algemene setting van de [[categorietheorie (wiskunde)|categorietheorie]] is een '''isomorfisme''' een [[morfisme]] ''f'':''X''→''Y'' in een categorie waarvoor er een "inverse" ''f''<sup>&nbsp;&minus;1−1</sup>:''Y''→''X'' bestaat, met de eigenschap dat zowel f<sup>&nbsp;&minus;1−1</sup>''f''=id<sub>X</sub> en ''ff''<sup>&nbsp;&minus;1−1</sup>=id<sub>Y</sub> opgaat
 
Informeel gesproken is een isomorfisme een soort van afbeelding tussen objecten, die een relatie laat zien tussen twee eigenschappen of operaties. Wanneer er een isomorfisme tussen twee structuren bestaat, noemen men de twee structuren '''isomorf'''. Als men ervoor kiest om zekere details te negeren, die voortvloeien uit de manier waarop de structuren zijn gedefinieerd, zijn isomorfe structuren in zekere zin '''structureel identiek'''.