Quotient spaces for semialgebraic equivalence relations (Q1080904)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Quotient spaces for semialgebraic equivalence relations
scientific article

    Statements

    Quotient spaces for semialgebraic equivalence relations (English)
    0 references
    1987
    0 references
    Let \(X\subset R^ n\) be an affine semi-algebraic set over a real closed field R, and let \(E\subset X\times X\) be a closed, semi-algebraic equivalence relation. This paper proves that the space of equivalence classes is also an affine semi-algebraic set if the projection \(E\to X\) is proper. For example, this hypothesis holds if \(X\) is closed and bounded in \(R^ n\) or if \(E\) is the orbit equivalence relation associated to a continuous semi-algebraic action of a closed, bounded group on \(X\). When \(E\times X\) is not proper, the paper gives some necessary conditions for the existence of an affine quotient space.
    0 references
    quotient of affine semi-algebraic set
    0 references
    semi-algebraic equivalence relation
    0 references

    Identifiers