Borel spaces

K. P. S. Bhaskara Rao; B. V. Rao

Displaying similar documents to “Borel spaces”

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.

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

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

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

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.

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.

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

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

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

Continuous linear functionals on the space of Borel vector measures

Pola Siwek (2008)

Annales Polonici Mathematici

Similarity:

We study properties of the space ℳ of Borel vector measures on a compact metric space X, taking values in a Banach space E. The space ℳ is equipped with the Fortet-Mourier norm ${| | \cdot | |}_{ℱ}$ and the semivariation norm ||·||(X). The integral introduced by K. Baron and A. Lasota plays the most important role in the paper. Investigating its properties one can prove that in most cases the space $(ℳ, | | \cdot | |_{ℱ}) *$ is contained in but not equal to the space (ℳ,||·||(X))*. We obtain a representation of the continuous functionals...

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.

Applications of some results of infinite-dimensional topology to the topological classification of operator images

Taras Banakh, Tadeusz Dobrowolski, Anatoliĭ Plichko

Similarity:

This volume consists of three relatively independent articles devoted to the topological study of the so-called operator images and weak unit balls of Banach spaces. These articles are: “The topological classification of weak unit balls of Banach spaces” by T. Banakh, “The topological and Borel classification of operator images” by T. Banakh, T. Dobrowolski and A. Plichko, and “Operator images homeomorphic to $Σ^{ω}$ ” by T. Banakh. The articles summarize investigations that has been done by...

Banach spaces of bounded Szlenk index

E. Odell, Th. Schlumprecht, A. Zsák (2007)

Studia Mathematica

Similarity:

For a countable ordinal α we denote by $_{α}$ the class of separable, reflexive Banach spaces whose Szlenk index and the Szlenk index of their dual are bounded by α. We show that each $_{α}$ admits a separable, reflexive universal space. We also show that spaces in the class $_{ω^{α \cdot ω}}$ embed into spaces of the same class with a basis. As a consequence we deduce that each $_{α}$ is analytic in the Effros-Borel structure of subspaces of C[0,1].

A descriptive view of unitary group representations

Simon Thomas (2015)

Journal of the European Mathematical Society

Similarity:

In this paper, we will study the relative complexity of the unitary duals of countable groups. In particular, we will explain that if $G$ and $H$ are countable amenable non-type I groups, then the unitary duals of $G$ and $H$ are Borel isomorphic.

Filter descriptive classes of Borel functions

Gabriel Debs, Jean Saint Raymond (2009)

Fundamenta Mathematicae

Similarity:

We first prove that given any analytic filter ℱ on ω the set of all functions f on $2^{ω}$ which can be represented as the pointwise limit relative to ℱ of some sequence ${(f ₙ)}_{n \in ω}$ of continuous functions ( $f = l i m_{ℱ} f ₙ$ ), is exactly the set of all Borel functions of class ξ for some countable ordinal ξ that we call the rank of ℱ. We discuss several structural properties of this rank. For example, we prove that any free Π⁰₄ filter is of rank 1.

On Beurling measure algebras

