The representations of linear functionals by measures on sets of extreme points

Errett Bishop; Karel De Leeuw

Displaying similar documents to “The representations of linear functionals by measures on sets of extreme points”

On the Dirichlet problem for functions of the first Baire class

Jiří Spurný (2001)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $ℋ$ be a simplicial function space on a metric compact space $X$ . Then the Choquet boundary $Ch X$ of $ℋ$ is an $F_{σ}$ -set if and only if given any bounded Baire-one function $f$ on $Ch X$ there is an $ℋ$ -affine bounded Baire-one function $h$ on $X$ such that $h = f$ on $Ch X$ . This theorem yields an answer to a problem of F. Jellett from [8] in the case of a metrizable set $X$ .

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

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

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.

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

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

Colloquium Mathematicae

Similarity:

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.

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

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.

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

Non-separable Banach spaces with non-meager Hamel basis

Taras Banakh, Mirna Džamonja, Lorenz Halbeisen (2008)

Studia Mathematica

Similarity:

We show that an infinite-dimensional complete linear space X has: ∙ a dense hereditarily Baire Hamel basis if |X| ≤ ⁺; ∙ a dense non-meager Hamel basis if $| X | = κ^{ω} = 2^{κ}$ for some cardinal κ.

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.

Fragmentability and compactness in C(K)-spaces

B. Cascales, G. Manjabacas, G. Vera (1998)

Studia Mathematica

Similarity:

Let K be a compact Hausdorff space, $C_{p} (K)$ the space of continuous functions on K endowed with the pointwise convergence topology, D ⊂ K a dense subset and $t_{p} (D)$ the topology in C(K) of pointwise convergence on D. It is proved that when $C_{p} (K)$ is Lindelöf the $t_{p} (D)$ -compact subsets of C(K) are fragmented by the supremum norm of C(K). As a consequence we obtain some Namioka type results and apply them to prove that if K is separable and $C_{p} (K)$ is Lindelöf, then K is metrizable if, and only if, there is a countable...

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

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.

Domain-representable spaces

Harold Bennett, David Lutzer (2006)

Fundamenta Mathematicae

Similarity:

We study domain-representable spaces, i.e., spaces that can be represented as the space of maximal elements of some continuous directed-complete partial order (= domain) with the Scott topology. We show that the Michael and Sorgenfrey lines are of this type, as is any subspace of any space of ordinals. We show that any completely regular space is a closed subset of some domain-representable space, and that if X is domain-representable, then so is any $G_{δ}$ -subspace of X. It follows that...