Morfizm - Morphism

İçinde matematik, Özellikle de kategori teorisi, bir morfizm yapıyı koruyan harita birinden matematiksel yapı aynı türden başka birine. Morfizm kavramı çağdaş matematiğin çoğunda yinelenir. İçinde küme teorisi morfizmler fonksiyonlar; içinde lineer Cebir, doğrusal dönüşümler; içinde grup teorisi, grup homomorfizmleri; içinde topoloji, sürekli fonksiyonlar, ve benzeri.

İçinde kategori teorisi, morfizm genel olarak benzer bir fikirdir: ilgili matematiksel nesnelerin kümeler olması gerekmez ve aralarındaki ilişkiler, haritadan başka bir şey olabilir, ancak belirli bir kategorideki nesneler arasındaki morfizmalar, haritalara benzer şekilde davranmak zorundadır, çünkü ilişkisel işlem benzer işlev bileşimi. Kategori teorisindeki bir morfizm, bir homomorfizm.[1]

Üzerinde tanımlandıkları morfizmler ve yapıların ("nesneler" olarak adlandırılır) incelenmesi, kategori teorisinin merkezidir. Morfizm terminolojisinin çoğu ve bunların altında yatan sezginin çoğu, somut kategoriler, nerede nesneler basitçe bazı ek yapıya sahip setler, ve morfizmler vardır yapıyı koruyan işlevler. Kategori teorisinde, morfizmler bazen de denir oklar.

Tanım

Bir kategori C ikiden oluşur sınıflar, biri nesneler ve diğeri morfizmler. Her morfizmle ilişkili iki nesne vardır, kaynak ve hedef. Bir morfizm f kaynakla X ve hedef Y yazılmış f : X → Yve şematik olarak bir ok itibaren X -e Y.

Birçok ortak kategori için nesneler setleri (genellikle bazı ek yapılarla) ve morfizmler fonksiyonlar bir nesneden başka bir nesneye. Bu nedenle, bir morfizmin kaynağı ve hedefi genellikle alan adı ve ortak alan sırasıyla.

Morfizmler bir kısmi ikili işlem, aranan kompozisyon. İki morfizmin bileşimi f ve g hedefin tam olarak ne zaman tanımlanır f kaynağı gve gösterilir g ∘ f (veya bazen basitçe gf). Kaynağı g ∘ f kaynağı fve hedefi g ∘ f hedefi g. Kompozisyon ikisini tatmin ediyor aksiyomlar:

Kimlik
Her nesne için Xbir morfizm kimliği varX : X → X aradı kimlik morfizmi açık Xöyle ki her morfizm için f : Bir → B kimliğimiz varB ∘ f = f = f ∘ kimlikBir.
İlişkisellik
h ∘ (g ∘ f) = (h ∘ g) ∘ f tüm kompozisyonlar tanımlandığında, yani hedefin ne zaman f kaynağı gve hedefi g kaynağı h.

Somut bir kategori için (nesnelerin muhtemelen ek yapıya sahip kümeler olduğu ve morfizmaların yapıyı koruyan işlevler olduğu bir kategori), özdeşlik morfizmi sadece kimlik işlevi ve kompozisyon sadece sıradan fonksiyonların bileşimi.

Morfizmlerin bileşimi genellikle bir değişmeli diyagram. Örneğin,

Morphism.svg için değişmeli diyagram

Tüm morfizmlerin toplanması X -e Y Hom olarak gösterilirC(X,Y) veya basitçe Hom (X, Y) ve aradı ev seti arasında X ve Y. Bazı yazarlar Mor yazarC(X,Y), Mor (X, Y) veya C (X, Y). Morfizmlerin toplanmasının bir küme olması gerekmediğinden, hom-küme teriminin yanlış bir isim olduğunu unutmayın. Hom'un (X, Y) tüm nesneler için bir settir X ve Y denir yerel olarak küçük.

Etki alanı ve ortak etki alanının aslında bir morfizmi belirleyen bilginin parçası olduğuna dikkat edin. Örneğin, kümeler kategorisi morfizmlerin işlevler olduğu yerlerde, iki işlev sıralı çift kümeleriyle aynı olabilir (aynı Aralık ), farklı codomainlere sahipken. İki işlev, kategori teorisinin bakış açısından farklıdır. Bu nedenle birçok yazar, hom sınıflarının Hom (X, Y) olmak ayrık. Uygulamada, bu bir sorun değildir, çünkü bu ayrıklık geçerli olmazsa, etki alanı ve ortak etki alanını morfizmlere ekleyerek (örneğin, sıralı bir üçlünün ikinci ve üçüncü bileşenleri olarak) garanti edilebilir.

Bazı özel morfizmler

Monomorfizmler ve epimorfizmler

