English

Stability of closedness of semi-algebraic sets under continuous semi-algebraic mappings

Algebraic Geometry 2021-04-05 v2

Abstract

Given a closed semi-algebraic set XRnX \subset \mathbb{R}^n and a continuous semi-algebraic mapping G ⁣:XRm,G \colon X \to \mathbb{R}^m, it will be shown that there exists an open dense semi-algebraic subset U\mathscr{U} of L(Rn,Rm),L(\mathbb{R}^n, \mathbb{R}^m), the space of all linear mappings from Rn\mathbb{R}^n to Rm,\mathbb{R}^m, such that for all FU,F \in \mathscr{U}, the image (F+G)(X)(F + G)(X) is a closed (semi-algebraic) set in Rm.\mathbb{R}^m. To do this, we study the tangent cone at infinity CXC_\infty X and the set EXCXE_\infty X \subset C_\infty X of (unit) exceptional directions at infinity of X.X. Specifically we show that the set EXE_\infty X is nowhere dense in CXSn1.C_\infty X \cap \mathbb{S}^{n - 1}.

Keywords

Cite

@article{arxiv.2010.04952,
  title  = {Stability of closedness of semi-algebraic sets under continuous semi-algebraic mappings},
  author = {Si Tiep Dinh and Zbigniew Jelonek and Tien Son Pham},
  journal= {arXiv preprint arXiv:2010.04952},
  year   = {2021}
}