Concerning real functions with values in the Cantor set (Q6599552)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Concerning real functions with values in the Cantor set |
scientific article; zbMATH DE number 7908056
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Concerning real functions with values in the Cantor set |
scientific article; zbMATH DE number 7908056 |
Statements
Concerning real functions with values in the Cantor set (English)
0 references
6 September 2024
0 references
Let \(k\ge 2\) be a positive integer and \(Y\subset\mathbb{R}\). A function \(f\colon \mathbb{R}\to Y\) is called \textit{essentially (\(k\)-)nonconstant} if there exist \(k\) distinct points \(y_1,\ldots,y_k\in Y\) such that \(f^{-1}(y_i)\) has finite positive Lebesgue measure for all \(i\le k\).\N\NLet \(X\) be a topological space and \(Y\) be a locally compact space. It is known that if \(A\) is a dense subspace of \(X\) then every continuous map \(f\colon X\to Y\) is extendable to a function \(\hat{f}\colon X\to Y\) that is continuous at every point \(x\in A\), see Theorem 3.2 in [\textit{C. Costantini} and \textit{A. Marcone}, Topology Appl. 103, No. 2, 131--153 (2000; Zbl 0986.54025)]. In the paper under review the author gives a new proof of this fact under the stronger assumption that \(Y\) is a compact Hausdorff space.\N\NThen he applies this fact in the proof of the following result: For every integer \(k\ge 2\), there exist at least continuum-many essentially \(k\)-nonconstant almost everywhere continuous functions from \(\mathbb{R}\) to the Cantor set \(C\).\N\N\textbf{Reviewer's note. } It seems that for every countable cardinal \(\kappa>1\) one can easily construct a \(2^\mathfrak{c}\) of essentially \(\kappa\)-nonconstant a.e. continuous functions \(f\colon\mathbb{R}\to C\).
0 references
almost everywhere continuous extension of continuous map
0 references
Borel measure space
0 references
Cantor space
0 references
dense set
0 references
essentially nonconstant map
0 references
0.766348659992218
0 references