Homomorfizm

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania

Homomorfizm (gr. ὅμοιος, homoios – podobny; μορφή, morphē – kształt, forma) – funkcja odwzorowująca jedną algebrę ogólną (np. monoid, grupę, pierścień czy przestrzeń wektorową) w drugą, zachowująca przy tym odpowiadające sobie działania, jakie są zdefiniowane w obu algebrach.

Przekształcenie liniowe – w algebrze liniowej funkcja między przestrzeniami liniowymi (nad ustalonym ciałem) zachowująca ich strukturę; z punktu widzenia algebry jest to zatem homomorfizm (a z punktu widzenia teorii kategorii – morfizm kategorii) przestrzeni liniowych nad ustalonym ciałem. W przypadku przestrzeni skończonego wymiaru z ustalonymi bazami do opisu przekształceń liniowych między nimi stosuje się zwykle macierze (zob. wybór baz).Wartość bezwzględna a. moduł – dla danej liczby rzeczywistej wartość liczbowa nieuwzględniająca znaku liczby. Przykładowo Parser nie mógł rozpoznać (Nie można zapisać obrazu z wzorem w systemie plików.): 5

Homomorfizm bijektywny, nazywa się izomorfizmem algebr i z punktu widzenia algebry oznacza ich identyczność.

Ogólna definicja homomorfizmu[ | edytuj kod]

Niech i oznaczają algebry ogólne tego samego typu (monoidy, grupy, pierścienie itp.), gdzie:

