Ramseyn lause

Ramseyn lauseet ovat Frank Ramseyn vuonna 1930 muotoilemia matemaattisia todistuksia, joita kutsutaan äärelliseksi Ramseyn lauseeksi ja äärettömäksi Ramseyn lauseeksi. Ramseyn lauseiden johtopäätös on usein esitetty muodossa täydellinen epäjärjestys on mahdotonta.

Ääretön Ramseyn lause kertoo, että äärettömässä verkossa on aina ääretön klikki tai ääretön riippumaton joukko.

Ramseyn lauseet muodostavat Ramseyn teorian, joka on tärkeä kombinatoriikan haara. Ramseyn teorian pohjalta etsitään mahdollisimman säännöllisiä ja homogeenisia rakenteita mielivaltaisten rakenteiden sisältä.

Aiheesta muualla

• Kerkko Luosto: Ramseyn teoria