Hyperbolinen kiinteä piste ( hyperbolic point ) on peruskäsite, jota käytetään dynaamisten järjestelmien teoriassa suhteessa kartoituksiin ( diffeomorfismiin ) ja vektorikenttiin . Kuvauksen tapauksessa hyperbolinen piste on kiinteä piste , jossa kaikki kertoimet ( mappauksen linearisoinnin ominaisarvot tietyssä pisteessä) ovat moduloittain erilaisia kuin yksi. Vektorikenttien tapauksessa hyperbolinen piste on singulaaripiste , jossa kaikilla kentän linearisoinnin ominaisarvoilla on nollasta poikkeavat reaaliosat.
Vektorikentän hyperbolisessa pisteessä (tai diffeomorfismissa) tangenttiavaruus hajoaa kahden invariantin aliavaruuden suoraksi summaksi ja , jotka ovat invariantteja kentän lineaarisen osan operaattorin alla: . Aliavaruudet ja määritetään ehdoilla vektorikenttien tapauksessa ja ehdoilla diffeomorfismien tapauksessa . Nämä aliavaruudet ovat linearisoidun vektorikentän (diffeomorfismi) muuttumattomia monistoja tietyssä pisteessä, niitä kutsutaan sen epävakaiksi ja stabiileiksi , vastaavasti.
Alkuperäisen epälineaarisen vektorikentän (diffeomorfismi) epästabiilit ja stabiilit monistoja ovat sen muuttumattomat monisot ja , tangentti vastaavasti aliavaruuksiin ja tarkasteltavassa pisteessä ja joilla on samat mitat kuin . Lajikkeet ja ovat yksilöllisesti määriteltyjä [1] . Huomaa, että jaostot ja eivät ole olemassa vain hyperbolisten singulaaripisteiden tapauksessa, vaan hyperbolisen pisteen tapauksessa niiden mittojen summa on yhtä suuri kuin koko avaruuden mitta, eikä tämän läpi kulje muita invariantteja monistoja. yksikköpiste [1] .
Grobman-Hartmanin lause . Epälineaarisen diffeomorfismin (vektorikentän) hyperbolisen pisteen läheisyydessä dynamiikka eroaa vastaavan lineaarisen kuvauksen (vektorikentän) dynamiikasta jatkuvalla koordinaattien muutoksella .
Hadamard-Perronin lause. [2] [3] Tasaisen (tai analyyttisen ) vektorikentän tai diffeomorfismin hyperbolisen pisteen läheisyydessä tietyn pisteen läpi kulkee epästabiileja ja stabiileja monistoja ja sama sileysluokka (vastaavasti analyyttinen).
Chenin lause. [4] [5] Jos hyperbolisen pisteen läheisyydessä kaksi sileää vektorikenttää (diffeomorfismia) ovat muodollisesti ekvivalentteja (eli ne käännetään toisiinsa muodollisen potenssisarjan antamalla muuttujien muodollisella muutoksella ), niin ne ovat -tasaisesti vastaavat.