Tüylü top teoremi - Hairy ball theorem - Wikipedia

Kıllı bir 3 topu (2 küre) taramak için başarısız bir girişim, her bir direkte bir tutam bıraktı
Öte yandan kıllı bir halka (2-simli), oldukça kolay taranabilir.
2-küre üzerinde sadece bir kutuplu sürekli teğet vektör alanı, bu durumda a dipol 2. indeksli alan. Ayrıca bkz. bu grafiğin animasyonlu versiyonu.
Bir saç tokası

tüylü top teoremi nın-nin cebirsel topoloji (bazen denir kirpi teoremi Avrupa'da)[1] bitmeyen olmadığını belirtir sürekli teğet Vektör alanı çift ​​boyutlu nküreler.[2][3] Sıradan küre veya 2 ‑ küre için, eğer f bir atayan sürekli bir işlevdir vektör içinde R3 her noktaya p öyle bir küre üzerinde f(p) her zaman teğet küreye p, en az bir kutup, alanın kaybolduğu bir nokta (a p öyle ki f(p) = 0 ).

Teorem ilk olarak kanıtlandı Henri Poincaré 1885'teki 2-küre için,[4] ve 1912'de daha yüksek boyutlara genişletildi Luitzen Egbertus Jan Brouwer.[5]

Teorem konuşma dilinde şu şekilde ifade edilmiştir: "Tüylü bir topu bir inek yalamak "veya" saçı hindistan cevizine tarayamazsın ".[6]

Sıfırları saymak

Bir vektör alanının her sıfırında bir (sıfır olmayan) vardır "indeks "ve sıfırlardaki tüm indislerin toplamının iki olması gerektiği gösterilebilir, çünkü Euler karakteristiği 2-kürenin sayısı ikidir. Bu nedenle, en az bir sıfır olmalıdır. Bu bir sonucudur Poincaré-Hopf teoremi. Durumunda simit Euler karakteristiği 0'dır; ve "kıllı bir çörek düz taramak" mümkündür. Bu bağlamda, bunu herhangi biri için takip eder kompakt düzenli 2 boyutlu manifold sıfır olmayan Euler karakteristiği ile, herhangi bir sürekli teğet vektör alanı en az bir sıfıra sahiptir.

Bilgisayar grafiklerine uygulama

Bilgisayar grafiklerinde yaygın bir sorun, sıfır olmayan bir vektör oluşturmaktır. R3 bu, verilen sıfır olmayan bire ortogonaldir. Sıfır olmayan tüm vektör girdileri için bunu yapabilen tek bir sürekli fonksiyon yoktur. Bu, tüylü top teoreminin doğal bir sonucudur. Bunu görmek için, verilen vektörü bir kürenin yarıçapı olarak düşünün ve verilene sıfır olmayan bir ortogonal vektör bulmanın, o kürenin yüzeyine teğet olan sıfır olmayan bir vektör bulmakla eşdeğer olduğuna dikkat edin. yarıçap. Bununla birlikte, tüylü top teoremi, küre üzerindeki her nokta için bunu yapabilen sürekli bir fonksiyon olmadığını söyler (her verilen vektör için eşdeğer olarak).

Lefschetz bağlantısı

Yakından ilgili bir argüman var cebirsel topoloji, kullanmak Lefschetz sabit nokta teoremi. Beri Betti numaraları 2-kürenin 1, 0, 1, 0, 0, ... Lefschetz numarası (üzerinde toplam iz homoloji ) of the kimlik eşleme 2. Bir Vektör alanı (en azından küçük bir kısmını) bir tek parametreli grup nın-nin diffeomorfizmler küre üzerinde; ve içindeki tüm eşlemeler homotopik kimliğine. Bu nedenle, hepsinde de Lefschetz sayısı 2 var. Dolayısıyla sabit noktaları vardır (Lefschetz sayısı sıfır olmadığı için). Bunun vektör alanının sıfır olması gerektiğini ima ettiğini göstermek için biraz daha çalışmaya ihtiyaç vardır. Daha genel olanın doğru ifadesini öneriyor Poincaré-Hopf indeksi teoremi.

Sonuç

Tüylü top teoreminin bir sonucu, herhangi bir sürekli işlevi çift ​​boyutlu bir küreyi eşleyen kendi içine ya sabit nokta veya kendi kendine eşleşen bir nokta karşıt nokta. Bu, işlevi aşağıdaki gibi teğetsel bir vektör alanına dönüştürerek görülebilir.

İzin Vermek s küreyi kendisine eşleyen işlev olalım ve v inşa edilecek teğet vektör işlevi. Her nokta için pinşa et stereografik projeksiyon nın-nin s(p) ile p teğet noktası olarak. Sonra v(p) bu öngörülen noktanın yer değiştirme vektörüdür. p. Tüylü top teoremine göre, bir p öyle ki v(p) = 0, Böylece s(p) = p.

Bu argüman ancak bir nokta varsa bozulur p hangisi için s(p) ters yön noktasıdır p, çünkü böyle bir nokta, stereografik olarak tanjant düzlemine yansıtılamayan tek noktadır. p.

Daha yüksek boyutlar

İle bağlantı Euler karakteristiği χ doğru genellemeyi önerir: 2nküre için kaybolmayan vektör alanı yoktur n ≥ 1. Çift ve tek boyutlar arasındaki fark şudur, çünkü sıfır olmayan tek boyut Betti numaraları of m-sfer b0 ve Bm, onların alternatif toplam χ, 2 için m çift ​​ve 0 için m garip.

Ayrıca bakınız

Notlar

  1. ^ Renteln, Paul (2013). Manifoldlar, Tensörler ve Formlar: Matematikçiler ve Fizikçiler için Giriş. Cambridge Üniv. Basın. s. 253. ISBN  978-1107659698.
  2. ^ Burns, Keith; Gidea Marian (2005). Diferansiyel Geometri ve Topoloji: Dinamik Sistemlere Bakış. CRC Basın. s. 77. ISBN  1584882530.
  3. ^ Schwartz Richard Evan (2011). Çoğunlukla Yüzeyler. Amerikan Matematik Derneği. s. 113–114. ISBN  978-0821853689.
  4. ^ Poincaré, H. (1885), "Sur les courbes définies par les équations diff ́erentielles", Journal de Mathématiques Pures et Appliquées, 4: 167–244
  5. ^ Georg-August-Universität Göttingen Arşivlendi 2006-05-26 Wayback Makinesi - L.E.J. Brouwer. Über Abbildung von Mannigfaltigkeiten / Mathematische Annalen (1912) Cilt: 71, sayfa 97-115; ISSN: 0025-5831; 1432-1807 / e, tam metin
  6. ^ Richeson, David S. (23 Temmuz 2019). Euler'in cevheri: polihedron formülü ve topolojinin doğuşu (Yeni Princeton bilim kütüphanesi ed.). Princeton. s. 5. ISBN  978-0691191997.

Referanslar

  • Eisenberg, Murray; Guy, Robert (1979), "Tüylü Top Teoreminin Kanıtı", American Mathematical Monthly, 86 (7): 571–574, doi:10.2307/2320587, JSTOR  2320587

daha fazla okuma

Dış bağlantılar