homomorfisme invertible From Wikipedia, the free encyclopedia
En matemàtiques, un isomorfisme és un morfisme que admet un invers, que és també un morfisme.[1]
Conseqüentment, un isomorfisme és una bijecció, ja que les relacions algebraiques entre els elements del conjunt d'arribada són les mateixes que els seus antecedents respectius, i l'estructura algebraica es conserva.[2][3][4][5]
Un isomorfisme es pot definit concisament com un homomorfisme bijectiu tal que la seva inversa és també un homomorfisme.[6] És a dir:[7][8]
|
Si existeix un isomorfisme entre i , llavors i s'anomenen isomorfes i la bijecció es coneix com isomorfisme entre i . A més, i reben el nom de similars entre sí.[7][9]
Si , es diu que l'isomorfisme és un automorfisme.[10] Es pot demostrar que donat un conjunt ben ordenat, l'únic automorfisme possible és la funció identitat.[8]
Els isomorfismes en conjunts linealment ordenats tenen una relació d'equivalència, és a dir, cumpleixen la reflexivitat, la simetria i la transitivitat, és a dir:[8]
|
En el segle XX, es va precisar en matemàtiques la noció intuïtiva d'estructura, seguint la concepció d'Aristòtil de la matèria i la forma, segons la qual cada estructura és un conjunt X dotat de certes operacions (com la suma o el producte) o de certes relacions (com una ordenació) o certs subconjunts (com en el cas de la topologia), etc. En aquest cas, el conjunt X és la matèria i les operacions, relacions, etc., en ell definides, són la forma.
El descobrimient de Plató, que la forma és el que importa, es recull en matemàtiques amb el concepte d'isomorfisme. Una aplicació f:X→Y entre dos conjunts dotats del mateix tipus d'estructura és un isomorfisme quan cada element d'Y prové d'un únic element de X i f transforma les operacions, relacions, etc., que hi ha en X en les que hi ha en Y. Quan entre dues estructures hi ha un isomorfisme, ambdues són indistingibles, tenen les mateixes propietats, i qualsevol enunciat és simultàniament cert o fals en les dues. Per això en matemàtiques les estructures s'han de classificar llevat dels isomorfismes.
En el segle XX el biòleg i filòsof de la ciència austríac, Ludwig von Bertalanffy, va recuperar aquest concepte com a element en la formulació de la seva teoria general de sistemes.[11] Per a aquest autor, existien un seguit de coincidències en l'evolució dels processos que es duen a terme en diferents camps del coneixement (la biologia, la demografia, la física, les ciències socials, etc.) que va denominar isomorfismes.[12] Resultava important per al plantejament de la nova teoria, atès que «l'isomorfisme trobat entre diferents terrenys es basa en l'existència de principis generals de sistemes, d'una teoria general dels sistemes més o menys ben desenvolupada».[13]
Està definit com:[8]
|
De forma més general, en la teoria de les categories, un isomorfisme és un morfisme que té un invers a la dreta i un invers a l'esquerra.
Cal observar que, generalment, l'existència de l'invers a la dreta no comporta l'existència de l'invers a l'esquerra.
Dos conjunts enllaçats per un isomorfisme s'anomenen isomorfs.
Des de molts punts de vista, dos conjunts isomorfs poden ser considerats idèntics. En efecte, normalment les propietats interessants d'un conjunt seran compartides per tots els seus conjunts isomorfs de la categoria.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.