English

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

Functional Analysis 2016-05-25 v1 Classical Analysis and ODEs

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 HH be a closed subset of a metric space XX and let ZZ be a normed vector space. Let f:HZf: H\to Z be a Baire one function. We show that there is a continuous function g:(XH)Zg: (X\setminus H) \to Z such that, for every aHa\in \partial H, the non-tangential limit of gg at a equals f(a)f(a) and, moreover, if ff is continuous at aHa\in H (respectively bounded in a neighborhood of aHa\in H) then the extension F=fgF=f\cup g is continuous at aa (respectively bounded in a neighborhood of aa). 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.

Keywords

Cite

@article{arxiv.1512.03717,
  title  = {Extensions of vector-valued Baire one functions with preservation of points of continuity},
  author = {Jan Kolář and Martin Koc},
  journal= {arXiv preprint arXiv:1512.03717},
  year   = {2016}
}

Comments

9 pages