The topology of close approximation (Q752525)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The topology of close approximation
scientific article

    Statements

    The topology of close approximation (English)
    0 references
    0 references
    0 references
    1990
    0 references
    Let \({\mathcal L}\subset R^ R\) denote the set of all Lebesgue measurable real-valued functions defined on R, and let \({\mathcal L}^+\) denote \(\{f\in {\mathcal L}:\) \(f(x)>0\) for all \(x\in R\}\). The topology of close approximation, \({\mathcal T}_ c\), is defined on \(R^ R\) by taking as a neighbourhood base of \(f\in R^ R\) the sets \(\hat C(f,\epsilon)=\{g\in R^ R|\) \(g(x)-f(x)| <\epsilon (x)\) for all \(x\in R\}\), where \(\epsilon\in {\mathcal L}^+\). The uniform topology, \({\mathcal T}_ u\), is defined on \(R^ R\) by taking as neighbourhood base of \(f\in R^ R\) the sets \(\hat U(f,\epsilon)=(g\in R^ R:| g(x)-f(x)| <\epsilon\) for all \(x\in R\}\), where \(\epsilon \in R^+\), the set of positive real numbers. The Lusin topology, \({\mathcal T}_ L\), of convergence in measure is defined by the neighborhood base of \(f\in R^ R\) \(\hat L(f,\epsilon)=\{g\in R^ R:\lambda^*\{x\in R| g(x)-f(x)| \geq \epsilon \}<\epsilon\}\), where \(\epsilon \in R^+\) and \(\lambda^*\) denotes the Lebesgue outer measure. Clearly \({\mathcal T}_ L\subset {\mathcal T}_ u\subset {\mathcal T}_ c.\) The authors discuss the properties of the spaces (\({\mathcal L},{\mathcal T}_ c)\), (\({\mathcal L},{\mathcal T}_ u)\) and (\({\mathcal L},{\mathcal T}_ L)\) interacting on each other, and the situation of their subspaces, which are summarized as below: 1. \({\mathcal L}\) is a closed \(G_{\delta}\)-set in \(R^ R\), in each of \({\mathcal T}_ L\), \({\mathcal T}_ u\) and \({\mathcal T}_ c.\) Let \({\mathcal L}'\) be the set \(\{\) \(f\in {\mathcal L}:\int_{R}| f(x)| d\lambda(x)<\infty\}\) and \({\mathcal C}\) the set of all continuous functions from R to R. 2. All four spaces \(R^ R\), \({\mathcal L}\), \({\mathcal L}'\) and \({\mathcal C}\) are Baire spaces in all three topologies \({\mathcal T}_ L\), \({\mathcal T}_ u\) and \({\mathcal T}_ c\), except for (\({\mathcal L}',{\mathcal T}_ L)\), (\({\mathcal L}',{\mathcal T}_ u)\) and (\({\mathcal C},{\mathcal T}_ L).\) 3. (\({\mathcal C},{\mathcal T}_ c)\) is discrete. 4. (Miller) The character of (\({\mathcal L},{\mathcal T}_ c)\) is \(2^ c.\) 5. The following functions form a closed nowhere dense set in (\({\mathcal L},{\mathcal T}_ c)\). (a) surjective measurable functions, (b) measurable function that are continuous at least one point, (c) measurable functions that are somewhere of BV (bounded variation on some nonempty interval). 6. The one-to-one continuous functions form a nowhere dense \(G_{\delta}\)-set in (\({\mathcal C},{\mathcal T}_ u)\) and the one-to-one functions are dense in (\({\mathcal L},{\mathcal T}_ c)\), the following are equivalent: (i) K is countably compact, (ii) K is compact, (iii) K is compact and metrizable and (iv) K is finite union \(K_ 1\cup K_ 2\cup...\cup K_ n\), where each \(K_ i\) is a compact subset of \(L_ s(h_ i)\) (in its ordinary Euclidean topology) for some finite \(S_ i\subset R\) and some \(h_ i\in {\mathcal L}.\) For \(f,g\in R^ R\), let \(f\sim g\) be \(\lambda\{x\in R:\) \(f(x)\neq g(x)\}=0\) and [f] the equivalence class of f under this equivalence relation, and let \({\mathcal E}\) denote the set of equivalence classes \(\{[f]: f\in {\mathcal L}\}\). The topologies \({\mathcal T}'_ L\), \({\mathcal T}'_ u\) and \({\mathcal T}'_ c\) on \({\mathcal E}\) are defined in natural sense corresponding to \({\mathcal T}_ L\), \({\mathcal T}_ u\) and \({\mathcal T}_ c\), which are denoted by \({\mathcal T}'_ L\), \({\mathcal T}'_ u\) and \({\mathcal T}'_ c\). Clearly \({\mathcal T}'_ L\subset {\mathcal T}'_ u\subset {\mathcal T}'_ c.\) 8. \({\mathcal E}\) is a Baire space in each of \({\mathcal T}'_ L\), \({\mathcal T}'_ u\) and \({\mathcal T}'_ c.\) 9. (MA) the character of (\({\mathcal E},{\mathcal T}'_ c)\) is c. 10. (CH) (\({\mathcal E},{\mathcal T}'_ c)\) is hereditarily paracompact.
    0 references
    Lebesgue measurable real-valued functions
    0 references
    topology of close approximation
    0 references
    uniform topology
    0 references
    Lusin topology
    0 references
    Baire spaces
    0 references

    Identifiers

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