On (strong) α-favorability of the Wijsman hyperspace

The Banach-Mazur game as well as the strong Choquet game are investigated on the Wijsman hyperspace from the nonempty player's (i.e. α's) perspective. For the strong Choquet game we show that if X is a locally separable metrizable space, then α has a (stationary) winning strategy on X iff it has a (stationary) winning strategy on the Wijsman hyperspace for each compatible metric on X. The analogous result for the Banach-Mazur game does not hold, not even if X is separable, as we show that α may have a (stationary) winning strategy on the Wijsman hyperspace for each compatible metric on X, and not have one on X. We also show that there exists a separable 1st category metric space such that α has a (stationary) winning strategy on its Wijsman hyperspace. This answers a question of Cao and Junnila (2010) [6].     

Generic Hahn–Banach results

Given f:X→R∪{+∞}$f:X\to \mathbb{R}\cup \{+\infty \}$ a convex and lower semi-continuous function defined on a reflexive Banach space X, and L, a closed linear manifold of X over which f takes at least a real value, the aim of this note is to prove the following Baire category result: in the Euclidean setting, the set of affine functions dominated by f on L for which there is no dominated extension to X is always of first Baire category, but this set can be as large as a residual set, provided that X is a reflexive Banach space of infinite dimension.     

Metrization of Fpp-spaces

A Hausdorff space each subspace of which is a paracompact p-space is an F_pp-space. A space X is a closed hereditary Baire space if each closed subspace of X is a Baire space. Using a delicate theorem of Z. Balogh it is shown that a first-countable F_pp-space that is a closed hereditary Baire space is metrizable.     

Limit sets of typical continuous functions

Given a metrizable compact topological n-manifold X with boundary and a finite positive Borel measure μ on X, we prove that for the typical continuous function , it is true that for every point x in a full μ-measure subset of X the limit set ω(f,x) is a Cantor set of Hausdorff dimension zero, f maps ω(f,x) homeomorphically onto itself, each point of ω(f,x) has a dense orbit in ω(f,x) and f is non-sensitive at each point of ω(f,x); moreover, the function x→ω(f,x) is continuous μ-almost everywhere.     

On the predictability of discrete dynamical systems III

Given an integer n?2, a metrizable compact topological n-manifold X with boundary and a finite positive Borel measure μ on X, we prove that “most” homeomorphisms are non-sensitive μ-almost everywhere on X. Moreover, we also prove that for “most” homeomorphisms the non-wandering set Ωf has μ-measure zero.     

Compact coverings for Baire locally convex spaces

Very recently Tkachuk has proved that for a completely regular Hausdorff space X the space Cp(X) of continuous real-valued functions on X with the pointwise topology is metrizable, complete and separable iff Cp(X) is Baire (i.e. of the second Baire category) and is covered by a family of compact sets such that Kα⊂Kβ if α?β. Our general result, which extends some results of De Wilde, Sunyach and Valdivia, states that a locally convex space E is separable metrizable and complete iff E is Baire and is covered by an ordered family of relatively countably compact sets. Consequently every Baire locally convex space which is quasi-Suslin is separable metrizable and complete.     

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.     

Two remarks on frequent hypercyclicity

We show that if T:X→X$T:X\to X$ is a continuous linear operator on an F$F$-space X≠{0}$X\ne \left\{0\right\}$, then the set of frequently hypercyclic vectors of T$T$ is of first category in X$X$, and this answers a question of A. Bonilla and K.-G. Grosse-Erdmann. We also show that if T:X→X$T:X\to X$ is a bounded linear operator on a Banach space X≠{0}$X\ne \left\{0\right\}$ and if T$T$ is frequently hypercyclic (or, more generally, syndetically transitive), then the T^∗$T^{\ast }$-orbit of every non-zero element of X^∗$X^{\ast }$ is bounded away from 0, and in particular T^∗$T^{\ast }$ is not hypercyclic.     

Weak barrelledness for C(X) spaces

Buchwalter and Schmets reconciled C_c(X) and C_p(X) spaces with most of the weak barrelledness conditions of 1973, but could not determine if -barrelled ⇔ ?^∞-barrelled for C_c(X). The areas grew apart. Full reconciliation with the fourteen conditions adopted by Saxon and Sánchez Ruiz needs their 1997 characterization of Ruess' property (L), which allows us to reduce the C_c(X) problem to its 1973 status and solve it by carefully translating the topology of Kunen (1980) and van Mill (1982) to find the example that eluded Buchwalter and Schmets. The more tractable C_p(X) readily partitions the conditions into just two equivalence classes, the same as for metrizable locally convex spaces, instead of the five required for C_c(X) spaces. Our paper elicits others, soon to appear, that analytically characterize when the Tychonov space X is pseudocompact, or Warner bounded, or when C_c(X) is a df-space (Jarchow's 1981 question).     

On the Stability of Eaton’s Characterization by the Properties of Linear Forms

