Normal embeddings of semialgebraic sets (Q1591616)

From MaRDI portal
Revision as of 21:57, 10 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Normal embeddings of semialgebraic sets
scientific article

    Statements

    Normal embeddings of semialgebraic sets (English)
    0 references
    0 references
    0 references
    1 January 2001
    0 references
    A connected semialgebraic subset \(X\) of \({\mathbb R}^n\) is said to be normally embedded if the geodesic metric on \(X\) is equivalent to the induced metric on \(X\). The main result of the paper is the following. Let \(X\) be a compact connected semialgebraic subset of \({\mathbb R}^n\). Then there is a semialgebraic subset \(Y\) of some \({\mathbb R}^m\) such that \(X\) and \(Y\) are bi-Lipschitz equivalent with respect to their geodesic metrics. More precisely, there is a homeomorphism \(f\colon X\rightarrow Y\) and there are positive constants \(K\) and \(L\) such that \[ Kd_X(x,y)\leq d_Y(f(x),f(y))\leq Ld_X(x,y) \] for all \(x,y\in X\), where \(d_X\) (resp. \(d_Y\)) denotes the geodesic metric on \(X\) (resp. on \(Y\)). The main ingredients in the proof are the pancake decomposition of a closed semialgebraic set and the related pancake metric, due to \textit{K. Kurdyka} [Lect. Notes Math. 1524, 316-322 (1992; Zbl 0779.32006)] and \textit{A. Parusinski} [Ann. Sci. Ec. Norm. Supér., IV. Sér. 27, 661-696 (1994; Zbl 0819.32007)]. The semialgebraic subset \(Y\) is explicitly constructed from \(X\) using the so-called tent procedure.
    0 references
    semialgebraic set
    0 references
    normal embedding
    0 references
    bi-Lipschitz equivalent
    0 references
    pancake decomposition
    0 references
    pancake metric
    0 references
    tent procedure
    0 references

    Identifiers