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ä.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.