Finslerova geometrie je jedním ze zobecnění Riemannovy geometrie . Finslerova geometrie se zabývá manifoldy s Finslerovou metrikou; to znamená výběrem normy pro každý tečný prostor , který se plynule mění bod od bodu.
Dovolit být - dimenzionální připojen hladký manifold a být tečný svazek .
Finslerova metrika na je spojitá funkce , takže její omezení na libovolný tečný prostor je normou. V tomto případě se obvykle předpokládají následující další vlastnosti:
Pokud položíme
,pak lze formulář přepsat jako
Pro jakékoli nenulové vektorové pole definované na , existuje Riemannova metrika na .
Pro hladkou křivku na rozdělovači s Finslerovou metrikou je délka dána integrálem .
Chernův (nebo Rundův) operátor kovarianční diferenciace je definován jako where , a
Takto zavedené spojení na rozdělovači není obecně afinním spojením. Spojení je afinní právě tehdy, když je Finslerova metrika Berwaldovou metrikou[ specifikovat ] . Podle definice to znamená, že geodetické rovnice mají stejný tvar jako v Riemannově geometrii nebo geodetické koeficienty
reprezentovat ve formě
U vektoru zvažte funkce . Pak se rodina transformací nazývá Riemannova křivost. Nechť je tečnou 2-rozměrnou rovinou. Pro vektor definujeme, kde je takový vektor, který . nezáleží na výběru . Číslo se nazývá zakřivení vlajky v .
Myšlenku Finslerova prostoru můžeme vidět již v Riemannově přednášce „On the Hypotheses Underlying Geometry“ (1854). Spolu s metrikou danou kladnou druhou odmocninou kladné určité kvadratické diferenciální formy ( Riemannovská metrika ), Riemann také zvažuje metriku danou kladnou čtvrtou odmocninou diferenciální formy čtvrtého řádu. Finslerova metrika je následující přirozené zobecnění.
Systematické studium variet s takovou metrikou začalo disertační prací Paula Finslera , publikovanou v roce 1918 , takže jméno takových metrických prostorů je spojeno s jeho jménem. Faktorem, který položil základy výzkumných aktivit v tomto směru, je Carathéodoryho zavedení nových geometrických metod do variačního počtu pro studium problémů v parametrické formě. Jádrem těchto metod je koncept indikatrix a vlastnost konvexity indikatrix hraje u těchto metod důležitou roli, protože zajišťuje splnění nezbytných minimálních podmínek ve variační úloze pro stacionární křivky.
O několik let později došlo v obecném vývoji Finslerovy geometrie k obratu od původního Finslerova pohledu k novým teoretickým metodám. Finsler, vedený hlavně koncepty variačního počtu, nepoužil metody tenzorové analýzy . V roce 1925 byla tenzorová analýza aplikována na teorii téměř současně Singem , Taylorem ( anglicky JH Taylor ) a Berwaldem ( německy L. Berwald ). V roce 1927 Berwald navrhl zobecnění, které nesplňuje kladnou jednoznačnost metriky, později známé jako Berwald-Moorův prostor .
Další obrat ve vývoji teorie nastal v roce 1934, kdy Cartan publikoval pojednání o Finslerových prostorech. Cartanovský přístup ovládl prakticky všechny následující výzkumy geometrie Finslerových prostorů a několik matematiků vyjádřilo názor, že díky tomu teorie dosáhla své konečné podoby. Cartanova metoda vedla k rozvoji Finslerovy geometrie přímým rozvojem metod Riemannovy geometrie.
Několik geometrů nezávisle kritizovalo Cartanovy metody Wagner , Busemann a Rund Zdůraznili, že přirozenou lokální metrikou Finslerova prostoru je Minkowského metrika , zatímco svévolné uložení euklidovské metriky vede ke ztrátě nejzajímavějších charakteristik Finslerových prostorů. Z těchto důvodů byly na počátku 50. let předloženy další teorie, v jejichž důsledku se objevily znatelné potíže, Busemann na toto téma poznamenal: „Finslerova geometrie ze strany je les, ve kterém se veškerá vegetace skládá z tenzorů “ .