Bir morfizm f: X → Y denir monomorfizm Eğer f ∘ g1 = f ∘ g2 ima eder g1 = g2 tüm morfizmler için g1, g2: Z → X. Bir monomorfizm, mono kısaca ve kullanabiliriz Monik bir sıfat olarak.[2]

  • Bir morfizm f var sol ters bir morfizm varsa g: Y → X öyle ki g ∘ f = idX. Sol ters g olarak da adlandırılır geri çekme nın-nin f.[2] Sol tersi olan morfizmler her zaman monomorfizmlerdir, ancak genel olarak tersi doğru değildir; bir monomorfizmin sol tersi olmayabilir.
  • Bir bölünmüş monomorfizm h: X → Y sol tersi olan bir monomorfizmdir g: Y → X, Böylece g ∘ h = idX. Böylece h ∘ g: Y → Y dır-dir etkisiz; yani, (h ∘ g)2 = h ∘ (g ∘ h) ∘ g = h ∘ g.
  • İçinde somut kategoriler sol tersi olan bir fonksiyon enjekte edici. Bu nedenle, somut kategorilerde monomorfizmler her zaman olmamakla birlikte çoğu zaman enjekte edicidir. Enjeksiyon olma durumu, bir monomorfizm olmaktan daha güçlüdür, ancak bölünmüş bir monomorfizm olmaktan daha zayıftır.

İkili olarak monomorfizmlere, bir morfizm f: X → Y denir epimorfizm Eğer g1 ∘ f = g2 ∘ f ima eder g1 = g2 tüm morfizmler için g1, g2: Y → Z. Bir epimorfizm, epi kısaca ve kullanabiliriz epik bir sıfat olarak.[2]

  • Bir morfizm f var sağ ters bir morfizm varsa g: Y → X öyle ki f ∘ g = idY. Sağ ters g olarak da adlandırılır Bölüm nın-nin f.[2] Doğru tersi olan morfizmler her zaman epimorfizmlerdir, ancak bir epimorfizmin tam tersi olamayabileceği için genel olarak tersi doğru değildir.
  • Bir bölünmüş epimorfizm sağ tersi olan bir epimorfizmdir. Bir monomorfizm ise f sol ters ile bölünür g, sonra g sağ tersi bölünmüş bir epimorfizmdir f.
  • İçinde somut kategoriler, sağ tersi olan bir fonksiyon örten. Bu nedenle, somut kategorilerde epimorfizmler, her zaman olmamakla birlikte, çoğu zaman kapsayıcıdır. Sürjeksiyon olma durumu, epimorfizm olmaktan daha güçlüdür, ancak bölünmüş bir epimorfizm olmaktan daha zayıftır. İçinde kümeler kategorisi, her surjeksiyonun bir bölümü olduğu ifadesi, seçim aksiyomu.

Hem epimorfizm hem de monomorfizm olan bir morfizm, bimorfizm.

İzomorfizmler

Bir morfizm f: X → Y denir izomorfizm bir morfizm varsa g: Y → X öyle ki f ∘ g = idY ve g ∘ f = idX. Bir morfizmin hem sol-tersi hem de sağ-tersi varsa, o zaman iki ters eşittir, yani f bir izomorfizmdir ve g basitçe denir ters nın-nin f. Ters morfizmler varsa, benzersizdir. Ters g aynı zamanda ters ile bir izomorfizmdir f. Aralarında izomorfizm bulunan iki nesnenin izomorf veya eşdeğer.

Her izomorfizm bir bimorfizm iken, bir bimorfizm mutlaka bir izomorfizm değildir. Örneğin, kategorisinde değişmeli halkalar dahil etme Z → Q bir izomorfizm olmayan bir bimorfizmdir. Bununla birlikte, hem epimorfizm hem de epimorfizm olan herhangi bir morfizm Bölünmüş monomorfizm veya hem bir monomorfizm hem de Bölünmüş epimorfizm, bir izomorfizm olmalıdır. Gibi bir kategori Ayarlamak, her bimorfizmin bir izomorfizm olduğu, bir dengeli kategori.

Endomorfizmler ve otomorfizmler

Bir morfizm f: X → X (yani, aynı kaynak ve hedefe sahip bir morfizm) bir endomorfizm nın-nin X. Bir bölünmüş endomorfizm idempotent bir endomorfizmdir f Eğer f bir ayrışmayı kabul ediyor f = h ∘ g ile g ∘ h = id. Özellikle, Karoubi zarfı bir kategori, her idempotent morfizmi böler.

Bir otomorfizm hem endomorfizm hem de izomorfizm olan bir morfizmdir. Her kategoride, bir nesnenin otomorfizmleri her zaman bir grup, aradı otomorfizm grubu nesnenin.

Örnekler

Daha fazla örnek için girişe bakın kategori teorisi.

Ayrıca bakınız

Notlar

  1. ^ "morfizm". nLab. Alındı 2019-06-12.
  2. ^ a b c d Jacobson (2009), s. 15.

Referanslar

Dış bağlantılar