Fyllningsradie
Känslaradie är en metrisk egenskap hos ett Riemann-grenrör .
Föreslog av Gromov 1983. Han använde fyllningsradien för att bevisa den systoliska ojämlikheten för väsentliga grenrör .
Kurvor i planet
Fyllningsradien ( ) för en sluten kurva C i planet definieras som den största radien av en cirkel som finns inom kurvan.
![{\displaystyle \mathrm {FillRad} (C\subset \mathbb {R} ^{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b53e71d446ed9833c268662e80b983dc64df95ec)
![{\displaystyle R>0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57914127d03a5cea02c60a32cfbb22f34904f00d)
Fyllningsradien för en kurva C kan också definieras som den minsta infimum av sådan att kurvan C krymper till en punkt i dess grannskap.
![\varepsilon >0](https://wikimedia.org/api/rest_v1/media/math/render/svg/e04ec3670b50384a3ce48aca42e7cc5131a06b12)
![\varepsilon](https://wikimedia.org/api/rest_v1/media/math/render/svg/a30c89172e5b88edbd45d3e2772c7f5e562e5173)
Definition
Beteckna med A ringen eller , beroende på om X är orienterbart eller inte.
![\mathbb {Z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/449494a083e0a1fda2b61c62b2f09b6bee4633dc)
![{\mathbb {Z}}_{2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92aedfb5c02eff978ab963421ce930f46801657e)
Sedan är grundklassen , betecknad [X] , för ett kompakt n - dimensionellt grenrör X , en generator av homologigruppen , och vi sätter
![{\displaystyle H_{n}(X;A)\simeq A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e6013fe1632023234f599e1a94692c2a9bc4912)
där betecknar
Kuratowski-inbäddningen av X i utrymmet för avgränsade funktioner på X .
Egenskaper
- I vilken dimension som helst finns det en konstant som ojämlikheten
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![c_n](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b7e944bcb1be88e9a6a940638f2adce0ec4211a)
![{\displaystyle (\mathrm {FillRad} \,M)^{n}\leq c_{n}\cdot \mathrm {vol} \,M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2463defc9640da6eccc18e2e3e19289d8f223d68)
håller för alla stängda Riemann- dimensionella grenrör .
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
- Detta är huvudegenskapen hos fyllningsradien, som används av Gromov för att bevisa den systoliska ojämlikheten; ett bevis med betydande förenklingar och en förbättrad konstant ges av Alexander Nabutovsky. [ett]
- För ett givet grenrör med minst 3 dimensioner, den optimala konstanten i ojämlikheten
![M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![{\displaystyle c(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8cccb808278068fdf014ef1fb9e390a78a9fae3d)
![{\displaystyle (\mathrm {FillRad} \,(M,g))^{n}\leq c(M)\cdot \mathrm {vol} \,(M,g)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21533c14b2930ca12bc635e2bcab41b4d1b9fd59)
avundas endast på dimensionen och dess orienterbarhet.
[2]
- Fyllningsradien överstiger inte en tredjedel av diametern. [3]
- Jämlikhet uppnås för ett verkligt projektivt utrymme med en kanonisk metrik.
- I synnerhet är fyllningsradien för enhetscirkeln med den inducerade Riemann-metriken π/3, det vill säga en sjättedel av dess längd.
- Systolen för ett väsentligt grenrör överstiger inte sex av dess fyllningsradier.
- Denna ojämlikhet blir en jämlikhet för verkliga projektiva rum, som nämnts ovan.
- Injektionsradien för ett kompakt grenrör M ger en nedre gräns för fyllningsradien. Nämligen,
![{\displaystyle \mathrm {FillRad} M\geq {\frac {\mathrm {InjRad} M}{\dim M+1)).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e10758490cc59e6956b051067493c9fd24f1717)
Anteckningar
- ↑ Alexander Nabutovsky, Linjära gränser för konstanter i Gromovs systoliska ojämlikhet och relaterade resultat. arXiv : 1909.12225
- ↑ Brunnbauer, Michael, Att fylla ojämlikheter beror inte på topologi. J. Reine Angew. Matematik. 624 (2008), 217–231.
- ↑ Katz, M.: Fyllningsradien för tvåpunktshomogena utrymmen. Journal of Differential Geometry 18, nummer 3 (1983), 505–511.
Litteratur
- Gromov, M.: Filling Riemannian manifolds, Journal of Differential Geometry 18 (1983), 1-147.
- Katz, M.: Fyllningsradien för tvåpunktshomogena utrymmen. Journal of Differential Geometry 18, nummer 3 (1983), 505-511.
- Katz , Mikhail G. (2007), Systolic geometri and topology , vol. 137, Mathematical Surveys and Monographs, Providence, RI: American Mathematical Society , ISBN 978-0-8218-4177-8 , OCLC 77716978