Extending $n$ times differentiable functions of several variables

Hajrudin Fejzić; Dan Rinne; Clifford E. Weil

Displaying similar documents to “Extending $n$ times differentiable functions of several variables”

On the closure of Baire classes under transfinite convergences

Tamás Mátrai (2004)

Fundamenta Mathematicae

Similarity:

Let X be a Polish space and Y be a separable metric space. For a fixed ξ < ω₁, consider a family $f_{α} : X \to Y (α < ω ₁)$ of Baire-ξ functions. Answering a question of Tomasz Natkaniec, we show that if for a function f: X → Y, the set $α < ω ₁ : f_{α} (x) \neq f (x)$ is finite for every x ∈ X, then f itself is necessarily Baire-ξ. The proof is based on a characterization of $Σ ⁰_{η}$ sets which can be interesting in its own right.

Functions of Baire class one

Denny H. Leung, Wee-Kee Tang (2003)

Fundamenta Mathematicae

Similarity:

Let K be a compact metric space. A real-valued function on K is said to be of Baire class one (Baire-1) if it is the pointwise limit of a sequence of continuous functions. We study two well known ordinal indices of Baire-1 functions, the oscillation index β and the convergence index γ. It is shown that these two indices are fully compatible in the following sense: a Baire-1 function f satisfies $β (f) \leq ω^{ξ ₁} \cdot ω^{ξ ₂}$ for some countable ordinals ξ₁ and ξ₂ if and only if there exists a sequence (fₙ) of Baire-1...

Extension of functions with small oscillation

Denny H. Leung, Wee-Kee Tang (2006)

Fundamenta Mathematicae

Similarity:

A classical theorem of Kuratowski says that every Baire one function on a $G_{δ}$ subspace of a Polish (= separable completely metrizable) space X can be extended to a Baire one function on X. Kechris and Louveau introduced a finer gradation of Baire one functions into small Baire classes. A Baire one function f is assigned into a class in this hierarchy depending on its oscillation index β(f). We prove a refinement of Kuratowski’s theorem: if Y is a subspace of a metric space X and f is a...

Rudin-like sets and hereditary families of compact sets

Étienne Matheron, Miroslav Zelený (2005)

Fundamenta Mathematicae

Similarity:

We show that a comeager Π₁¹ hereditary family of compact sets must have a dense $G_{δ}$ subfamily which is also hereditary. Using this, we prove an “abstract” result which implies the existence of independent ℳ ₀-sets, the meagerness of ₀-sets with the property of Baire, and generalizations of some classical results of Mycielski. Finally, we also give some natural examples of true $F_{σ δ}$ sets.

Insertion of a Contra-Baire- $1$ (Baire- $. 5$ ) Function

Majid Mirmiran (2019)

Communications in Mathematics

Similarity:

Necessary and sufficient conditions in terms of lower cut sets are given for the insertion of a Baire- $. 5$ function between two comparable real-valued functions on the topological spaces that $F_{σ}$ -kernel of sets are $F_{σ}$ -sets.

On the $k$ -Baire property

Alessandro Fedeli (1993)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In this note we show the following theorem: “Let $X$ be an almost $k$ -discrete space, where $k$ is a regular cardinal. Then $X$ is $k^{+}$ -Baire iff it is a $k$ -Baire space and every point- $k$ open cover $𝒰$ of $X$ such that $card (𝒰) \leq k$ is locally- $k$ at a dense set of points.” For $k = ℵ_{0}$ we obtain a well-known characterization of Baire spaces. The case $k = ℵ_{1}$ is also discussed.

Distances to spaces of affine Baire-one functions

Jiří Spurný (2010)

Studia Mathematica

Similarity:

Let E be a Banach space and let $ℬ ₁ (B_{E *})$ and $₁ (B_{E *})$ denote the space of all Baire-one and affine Baire-one functions on the dual unit ball $B_{E *}$ , respectively. We show that there exists a separable L₁-predual E such that there is no quantitative relation between $d i s t (f, ℬ ₁ (B_{E *}))$ and $d i s t (f, ₁ (B_{E *}))$ , where f is an affine function on $B_{E *}$ . If the Banach space E satisfies some additional assumption, we prove the existence of some such dependence.

Baire one functions and their sets of discontinuity

Jonald P. Fenecios, Emmanuel A. Cabral, Abraham P. Racca (2016)

Mathematica Bohemica

Similarity:

A characterization of functions in the first Baire class in terms of their sets of discontinuity is given. More precisely, a function $f : ℝ \to ℝ$ is of the first Baire class if and only if for each $ϵ > 0$ there is a sequence of closed sets ${C_{n}}_{n = 1}^{\infty}$ such that $D_{f} = ⋃_{n = 1}^{\infty} C_{n}$ and $ω_{f} (C_{n}) < ϵ$ for each $n$ where $ω_{f} (C_{n}) = sup {| f (x) - f (y) | : x, y \in C_{n}}$ and $D_{f}$ denotes the set of points of discontinuity of $f$ . The proof of the main theorem is based on a recent $ϵ$ - $δ$ characterization of Baire class one functions as well as on a well-known theorem due to Lebesgue. Some direct applications...

A remark on functions continuous on all lines

Luděk Zajíček (2019)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We prove that each linearly continuous function $f$ on $ℝ^{n}$ (i.e., each function continuous on all lines) belongs to the first Baire class, which answers a problem formulated by K. C. Ciesielski and D. Miller (2016). The same result holds also for $f$ on an arbitrary Banach space $X$ , if $f$ has moreover the Baire property. We also prove (extending a known finite-dimensional result) that such $f$ on a separable $X$ is continuous at all points outside a first category set which is also null in any usual...

Displaying similar documents to “Extending n times differentiable functions of several variables”

Displaying similar documents to “Extending $n$ times differentiable functions of several variables”