On the property of kelley in the hyperspace and Whitney continua

In this paper, we introduce the notion of property [K]¹ which implies property [K], and we show the following: Let X be a continuum and let ω be any Whitney map for C(X). Then the following are equivalent. (1) X has property [K]¹. (2) C(X) has property [K]¹. (3) The Whitney continuum ω⁻¹(t) (0⩽t<ω(X)) has property [K]¹.As a corollary, we obtain that if a continuum X has property [K]¹, then C(X) has property [K] and each Whitney continuum in C(X) has property [K]. These are partial answers to Nadler's question and Wardle's question ([10, (16.37)] and [11, p. 295]).Also, we show that if each continuum X_n (n=1,2,3,…) has property [K]¹, then the product ∏X_n has property [K]¹, hence C(∏X_n) and each Whitney continuum have property [K]¹. It is known that there exists a curve X such that X has property [K], but X×X does not have property [K] (see [11]).     

Automorphisms of real rational surfaces and weighted blow-up singularities

Let X be a singular real rational surface obtained from a smooth real rational surface by performing weighted blow-ups. Denote by Aut(X) the group of algebraic automorphisms of X into itself. Let n be a natural integer and let e = [e ₁, . . . , e _? ] be a partition of n. Denote by X ^e the set of ?-tuples (P ₁, . . . , P _? ) of disjoint nonsingular curvilinear subschemes of X of orders (e ₁, . . . , e _? ). We show that the group Aut(X) acts transitively on X ^e . This statement generalizes earlier work where the case of the trivial partition e = [1, . . . , 1] was treated under the supplementary condition that X is nonsingular. As an application we classify singular real rational surfaces obtained from nonsingular surfaces by performing weighted blow-ups.     

Paley-Wiener theorem for singular support of K-finite distributions on symmetric spaces

We study Fourier transforms of distributions on a symmetric space X. Eguchi et al. [1] characterized the image of $\text{E}$′(X)-distributions of compact support under the Fourier transform. We give a simpler proof of Eguchi's result and characterize the size of the singular support for the K-finite members of E′(X). We apply this Paley-Wiener type theorem to invariant differential equations on X.     

Another proof of dilworth's decomposition theorem

Dilworth's famous theorem [1] states that if the maximal sized antichains of a finite poset X have n elements, then X can be covered by n chains. The number n is called the width of X. Apart from proofs relating the theorem to other key theorems of combinatorics (see [1–4]), there have been a number of direct proofs (see [1, 2, 5, 6]). The shortest of these is the one by Perles [5], the outline of which is as follows.     

The traces of Bessel potentials on regular subsets of Carnot groups

We prove the direct theorem on the traces of the Bessel potentials L _p ^α defined on a Carnot group, on the regular closed subsets called Ahlfors d-sets. The result is convertible for integer α, i.e., for the Sobolev spaces W _p ^α (the converse trace theorem was proven in [24]). This theorem generalizes A. Johnsson and H. Wallin’s results [13] for Sobolev functions and Bessel potentials on the Euclidean space.     

A limit theorem for expectations conditional on a sum

Let ξ₁, ξ₂, ξ₃,... be a sequence of independent random variables, such that μ _j ?E[ξ _j ], 0<α?Var[ξ _j ] andE[|ξ _j ?μ _j |^2+δ] for some δ, 0<δ?1, and everyj?1. IfU and ξ₀ are two random variables such thatE[ξ ₀ ² ]<∞ andE[|U|ξ ₀ ² ]<∞, and the vector 〈U,ξ〉 is independent of the sequence {ξ _j :j?1}, then under appropriate regularity conditions $$E\left[ {U\left| {\xi _0 + S_n } \right. = \sum\limits_{j = 1}^n {\mu _j + c_n } } \right] = E[U] + O\left( {\frac{1}{{s_n^{1 + \delta } }}} \right) + O\left( {\frac{{|c_n |}}{{s_n^2 }}} \right)$$ whereS _n ?ξ₁+ξ₂+?+ξ _n ,μ _j ?E[ξ _j ],s _n ² ?Var[S _n ], andc _n =O(s _n ).     

Large deviations of the first passage time for a random walk with semiexponentially distributed jumps

Suppose that ξ, ξ(1), ξ(2), ... are independent identically distributed random variables such that ?ξ is semiexponential; i.e., $P( - \xi \geqslant t) = e^{ - t^\beta L(t)} $ is a slowly varying function as t → ∞ possessing some smoothness properties. Let E ξ = 0, D ξ = 1, and S(k) = ξ(1) + ? + ξ(k). Given d > 0, define the first upcrossing time η ₊(u) = inf{k ≥ 1: S(k) + kd > u} at nonnegative level u ≥ 0 of the walk S(k) + kd with positive drift d > 0. We prove that, under general conditions, the following relation is valid for $u = (n) \in \left[ {0, dn - N_n \sqrt n } \right]$ : 0.1 $P(\eta + (u) > n) \sim \frac{{E\eta + (u)}}{n}P(S(n) \leqslant x) as n \to \infty $ , where x = u ? nd < 0 and an arbitrary fixed sequence N _n not exceeding $d\sqrt n $ tends to ∞. The conditions under which we prove (0.1) coincide exactly with the conditions under which the asymptotic behavior of the probability P(S(n) ≤ x) for $x \leqslant - \sqrt n $ was found in [1] (for $x \in \left[ { - \sqrt n ,0} \right]$ it follows from the central limit theorem).     

