Temel grup

Temel grup, cebirsel topolojide bir topolojik uzaya eşlenen, topolojik uzayın delik sayısı ve şekli gibi bilgileri içeren matematiksel bir gruptur. Bu eşleme topolojik uzay üzerinde sabitlenmiş bir noktadaki döngülerin birbirlerine homotopik (büzülme) olup olmadıklarına göre yapılır. Temel grup, homotopi gruplarının ilki ve en basitidir. Homeomorf olan topolojik uzayların aynı temel grubu olur. Bu bakımdan topolojik bir değişmezdir.

İlk olarak Henri Poincaré tarafından 1895'te Analysis Situs çalışmasında tanımlanmıştır.

Homotopi

Yol[1]

$f$ yolu, $[0,1]$ aralığından $\mathrm {X}$ topolojik uzayına giden sürekli bir fonksiyondur. $f(0)=x_{0}\in \mathrm {X}$ başlangıç noktası, $f(1)=x_{1}\in \mathrm {X}$ bitiş noktası diye adlandırılır.

Döngü[1]

$f$ döngüsü, $[0,1]$ aralığından $\mathrm {X}$ topolojik uzayına giden başlangıç ve bitiş noktaları aynı olan sürekli bir fonksiyondur.

Tanım[1]

$\mathrm {X}$ bir topolojik uzay olsun. Yolların homotopisi $f_{t}:[0,1]\rightarrow \mathrm {X}$ , $t\in [0,1]$ fonksiyon ailesidir öyle ki; başlangıç noktası $f_{t}(0)=x_{0}\in \mathrm {X}$ ve bitiş noktası $f_{t}(1)=x_{1}\in \mathrm {X}$ $t$ 'den bağımsız olmalı ve $F(s,t)=f_{t}(s)$ şeklinde eşleştirdiğimiz $F:I\times I\rightarrow \mathrm {X}$ fonksiyonu sürekli olmalı.

Örnek[1]

$\mathbb {R} ^{n}$ 'de aldığımız aynı yerde başlayıp aynı yerde biten herhangi iki $f_{0}$ ve $f_{1}$ yolunu birbirlerine $f_{t}(s)=(1-t)f_{0}(s)+tf_{1}(s)$ homotopisi ile bağlayabiliriz. Yani $\mathbb {R} ^{n}$ üzerindeki aynı noktalarda başlayan ve biten yolları ya da döngüleri birbirlerine büzebiliriz.

Tanım

$\mathrm {X}$ bir topolojik uzay ve $x_{0}\in \mathrm {X}$ olsun. $x_{0}$ noktasındaki tüm döngüleri içeren $\{f:[0,1]\rightarrow \mathrm {X} \;|\;f(0)=f(1)=x_{0}\}$ kümesine homotopi bağıntısını koyarsak $\mathrm {X}$ topolojik uzayının $x_{0}$ noktasındaki döngülerine göre temel grubunu elde etmiş oluruz. $\pi _{1}(X,x_{0})$ şeklinde gösteriyoruz. Grubumuzun işlemi olan $\ast$ işlemini önce $f$ döngüsünü iki kat hızlı sonra $g$ döngüsünü iki kat hızlı gitmek olarak tanımlıyoruz. Burada $[f\ast g]=[f]\ast [g]$ olduğundan homotopi denklik bağıntısı sınıflarında temsilci seçmenin önemsiz olduğunu söylüyoruz. Grubumuzun birim elemanı $x_{0}$ noktasındaki sabit döngünün denklik sınıfıdır. Bir $[f]$ elemanın tersi ise $f^{-1}(t)=f(1-t)$ şeklinde tanımlanan $[f^{-1}]$ denklik sınıfıdır. $x_{0}$ noktasının seçimi $\mathrm {X}$ topolojik uzayı eğer yol bağlı ise önemsizdir.

Örnekler

$\mathbb {R} ^{n}$ üzerindeki döngüler yukarıdaki örnekte bahsettiğimiz homotopi ile birbirlerine büzülebiliyorlar. Yani bütün döngüler sabit döngüye büzülebilir. Bu da bize $\mathbb {R} ^{n}$ 'in temel grubunun bariz grubudur. $S^{1}$ birim çemberinin temel grubu $\mathbb {Z}$ 'dir. Burada $S^{1}$ üzerindeki döngülerin kaç kere döndüklerini sayıyoruz. Örneğin bir döngü 3 kere dönüyorsa bu döngüyü 3'e gönderiyoruz.

Kaynakça

Allen Hatcher, Algebraic Topology, Cambridge University Press (2002) ISBN 0-521-79540-0

Allen Hatcher, Algebraic Topology 19 Mayıs 2018 tarihinde Wayback Machine sitesinde arşivlendi.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[:0-1] Allen Hatcher, Algebraic Topology, Cambridge University Press (2002) ISBN 0-521-79540-0