Poincaré-Bendixonin lause on dynaamisten järjestelmien teorian lause, joka kuvaa vektorikentän liikeradan mahdollisia rajoittavia käyttäytymistyyppejä tasolla tai pallolla. Lauseen mukaan lentoratojen rajoittava käyttäytyminen on tässä tapauksessa säännöllistä eikä voi olla kaoottista (jopa tiheiden kiertoradojen läsnäolo kaikkialla on mahdotonta).
Olkoon -tasainen vektorikenttä annettu pallolle tai tasolle tai jollain tason alueella (jälkimmäisessä tapauksessa suunnattu sisäänpäin alueen rajalla), jolla on vain äärellinen määrä yksittäisiä pisteitä. Tällöin minkä tahansa lentoradan ω -rajajoukko on joko ( 1 ) singulaaripiste tai ( 2 ) jaksollinen lentorata tai ( 3 ) polysykli (singulaaristen pisteiden ja niitä yhdistävien liikeratojen segmenttien liitto). Samanlainen lause pätee myös α -rajajoukkoihin . |