Is a monotone union of contractible open sets contractible? (Q340730)

From MaRDI portal





scientific article; zbMATH DE number 6652886
Language Label Description Also known as
English
Is a monotone union of contractible open sets contractible?
scientific article; zbMATH DE number 6652886

    Statements

    Is a monotone union of contractible open sets contractible? (English)
    0 references
    0 references
    0 references
    15 November 2016
    0 references
    contractibility
    0 references
    normal space
    0 references
    locally compact
    0 references
    monotone union
    0 references
    \(\sigma\)-compact
    0 references
    The following very general question is considered.NEWLINENEWLINE{Question.} If a normal space \(X\) is the union of an increasing sequence of open sets \(U_1\subset U_2\subset\dots\) such that each \(U_n\) contracts to a point in \(X\), must \(X\) be contractible?NEWLINENEWLINEThis is motivated by the fact that ``typical constructions of contractible open manifolds produce a space \(X\) that is a union of sets \(U_i\) as indicated.'' Moreover, as is mentioned by the authors, this is usually the first step needed in a construction that yields a contractible open manifold that is not homeomorphic to \(\mathbb{R}^n\).NEWLINENEWLINEThe main results of the paper are:NEWLINENEWLINE{Theorem 1.} If a normal space \(X\) is the union of a sequence of open subsets such that \(\mathrm{cl}(U_n)\subset U_{n+1}\) and \(U_n\) contracts to a point in \(X\) for all \(n\geq1\), then \(X\) is contractible.NEWLINENEWLINE{Corollary 2.} If a locally compact \(\sigma\)-compact normal space \(X\) is the union of an increasing sequence of open sets \(U_1\subset U_2\subset\dots\) such that each \(U_n\) contracts to a point in \(X\), then \(X\) is contractible.NEWLINENEWLINEThe authors list two previously known results, Theorems 3 and 4, which are similar to this one, but which impose stricter conditions on the contractions. Hence the work in this paper provides an improvement upon that of its predecessors. But they are not able to answer the Question.
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references