Người báo cáo: Hà Huy Vui
Thời gian: 9h30 thứ 3, 06/1/2015
Địa điểm: Phòng 104 nhà A5, Viện Toán học, 18 Hoàng Quốc Việt, Cầu Giấy, Hà Nội
Tóm tắt: This talk describesthe proofs of the following results:
- Cell Decomposition Theorem: Any semi-algebraic set possess a cellular decomposition, whose cells are semi-algebraic sets (a constructive proof);
- Tarski-Seidenberg theorem: The image under a projection of a semi-algebraic set is a semi-algebraic set;
- Whitney-Lojasiewicz theorem: Each semi-algebraic set has only finitely many (semi-algebraic)connected components.
References
- D. Arnon, A cellular decomposition algorithm for semi-algebraic sets, Lecture Notes in Computer Science,1979.
- M. Coste, An introduction to semi-algebraic geometry, 2002, (Chapter2).
|
