HOẠT ĐỘNG TRONG TUẦN

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

1.  D. Arnon, A cellular decomposition algorithm for semi-algebraic sets, Lecture Notes in Computer Science,1979.
2.  M. Coste, An introduction to semi-algebraic geometry, 2002, (Chapter2).