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 Y : ( x , y ) 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 ω 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 X satisfying f ( X ) = 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 | | · | | 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 ( , | | · | | ) * 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 × 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 ω α · ω 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 ω 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.

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 μ 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 p ) 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 Q K ( Q ) i = 1 3 | Q f i d σ i | C 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.

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 -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 * * ( 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 * * ( 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 λ σ p ( T ) such that dim ker(T - λ) = n and let σ p , ( T ) be the set of all λ σ p ( T ) for which ker(T - λ) is infinite-dimensional. It is shown that σ p ( T ) is σ , σ p , ( 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 α = 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 α = , and (iv) A ( α ) - t r i n d Z α = M ( α ) - t r i n d Z α = and A ( α + 1 ) 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 α , M ( α ) - t r i n d W α and A ( α ) M ( α ) - t r i n d W α = , where A(α) (resp. M(α)) is the absolutely additive (resp. multiplicative) Borel class.

A characterization of weakly sequentially complete Banach lattices

A. W. Wickstead (1976)

Annales de l'institut Fourier

Similarity:

The equivalence of the two following properties is proved for every Banach lattice E : 1) E is weakly sequentially complete. 2) Every σ ( E * , E ) -Borel measurable linear functional on E is σ ( E * , E ) -continuous.

Abelian ideals of a Borel subalgebra and root systems

Dmitri I. Panyushev (2014)

Journal of the European Mathematical Society

Similarity:

Let 𝔤 be a simple Lie algebra and 𝔄𝔟 o the poset of non-trivial abelian ideals of a fixed Borel subalgebra of 𝔤 . In [8], we constructed a partition 𝔄𝔟 o = μ 𝔄𝔟 μ parameterised by the long positive roots of 𝔤 and studied the subposets 𝔄𝔟 μ . In this note, we show that this partition is compatible with intersections, relate it to the Kostant-Peterson parameterisation and to the centralisers of abelian ideals. We also prove that the poset of positive roots of 𝔤 is a join-semilattice.

A Hankel matrix acting on Hardy and Bergman spaces

Petros Galanopoulos, José Ángel Peláez (2010)

Studia Mathematica

Similarity:

Let μ be a finite positive Borel measure on [0,1). Let μ = ( μ n , k ) n , k 0 be the Hankel matrix with entries μ n , k = [ 0 , 1 ) t n + k d μ ( t ) . The matrix μ induces formally an operator on the space of all analytic functions in the unit disc by the fomula μ ( f ) ( z ) = n = 0 i ( k = 0 μ n , k a k ) z , z ∈ , where f ( z ) = n = 0 a z is an analytic function in . We characterize those positive Borel measures on [0,1) such that μ ( f ) ( z ) = [ 0 , 1 ) f ( t ) / ( 1 - t z ) d μ ( t ) for all f in the Hardy space H¹, and among them we describe those for which μ is bounded and compact on H¹. We also study the analogous problem for the Bergman space A². ...