We consider a population and a sample X ₁,X ₂,…,X _n of n independent observations drawn from this population. We assume that two suitably chosen linear statistics of X ₁,X ₂,…,X _n are given. The assumption that these statistics are identically distributed or have the same distribution as the monomial X ₁ can be used to characterize various populations. This is an object of the so-called characterization theorems. But if the assumptions of a characterization theorem are fulfilled only approximately, then can we state that the conclusion of this characterization is also fulfilled approximately? Theorems concerning problems of this type are called stability theorems. By Eaton’s theorem, if, under additional conditions, two linear statistics $(X_{1}+\cdots +X_{k_{1}})/k_{1}^{1/\alpha}We consider a population and a sample X ₁,X ₂,…,X _n of n independent observations drawn from this population. We assume that two suitably chosen linear statistics of X ₁,X ₂,…,X _n are given. The assumption that these statistics are identically distributed or have the same distribution as the monomial X ₁ can be used to characterize various populations. This is an object of the so-called characterization theorems. But if the assumptions of a characterization theorem are fulfilled only approximately, then can we state that the conclusion of this characterization is also fulfilled approximately? Theorems concerning problems of this type are called stability theorems. By Eaton’s theorem, if, under additional conditions, two linear statistics and have the same distribution as the monomial X ₁, then this monomial has a symmetric stable distribution of order α. The stability estimation in this theorem is investigated in the λ ₀-metric.      

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.     

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.     

A characterization of Baire one functions of two variables

We show that every Baire class one real-valued function f of two real variables is the pointwise limit of a sequence of continuous, piecewise linear functions, all of whose vertices lie on the graph of f.     

Local Lipschitz-constant Functions and Maximal Subdifferentials

It is shown that if k(x) is an upper semicontinuous and quasi lower semicontinuous function on a Banach space X, then k(x)B _X* is the Clarke subdifferential of some locally Lipschitz function on X. Related results for approximate subdifferentials are also given. Moreover, on smooth Banach spaces, for every locally Lipschitz function with minimal Clarke subdifferential, one can obtain a maximal Clarke subdifferential map via its local Lipschitz-constant function. Finally, some results concerning the characterization and calculus of local Lipschitz-constant functions are developed.     

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.     

Generic solutions for some perturbed optimization problem in non-reflexive Banach spaces

Let Z be a closed, boundedly relatively weakly compact, nonempty subset of a Banach space X, and J:Z→R a lower semicontinuous function bounded from below. If X₀ is a convex subset in X and X₀ has approximatively Z-property (K), then the set of all points x in X₀?Z for which there exists z₀∈Z such that J(z₀)+‖x−z₀‖=?(x) and every sequence {z_n}⊂Z satisfying lim_n→∞[J(z_n)+‖x−z_n‖]=?(x) for x contains a subsequence strongly convergent to an element of Z is a dense G_δ-subset of X₀?Z. Moreover, under the assumption that X₀ is approximatively Z-strictly convex, we show more, namely that the set of all points x in X₀?Z for which there exists a unique point z₀∈Z such that J(z₀)+‖x−z₀‖=?(x) and every sequence {z_n}⊂Z satisfying lim_n→∞[J(z_n)+‖x−z_n‖=?(x) for x converges strongly to z₀ is a dense G_δ-subset of X₀?Z. Here . These extend S. Cobzas's result [J. Math. Anal. Appl. 243 (2000) 344-356].     

On certain spaces of vector measures of bounded variation

If (Σ,X) is a measurable space and X a Banach space we investigate the X-inheritance of copies of ?_∞ in certain subspaces Δ(Σ,X) of bvca(Σ,X), the Banach space of all X-valued countable additive measures of bounded variation equipped with the variation norm. Among the consequences of our main theorem we get a theorem of J. Mendoza on the X-inheritance of copies of ?_∞ in the Bochner space L₁(μ,X) and other of the author on the X-inheritance of copies of ?_∞ in bvca(Σ,X).     

Resolutions of topological linear spaces and continuity of linear maps

The main result of the paper is the following: If an F-space X is covered by a family of sets such that Eα⊂Eβ whenever α?β, and f is a linear map from X to a topological linear space Y which is continuous on each of the sets Eα, then f is continuous. This provides a very strong negative answer to a problem posed recently by J. Ka?kol and M. López Pellicer. A number of consequences of this result are given, some of which are quite curious. Also, inspired by a related question asked by J. Ka?kol, it is shown that if a linear map is continuous on each member of a sequence of compact sets, then it is also continuous on every compact convex set contained in the linear span of the sequence. The construction applied to prove this is then used to interpret a natural linear topology associated with the sequence as the inductive limit topology in the sense of Ph. Turpin, and thus derive its basic properties.     

On weighted approximations in D[0, 1] with applications to self-normalized partial sum processes

Let X,X ₁,X ₂,… be a sequence of non-degenerate i.i.d. random variables with mean zero. The best possible weighted approximations are investigated in D[0, 1] for the partial sum processes {S _[nt], 0 ≦ t ≦ 1} where S _n = Σ _j=1 ⁿ X _j , under the assumption that X belongs to the domain of attraction of the normal law. The conclusions then are used to establish similar results for the sequence of self-normalized partial sum processes {S _[nt]=V _n , 0 ≦ t ≦ 1}, where V _n ² = Σ _j=1 ⁿ X _j ² . L _p approximations of self-normalized partial sum processes are also discussed.     

Completeness properties of the pseudocompact-open topology on <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">X</Emphasis>)

This is a study of the completeness properties of the space C _ps (X) of continuous real-valued functions on a Tychonoff space X, where the function space has the pseudocompact-open topology. The properties range from complete metrizability to the Baire space property. Dedicated to Professor Robert A. McCoy