Some More Conservation Results on the Baire Category Theorem

In this paper, we generalize a result of Brown and Simpson [1] to prove that RCA₀+Π⁰_∞‐BCT is conservative over RCA₀ with respect to the set of formulae in the form ∃!Xφ(X), where φ is arithmetical. We also consider the conservation of Π⁰_0∞‐BCT over Σ^b₁‐NIA+∇^b₁‐CA.     

Transfinite sequences of continuous and Baire class 1 functions

The set of continuous or Baire class 1 functions defined on a metric space is endowed with the natural pointwise partial order. We investigate how the possible lengths of well-ordered monotone sequences (with respect to this order) depend on the space .

     

On Countable Products of Finite Hausdorff Spaces

We investigate in ZF (i.e., Zermelo‐Fraenke set theory without the axiom of choice) conditions that are necessary and sufficient for countable products ∏_m∈ℕX_m of (a) finite Hausdorff spaces X_m resp. (b) Hausdorff spaces X_m with at most n points to be compact resp. Baire. Typica results: (i) Countable products of finite Hausdorff spaces are compact (resp. Baire) if and only if countable products of non‐empty finite sets are non‐empty. (ii) Countable products of discrete spaces with at most n + 1 points are compact (resp. Baire) if and only if countable products of non‐empty sets with at most n points are non‐empty.     

Splitting stationary sets from weak forms of Choice

Working in the context of restricted forms of the Axiom of Choice, we consider the problem of splitting the ordinals below λ of cofinality θ into λ many stationary sets, where θ < λ are regular cardinals. This is a continuation of [4] (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Metric,Fractal Dimensional and Baire Results on the Distribution of Subsequences

Let X be a locally compact metric space. One important object connected with the distribution behavior of an arbitrary sequence x on X is the set M( x ) of limit measures of x . It is defined as the set of accumulation points of the sequence of the discrete measures induced by x . Using binary representation of reals one gets a natural bijective correspondence between infinite subsets of the set ℕ of positive integers and numbers in the unit interval I = 〈0, 1]. Hence to each sequence x = (x_n)_n∈ℕ ∈ X^ℕ and every a I there corresponds a subsequence denoted by a x . We investigate the set M(a x ) for given x with emphasis on the behavior for “typical” a in the sense of Baire category, Lebesgue measure and Hausdorff dimension.     

Epi-拓扑的某些性质

