Pus eşitsizliği - Pus inequality - Wikipedia

Bir animasyon Roma yüzeyi temsil eden RP2 içinde R3

İçinde diferansiyel geometri, Pu eşitsizliğitarafından kanıtlandı Pao Ming Pu, ilişkilendirir alan keyfi Riemann yüzeyi homeomorfik gerçek yansıtmalı düzlem ile uzunluklar içerdiği kapalı eğrilerin.

Beyan

Bir öğrenci Charles Loewner Pu, 1950 tezinde (Pu 1952 ) her Riemann yüzeyinin homeomorfik gerçek yansıtmalı düzlem eşitsizliği karşılar

nerede ... sistol nın-nin Metrik sabit olduğunda eşitlik tam olarak elde edilir. Gauss eğriliği.

Diğer bir deyişle, eğer hepsi daraltılamaz döngüler içinde en az uzunlukta olmak , sonra ve eşitlik, ancak ve ancak yarıçaplı bir Öklid küresinden elde edilir her noktayı kendi antipodaliyle tanımlayarak.

Pu'nun makalesi de ilk kez ifade edildi Loewner eşitsizliği Riemann metrikleri için benzer bir sonuç simit.

Kanıt

Pu'nun orijinal kanıtı, tekdüzelik teoremi ve aşağıdaki gibi bir ortalama argüman kullanır.

Tek tipleştirme ile Riemann yüzeyi dır-dir uyumlu olarak diffeomorfik yuvarlak bir yansıtmalı düzleme. Bu, yüzeyin Öklid birim küresinden elde edilir zıt kutup noktalarını ve her noktada Riemann uzunluk öğesini belirleyerek dır-dir

nerede Öklid uzunluğu öğesi ve işlevi , aradı konformal faktör, tatmin eder .

Daha doğrusu, evrensel kapağı dır-dir , bir döngü sadece ve ancak kaldırılması durumunda sözleşmeye tabi değildir bir noktadan tersine gider ve her eğrinin uzunluğu dır-dir

Bu uzunlukların her birinin en az olduğu kısıtlamaya tabidir. , bulmak istiyoruz en aza indiren

nerede kürenin üst yarısıdır.

Önemli bir gözlem şudur: uzunluk kısıtlamasına uyan ve aynı alana sahip olan daha iyi bir uyum faktörü elde ederiz , bu aynı zamanda uzunluk kısıtlamasını da karşılar ve

ve işlevler olmadığı sürece eşitsizlik katıdır eşittir.

Sabit olmayanları iyileştirmenin bir yolu farklı fonksiyonları elde etmektir itibaren kullanma rotasyonlar kürenin , tanımlama . Eğer biz olası tüm rotasyonların ortalaması sonra bir bu tüm alanda sabittir. Bu sabiti minimum değere daha da indirebiliriz uzunluk kısıtlaması ile izin verilir. Ardından minimum alana ulaşan benzersiz metriği elde ederiz .

Reformülasyon

Alternatif olarak, küredeki her metrik antipodal haritanın altındaki değişmez bir çift zıt noktayı kabul eder Riemannian mesafede doyurucu

Bu bakış açısının daha ayrıntılı bir açıklaması sayfada bulunabilir. Sistolik geometriye giriş.

Dolgu alanı varsayımı

Pu'nun eşitsizliğinin alternatif bir formülasyonu aşağıdaki gibidir. Tüm olası dolgulardan Riemann çemberi uzunluk tarafından güçlü izometrik özelliğe sahip boyutlu disk, yuvarlak yarım küre en az alana sahiptir.

Bu formülasyonu açıklamak için, birimin ekvator dairesinin küre bir Riemann çemberi uzunluk . Daha doğrusu, Riemann mesafesi fonksiyonu kürenin çevre Riemannian mesafesinden indüklenir. Bu özelliğin, birim çemberin Öklid düzlemine standart olarak yerleştirilmesiyle karşılanmadığına dikkat edin. Aslında, çemberin bir çift karşıt noktası arasındaki Öklid mesafesi Riemann çemberinde ise .

Tüm dolguları dikkate alıyoruz tarafından - boyutsal disk, öyle ki, diskin sınırı olarak dairenin dahil edilmesiyle indüklenen metrik, uzunluktaki bir dairenin Riemannianmetrik değeridir. . Çemberin sınır olarak dahil edilmesine daha sonra dairenin güçlü bir izometrik gömülmesi denir.

Gromov varsayılan Dolgu yüzeyinin pozitif cinsi olmasına izin verildiğinde bile yuvarlak yarımkürenin çemberi doldurmanın "en iyi" yolunu verdiğini (Gromov 1983 ).

İzoperimetrik eşitsizlik

Pu eşitsizliği klasik ile ilginç bir benzerlik taşıyor. izoperimetrik eşitsizlik

için Jordan eğrileri uçakta, nerede eğrinin uzunluğu sınırladığı bölgenin alanıdır. Yani, her iki durumda da 2 boyutlu bir miktar (alan) 1 boyutlu bir miktar (uzunluk) ile (karesi) sınırlanmıştır. Ancak eşitsizlik ters yönde ilerliyor. Bu nedenle Pu eşitsizliği, "zıt" bir izoperimetrik eşitsizlik olarak düşünülebilir.

Ayrıca bakınız

Referanslar

  • Gromov, Mikhael (1983). "Riemann manifoldlarının doldurulması". J. Differential Geom. 18 (1): 1–147. doi:10.4310 / jdg / 1214509283. BAY  0697984.CS1 bakimi: ref = harv (bağlantı)
  • Gromov, Mikhael (1996). "Sistoller ve intersistolik eşitsizlikler". Besse'de, Arthur L. (ed.). Actes de la Table Ronde de Géométrie Différentielle (Luminy, 1992) [Diferansiyel Geometri Üzerine Yuvarlak Masa Bildirileri]. Séminaires et Congrès. 1. Paris: Soc. Matematik. Fransa. s. 291–362. ISBN  2-85629-047-7. BAY  1427752.
  • Gromov, Misha (1999) [1981]. Riemannian ve Riemannian olmayan uzaylar için metrik yapılar. Matematikte İlerleme. 152. M. Katz, P. Pansu ve S. Semmes'in ekleriyle. Fransızca'dan Sean Michael Bates tarafından çevrilmiştir. Boston, MA: Birkhäuser Boston, Inc. ISBN  0-8176-3898-9. BAY  1699320.
  • Katz, Mikhail G. (2007). Sistolik geometri ve topoloji. Matematiksel Araştırmalar ve Monograflar. 137. J. Solomon'un ekiyle. Providence, UR: Amerikan Matematik Derneği. doi:10.1090 / hayatta / 137. ISBN  978-0-8218-4177-8. BAY  2292367.
  • Pu, Pao Ming (1952). "Yönlendirilemeyen belirli Riemann manifoldlarındaki bazı eşitsizlikler". Pacific J. Math. 2 (1): 55–71. doi:10.2140 / pjm.1952.2.55. BAY  0048886.CS1 bakimi: ref = harv (bağlantı)