Functions of the first Baire class with values in metrizable spaces

We show that every mapping of the first functional Lebesgue class that acts from a topological space into a separable metrizable space that is linearly connected and locally linearly connected belongs to the first Baire class. We prove that the uniform limit of functions of the first Baire class ƒ _n: X → Y belongs to the first Baire class if X is a topological space and Y is a metric space that is linearly connected and locally linearly connected. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 4, pp. 568–572, April, 2006.     

Equiconnected spaces and Baire classification of separately continuous functions and their analogs

We investigate the Baire classification of mappings f: X × Y → Z, where X belongs to a wide class of spaces which includes all metrizable spaces, Y is a topological space, Z is an equiconnected space, which are continuous in the first variable. We show that for a dense set in X these mappings are functions of a Baire class α in the second variable.     

Iteration operators on a set of continuous functions of Baire space

Continuous functions on Baire space are considered. Iteration operators are defined on a set of continuous functions. The idea of a module of continuity of a function is introduced. The condition for the growth of module of continuity φ whose satisfaction guarantees that for any enumerable sequence of integration operators and any natural n there exists (n + 1) argument function with the module of continuity φ which cannot be obtained from n-argument functions with the module of continuity φ using any operator of this sequence is formulated. Examples of iteration operators are given.     

Linearly ordered compact sets and co-Namioka spaces

We prove that, for an arbitrary Baire space X, a linearly ordered compact set Y, and a separately continuous mapping ƒ: X × Y → R, there exists a G _δ-set A ⊆ X dense in X and such that the function ƒ is jointly continuous at every point of the set A × Y, i.e., any linearly ordered compact set is a co-Namioka space. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, No. 7, pp. 1001–1004, July, 2007.     

Adjoint bi-continuous semigroups and semigroups on the space of measures

For a given bi-continuous semigroup (T(t)) _t⩾0 on a Banach space X we define its adjoint on an appropriate closed subspace X° of the norm dual X′. Under some abstract conditions this adjoint semigroup is again bi-continuous with respect to the weak topology σ(X°,X). We give the following application: For Ω a Polish space we consider operator semigroups on the space C_b(Ω) of bounded, continuous functions (endowed with the compact-open topology) and on the space M(Ω) of bounded Baire measures (endowed with the weak*-topology). We show that bi-continuous semigroups on M(Ω) are precisely those that are adjoints of bi-continuous semigroups on C_b(Ω). We also prove that the class of bi-continuous semigroups on C_b(ω) with respect to the compact-open topology coincides with the class of equicontinuous semigroups with respect to the strict topology. In general, if is not a Polish space this is not the case.     

Uniformity over primes of tamely ramified splittings

We fix a prime p and let f(X) vary over all monic integer polynomials of fixed degree n. Given any possible shape of a tamely ramified splitting of p in an extension of degree n, we prove that there exists a rational function φ(X)∈ℚ(X) such that the density of the monic integer polynomials f(X) for which the splitting of p has the given shape in ℚ[X]/f(X) is φ(p) (here reducible polynomials can be neglected). As a corollary, we prove that, for p≥n, the density of irreducible monic polynomials of degree n in ℤ _p [X] is the value at p of a rational function φ _n (X)∈ℚ(X). All rational functions involved are effectively computable. Received: 15 September 1998 / Revised version: 21 October 1999     

Extreme value limit laws in the nonidentically distributed case

LetX ₁, ...,X _n be independent random variables, letF _i be the distribution function ofX _i (1≦i≦n) and letX _1n ≦... ≦X _nn be the corresponding order statistics. We consider the statisticsX _kn, wherek=k(n),k/n → 1 andn−k → ∞. Under some additional restrictions concerning the behaviour of the sequences {a _n>0,b _n,k(n),F _n} we characterize the class of all distribution functionsH such that Prob{(X _kn −b _n )/a _n <x)}→H. Dedicated to the Memory of N. V. Smirnov (1900–1966)     

Unconditional bases and unconditional finite-dimensional decompositions in Banach spaces

