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.

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...

Baire classes of complex $L_{1}$ -preduals

Pavel Ludvík, Jiří Spurný (2015)

Czechoslovak Mathematical Journal

Similarity:

Let $X$ be a complex $L_{1}$ -predual, non-separable in general. We investigate extendability of complex-valued bounded homogeneous Baire- $α$ functions on the set $ext B_{X^{*}}$ of the extreme points of the dual unit ball $B_{X^{*}}$ to the whole unit ball $B_{X^{*}}$ . As a corollary we show that, given $α \in [1, ω_{1})$ , the intrinsic $α$ -th Baire class of $X$ can be identified with the space of bounded homogeneous Baire- $α$ functions on the set $ext B_{X^{*}}$ when $ext B_{X^{*}}$ satisfies certain topological assumptions. The paper is intended to be a complex counterpart to...

Sharkovskiĭ's theorem holds for some discontinuous functions

Piotr Szuca (2003)

Fundamenta Mathematicae

Similarity:

We show that the Sharkovskiĭ ordering of periods of a continuous real function is also valid for every function with connected $G_{δ}$ graph. In particular, it is valid for every DB₁ function and therefore for every derivative. As a tool we apply an Itinerary Lemma for functions with connected $G_{δ}$ graph.

Operators on the stopping time space

Dimitris Apatsidis (2015)

Studia Mathematica

Similarity:

Let S¹ be the stopping time space and ℬ₁(S¹) be the Baire-1 elements of the second dual of S¹. To each element x** in ℬ₁(S¹) we associate a positive Borel measure $μ_{x * *}$ on the Cantor set. We use the measures $μ_{x * *} : x * * \in ℬ ₁ (S ¹)$ to characterize the operators T: X → S¹, defined on a space X with an unconditional basis, which preserve a copy of S¹. In particular, if X = S¹, we show that T preserves a copy of S¹ if and only if $μ_{T * * (x * *)} : x * * \in ℬ ₁ (S ¹)$ is non-separable as a subset of $ℳ (2^{ℕ})$ .

Differentiation of n-convex functions

H. Fejzić, R. E. Svetic, C. E. Weil (2010)

Fundamenta Mathematicae

Similarity:

The main result of this paper is that if f is n-convex on a measurable subset E of ℝ, then f is n-2 times differentiable, n-2 times Peano differentiable and the corresponding derivatives are equal, and $f^{(n - 1)} = f_{(n - 1)}$ except on a countable set. Moreover $f_{(n - 1)}$ is approximately differentiable with approximate derivative equal to the nth approximate Peano derivative of f almost everywhere.

On Borel reducibility in generalized Baire space

Sy-David Friedman, Tapani Hyttinen, Vadim Kulikov (2015)

Fundamenta Mathematicae

Similarity:

We study the Borel reducibility of Borel equivalence relations on the generalized Baire space $κ^{κ}$ for an uncountable κ with $κ^{< κ} = κ$ . The theory looks quite different from its classical counterpart where κ = ω, although some basic theorems do generalize.

Bad Wadge-like reducibilities on the Baire space

Luca Motto Ros (2014)

Fundamenta Mathematicae

Similarity:

We consider various collections of functions from the Baire space $^{ω} ω$ into itself naturally arising in (effective) descriptive set theory and general topology, including computable (equivalently, recursive) functions, contraction mappings, and functions which are nonexpansive or Lipschitz with respect to suitable complete ultrametrics on $^{ω} ω$ (compatible with its standard topology). We analyze the degree-structures induced by such sets of functions when used as reducibility notions between...

Consistency of the Silver dichotomy in generalised Baire space

Sy-David Friedman (2014)

Fundamenta Mathematicae

Similarity:

Silver’s fundamental dichotomy in the classical theory of Borel reducibility states that any Borel (or even co-analytic) equivalence relation with uncountably many classes has a perfect set of classes. The natural generalisation of this to the generalised Baire space $κ^{κ}$ for a regular uncountable κ fails in Gödel’s L, even for κ-Borel equivalence relations. We show here that Silver’s dichotomy for κ-Borel equivalence relations in $κ^{κ}$ for uncountable regular κ is however consistent (with...

Transportation flow problems with Radon measure variables

Marcus Wagner (2000)

Discussiones Mathematicae, Differential Inclusions, Control and Optimization

Similarity:

For a multidimensional control problem ${(P)}_{K}$ involving controls $u \in L_{\infty}$ , we construct a dual problem ${(D)}_{K}$ in which the variables ν to be paired with u are taken from the measure space rca (Ω,) instead of $(L_{\infty}) *$ . For this purpose, we add to ${(P)}_{K}$ a Baire class restriction for the representatives of the controls u. As main results, we prove a strong duality theorem and saddle-point conditions.

Generalized α-variation and Lebesgue equivalence to differentiable functions

Jakub Duda (2009)

Fundamenta Mathematicae

Similarity:

We find conditions on a real function f:[a,b] → ℝ equivalent to being Lebesgue equivalent to an n-times differentiable function (n ≥ 2); a simple solution in the case n = 2 appeared in an earlier paper. For that purpose, we introduce the notions of $C B V G_{1 / n}$ and $S B V G_{1 / n}$ functions, which play analogous rôles for the nth order differentiability to the classical notion of a VBG⁎ function for the first order differentiability, and the classes $C B V_{1 / n}$ and $S B V_{1 / n}$ (introduced by Preiss and Laczkovich) for Cⁿ smoothness....

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

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