Non-separable Banach spaces with non-meager Hamel basis

Taras Banakh; Mirna Džamonja; Lorenz Halbeisen

Displaying similar documents to “Non-separable Banach spaces with non-meager Hamel basis”

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.

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

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.

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

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

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

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.

Normal P-spaces and the $G_{δ}$ -topology

R. Levy, M. D. Rice (1981)

Colloquium Mathematicae

Similarity:

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

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 number of non-isomorphic subspaces of a Banach space

Valentin Ferenczi, Christian Rosendal (2005)

Studia Mathematica

Similarity:

We study the number of non-isomorphic subspaces of a given Banach space. Our main result is the following. Let be a Banach space with an unconditional basis ${(e_{i})}_{i \in ℕ}$ ; then either there exists a perfect set P of infinite subsets of ℕ such that for any two distinct A,B ∈ P, ${[e_{i}]}_{i \in A} ≇ {[e_{i}]}_{i \in B}$ , or for a residual set of infinite subsets A of ℕ, ${[e_{i}]}_{i \in A}$ is isomorphic to , and in that case, is isomorphic to its square, to its hyperplanes, uniformly isomorphic to $\oplus {[e_{i}]}_{i \in D}$ for any D ⊂ ℕ, and isomorphic to a denumerable Schauder...

Typical multifractal box dimensions of measures

L. Olsen (2011)

Fundamenta Mathematicae

Similarity:

We study the typical behaviour (in the sense of Baire’s category) of the multifractal box dimensions of measures on $ℝ^{d}$ . We prove that in many cases a typical measure μ is as irregular as possible, i.e. the lower multifractal box dimensions of μ attain the smallest possible value and the upper multifractal box dimensions of μ attain the largest possible value.

Extending $n$ times differentiable functions of several variables

Hajrudin Fejzić, Dan Rinne, Clifford E. Weil (1999)

Czechoslovak Mathematical Journal

Similarity:

It is shown that $n$ times Peano differentiable functions defined on a closed subset of $ℝ^{m}$ and satisfying a certain condition on that set can be extended to $n$ times Peano differentiable functions defined on $ℝ^{m}$ if and only if the $n$ th order Peano derivatives are Baire class one functions.

Uniqueness of measure extensions in Banach spaces

J. Rodríguez, G. Vera (2006)

Studia Mathematica

Similarity:

Let X be a Banach space, $B \subset B_{X *}$ a norming set and (X,B) the topology on X of pointwise convergence on B. We study the following question: given two (non-negative, countably additive and finite) measures μ₁ and μ₂ on Baire(X,w) which coincide on Baire(X,(X,B)), does it follow that μ₁ = μ₂? It turns out that this is not true in general, although the answer is affirmative provided that both μ₁ and μ₂ are convexly τ-additive (e.g. when X has the Pettis Integral Property). For a Banach space Y...

Schauder bases and the bounded approximation property in separable Banach spaces

Jorge Mujica, Daniela M. Vieira (2010)

Studia Mathematica

Similarity:

Let E be a separable Banach space with the λ-bounded approximation property. We show that for each ϵ > 0 there is a Banach space F with a Schauder basis such that E is isometrically isomorphic to a 1-complemented subspace of F and, moreover, the sequence (Tₙ) of canonical projections in F has the properties $s u p_{n \in ℕ} | | T ₙ | | \leq λ + ϵ$ and $l i m s u p_{n \to \infty} | | T ₙ | | \leq λ$ . This is a sharp quantitative version of a classical result obtained independently by Pełczyński and by Johnson, Rosenthal and Zippin.

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

On the Gram-Schmidt orthonormalizatons of subsystems of Schauder systems

Robert E. Zink (2002)

Colloquium Mathematicae

Similarity:

In one of the earliest monographs that involve the notion of a Schauder basis, Franklin showed that the Gram-Schmidt orthonormalization of a certain Schauder basis for the Banach space of functions continuous on [0,1] is again a Schauder basis for that space. Subsequently, Ciesielski observed that the Gram-Schmidt orthonormalization of any Schauder system is a Schauder basis not only for C[0,1], but also for each of the spaces $L^{p} [0, 1]$ , 1 ≤ p < ∞. Although perhaps not probable, the latter...

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

The Covering Principle for Darboux Baire 1 functions

Piotr Szuca (2007)

Fundamenta Mathematicae

Similarity:

We show that the Covering Principle known for continuous maps of the real line also holds for functions whose graph is a connected $G_{δ}$ subset of the plane. As an application we find an example of an approximately continuous (hence Darboux Baire 1) function f: [0,1] → [0,1] such that any closed subset of [0,1] can be translated so as to become an ω-limit set of f. This solves a problem posed by Bruckner, Ceder and Pearson [Real Anal. Exchange 15 (1989/90)].