Showing 1–2 of 2 results for author: Koc, M

Extensions of vector-valued functions with preservation of derivatives

Authors: Martin Koc, Jan Kolář

Abstract: Let $X$ and $Y$ be Banach or normed linear spaces and $F\subset X$ a closed set. We apply our recent extension theorem for vector-valued Baire one functions arXiv:1512.03717 to obtain an extension theorem for vector-valued functions $f\colon F\to Y$ with pre-assigned derivatives, with preservation of differentiability (at every point where the pre-assigned derivative is actually a derivative), pre… ▽ More Let $X$ and $Y$ be Banach or normed linear spaces and $F\subset X$ a closed set. We apply our recent extension theorem for vector-valued Baire one functions arXiv:1512.03717 to obtain an extension theorem for vector-valued functions $f\colon F\to Y$ with pre-assigned derivatives, with preservation of differentiability (at every point where the pre-assigned derivative is actually a derivative), preservation of continuity, preservation of (pointwise) Lipschitz property and (for finite dimensional domain $X$) preservation of strict differentiability and global (eventually local) Lipschitz continuity. △ Less

Submitted 20 September, 2016; v1 submitted 18 February, 2016; originally announced February 2016.

Comments: 21 pages, 2 figures. Depends on arXiv:1512.03717

MSC Class: 26B05; 26B35; 54C20; 26B12

Journal ref: Journal of Mathematical Analysis and Applications 449:1 (1st May 2017) 343-367

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

Authors: Jan Kolář, Martin Koc

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: H\to Z$ be a Baire one function. We show that there is a continuous funct… ▽ More 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: H\to Z$ be a Baire one function. We show that there is a continuous function $g: (X\setminus H) \to Z$ such that, for every $a\in \partial H$, the non-tangential limit of $g$ at a equals $f(a)$ and, moreover, if $f$ is continuous at $a\in H$ (respectively bounded in a neighborhood of $a\in H$) then the extension $F=f\cup g$ 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. △ Less

Submitted 3 December, 2015; originally announced December 2015.

Comments: 9 pages

MSC Class: 54C20; 54C05; 26A21; 46E40

Journal ref: Journal of Mathematical Analysis and Applications 442:1 (2016) 138-148