Homomorfismus

Z Multimediaexpo.cz

(Rozdíly mezi verzemi)

Aktuální verze z 14. 8. 2022, 14:52

Homomorfismus (v lineární algebře někdy také prostě morfismus) je zobrazení z jedné algebraické struktury do jiné stejného typu, které zachovává veškerou důležitou strukturu.

Každý typ algebraické struktury má svůj typ homomorfismu (mluvíme o grupovém homomorfismu, okruhovém apod.).

Obecně je homomorfismus zobrazení \(\phi: A \rightarrow B\) mezi dvěma algebraickými strukturami stejného typu takové, že pro každou definovanou operaci \(f\) a pro všechna \(x_i\) v \(A\) platí

\(\phi(f_A(x_1, \ldots, x_n)) = f_B(\phi(x_1), \ldots, \phi(x_n))\).

Typy homomorfismů

izomorfismus je bijektivní homomorfismus (prostý a na)
epimorfismus je surjektivní homomorfismus (na)
monomorfismus je injektivní homomorfismus (prostý)
endomorfismus je homomorfismus z objektu do sebe sama
automorfismus je endomorfismus, který je také izomorfismem.

Příklad

Mějme Z grupu celých čísel a Z_n množinu všech celých čísel od 0 do _n-1 s operacemi modulo n.

Pak zobrazení f: Z → Z₄ : f(x) = 2x mod 4 (které zobrazí lichá čísla na číslo 2 a sudá na 0) je homomorfismus, protože f(x+y) = f(x) + f(y). Například f(3+5) = f(8) = 0 = 2 + 2 = f(3) + f(5). V grupě Z₄ totiž platí 2 + 2 = 0.

Naopak zobrazení f(x) = 1 + ( 2x mod 4 ) , které zobrazí sudá čísla na 1 a lichá čísla na 3, homomorfismus není, protože f(0) + f(0) = 2, ale f(0+0) = 1.

Zobecnění v univerzální algebře

Mnoho faktů o homomorfismech není třeba dokazovat pro každou matematickou strukturu zvlášť (zvlášť pro grupy, vektorové prostory, svaz apod.), protože prostředky univerzální algebry umožňují je dokázat zároveň pro širokou třídu struktur. Příkladem jsou věty o izomorfismu.

Jádro homomorfismu

Jádro homomorfismu f (značené Ker f) popisuje, které dvojice prvků homomorfismu se zobrazí na tentýž prvek.

Ve strukturách s binární operací, které mají zaručenu existenci neutrálního a inverzního prvku, je obvyklé tuto informaci reprezentovat tak, že jádrem homomorfismu rozumíme podstrukturu tvořenou všemi prvky, které se zobrazí na neutrální prvek. V takových strukturách pak platí, že f(x) = f(y) právě když y-x \(\in\) Ker f.

Příklad:

Máme-li f: Z₆ → Z₆ : f(x) = 2x mod 6, pak Ker f = {0,3}
Jiným příkladem je zobrazení z třírozměrného do dvourozměrného vektorového prostoru, které každý bod svisle promítne do vodorovné roviny procházející počátkem. (Lze si to představit jako zobrazení, které každé kuličce v prostoru přiřadí její stín na vodní hladině, pokud je slunce přesně svisle nad námi.) Jádrem takového zobrazení je svislá přímka procházející počátkem.

Tento přístup nelze ale použít pro struktury, které výše uvedenou podmínku nesplňují. Například svaz má dvě binární operace, monoid či grupoid sice mají jednu, ale není zaručena existence opačného prvku, některé signatury nemají žádnou binární operaci apod.

Proto se jádro homomorfismu definuje výše uvedených způsobem v teorii grup, okruhů lineárních prostorů apod., ale častěji se používá obecnější definice, která má smysl pro širokou třídu algebraických struktur:

Jádrem homomorfismu f z A do B rozumíme binární relaci ~ na A takovou, že x~y právě když f(x) = f(y)