Narrow and ℓ2-strictly singular operators from L p

In the first part of the paper we prove that for 2 < p, r < ∞ every operator T: L _p → ? _r is narrow. This completes the list of sequence and function Lebesgue spaces X with the property that every operator T : L _p → X is narrow. Next, using similar methods we prove that every ?₂-strictly singular operator from L _p , 1 < p < ∞, to any Banach space with an unconditional basis, is narrow, which partially answers a question of Plichko and Popov posed in 1990. A theorem of H. P. Rosenthal asserts that if an operator T from L ₁[0, 1] to itself satisfies the assumption that for each measurable set A ? [0, 1] the restriction \(T{|_{{L_1}(A)}}\) is not an isomorphic embedding, then T is narrow. (Here L ₁(A) = {x ∈ L ₁ : supp x ? A}.) Inspired by this result, in the last part of the paper, we find a sufficient condition, of a different flavor than being ?₂-strictly singular, for operators from L _p [0, 1] to itself, 1 < p < 2, to be narrow. We define a notion of a “gentle” growth of a function and we prove that for 1 < p < 2 every operator T from L _p to itself which, for every A ? [0, 1], sends a function of “gentle” growth supported on A to a function of arbitrarily small norm is narrow.     

On Symmetric Spaces With Convergence in Measure on Reflexive Subspaces

A closed subspace H of a symmetric space X on [0, 1] is said to be strongly embedded in X if in H the convergence in X-norm is equivalent to the convergence in measure. We study symmetric spaces X with the property that all their reflexive subspaces are strongly embedded in X. We prove that it is the case for all spaces, which satisfy an analogue of the classical Dunford–Pettis theorem on relatively weakly compact subsets in L₁. At the same time the converse assertion fails for a broad class of separableMarcinkiewicz spaces.     

QN-spaces, wQN-spaces and covering properties

The main results of the paper are as follows: covering characterizations of wQN-spaces, covering characterizations of QN-spaces and a theorem saying that Cp(X) has the Arkhangel'ski?ˇ property (α₁) provided that X is a QN-space. The latter statement solves a problem posed by M. Scheepers [M. Scheepers, Cp(X) and Arhangel'ski?ˇ's αi-spaces, Topology Appl. 89 (1998) 265-275] and for Tychonoff spaces was independently proved by M. Sakai [M. Sakai, The sequence selection properties of Cp(X), Preprint, April 25, 2006]. As the most interesting result we consider the equivalence that a normal topological space X is a wQN-space if and only if X has the property S₁(Γshr,Γ). Moreover we show that X is a QN-space if and only if Cp(X) has the property (α₀), and for perfectly normal spaces, if and only if X has the covering property (β₃).     

Der spektrale Abbildungssatz für nichtanalytische Funktionalkalküle in mehreren Veränderlichen

In this note we continue the study of -functional calculi in several variables (introduced in [1] and [2]). In the situation of an inverse closed (see Def. 1.2) basic algebra of type I or II we characterize the algebra generated by an arbitrary -functional calculus φ and prove several variants of the spectral mapping theorem, thus generalizing corresponding results of F.-H. Vasilescu [10] (see also the more general version in [4], Th. 3.2.1) to the case of several commuting operators. By means of the spectral mapping theorem we prove the decomposability (in the sense of St. Frunz? [6]) of m-tuples of the type (φ(f₁),..., φ(f_m)) with f₁,...,f_mε .     

Tensor products of Archimedean partially ordered vector spaces

We study the tensor product of two directed Archimedean partially ordered vector spaces X and Y by means of Riesz completions. With the aid of the Fremlin tensor product of the Riesz completions of X and Y we show that the projective cone in X ? Y is contained in an Archimedean cone. The smallest Archimedean cone containing the projective cone satisfies an appropriate universal mapping property.     

The spaces Cp(X): decomposition into a countable union of bounded subspaces and completeness properties

A Tychonoff space X has to be finite if C_p(X) is σ-countably compact [23]. However, this is not true if only σ-pseudocompactness of C_p(X) is assumed. It is proved that C_p(X) is σ-pseudocompact iff X is pseudocompact and b-discrete. The technique developed yields an example showing that the theorem of Grothendieck [7] cannot be extended over the class of pseudocompact spaces. Some generalizations of the results of Lutzer and McCoy [9] are obtained. We establish also that ∏{C_p(X_t):tϵT} is a Baire space in case C_p(X_t) is Baire for each t ∈ T.     

On strong limit theorems concerning delayed sums of a random sequence

