Extensions of vector-valued Baire one functions with preservation of points of continuity

DOI10.1016/J.JMAA.2016.04.052MaRDI QIDQ281860zbMATH OpenOpenAlexFDO

Authors Martin Koc, Jan Kolář

Publication date 11 May 2016

Published in Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1512.03717

zbMATH Keywords

continuity pointscontinuous convergenceextensionsnon-tangential limitpointwise approximationvector-valued Baire one functions

Mathematics Subject Classification ID

Classification of real functions; Baire classification of sets and functions (26A21) Extension of maps (54C20)

Abstract: We prove an extension theorem (with non-tangential limits) for vector-valued Baire one functions. Moreover, at every point where the function is continuous (or bounded), the continuity (or boundedness) is preserved. More precisely: Let $H$ be a closed subset of a metric space $X$ and let $Z$ be a normed vector space. Let $f:HoZ$ be a Baire one function. We show that there is a continuous function $g:(XsetminusH)oZ$ such that, for every $ainpartialH$, the non-tangential limit of $g$ at a equals $f(a)$ and, moreover, if $f$ is continuous at $ainH$ (respectively bounded in a neighborhood of $ainH$) then the extension $F=fcupg$ is continuous at $a$ (respectively bounded in a neighborhood of $a$). We also prove a result on pointwise approximation of vector-valued Baire one functions by a sequence of locally Lipschitz functions that converges "uniformly" (or, "continuously") at points where the approximated function is continuous. In an accompanying paper (Extensions of vector-valued functions with preservation of derivatives), the main result is applied to extensions of vector-valued functions defined on a closed subset of Euclidean or Banach space with preservation of differentiability, continuity and (pointwise) Lipschitz property.

Review text

The authors prove an extension theorem for vector-valued Baire one functions. They show that if \(H\) is a closed subset of a metric space \(X\), \(Z\) is a normed vector space and \(f:H\to Z\) is a Baire one function, then there is a continuous function \(g:X\setminus H\to Z\) such that the non-tangential limit of \(g\) at \(a\in\partial H\) equals \(f(a)\), and, moreover, if \(f\) is continuous at \(a\in H\) (bounded in a neighborhood of \(a\in H\)) then the extension \(F=f\cup g\) is continuous at \(a\) (bounded in a neighborhood of \(a\)).

Recommendations

• Extensions of vector-valued functions with preservation of derivatives
• Extending Baire-one functions on topological spaces
• Linear extensions of some Baire-one functions
• Extensions of real and vector functions of one variable which preserve differentiability
• Extension of functions with small oscillation

Cites work

• A Classification of Baire Class 1 Functions
• A joint generalization of Whitney's extension theorem and Aversa-Laczkovich-Preiss' extension theorem
• A New Proof that Metric Spaces are Paracompact
• Continuous selections. I
• Extensions of vector-valued functions with preservation of derivatives
• scientific article; zbMATH DE number 3933366 (Why is no real title available?)
• scientific article; zbMATH DE number 3232606 (Why is no real title available?)
• scientific article; zbMATH DE number 3096290 (Why is no real title available?)
• Some remarks on discrete Baire classes
• Topology in Lattices

Cited in

(4)

• The Dirichlet problem on compact convex sets
• Extension of continuous functions to Baire-one functions
• Differentiability versus continuity: restriction and extension theorems and monstrous examples
• Extensions of vector-valued functions with preservation of derivatives

This page was built for publication: Extensions of vector-valued Baire one functions with preservation of points of continuity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q281860)