Linear extensions of some Baire-one functions (Q1692350)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Linear extensions of some Baire-one functions |
scientific article |
Statements
Linear extensions of some Baire-one functions (English)
0 references
26 January 2018
0 references
Let \(\mathcal P_0(X)\) be the family of all real functions on \(X\) such that there is a sequence of closed \(G_\delta\) sets \(X_i\) such that \(X=\bigcup_{i=1}^\infty X_i\) and the restrictions \(f\restriction X_i\) are continuous, and let \(\mathcal P_0^b(X)\) be the bounded functions in \(\mathcal P_0(X)\). The main result of the paper is that if \(X\) is a normal space, \(A\) is a closed \(G_\delta\) set in \(X\) and \(f\in \mathcal P_0(A)\) then there is a linear extension of \(f\) such that its restriction to \(\mathcal P_0^b(A)\) is an isometry into \(\mathcal P_0^b(X)\).
0 references
Baire one function
0 references
Baire one star function
0 references
piecewise continuous function
0 references
extension
0 references
zero set
0 references
normal space
0 references
perfectly normal space
0 references
Tietze extension theorem
0 references
Kuratowski extension theorem
0 references
Borsuk-Dugundji extension
0 references