LetX be a Banach space with an unconditional finite-dimensional Schauder decomposition (E _n). We consider the general problem of characterizing conditions under which one can construct an unconditional basis forX by forming an unconditional basis for eachE _n. For example, we show that if sup _n dimE _n<∞ andX has Gordon-Lewis local unconditional structure thenX has an unconditional basis of this type. We also give an example of a non-Hilbertian spaceX with the property that wheneverY is a closed subspace ofX with a UFDD (E _n) such that sup _n dimE _n<∞ thenY has an unconditional basis, showing that a recent result of Komorowski and Tomczak-Jaegermann cannot be improved. Both authors were supported by NSF Grant DMS-9201357.     

The Cluster Function of Single-Valued Functions

Given a single-valued function f between topological spaces X and Y, we interpret the cluster set C(f;x) as a multivalued function F=C(f;⋅) associated to f – the cluster function of f. For appropriate metrizable spaces X and Y, we characterize cluster functions C(f;⋅) among arbitrary set-valued functions F and show that every cluster function F=C(f;⋅) admits a selection h of Baire class 2 such that F=C(h;⋅). Mathematics Subject Classifications (2000) Primary: 54C50, 54C60; secondary: 26A21, 54C65.This research was partially supported by DFG Grant RI 1087/2.     

The minimal cardinality where the Reznichenko property fails

A topological spaceX has the Fréchet-Urysohn property if for each subsetA ofX and each elementx inĀ, there exists a countable sequence of elements ofA which converges tox. Reznichenko introduced a natural generalization of this property, where the converging sequence of elements is replaced by a sequence of disjoint finite sets which eventually intersect each neighborhood ofx. In [5], Kočinac and Scheepers conjecture: The minimal cardinality of a setX of real numbers such thatC _p(X) does not have the weak Fréchet-Urysohn property is equal to b. (b is the minimal cardinality of an unbounded family in the Baire space^Nℕ.) We prove the Kočinac-Scheepers conjecture by showing that ifC _p(X) has the Reznichenko property, then a continuous image ofX cannot be a subbase for a non-feeble filter on ℕ. The author is partially supported by the Golda Meir Fund and the Edmund Landau Center for Research in Mathematical Analysis and Related Areas, sponsored by the Minerva Foundation (Germany).     

Hyperspaces of nowhere topologically complete spaces

It is proved that ifX is a connected locally continuumwise connected coanalytic nowhere topologically complete space, then the hyperspace 2 ^X of all nonempty compact subsets ofX is strongly universal in the class of all coanalytic spaces. Moreover, 2 ^X is homeomorphic to Π₂ ifX is a Baire space, and toQ∖Π₁ ifX contains a dense absoluteG _δ-setG ⊂X such that the intersectionG ∩U is connected for any open connectedU ⊂X. (Here Π₁, Π₁⊂X are the standard subsets of the Hilbert cubeQ absorbing for the classes of analytic and coanalytic spaces, respectively.) Similar results are obtained for higher projective classes. Translated fromMatematicheskie Zametki, Vol. 62, No. 1, pp. 35–51, July, 1997. Translated by O. V. Sipacheva     

On processes which cannot be distinguished by finite observation

A function J defined on a family C of stationary processes is finitely observable if there is a sequence of functions s _n such that s _n (x ₁,…, x _n ) → J(X) in probability for every process X=(x _n ) ∈ C. Recently, Ornstein and Weiss proved the striking result that if C is the class of aperiodic ergodic finite valued processes, then the only finitely observable isomorphism invariant defined on C is entropy [8]. We sharpen this in several ways. Our main result is that if X → Y is a zero-entropy extension of finite entropy ergodic systems and C is the family of processes arising from generating partitions of X and Y, then every finitely observable function on C is constant. This implies Ornstein and Weiss’ result, and extends it to many other families of processes, e.g., it follows that there are no nontrivial finitely observable isomorphism invariants for processes arising from the class of Kronecker systems, the class of mild mixing zero entropy systems, or the class of strong mixing zero entropy systems. It also follows that for the class of processes arising from irrational rotations, every finitely observable isomorphism invariant must be constant for rotations belonging to a set of full Lebesgue measure. This research was supported by the Israel Science Foundation (grant No. 1333/04)     

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.     

Lip Automorphism Germ and Lip Automorphism

