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.

Insertion of a Contra-Baire- $1$ (Baire- $. 5$ ) Function

Majid Mirmiran (2019)

Communications in Mathematics

Similarity:

Necessary and sufficient conditions in terms of lower cut sets are given for the insertion of a Baire- $. 5$ function between two comparable real-valued functions on the topological spaces that $F_{σ}$ -kernel of sets are $F_{σ}$ -sets.

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

A remark on functions continuous on all lines

Luděk Zajíček (2019)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We prove that each linearly continuous function $f$ on $ℝ^{n}$ (i.e., each function continuous on all lines) belongs to the first Baire class, which answers a problem formulated by K. C. Ciesielski and D. Miller (2016). The same result holds also for $f$ on an arbitrary Banach space $X$ , if $f$ has moreover the Baire property. We also prove (extending a known finite-dimensional result) that such $f$ on a separable $X$ is continuous at all points outside a first category set which is also null in any usual...

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.