Podle této definice jádro homomorfismu

f: Z₆ → Z₆ : f(x) = 2x mod 6

obsahuje dvanáct uspořádaných dvojic:

Ker f = {

(0,0), (0,3), (3,0) , (3,3) ,

(1,1), (1,4), (4,1) , (4,4) ,

(2,2), (2,5), (5,2) , (5,5) }

Kongruence a faktoralgebry

Jádro každého homomorfismu je kongruencí na A a proto definuje faktoralgebru A / Ker f, která je podle první věty o izomorfismu izomorfní s oborem hodnot f.

Související články

Externí odkazy

Homomorfismus v encyklopedii MathWorld (anglicky)

Náklady na energie a provoz naší encyklopedie prudce vzrostly. Potřebujeme vaši podporu... Kolik ?? To je na Vás. Náš FIO účet — 2500575897 / 2010
Informace o článku. Článek je převzat z Wikipedie, otevřené encyklopedie, do které přispívají dobrovolníci z celého světa. Tento text je dostupný za podmínek Creative Commons 3.0 Unported – creativecommons.org. Originální článek na české Wikipedii

@@ Řádka 1: / Řádka 1: @@
-{{Možná hledáte|}}
 '''Homomorfismus''' (v [[Lineární algebra|lineární algebře]] někdy také prostě ''morfismus'') je [[Zobrazení (matematika)|zobrazení]] z jedné [[algebraická struktura|algebraické struktury]] do jiné stejného typu, které zachovává veškerou důležitou strukturu.
 Každý typ algebraické struktury má svůj typ homomorfismu (mluvíme o [[grupa|grupovém]] homomorfismu, [[Okruh (algebra)|okruhovém]] apod.).
-Obecně je homomorfismus zobrazení <math>\phi: A \rightarrow B</math> mezi dvěma algebraickými strukturami stejného typu takové, že pro každou definovanou [[Operace (matematika)|operaci]] <math>f</math> a pro všechna <math>x_i</math> v <math>A</math> platí
+Obecně je homomorfismus zobrazení <big>\(\phi: A \rightarrow B\)</big> mezi dvěma algebraickými strukturami stejného typu takové, že pro každou definovanou [[Operace (matematika)|operaci]] <big>\(f\)</big> a pro všechna <big>\(x_i\)</big> v <big>\(A\)</big> platí
-:<math>\phi(f_A(x_1, \ldots, x_n)) = f_B(\phi(x_1), \ldots, \phi(x_n))</math>.
+:<big>\(\phi(f_A(x_1, \ldots, x_n)) = f_B(\phi(x_1), \ldots, \phi(x_n))\)</big>.
 == Typy homomorfismů ==
@@ Řádka 32: / Řádka 31: @@
 '''Jádro homomorfismu ''f'' ''' (značené '''Ker f''') popisuje, které dvojice prvků homomorfismu se zobrazí na tentýž prvek.
-Ve strukturách s binární operací, které mají zaručenu existenci [[neutrální prvek|neutrálního]] a [[Inverzní prvek|inverzního]] prvku, je obvyklé tuto informaci reprezentovat tak, že jádrem homomorfismu rozumíme podstrukturu tvořenou všemi prvky, které se zobrazí na neutrální prvek. V takových strukturách pak platí, že f(x) = f(y) právě když ''y-x <math>\in</math> Ker f''.
+Ve strukturách s binární operací, které mají zaručenu existenci [[neutrální prvek|neutrálního]] a [[Inverzní prvek|inverzního]] prvku, je obvyklé tuto informaci reprezentovat tak, že jádrem homomorfismu rozumíme podstrukturu tvořenou všemi prvky, které se zobrazí na neutrální prvek. V takových strukturách pak platí, že f(x) = f(y) právě když ''y-x <big>\(\in\)</big> Ker f''.
 Příklad: