Basit bağlantılı uzay

Topolojide, geometrik bir nesne veya uzaya yol bağlantılıysa ve iki nokta arasındaki her yol sürekli bir şekilde bir diğerine dönüştürülebiliyorsa basit bağlantılı (veya 1-bağlantılı) adı verilir.

Matematiksel kesinlik gözetmeden ifade edilirse, 3 boyutlu uzayda bir nesne tek parçaysa ve nesnenin bir tarafından girip diğer tarafından çıkan bir delik yoksa basit bağlantılıdır. Örnek olarak, bir simit veya kulplu kahve fincanı basit bağlantılı değildir; ancak esnek lastikten yapılmış bir top basit bağlantılıdır. İki boyutta, bir çember basit bağlantılı değildir; ancak bir disk veya bir doğru basit bağlantılıdır. Bağlantılı olan ancak basit bağlantılı olmayan uzaylara basit bağlantılı olmayan veya eski moda deyişle çoklu bağlantılı adı verilir.

Basit bağlantılılığın gösterimini resmetmek için üç boyutta bir nesne düşünelim; mesela bir kutu, çörek veya tribüşon şeklindeki bir nesneyi. Köşeleri katı olan, su dolu garip şekilli bir akvaryumu nesne olarak düşünelim. Şimdi de elinde uzun bir parça çubuk olan bir dalgıcı düşünelim ve bu dalgıç akvaryum içindeki suda bu çubuğu takip etsin. Sonra, istediği şekilde çubuğun iki ucunu birleştirsin ve böylece kapalı bir döngü yapsın. Şimdi bu döngü büzülmeye başlayıp küçüldükçe küçülecektir. (Burada döngünün sihirli bir şekilde nasıl büzeleceğini bildiğini ve pürüzlü ve sivri kenarların kırılmayacağını varsayıyoruz.) Eğer döngü her zaman bir noktaya büzülüyorsa, o zaman akvaryumun içi basit bağlantılıdır. Eğer döngü bir şekilde yakalanıyorsa- mesela çörekteki merkezi delik gibi- o zaman nesne basit bağlantılı değildir.

Burada tanımın sadece "kulplu şekli" delikleri hariç bıraktığını unutmayalım. Bir küre (veya dengi bir şekilde, oyuk merkezli kauçuk bir top) basit bağlantılıdır çünkü kürenin yüzeyindeki herhangi bir döngü kürenin oyuk bir deliği olmasına rağmen bir noktaya büzülebilir. Daha güçlü bir şart olan, nesnenin herhangi bir boyutta hiçbir deliğe sahip olmamasına büzülebilirlik denir.

Bir X topolojik uzayı yol bağlantılı ise ve herhangi bir sürekli f : S1 → X gönderimi (S1 Öklid 2-uzayında birim çemberi gösteriyor) şu aşağıdaki bağlamda bir noktaya büzülebiliyorsa, X basit bağlantılıdır: Bir tane sürekli F : D2 → X gönderimi (D2 Öklid uzayında birim disk gösteriyor) olsun öyle ki F 'nin S1'e sınırlaması f olsun.

X yol bağlantılıdır ve herhangi iki p : [0,1] → X ve q : [0,1] → X yolunun (yani sürekli gönderimlerinin) başlangıç ve bitiş noktaları aynıysa (p(0) = q(0) ve p(1) = q(1)), o zaman p ve q (0,1)'e görece homotopiktir.

Sezgisel olarak, bu şu anlama gelir: p, sonnoktaları sabit kalmak şartıyla q 'yu elde etmek için "sürekli bir şekilde bozunur". Bu yüzden basit bağlantılı terimi şunun için kullanılır: X içindeki herhangi iki nokta için, aslında bu iki noktayı bağlayan sadece ve sadece "esaslı" tek yol vardır.

Aynı tanımı veren üçüncü ifade ise şudur: X ancak ve ancak X yol bağlantılıysa ve X 'in temel grubu aşikarsa, yani sadece birim elemandan oluşuyorsa basit bağlantılıdır.

Karmaşık analizde sık kullanılan bir diğer formülasyonsa şudur: C 'nin açık bir kümesi olan X ancak ve ancak hem X hem de X 'in Riemann küresindeki tümleyeni bağlantılıysa basit bağlantılıdır.

Öklid düzlemi R2 basit bağlantılıdır ama R2'nin orijin eksikli hali basit bağlantılı değ*ildir. Eğer n > 2 ise, o zaman hem Rn hem de Rn 'nin orijin eksikli hali basit bağlantılıdır.

Bir yüzey (iki boyutlu topolojik manifold) ancak ve ancak bağlantılı ise ve cinsi 0 ise basit bağlantılıdır. Sezgisel olarak, cins yüzeyin "kulp" sayısıdır.

Eğer bir X uzayı basit bağlantılı değilse, bu küsur X 'e güzel bir şekilde gönderilen bir basit bağlantılı uzay olan X in evrensel kapsanışı ile düzeltilebilir.

Basit bağlantılı bir kümenin sürekli bir fonksiyon altındaki görüntüsü basit bağlantılı olmak zorunda değildir. Mesela, üstel fonksiyon altında karmaşık düzlemin görüntüsü C - {0} olur ki bu da basit bağlantılı değildir.

Eğer U karmaşık düzlem C 'nin açık bir kümesi ise ve f : U → C holomorf fonksiyonsa, o zaman f 'nin U üzerinde terstürevi olan bir F vardır ve U içindeki f 'yi integrand olarak kabul eden her çizgi integralinin değeri sadece yolun u ve v sonnoktalarına bağlıdır ve F(v) - F(u) olarak hesaplanabilir.

Riemann gönderim teoremi, C 'nin boş olmayan basit bağlantılı açık bir kümesinin (C hariç) açıkorur ve birebir örten şekilde birim diske gönderilebileceğini ifade eder.