Ross Stokke (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show how the measure theory of regular compacted-Borel measures defined on the $δ$ -ring of compacted-Borel subsets of a weighted locally compact group $(G, ω)$ provides a compatible framework for defining the corresponding Beurling measure algebra $ℳ (G, ω)$ , thus filling a gap in the literature.

Sidon sets and $I^{0}$ -sets

David Grow (1987)

Colloquium Mathematicae

Similarity:

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

Large structures made of nowhere $L^{q}$ functions

Szymon Głąb, Pedro L. Kaufmann, Leonardo Pellegrini (2014)

Studia Mathematica

Similarity:

We say that a real-valued function f defined on a positive Borel measure space (X,μ) is nowhere q-integrable if, for each nonvoid open subset U of X, the restriction ${f |}_{U}$ is not in $L^{q} (U)$ . When (X,μ) has some natural properties, we show that certain sets of functions defined in X which are p-integrable for some p’s but nowhere q-integrable for some other q’s (0 < p,q < ∞) admit a variety of large linear and algebraic structures within them. The presented results answer a question of Bernal-González,...

On an Invariant Borel Measure in Hilbert Space

G. Pantsulaia (2004)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

An example of a nonzero σ-finite Borel measure μ with everywhere dense linear manifold $_{μ}$ of admissible (in the sense of invariance) translation vectors is constructed in the Hilbert space ℓ₂ such that μ and any shift $μ^{(a)}$ of μ by a vector $a \in ℓ ₂ ∖_{μ}$ are neither equivalent nor orthogonal. This extends a result established in [7].

Relations between Shy Sets and Sets of $ν_{p}$ -Measure Zero in Solovay’s Model

G. Pantsulaia (2004)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

An example of a non-zero non-atomic translation-invariant Borel measure $ν_{p}$ on the Banach space $ℓ_{p} (1 \leq p \leq \infty)$ is constructed in Solovay’s model. It is established that, for 1 ≤ p < ∞, the condition " $ν_{p}$ -almost every element of $ℓ_{p}$ has a property P" implies that “almost every” element of $ℓ_{p}$ (in the sense of [4]) has the property P. It is also shown that the converse is not valid.

Topological dynamics of unordered Ramsey structures

Moritz Müller, András Pongrácz (2015)

Fundamenta Mathematicae

Similarity:

We investigate the connections between Ramsey properties of Fraïssé classes and the universal minimal flow $M (G_{)}$ of the automorphism group $G$ of their Fraïssé limits. As an extension of a result of Kechris, Pestov and Todorcevic (2005) we show that if the class has finite Ramsey degree for embeddings, then this degree equals the size of $M (G_{)}$ . We give a partial answer to a question of Angel, Kechris and Lyons (2014) showing that if is a relational Ramsey class and $G$ is amenable, then $M (G_{)}$ admits...

The trilinear embedding theorem

Hitoshi Tanaka (2015)

Studia Mathematica

Similarity:

Let $σ_{i}$ , i = 1,2,3, denote positive Borel measures on ℝⁿ, let denote the usual collection of dyadic cubes in ℝⁿ and let K: → [0,∞) be a map. We give a characterization of a trilinear embedding theorem, that is, of the inequality $\sum_{Q \in} K (Q) \prod_{i = 1}^{3} | \int_{Q} f_{i} d σ_{i} | \leq C \prod_{i = 1}^{3} | | f_{i} {| |}_{L^{p_{i}} (d σ_{i})}$ in terms of a discrete Wolff potential and Sawyer’s checking condition, when 1 < p₁,p₂,p₃ < ∞ and 1/p₁ + 1/p₂ + 1/p₃ ≥ 1.

Remarks on WDC sets

Dušan Pokorný, Luděk Zajíček (2021)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We study WDC sets, which form a substantial generalization of sets with positive reach and still admit the definition of curvature measures. Main results concern WDC sets $A \subset ℝ^{2}$ . We prove that, for such $A$ , the distance function $d_{A} = dist (\cdot, A)$ is a “DC aura” for $A$ , which implies that each closed locally WDC set in $ℝ^{2}$ is a WDC set. Another consequence is that compact WDC subsets of $ℝ^{2}$ form a Borel subset of the space of all compact sets.

Extension maps in ultradifferentiable and ultraholomorphic function spaces

Jean Schmets, Manuel Valdivia (2000)

Studia Mathematica

Similarity:

The problem of the existence of extension maps from 0 to ℝ in the setting of the classical ultradifferentiable function spaces has been solved by Petzsche [9] by proving a generalization of the Borel and Mityagin theorems for $C^{\infty}$ -spaces. We get a Ritt type improvement, i.e. from 0 to sectors of the Riemann surface of the function log for spaces of ultraholomorphic functions, by first establishing a generalization to some nonclassical ultradifferentiable function spaces.

A López-Escobar theorem for metric structures, and the topological Vaught conjecture

Samuel Coskey, Martino Lupini (2016)

Fundamenta Mathematicae

Similarity:

We show that a version of López-Escobar’s theorem holds in the setting of model theory for metric structures. More precisely, let denote the Urysohn sphere and let Mod(,) be the space of metric -structures supported on . Then for any Iso()-invariant Borel function f: Mod(,) → [0,1], there exists a sentence ϕ of $_{ω ₁ ω}$ such that for all M ∈ Mod(,) we have $f (M) = ϕ^{M}$ . This answers a question of Ivanov and Majcher-Iwanow. We prove several consequences, for example every orbit equivalence relation of...

Algebraic genericity of strict-order integrability

Luis Bernal-González (2010)

Studia Mathematica

Similarity:

We provide sharp conditions on a measure μ defined on a measurable space X guaranteeing that the family of functions in the Lebesgue space $L^{p} (μ, X)$ (p ≥ 1) which are not q-integrable for any q > p (or any q < p) contains large subspaces of $L^{p} (μ, X)$ (without zero). This improves recent results due to Aron, García, Muñoz, Palmberg, Pérez, Puglisi and Seoane. It is also shown that many non-q-integrable functions can even be obtained on any nonempty open subset of X, assuming that X is a topological...

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

Borel parts of the spectrum of an operator and of the operator algebra of a separable Hilbert space

Piotr Niemiec (2012)

Studia Mathematica

Similarity:

For a linear operator T in a Banach space let $σ_{p} (T)$ denote the point spectrum of T, let $σ_{p, n} (T)$ for finite n > 0 be the set of all $λ \in σ_{p} (T)$ such that dim ker(T - λ) = n and let $σ_{p, \infty} (T)$ be the set of all $λ \in σ_{p} (T)$ for which ker(T - λ) is infinite-dimensional. It is shown that $σ_{p} (T)$ is $ℱ_{σ}$ , $σ_{p, \infty} (T)$ is $ℱ_{σ δ}$ and for each finite n the set $σ_{p, n} (T)$ is the intersection of an $ℱ_{σ}$ set and a $_{δ}$ set provided T is closable and the domain of T is separable and weakly σ-compact. For closed densely defined operators in a separable Hilbert space a more...

Infinite-Dimensionality modulo Absolute Borel Classes

Vitalij Chatyrko, Yasunao Hattori (2008)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

For each ordinal 1 ≤ α < ω₁ we present separable metrizable spaces $X_{α}$ , $Y_{α}$ and $Z_{α}$ such that (i) $f X_{α}, f Y_{α}, f Z_{α} = ω ₀$ , where f is either trdef or ₀-trsur, (ii) $A (α) - t r i n d X_{α} = \infty$ and $M (α) - t r i n d X_{α} = - 1$ , (iii) $A (α) - t r i n d Y_{α} = - 1$ and $M (α) - t r i n d Y_{α} = \infty$ , and (iv) $A (α) - t r i n d Z_{α} = M (α) - t r i n d Z_{α} = \infty$ and $A (α + 1) \cap M (α + 1) - t r i n d Z_{α} = - 1$ . We also show that there exists no separable metrizable space $W_{α}$ with $A (α) - t r i n d W_{α} \neq \infty$ , $M (α) - t r i n d W_{α} \neq \infty$ and $A (α) \cap M (α) - t r i n d W_{α} = \infty$ , where A(α) (resp. M(α)) is the absolutely additive (resp. multiplicative) Borel class.

$G$ -supplemented property in the lattices

Shahabaddin Ebrahimi Atani (2022)

Mathematica Bohemica

Similarity:

Let $L$ be a lattice with the greatest element $1$ . Following the concept of generalized small subfilter, we define $g$ -supplemented filters and investigate the basic properties and possible structures of these filters.