On Borel reducibility in generalized Baire space

Sy-David Friedman; Tapani Hyttinen; Vadim Kulikov

Displaying similar documents to “On Borel reducibility in generalized Baire space”

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

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.

Decomposing Borel functions using the Shore-Slaman join theorem

Takayuki Kihara (2015)

Fundamenta Mathematicae

Similarity:

Jayne and Rogers proved that every function from an analytic space into a separable metrizable space is decomposable into countably many continuous functions with closed domains if and only if the preimage of each $F_{σ}$ set under that function is again $F_{σ}$ . Many researchers conjectured that the Jayne-Rogers theorem can be generalized to all finite levels of Borel functions. In this paper, by using the Shore-Slaman join theorem on the Turing degrees, we show the following variant of the Jayne-Rogers...

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.

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^{ℕ})$ .

Descriptive properties of elements of biduals of Banach spaces

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

Studia Mathematica

Similarity:

If E is a Banach space, any element x** in its bidual E** is an affine function on the dual unit ball $B_{E *}$ that might possess a variety of descriptive properties with respect to the weak* topology. We prove several results showing that descriptive properties of x** are quite often determined by the behaviour of x** on the set of extreme points of $B_{E *}$ , generalizing thus results of J. Saint Raymond and F. Jellett. We also prove a result on the relation between Baire classes and intrinsic Baire...

Borel classes of uniformizations of sets with large sections

Petr Holický (2010)

Fundamenta Mathematicae

Similarity:

We give several refinements of known theorems on Borel uniformizations of sets with “large sections”. In particular, we show that a set B ⊂ [0,1] × [0,1] which belongs to $Σ ⁰_{α}$ , α ≥ 2, and which has all “vertical” sections of positive Lebesgue measure, has a $Π ⁰_{α}$ uniformization which is the graph of a $Σ ⁰_{α}$ -measurable mapping. We get a similar result for sets with nonmeager sections. As a corollary we derive an improvement of Srivastava’s theorem on uniformizations for Borel sets with $G_{δ}$ sections. ...

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

Effective decomposition of σ-continuous Borel functions

Gabriel Debs (2014)

Fundamenta Mathematicae

Similarity:

We prove that if a Δ¹₁ function f with Σ¹₁ domain X is σ-continuous then one can find a Δ¹₁ covering ${(A ₙ)}_{n \in ω}$ of X such that $f_{| A ₙ}$ is continuous for all n. This is an effective version of a recent result by Pawlikowski and Sabok, generalizing an earlier result of Solecki.

The effective Borel hierarchy

M. Vanden Boom (2007)

Fundamenta Mathematicae

Similarity:

Let K be a subclass of Mod() which is closed under isomorphism. Vaught showed that K is $Σ_{α}$ (respectively, $Π_{α}$ ) in the Borel hierarchy iff K is axiomatized by an infinitary $Σ_{α}$ (respectively, $Π_{α}$ ) sentence. We prove a generalization of Vaught’s theorem for the effective Borel hierarchy, i.e. the Borel sets formed by union and complementation over c.e. sets. This result says that we can axiomatize an effective $Σ_{α}$ or effective $Π_{α}$ Borel set with a computable infinitary sentence of the same complexity....

On strong measure zero subsets of $^{κ} 2$

Aapo Halko, Saharon Shelah (2001)

Fundamenta Mathematicae

Similarity:

We study the generalized Cantor space $^{κ} 2$ and the generalized Baire space $^{κ} κ$ as analogues of the classical Cantor and Baire spaces. We equip $^{κ} κ$ with the topology where a basic neighborhood of a point η is the set ν: (∀j < i)(ν(j) = η(j)), where i < κ. We define the concept of a strong measure zero set of $^{κ} 2$ . We prove for successor $κ = κ^{< κ}$ that the ideal of strong measure zero sets of $^{κ} 2$ is $_{κ}$ -additive, where $_{κ}$ is the size of the smallest unbounded family in $^{κ} κ$ , and that the generalized Borel...

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.

$F_{σ}$ -mappings and the invariance of absolute Borel classes

Petr Holický, Jiří Spurný (2004)

Fundamenta Mathematicae

Similarity:

It is proved that $F_{σ}$ -mappings preserve absolute Borel classes, which improves results of R. W. Hansell, J. E. Jayne and C. A. Rogers. The proof is based on the fact that any $F_{σ}$ -mapping f: X → Y of an absolute Suslin metric space X onto an absolute Suslin metric space Y becomes a piecewise perfect mapping when restricted to a suitable $F_{σ}$ -set $X_{\infty} \subset X$ satisfying $f (X_{\infty}) = Y$ .

On the complexity of subspaces of $S_{ω}$

Carlos Uzcátegui (2003)

Fundamenta Mathematicae

Similarity:

Let (X,τ) be a countable topological space. We say that τ is an analytic (resp. Borel) topology if τ as a subset of the Cantor set $2^{X}$ (via characteristic functions) is an analytic (resp. Borel) set. For example, the topology of the Arkhangel’skiĭ-Franklin space $S_{ω}$ is $F_{σ δ}$ . In this paper we study the complexity, in the sense of the Borel hierarchy, of subspaces of $S_{ω}$ . We show that $S_{ω}$ has subspaces with topologies of arbitrarily high Borel rank and it also has subspaces with a non-Borel topology....

Diagonals of separately continuous functions of $n$ variables with values in strongly $σ$ -metrizable spaces

Olena Karlova, Volodymyr Mykhaylyuk, Oleksandr Sobchuk (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We prove the result on Baire classification of mappings $f : X \times Y \to Z$ which are continuous with respect to the first variable and belongs to a Baire class with respect to the second one, where $X$ is a $P P$ -space, $Y$ is a topological space and $Z$ is a strongly $σ$ -metrizable space with additional properties. We show that for any topological space $X$ , special equiconnected space $Z$ and a mapping $g : X \to Z$ of the $(n - 1)$ -th Baire class there exists a strongly separately continuous mapping $f : X^{n} \to Z$ with the diagonal $g$ . For wide classes...

Hereditarily Hurewicz spaces and Arhangel'skii sheaf amalgamations

Boaz Tsaban, Lubomyr Zdomsky (2012)

Journal of the European Mathematical Society

Similarity:

A classical theorem of Hurewicz characterizes spaces with the Hurewicz covering property as those having bounded continuous images in the Baire space. We give a similar characterization for spaces $X$ which have the Hurewicz property hereditarily. We proceed to consider the class of Arhangel’skii $α_{1}$ spaces, for which every sheaf at a point can be amalgamated in a natural way. Let $C_{p} (X)$ denote the space of continuous real-valued functions on $X$ with the topology of pointwise convergence. Our...

Failure of the Factor Theorem for Borel pre-Hilbert spaces

Tadeusz Dobrowolski, Witold Marciszewski (2002)

Fundamenta Mathematicae

Similarity:

In every infinite-dimensional Fréchet space X, we construct a linear subspace E such that E is an $F_{σ δ σ}$ -subset of X and contains a retract R so that $R \times E^{ω}$ is not homeomorphic to $E^{ω}$ . This shows that Toruńczyk’s Factor Theorem fails in the Borel case.

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

Borel sets with σ-compact sections for nonseparable spaces

Petr Holický (2008)

Fundamenta Mathematicae

Similarity:

We prove that every (extended) Borel subset E of X × Y, where X is complete metric and Y is Polish, can be covered by countably many extended Borel sets with compact sections if the sections $E_{x} = y \in Y : (x, y) \in E$ , x ∈ X, are σ-compact. This is a nonseparable version of a theorem of Saint Raymond. As a by-product, we get a proof of Saint Raymond’s result which does not use transfinite induction.

Hyperspaces of Finite Sets in Universal Spaces for Absolute Borel Classes

Kotaro Mine, Katsuro Sakai, Masato Yaguchi (2005)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

By Fin(X) (resp. $F i n^{k} (X)$ ), we denote the hyperspace of all non-empty finite subsets of X (resp. consisting of at most k points) with the Vietoris topology. Let ℓ₂(τ) be the Hilbert space with weight τ and $ℓ ₂^{f} (τ)$ the linear span of the canonical orthonormal basis of ℓ₂(τ). It is shown that if $E = ℓ ₂^{f} (τ)$ or E is an absorbing set in ℓ₂(τ) for one of the absolute Borel classes $_{α} (τ)$ and $_{α} (τ)$ of weight ≤ τ (α > 0) then Fin(E) and each $F i n^{k} (E)$ are homeomorphic to E. More generally, if X is a connected E-manifold then Fin(X)...

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.