Jądro – dla danej struktury algebraicznej homomorficzny przeciwobraz elementu neutralnego. Dla danego homomorfizmu f {displaystyle f} jego jądro oznacza się zwykle ker  f {displaystyle {mbox{ker }}f} (od ang. kernel)Grupa – jedna ze struktur algebraicznych: zbiór niepusty, na którym określono pewne łączne działanie dwuargumentowe wewnętrzne, dla którego istnieje element odwrotny do każdego elementu oraz element neutralny. Można powiedzieć, że grupą jest monoid, w którym każdy element ma element odwrotny. Dział matematyki badający własności grup nazywa się teorią grup.
  • są zbiorami,
  • są działaniami zdefiniowanymi na elementach zbioru (np. +, *, potęgowanie itp.),
  • są działaniami zdefiniowanymi na elementach zbioru odpowiadającymi działaniom w zbiorze
  • liczby argumentów działania są równe liczbie argumentów działania
  • Funkcja przekształcającą zbiór w zbiór jest homomorfizmem algebry w algebrę jeśli dla wszystkich odpowiadających sobie działań oraz i dla każdego ciągu elementów zbioru zachodzi równość:

    Algebra ogólna – obiekt matematyczny będący przedmiotem badań algebry uniwersalnej. Czasami algebra uniwersalna nazywana jest algebrą ogólną, wówczas rozważane w niej obiekty nazywa się zwykle algebrami abstrakcyjnymi lub po prostu algebrami.Przestrzeń liniowa lub wektorowa – w matematyce zbiór obiektów (nazywanych "wektorami"), które mogą być, nieformalnie rzecz ujmując, skalowane i dodawane. Formalnie jest to zbiór z określonymi dwoma działaniami: dodawaniem elementów tej przestrzeni (wektorów) i mnożeniem przez elementy ustalonego ciała, które związane są ze sobą poniższymi aksjomatami. Przestrzenie liniowe to podstawowy obiekt badań algebry liniowej i analizy funkcjonalnej. Znajdują zastosowanie niemal we wszystkich gałęziach matematyki, naukach ścisłych i inżynierii.

    O funkcji mówi się, że przeprowadza każde działanie w odpowiadające mu działanie

    Wydawnictwa Naukowo-Techniczne (WNT) – polskie wydawnictwo założone w 1949 z siedzibą w Warszawie, do 1961 działało pod firmą Państwowe Wydawnictwa Techniczne.Działanie lub operacja – w matematyce i logice przyporządkowanie jednemu lub większej liczbie elementów nazywanych argumentami lub operandami elementu nazywanego wynikiem. Badaniem działań w ogólności zajmuje się dział nazywany algebrą uniwersalną, zbiory z choć jednym określonym na nim działaniem algebraicznym nazywa się algebrami ogólnymi (często krótko: algebrami), samą rodzinę działań określa się nazwą „sygnatura”.

    Rodzaje homomorfizmów[ | edytuj kod]

    Relacje zbiorów morfizmów
    Relacje zbiorów morfizmów.
    f – zbiór funkcji; H – zbiór homomorfizmów; M – zbiór monomorfizmów; Ep – zbiór epimorfizmów; Iz – zbiór izomorfizmów; End – zbiór endomorfizmów; A – zbiór automorfizmów
    Zbiór monomorfizmów
    Zbiór epimorfizmów
    Zbiór izomorfizmów
    Zbiór endomorfizmów
    Zbiór automorfizmów
    Każdy monomorficzny lub epimorficzny endomorfizm jest izomorfizmem.

    Homomorfizm, który jest:

    Moduł – struktura algebraiczna będąca uogólnieniem przestrzeni liniowej. Ponieważ grupy abelowe można postrzegać jako moduły nad pierścieniem liczb całkowitych, to teoria modułów znajduje zastosowanie w wielu działach algebry i innych dziedzinach matematyki.Funkcja „na” a. surjekcja pisane też czasami jako suriekcja – funkcja przyjmująca jako swoje wartości wszystkie elementy przeciwdziedziny, tj. której obraz jest równy przeciwdziedzinie.
  • iniekcją, nazywamy monomorfizmem,
  • suriekcją, nazywamy epimorfizmem,
  • bijekcją, nazywamy izomorfizmem (zatem każdy monomorfizm będący jednocześnie epimorfizmem jest izomorfizmem),
  • odwzorowaniem struktury w samą siebie nazywamy endomorfizmem,
  • wzajemnie jednoznacznym odwzorowaniem struktury w samą siebie (tzn. będący jednocześnie izomorfizmem i endomorfizmem), nazywamy automorfizmem.
  • Pierścień – struktura formalizująca własności algebraiczne liczb całkowitych oraz arytmetyki modularnej; intuicyjnie zbiór, którego elementy mogą być bez przeszkód dodawane, odejmowane i mnożone, lecz niekoniecznie dzielone. Badanie pierścieni umożliwiło uogólnienie innych pojęć matematycznych takich, jak np. liczby pierwsze (przez ideały pierwsze), wielomiany, ułamki oraz rozwinięcie teorii podzielności i wskazania przy tym najogólniejszej struktury, w której możliwe jest stosowanie algorytmu Euklidesa (tzw. pierścień Euklidesa). Dział matematyki opisujący te struktury nazywa się teorią pierścieni.Library of Congress Control Number (LCCN) – numer nadawany elementom skatalogowanym przez Bibliotekę Kongresu wykorzystywany przez amerykańskie biblioteki do wyszukiwania rekordów bibliograficznych w bazach danych i zamawiania kart katalogowych w Bibliotece Kongresu lub u innych komercyjnych dostawców.


    Podstrony: 1 [2] [3] [4]




    Warto wiedzieć że... beta

    Homomorfizm grup – przekształcenie zachowujące strukturę grup, tj. homomorfizm grup jako struktur algebraicznych. Z punktu widzenia teorii kategorii homomorfizmy grup są klasy morfizmami kategorii grup, z tego też względu nazywane są one czasem morfizmami grup.
    Funkcja (łac. functio, -onis, „odbywanie, wykonywanie, czynność”) – dla danych dwóch zbiorów X i Y przyporządkowanie każdemu elementowi zbioru X dokładnie jednego elementu zbioru Y. Oznacza się ją na ogół f, g, h itd.
    Izomorfizm (gr. isos – równy, morphe – kształt) − funkcja wzajemnie jednoznaczna z jednego obiektu matematycznego w drugi, która zachowuje funkcje, relacje i wyróżnione elementy.
    Funkcja wzajemnie jednoznaczna (bijekcja) – funkcja będąca jednocześnie funkcją różnowartościową i "na". Innymi słowy, bijekcja to funkcja (relacja) taka, że każdemu elementowi obrazu odpowiada dokładnie jeden element dziedziny.
    Monoid - półgrupa, której działanie ma element neutralny. Formalnie, monoid to algebra ( S , e , ∗ ) {displaystyle (S,e,*)} , sygnatury ( 0 , 2 ) {displaystyle (0,2)} , gdzie S jest niepustym zbiorem, natomiast
    Wielka Encyklopedia Rosyjska (ros. Большая российская энциклопедия, БРЭ) – jedna z największych encyklopedii uniwersalnych w języku rosyjskim, wydana w 36 tomach w latach 2004–2017. Wydana przez spółkę wydawniczą o tej samej nazwie, pod auspicjami Rosyjskiej Akademii Nauk, na mocy dekretu prezydenckiego Władimira Putina nr 1156 z 2002 roku
    Endomorfizm – w teorii kategorii morfizm danej struktury matematycznej w siebie. Zbiór E n d A {displaystyle scriptstyle mathrm {End} ;{mathcal {A}}} wszystkich endomorfizmów struktury A {displaystyle scriptstyle {mathcal {A}}} wraz z działaniem składania przekształceń jest monoidem (tzn. półgrupą z jedynką). W strukturach algebraicznych endomorfizmy są homomorfizmami (danej struktury w siebie).

    Reklama