Algebraické nerovnice nad reálnými čísly
Algebraic inequalities over the real numbers
diplomová práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/85829Identifikátory
SIS: 163140
Kolekce
- Kvalifikační práce [10932]
Autor
Vedoucí práce
Oponent práce
Příhoda, Pavel
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Matematické struktury
Katedra / ústav / klinika
Katedra algebry
Datum obhajoby
13. 6. 2017
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Čeština
Známka
Výborně
Klíčová slova (česky)
reálná algebraická geometrie, semialgebraická množina, stratifikace, válcový rozklad, Morseho funkce, Thom-Milnorova nerovnostKlíčová slova (anglicky)
real algebraic geometry, semialgebraic set, stratification, cylindrical decomposition, Morse function, Thom-Milnor boundTato práce zkoumá semialgebraické množiny, tedy množiny definované jako konečná sjednocení řešení konečné soustavy polynomiálních nerovnic. Předsta- víme koncept válcového rozkladu, který využijeme jako nástroj pro sestrojení stratifikačního rozkladu a triangulace semialgebraické množiny. Na tomto základě dokážeme několik důležitých a známých výsledků reálné algebraické geometrie, jako je Hardtova věta o semialgebraické trivialitě nebo Sardova věta. S využitím Morseho teorie nakonec dokážeme Thom-Milnorovu nerovnost na součet Bettiho čísel reálné algebraické množiny. 1
This thesis analyses the semialgebraic sets, that is, a finite union of solu- tions to a finite sequence of polynomial inequalities. We introduce a notion of cylindrical algebraic decomposition as a tool for the construction of a semialge- braic stratification and a triangulation of a semialgebraic set. On this basis, we prove several important and well-known results of real algebraic geometry, such as Hardt's semialgebraic triviality or Sard's theorem. Drawing on Morse theory, we finally give a proof of a Thom-Milnor bound for a sum of Betti numbers of a real algebraic set. 1