Reebův teorém o sféře : Nechť foliace se singularitami existuje na uzavřeném orientovatelném spojeném manifoldu , jehož všechny singulární body jsou izolované a jsou středy. Pak je homeomorfní ke kouli a foliace má přesně dva singulární body.
Věta byla prokázána v roce 1946 francouzským matematikem Georgesem Ribem .
Izolovaný singulární bod foliace F se nazývá bod typu Morse , pokud v jeho malém sousedství jsou všechny vrstvy úrovněmi nějaké Morseovy funkce a sám je kritickým bodem této funkce.
Singulární bod typu Morse se nazývá střed , pokud je lokálním extrémem funkce; jinak se tomu říká sedlo .
Označme ind p = min( k , n − k ), index singularity , kde k je index odpovídajícího kritického bodu Morseovy funkce. Konkrétně střed má index 0, sedlový index je alespoň 1.
Morseova foliace F na manifoldu M je speciální příčně orientovaná foliace kodimenze 1 třídy C 2 s izolovanými singularitami a:
Nechť c je počet středů Morseovy foliace F a je počet jejích sedel, ukáže se, že rozdíl c − s úzce souvisí s topologií variety .
Uvažujme případ c > s = 0, to znamená, že všechny singularity jsou středy, neexistují žádná sedla.
Věta: [1] Předpokládejme, že na uzavřené orientované spojené varietě dimenze existuje -příčně orientovaná foliace kodimenze 1 s neprázdnou množinou izolovaných singulárních bodů, z nichž všechny jsou středy. Pak má foliace přesně dva singulární body a varieta je homeomorfní ke kouli .
Tato skutečnost je důsledkem Reebovy věty o stabilitě .
Obecnější je případ
V roce 1978 E. Wagneur zobecnil Reebův teorém o kouli na Morseovy foliace se sedlem. Ukázal, že počet středisek nemůže být příliš velký ve srovnání s počtem sedel, totiž . Existují tedy přesně dva případy, kdy :
(jeden) (2)Wagner také popsal rozdělovače, na kterých jsou foliace vyhovující případu (1).
Věta [2] : Nechť existuje Morseova foliace se středy a sedlem na kompaktní spojené manifoldu . Pak . Pokud , pak
Nakonec v roce 2008 Camacho a Scardua (C. Camacho, B. Scardua) případ zvažovali (2), . Zajímavé je, že tento případ je možný pouze v některých rozměrech.
Věta [3] : Nechť kompaktní spojenou varietu a je Morseova foliace na . Pokud , pak