Throughout this paper R denotes the set of all real numbers.An extended real valued function j f X-[--oo, +oc] is called lower semicontinuouson X if fOr each real Q, {x' f(x) > o} is open in X. Clearly, f is lower semicontinuous ifand only if, its epigraph eghf = {(x, a) f f(x) 5 cr} is closed in X x R. f is caJ1ed proper ifit is somewhere finite, and its values lie in (--co, +oc]. We denote by LSC(X) the set of ajlproper lower semicontinuous functions.In the sequel, we identify lower se…     

The Hahn-Banach Property and the Axiom of Choice

We work in set theory ZF without axiom of choice. Though the Hahn-Banach theorem cannot be proved in ZF, we prove that every Gateaux-differentiable uniformly convex Banach space E satisfies the following continuous Hahn-Banach property: if p is a continuous sublinear functional on E, if F is a subspace of E, and if f: F → ? is a linear functional such that f ≤ p|F then there exists a linear functional g : E → ? such that g extends f and g ≤ p. We also prove that the continuous Hahn-Banach property on a topological vector space E is equivalent to the classical geometrical forms of the Hahn-Banach theorem on E. We then prove that the axiom of Dependent choices DC is equivalent to Ekeland's variational principle, and that it implies the continuous Hahn-Banach property on Gateaux-differentiable Banach spaces. Finally, we prove that, though separable normed spaces satisfy the continuous Hahn-Banach property, they do not satisfy the whole Hahn-Banach property in ZF+DC.     

Properties of the real line and weak forms of the Axiom of Choice

We investigate, within the framework of Zermelo‐Fraenkel set theory ZF, the interrelations between weak forms of the Axiom of Choice AC restricted to sets of reals. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Some results on projection of planar sets

In this paper we define certain types of projections of planar sets and study some properties of such projections.     

On the category of lattice-valued bornological vector spaces

Motivated by the theory of L-bornological spaces of M. Abel and A. Šostak over a complete lattice L, and the concept of topological system of S. Vickers, this paper introduces the categories of L-bornological vector spaces and systems, and shows that the former is isomorphic to a full reflective subcategory of the latter.     

Versions of Normality and Some Weak Forms of the Axiom of Choice

We investigate the set theoretical strength of some properties of normality, including Urysohn's Lemma, Tietze-Urysohn Extension Theorem, normality of disjoint unions of normal spaces, and normality of F_σ subsets of normal spaces.     

Baire's category and the bang-bang property for evolution differential inclusions of contractive type

The Baire category method is employed in order to establish that the bang-bang property holds for a class of evolution differential inclusions of contractive type in reflexive and separable real Banach spaces.     

Baire generic histograms of wavelet coefficients and large deviation formalism in Besov and Sobolev spaces

Histograms of wavelet coefficients are expressed in terms of the wavelet profile and the wavelet density. The large deviation multifractal formalism states that if a function f has a minimal uniform Hölder regularity then its Hölder spectrum is equal to the wavelet density. The purpose of this paper is twofold. Firstly, we compute generically (in the sense of Baire's categories) these histograms in Besov and Lp,s(T) spaces, where T is the torus Rd/Zd (resp. in the Baire's vector space where s:q?s(q) is a C¹ and concave function on R⁺ satisfying 0?s^′?d and s(0)>0). Secondly, as an application, we deduce some extra generic properties for the histograms in these spaces, and study the generic validity of the large deviation multifractal formalism in Besov and Lp,s spaces for s>d/p (resp. in the above space V).     

A local duality principle for the Baire classes of functions

A local dual of a Banach space X is a closed subspace of X^∗ that satisfies the properties that the principle of local reflexivity assigns to X as a subspace of X∗∗. We show that, for every ordinal 1?α?ω₁, the spaces Bα[0,1] of bounded Baire functions of class α are local dual spaces of the space M[0,1] of all Borel measures. As a consequence, we derive that each annihilator Bα^⊥[0,1] is the kernel of a norm-one projection.     

An infinite-dimensional generalization of the Jung theorem

A complete characterization of the extremal subsets of Hilbert spaces, which is an infinite-dimensional generalization of the classical Jung theorem, is given. The behavior of the set of points near the Chebyshev sphere of such a subset with respect to the Kuratowski and Hausdorff measures of noncompactness is investigated.     

An equivalent definition of functions of the first Baire class

An equivalent definition of functions of the first Baire class in terms of is given.

     

On the average Lq-dimensions of typical measures belonging to the Gromov–Hausdorff–Prohoroff space

We study the average $L^q$-dimensions of typical Borel probability measures belonging to the Gromov–Hausdorff–Prohoroff space (of all Borel probability measures with compact supports) equipped with the Gromov–Hausdorff–Prohoroff metric.     

On the central limit theorem for the stationary Poisson process of compact sets

Stochastic geometry models based on a stationary Poisson point process of compact subsets of the Euclidean space are examined. Random measures on ?^d, derived from these processes using Hausdorff and projection measures are studied. The central limit theorem is formulated in a way which enables comparison of the various estimators of the intensity of the produced random measures. Approximate confidence intervals for the intensity are constructed. Their use is demonstrated in an example of length intensity estimation for the segment processes. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Disjoint Unions of Topological Spaces and Choice

We find properties of topological spaces which are not shared by disjoint unions in the absence of some form of the Axiom of Choice.     

On Baire Measurable Homomorphisms of Quotients of the Additive Group of the Reals

The quotient ℝ/G of the additive group of the reals modulo a countable subgroup G does not admit nontrivial Baire measurable automorphisms.