Let X be a metric space, ε^n(X) be the standard trivial Lip n-bundle over X, and Φ be a Lip automorphism germ of ε^n(X). This paper proves that there is a Lip automorphism Φ‘ of ε^n(X) such that the germ of Φ‘ is Φ.     

Box and Packing Dimensions of Typical Compact Sets

 Let (X,ρ) be a complete metric space and let dim A be the upper box dimension of the set . We show that packing dimension of the typical (in the sense of Baire category) compact set is at least . (Received 27 March 2000; in revised form 5 June 2000)     

Differentiable functions defined in closed sets. A problem of Whitney

In 1934, Whitney raised the question of how to recognize whether a function f defined on a closed subset X of ℝ ⁿ is the restriction of a function of class 𝒞 ^p . A necessary and sufficient criterion was given in the case n=1 by Whitney, using limits of finite differences, and in the case p=1 by Glaeser (1958), using limits of secants. We introduce a necessary geometric criterion, for general n and p, involving limits of finite differences, that we conjecture is sufficient at least if X has a “tame topology”. We prove that, if X is a compact subanalytic set, then there exists q=q _X (p) such that the criterion of order q implies that f is 𝒞 ^p . The result gives a new approach to higher-order tangent bundles (or bundles of differential operators) on singular spaces. Oblatum 21-XI-2001 & 3-VII-2002?Published online: 8 November 2002 RID="*" ID="*"Research partially supported by the following grants: E.B. – NSERC OGP0009070, P.M. – NSERC OGP0008949 and the Killam Foundation, W.P. – KBN 5 PO3A 005 21.     

Preserving affine baire classes by perfect affine maps

Let ? : X → Y be an affine continuous surjection between compact convex sets. Suppose that the canonical copy of the space of real-valued affine continuous functions on Y in the space of real-valued affine continuous functions on X is complemented. We show that if F is a topological vector space, then f : Y → F is of affine Baire class α whenever the composition f ? ? is of affine Baire class α. This abstract result is applied to extend known results on affine Baire classes of strongly affine Baire mappings.     

Dichotomies of the set of test measures of a Haar-null set

We prove that ifX is a Polish space andF a face ofP(X) with the Baire property, thenF is either a meager or a co-meager subset ofP(X). As a consequence we show that for every abelian Polish groupX and every analytic Haar-null set Λ⊆X, the set of test measuresT(Λ) of Λ is either meager or co-meager. We characterize the non-locally-compact groups as the ones for which there exists a closed Haar-null setF⊆X withT(F) meager, Moreover, we answer negatively a question of J. Mycielski by showing that for every non-locally-compact abelian Polish group and every σ-compact subgroupG ofX there exists aG-invariantF _σ subset ofX which is neither prevalent nor Haar-null. Research supported by a grant of EPEAEK program “Pythagoras”.     

Almost sure central limit theorems for random functions

Let {Xn,-∞< n <∞} be a sequence of independent identically distributed random variables with EX1 = 0, EX12 = 1 and let Sn =∑k=1∞Xk, and Tn = Tn(X1,…,Xn) be a random function such that Tn = ASn Rn, where supn E|Rn| <∞and Rn = o(n~(1/2)) a.s., or Rn = O(n1/2-2γ) a.s., 0 <γ< 1/8. In this paper, we prove the almost sure central limit theorem (ASCLT) and the function-typed almost sure central limit theorem (FASCLT) for the random function Tn. As a consequence, it can be shown that ASCLT and FASCLT also hold for U-statistics, Von-Mises statistics, linear processes, moving average processes, error variance estimates in linear models, power sums, product-limit estimators of a continuous distribution, product-limit estimators of a quantile function, etc.     

A Characteristic Martingale Related to the Counting Process of Records

Let (X _n ) be a sequence of nonnegative, integrable, independent and identically distributed random variables, with common distribution function F. We consider the problem of finding all distribution functions F such that N _n −cM _n is a discrete time martingale, where N _n is the counting process of upper records, M _n =max {X ₁,…,X _n } is the process of partial maxima and c is a positive constant. We solve the problem by explicitly giving the solution with finite support and using this for constructing the solution for the general case by a limiting process. We show that the set of solutions can be parameterized by their support and the mass at the leftmost point of the support.