Ayakkabı bağı (matematik)
In matematik özellikle, karmaşık analiz ve topoloji , bir dantel bir "döngü" modellemesidir. Bu bir olan sürekli ve kapalı yol onun uçları karıştı yani. Örneğin , Öklid düzlemindeki her daire bir danteldir.
Tanımlar
Let bir olduğunu topolojik uzay .
X{\ displaystyle X}
Tanım 1:
- Biz diyoruz dantel üzerinde herhangi sürekli bir uygulama gibi .X{\ displaystyle X} γ:[0,1]→X{\ displaystyle \ gama \ ,: \, [0,1] \ rightarrow X}γ(0)=γ(1){\ displaystyle \ gama (0) = \ gama (1)}
- Diğer bir deyişle, bir dantel ilgili a, yol üzerinde bunun iki ucu ( başlangıç noktası ve bir bitiş noktası ) aynıdır.X{\ displaystyle X}X{\ displaystyle X}
Tanım 2:
- Biz diyoruz dantel üzerinde herhangi sürekli bir uygulama solucanlar , ifade eder birim çember .X{\ displaystyle X}S1{\ displaystyle S ^ {1}}X{\ displaystyle X}S1{\ displaystyle S ^ {1}} {z∈VS∣|z|=1}{\ displaystyle \ {z \ in \ mathbb {C} \ orta | z | = 1 \}}
-
S 1 olarak görülebilir bölüm arasında yaklaşık 1 0 tanımlayarak.[0,1]{\ displaystyle [0,1]}
Dantel tüm kümesi X denir döngü alanı içinde X .
In karmaşık analizde , biz de "düzeltilebilir eğrileri" dir dantel ilgilenen edilir
Bir döngü f olduğu söylenir basit eşitlik zaman f ( a ) = f ( b ) bu da ima bir = b , ya da . Sezgisel olarak, bu, dantelin yalnızca bir ilmek çizdiği anlamına gelir. Çokgen veya sınıf döngüleri de tanımlayabilirsiniz (bkz. Yollar ). Terimleri basit sapma ve Ürdün eğrisi eşanlamlıdır.
{-de,b}={0,1}{\ displaystyle \ {a, b \} = \ {0.1 \}} VSk{\ displaystyle C ^ {k}}
Bu durumda , bir sapmanın indeksini bir noktaya göre tanımlayabiliriz : bu nokta etrafında sapma tarafından yapılan dönüşlerin sayısına ( göreceli tamsayı ) karşılık gelir .
X=VS{\ displaystyle X = \ mathbb {C}} ben(γ,z0){\ displaystyle \ mathrm {I} (\ gama, z_ {0})}γ{\ displaystyle \ gamma}z0∈VS∖γ([0,1]){\ displaystyle z_ {0} \ in \ mathbb {C} \ smallsetminus \ gamma ([0,1])}
Bunu hesaplayarak elde edebiliriz:
ben(γ,z0)=12πben∫γdzz-z0{\ displaystyle \ operatorname {I} (\ gamma, z_ {0}) = {\ frac {1} {2 \ pi i}} \ int _ {\ gamma} {\ frac {\ mathrm {d} z} { z-z_ {0}}}}
Ayrıca görün
Notlar
-
bir eğri olan doğrultulabilir ise çokgenler yazılıdır eşit sınırlı bir uzunluğa sahiptir. " Bir yayın uzunluğu ".
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">