Cebirsel Topoloji [GYT]

[DeepSubjecT]

ROHAN2 WORLD 1-120 TR TİPİ OFFICIAL YOHARA, BALATHOR VE AMON! 80. GÜNÜNDE! +10.000 ONLİNE! HİLE VE BOT %100 ENGELLİ HEMEN TIKLA!

Cebirsel topoloji, topolojik uzayları cebirsel gereç ve yöntemlerle inceleyen matematik dalı. Matematikte bir kümenin üzerine döşenecek yapı, yönelinen matematik dalını belirler. Bir ümeye bir ya da birkaç işlem konarak sayılar kuramı ya da cebir yapmaya başlanabilir. Kümenin üzerine bir topoloji koyaraksa topoloji ve geometri yapmaya başlanır. Üzerine topoloji konmuş bir uzayı (örneğin herhangi boyutlu bir Öklit uzayı) incelemek için kimi değişmezler tanımlanır; bunlar aracılığıyla topolojik uzayın özellikleri ayırdedilir. Örneğin tıkızlık, bağlantılılık, sayılabilirlik bu tür değişmezlerdir. Topolojik eşyapısal (birbirlerine homeomorfik) iki uzaydan biri bu değişmeze sahipse diğeri de buna sahip olmalıdır. Yani, eğer iki uzay için ayrı ayrı bakılan bir değişmez aynı değilse, bu iki uzay eşyapısal olmayacaktır. Yukarıda anılan en eski değişmezlerin hemen ardından inşa edilen klasik değişmezler cebirsel olanlardır.

İnşa

Topolojik uzaylara cebirsel değişmezler inşasında amaç şudur: her bir X uzayı için G(X) olarak gösterilecek bir cebirsel nesne kurulacak. Ayrıca X uzayından Y uzayına sürekli bir fgönderimi, uzaylara karşılık gelen bu yeni cebirsel nesneler arasında cebirsel yapıları gözeten ve f * olarak gösterilecek gönderimler tarif edecek. Örneğin G(X) bir grup/halka/cisim/modül olarak inşa edilmişse, f * gönderimi grup/halka/cisim/modül homomorfizması olacak. Üstelik, inşa gereği, bu cebirsel nesneler ve gönderimler şu özellikleri sağlayacak:

(1) f:X

Y ve g:X

Z için

olacak.

(1') Ya da G'nin cinsine göre

olacak.

(2) brX:X

X birim gönderimine karşılık gelen brX * :G(X)

G(X), birim gönderim olacak.

Topolojik uzaylara karşılık gelen ve bu koşulları sağlayan bir G cebirsel nesnesi icat edilmiş olsun. Eğer f, X'ten Y'ye bir topolojik eşyapıysa, f'nin tersi vardır (g diyelim) ve gde bir eşyapıdır. Dolayısıyla topolojik eşyapının tanımı gereği

ve

olur. Yukarıdaki (1) ve (2) koşullarından,

ve

elde edilir. Birinci eşitlikten f * örten ikinciden f * birebir olmak zorunda kalır. Yani f * bir cebirsel eşyapı olur.
Şunu göstermiş olduk: (1) ve (2) sağlandığı sürece eşyapısal topolojik uzayların cebirsel nesneleri (grup, halka vs.) de birbirlerine eşyapısal olacak.

Örnekler

Burada birkaç cebirsel topolojik değişmez inşası özetlenecek.

Temel grup

Topolojik uzaylara karşılık gelen en basit cebirsel değişmezdir. Bir X uzayı ve içinde bir x0 noktasına karşılık, π1(X,x0) olarak gösterilen bir gruptur.

Öncelikle, X uzayında sürekli bir eğri, [0,1] kapalı aralığından X'e giden sürekli bir gönderimdir. a ve b iki eğri olsun. a ile b'nin ucuca eklenmesiyle oluşan eğriyi a\cdot b olarak gösterelim. x0 noktasından başlayan ve aynı noktada biten tüm eğrilerin kümesiniyse E ile gösterelim. Eğer herhangi iki eğriyi anlatan gönderimler birbirlerine homotopikse bu iki eğriye denk eğriler diyeceğiz. Gösterilebilir ki bu ilişki E üzerinde gerçekten bir denklik bağıntısıdır. Böylece oluşturulan denklik sınıflarının kümesi üzerinde ucuca ekleme işlemi hala iyi tanımlıdır; yani eğer a eğrisi c'ye b eğrisi de d'ye homotopikse, a\cdot b ile c\cdot d eğrileri de birbirine homotopiktir. Bu denklik sınıflarını eleman olarak ve ucuca eklemeyi de işlem olarak kabul eden cebirsel nesne, gösterilebilir ki bir gruptur. X ve x0 verildiğinde böylece inşa edilen gruba X'in x0'daki temel grubu denir ve π1(X,x0) olarak gösterilir.

Örneğin gerçel sayı doğrusunun (R) herhangi bir noktasındaki temel grubu tırışka (aşikar) gruptur; yani tek elemanlı gruptur. Oysa çemberin (S1) herhangi bir noktasındaki temel grubu (Z, + ) grubuna izomorfiktir. Dolayısıyla, R ile S1 birbirlerine topolojik eşyapısal olamazlar. Bunu daha önceden de biliyorduk; çünkü R kompakt değildir ama S1 kompakttır.

Yukarıdaki örneklerin aksine, π1(X,x0) genelde değişmeli bir grup değildir.