Ramseyn lause

Wikipediasta
Siirry navigaatioon Siirry hakuun

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

[muokkaa | muokkaa wikitekstiä]
Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.