Іріңді теңсіздік - Pus inequality - Wikipedia

Анимациясы Рим беті ұсынушы RP² жылы R³

Жылы дифференциалды геометрия, Пудың теңсіздігі, дәлелденген Пао Мин Пу, байланысты аудан ерікті Риман беті гомеоморфты нақты проективті жазықтық бірге ұзындықтар онда қамтылған жабық қисықтардың.

Мәлімдеме

Студенті Чарльз Левнер, Pu өзінің 1950 тезисінде дәлелдеді (Пу 1952 ) бұл әр Риман беті ${ displaystyle M}$ гомеоморфты нақты проективті жазықтық теңсіздікті қанағаттандырады

${ displaystyle operatorname {Area} (M) geq { frac {2} { pi}} operatorname {Systole} (M) ^ {2},}$

қайда ${ displaystyle operatorname {Systole} (M)}$ болып табылады систола туралы ${ displaystyle M}$.Теңдікке метрика тұрақты болған кезде қол жеткізіледі Гаусстық қисықтық.

Басқаша айтқанда, егер бар болса келіспейтін ілмектер жылы ${ displaystyle M}$ ұзындығы кем дегенде ${ displaystyle L}$, содан кейін ${ displaystyle operatorname {Area} (M) geq { frac {2} { pi}} L ^ {2},}$ және теңдік тек егер болса ғана болады ${ displaystyle M}$ радиусы эвклид сферасынан алынады ${ displaystyle r = L / pi}$ әр нүктені антиподальмен сәйкестендіру арқылы.

Пудың қағазында да бірінші рет айтылған Левнер теңсіздігі, Риман метрикалары үшін ұқсас нәтиже торус.

Дәлел

Pu-дің түпнұсқалық дәлелдемесі теңдестіру теоремасы және келесідей орташа дәлелді қолданады.

Біртектестіру арқылы Риман беті ${ displaystyle (M, g)}$ болып табылады конформды диффеоморфты дөңгелек проекциялық жазықтыққа. Бұл дегеніміз, біз жер үсті деп болжай аламыз ${ displaystyle M}$ эвклидтік сферадан алынған ${ displaystyle S ^ {2}}$ антиподальды нүктелерді және әр нүктеде Риман ұзындығының элементін анықтау арқылы ${ displaystyle x}$ болып табылады

${ displaystyle mathrm {dLength} = f (x) mathrm {dLength} _ { text {Euclidean}},}$

қайда ${ displaystyle mathrm {dLength} _ { text {Euclidean}}}$ Евклид ұзындығы элементі және функциясы ${ displaystyle f: S ^ {2} to (0, + infty)}$, деп аталады конформальды фактор, қанағаттандырады ${ displaystyle f (-x) = f (x)}$.

Дәлірек айтқанда, әмбебап қақпағы ${ displaystyle M}$ болып табылады ${ displaystyle S ^ {2}}$, цикл ${ displaystyle gamma subseteq M}$ егер оны көтеру болса ғана келісімшартқа жатпайды ${ displaystyle { widetilde { gamma}} subseteq S ^ {2}}$ бір нүктеден оған қарама-қарсы, ал әрбір қисықтың ұзындығына өтеді ${ displaystyle gamma}$ болып табылады

${ displaystyle operatorname {Length} ( gamma) = int _ { widetilde { gamma}} f , mathrm {dLength} _ { text {Euclidean}}.}$

Осы ұзындықтардың әрқайсысы кем дегенде болатын шектеулерге сәйкес ${ displaystyle L}$, біз ан тапқымыз келеді ${ displaystyle f}$ азайтады

${ displaystyle operatorname {Area} (M, g) = int _ {S _ {+} ^ {2}} f (x) ^ {2} , mathrm {dArea} _ { text {Euclidean}} (х),}$

қайда ${ displaystyle S _ {+} ^ {2}}$ бұл шардың жоғарғы жартысы.