Let (ξ _n ) _n∈N be a sequence of arbitrarily dependent random variables. In this paper, a generalized strong limit theorem of the delayed average of (ξ _n ) _n∈N is investigated, then some limit theorems for arbitrary information sources follow. As corollaries, some known results are generalized.     

Parabolic Singular Integrals in Probability Theory

The final aim of this work is to prove the Central Limit Theorem described in the motivations given below. The key for that is a Resolvant estimate, of the type of Theorem 1.1 in [21], adapted for the Parabolic Green function G(X, Y) which is the heat diffusion kernel in some domain Ω in time-space: i.e. we must estimate ${\int_{\Omega}\nabla_{Y}G(X, Y)\nabla_{Y}^{2}G(Y,Z)\;dY}The final aim of this work is to prove the Central Limit Theorem described in the motivations given below. The key for that is a Resolvant estimate, of the type of Theorem 1.1 in [21], adapted for the Parabolic Green function G(X, Y) which is the heat diffusion kernel in some domain Ω in time-space: i.e. we must estimate ò_W?_YG(X, Y)?_Y²G(Y,Z)  dY{\int_{\Omega}\nabla_{Y}G(X, Y)\nabla_{Y}^{2}G(Y,Z)\;dY}. Exactly as the estimate in [21] is based on [10] our estimate here is based on the main Theorem of this paper. This main theorem refers to rough singular integrals on the Gaussian potential on ∂Ω.     

Connection between random curves,changes of time,and regenerative times of stochastic processes

The product of spaces Φ × D is considered, where Φ is the set of all continuous, nondecreasing functions ?:[0,∞)→(0,∞), ?(0)=0, ?(t)→∞(t→∞), and D is the set of all right continuous functions ξ:(0,∞)→X; here X is some metric space. Two mappings are defined: the first is the projection q(?,ξ)=ξ, and the second is the change of time U(?,ξ)=ξº?. The following equivalence relation is defined on D: $$\xi _1 \sim \xi _2 \Leftrightarrow \exists _{\varphi _1 , \varphi _1 } \in \Phi :\xi _1 ^\circ \varphi _1 = \xi _2 ^\circ \varphi _2 $$ . Let? be the set of all equivalence classes, and let L be the mapping ξ₄～ξ₂, Lξ is called the curve corresponding to ξ. The following theorem is proved: two stochastic processes with probability measures P¹ and P² on D possess identical random curves (i.e.,P¹ºL^?1=P²ºL^?1) if and only if there exist two changes of time (i.e., probability measures Q¹ and Q² on ?×D for which P¹=Q¹ºq^?1, P²=Q²ºq^?1 which take these two processes into a process with measure \(\tilde P\) (i.e., Q¹ºu^?1=Q²ºu^?1,=～P) If (P _x ¹ )_x∈X and (P _x ² )_x∈X are two families of probability measures for which P _x ¹ ºL^?1=P _x ² ºL^?1?x∈X then for each x ε X the corresponding measures Q _X ¹ andQ _X ² can be found in the following manner. The set of regenerative times of the family \(\left( {\tilde P_x } \right)_{x \in X} \) contains all stopping times which are simultaneously regenerative times of the families (p _x ¹ )_x∈X and (P _x ² )_x∈X and possess a certain special property of first intersection.     

Schiffer variation of complex structure and coordinates for Teichmüller spaces

Schiffer variation of complex structure on a Riemann surfaceX ₀ is achieved by punching out a parametric disc \(\bar D\) fromX ₀ and replacing it by another Jordan domain whose boundary curve is a holomorphic image of \(\partial \bar D\) . This change of structure depends on a complex parameter ε which determines the holomorphic mapping function around \(\partial \bar D\) . It is very natural to look for conditions under which these ε-parameters provide local coordinates for Teichmüller spaceT(X ₀), (or reduced Teichmüller spaceT ^#(X₀)). For compactX ₀ this problem was first solved by Patt [8] using a complicated analysis of periods and Ahlfors' [2] τ-coordinates. Using Gardiner's [6], [7] technique, (independently discovered by the present author), of interpreting Schiffer variation as a quasi conformal deformation of structure, we greatly simplify and generalize Patt's result. Theorems 1 and 2 below take care of all the finitedimensional Teichmüller spaces. In Theorem 3 we are able to analyse the situation for infinite dimensionalT(X ₀) also. Variational formulae for the dependence of classical moduli parameters on the ε's follow painlessly.     

Helly Spaces and Radon Measures on Complete Lines

We work in the set theory without the Axiom of Choice ZF. Given a linearly ordered set X, the (closed) subset H(X,[0,1]) of the product topological space [0,1] ^X consisting of the isotonic mappings u:X ??[0,1] is (Loeb-)compact. The compactness of $H(\mathbb R,L)$ where L is the lexicographic order [0,1] ×{0,1} is not provable (in ZF). Radon measures on a complete linearly ordered set X are studied: they are of Radon?CStieltjes type; moreover, the ??dual ball?? of the Banach space C(X) is (Loeb-)compact in the weak* topology, and the Banach space C(X) satisfies the (effective) continuous Hahn?CBanach property.