Егер біз бірнеше орташа мәнге ие болсақ ${ displaystyle f_ {i}}$ ұзындығы бойынша шектеулерді қанағаттандыратын және олардың аумағы бірдей ${ displaystyle A}$, содан кейін біз конформальды факторды аламыз ${ displaystyle f _ { text {new}} = { frac {1} {n}} sum _ {0 leq i$, бұл сонымен қатар ұзындықтағы шектеулерді қанағаттандырады және бар

${ displaystyle operatorname {Area} (M, g _ { text {new}}) = int _ {S _ {+} ^ {2}} left ({ frac {1} {n}} sum _ {i} f_ {i} (x) right) ^ {2} mathrm {dArea} _ { text {Euclidean}} (x)}$

${ displaystyle qquad qquad leq { frac {1} {n}} sum _ {i} left ( int _ {S _ {+} ^ {2}} f_ {i} (x) ^ { 2} mathrm {dArea} _ { text {Евклид}} (х) оң) = A,}$

және функциялар болмаса, теңсіздік қатаң ${ displaystyle f_ {i}}$ тең.

Кез-келген тұрақты еместі жақсарту тәсілі ${ displaystyle f}$ әртүрлі функцияларды алу болып табылады ${ displaystyle f_ {i}}$ бастап ${ displaystyle f}$ қолдану айналу сфераның ${^ displaystyle R_ {i} SO ^ {3}} ішінде$, анықтау ${ displaystyle f_ {i} (x) = f (R_ {i} (x))}$. Егер біз барлық мүмкін айналулар бойынша орташа, содан кейін біз ан ${ displaystyle f _ { text {new}}}$ бұл барлық сферада тұрақты. Біз бұл тұрақты шаманы минималды мәнге дейін төмендете аламыз ${ displaystyle r = { frac {L} { pi}}}$ ұзындықты шектеу арқылы рұқсат етіледі. Содан кейін минималды ауданға жететін бірегей көрсеткішті аламыз ${ displaystyle 2 pi r ^ {2} = { frac {2} { pi}} L ^ {2}}$.

Реформация

Сонымен қатар, сферадағы әрбір метрика ${ displaystyle S ^ {2}}$ антиподальды карта бойынша инвариант қарама-қарсы нүктелер жұбын қабылдайды ${ displaystyle p, q in S ^ {2}}$ Риман қашықтығында ${ displaystyle d = d (p, q)}$ қанағаттанарлық ${ displaystyle d ^ {2} leq { frac { pi} {4}} operatorname {area} (S ^ {2}).}$

Осы көзқарас туралы егжей-тегжейлі түсініктемені бетте табуға болады Систолалық геометрияға кіріспе.

Толтыру алаңы туралы болжам

Пу теңсіздігінің альтернативті тұжырымы келесі болып табылады. Барлық мүмкін толтырулардың ішінен Риман шеңбері ұзындығы ${ displaystyle 2 pi}$ а ${ displaystyle 2}$- қатты изометриялық қасиеті бар дөңгелек жарты шар ең аз ауданы бар.

Осы тұжырымдаманы түсіндіру үшін бірліктің экваторлық шеңбері болатындығын бақылаудан бастаймыз ${ displaystyle 2}$-сфера ${ displaystyle S ^ {2} subset mathbb {R} ^ {3}}$ Бұл Риман шеңбері ${ displaystyle S ^ {1}}$ ұзындығы ${ displaystyle 2 pi}$. Дәлірек айтқанда, Риман қашықтығы ${ displaystyle S ^ {1}}$ сферадағы қоршаған ортадағы Риман арақашықтығынан туындаған. Бұл қасиет Евклид жазықтығына бірлік шеңбердің стандартты енуімен қанағаттандырылмайтынын ескеріңіз. Шынында да, шеңбердің қарама-қарсы нүктелерінің жұбы арасындағы эвклидтік арақашықтық тек қана тең ${ displaystyle 2}$, ал Риман шеңберінде ${ displaystyle pi}$.

Біз барлық толтыруларды қарастырамыз ${ displaystyle S ^ {1}}$ а ${ displaystyle 2}$-өлшемді диск, мысалы, шеңберді дискінің шекарасына қосқанда пайда болатын метрика ұзындық шеңберінің риманниметриясы ${ displaystyle 2 pi}$. Шекара ретінде шеңбердің қосылуы шеңбердің изометриялық сіңуі деп аталады.

Громов болжамды толтыру беті оң тұқымға ие болған кезде де, дөңгелек жарты шар шеңберді толтырудың «жақсы» әдісін береді (Громов 1983 ж ).

Изопериметриялық теңсіздік

Пудың теңсіздігі классикаға өте ұқсас изопериметриялық теңсіздік

${ displaystyle L ^ {2} geq 4 pi A}$

үшін Иордания қисықтары жазықтықта, қайда ${ displaystyle L}$ дегеніміз - қисықтың ұзындығы ${ displaystyle A}$ ол шекаралас аймақ. Атап айтқанда, екі жағдайда да 2 өлшемді шама (аудан) 1 өлшемді шама (ұзындық) (квадратымен) шектеледі. Алайда, теңсіздік кері бағытта жүреді. Сонымен, Пу теңсіздігін «қарама-қарсы» изопериметриялық теңсіздік деп санауға болады.

Сондай-ақ қараңыз

• Толтыру алаңы туралы болжам
• Громовтың маңызды коллекторларға арналған систолалық теңсіздігі
• Громовтың күрделі проективті кеңістік үшін теңсіздігі
• Левнердің торус теңсіздігі
• Систолалық геометрия
• Беттердің систолалары

Әдебиеттер тізімі

• Громов, Михаэль (1983). «Риеманндық коллекторларды толтыру». J. дифференциалды геом. 18 (1): 1–147. дои:10.4310 / jdg / 1214509283. МЫРЗА  0697984.CS1 maint: ref = harv (сілтеме)
• Громов, Михаэль (1996). «Систолалар және интерстистолалық теңсіздіктер». Бесседе Артур Л. (ред.) Ронда-де-Джометри Дифферентильдің Кесте актілері (Люминий, 1992) [Дифференциалды геометрия бойынша дөңгелек үстел материалдары]. Séminaires et Congrès. 1. Париж: Соц. Математика. Франция. 291–362 бет. ISBN  2-85629-047-7. МЫРЗА  1427752.
• Громов, Миша (1999) [1981]. Риман және риман емес кеңістіктерге арналған метрикалық құрылымдар. Математикадағы прогресс. 152. М.Катц, П.Пансу және С.Семместің қосымшаларымен. Француз тілінен Шон Майкл Бейтс аударған. Бостон, MA: Birkhäuser Boston, Inc. ISBN  0-8176-3898-9. МЫРЗА  1699320.
• Катц, Михаил Г. (2007). Систолалық геометрия және топология. Математикалық зерттеулер және монографиялар. 137. Дж. Сүлейменнің қосымшасымен. Провиденс, RI: Американдық математикалық қоғам. дои:10.1090 / аман / 137. ISBN  978-0-8218-4177-8. МЫРЗА  2292367.
• Пу, Пао Мин (1952). «Кейбір бағдарланбаған Риман коллекторларындағы кейбір теңсіздіктер». Тынық мұхиты Дж. 2 (1): 55–71. дои:10.2140 / pjm.1952.2.55. МЫРЗА  0048886.CS1 maint: ref = harv (сілтеме)