On the bounded approximation property in Banach spaces

We prove that the kernel of a quotient operator from an L ₁-space onto a Banach space X with the Bounded Approximation Property (BAP) has the BAP. This completes earlier results of Lusky-case ? ₁-and Figiel, Johnson and Pe?czyński-case X* separable. Given a Banach space X, we show that if the kernel of a quotient map from some L ₁-space onto X has the BAP, then every kernel of every quotient map from any L ₁-space onto X has the BAP. The dual result for L _∞-spaces also holds: if for some L _∞-space E some quotient E/X has the BAP, then for every L _∞-space E every quotient E/X has the BAP.     

Erdős-Rényi-Shepp laws and weighted sums of independent identically distributed random variables

LetX ₀,X ₁,X ₂,... be i.i.d. random variables withE(X ₀)=0,E(X ₀ ² )=1,E(exp{tX _o}<∞ (|t|<t ₀) and partial sumsS _n . Starting from Shepp's version of the well-known Erd?s-Rényi-Shepp law $$\mathop {\lim }\limits_{n \to \infty } \sup ([c\log n])^{ - 1} )(S_{n + [c\log n]} - S_n ) = \alpha {\text{a}}{\text{.s}}{\text{.}}$$ where α is a number depending uponc and the distribution ofX ₀, we show that other weighted sumsV(n)=Σa _j (n)X _j exhibit a similar lim sup behavior, if the weights satisfy certain regularity conditions. We also prove for such weighted sums certain versions of the classical Erd?s-Rényi law.     

Modified construction of nuclear Fréchet spaces without basis

Recently, B. Mitiagin and N. Zobin constructed an example of nuclear Fréchet space without basis. The essential modification of their constructions gives the following results. There exists such a nuclear Fréchet space X that for any nuclear Fréchet space Y the space X × Y has no basis (Sections 1 and 2). This fact has a lot of corollaries (Sect. 3); e.g., the space X × C^∞(R¹) having the maximal diametral dimension among nuclear Fréchet spaces nevertheless has no basis. One can also construct (Sect. 4) a nuclear Fréchet space $\text{X}\text{?}$ without strongly finite-dimensional decomposition (see Definition 0.1). In Section 5 some comments and open questions are given.     

Characterization of equality in a generalized Dunkl-Williams inequality

We establish a generalization of the Dunkl-Williams inequality and its inverse in the framework of Hilbert C^?-modules and characterize the equality case. As applications, we get some new results and some known results due to J.E. Pe?ari? and R. Raji? [The Dunkl-Williams equality in pre-Hilbert C^?-modules, Linear Algebra Appl. 425 (1) (2007) 16-25].     

Structure of modules over the stereotype algebra ℒ(X) of operators

It is well known that every module M over the algebra ?(X) of operators on a finite-dimensional space X can be represented as the tensor product of X by some vector space E, M ? = E ? X. We generalize this assertion to the case of topological modules by proving that if X is a stereotype space with the stereotype approximation property, then for each stereotype module M over the stereotype algebra ? (X) of operators on X there exists a unique (up to isomorphism) stereotype space E such that M lies between two natural stereotype tensor products of E by X, $E \circledast X \subseteq M \subseteq E \odot X.$ . As a corollary, we show that if X is a nuclear Fréchet space with a basis, then each Fréchet module M over the stereotype operator algebra ?(X) can be uniquely represented as the projective tensor product of X by some Fréchet space E, $M = E \widehat \otimes X$ .     

Characterization of measures by potentials

Let μ be a measure in a Banach spaceE, f be an even function onR. We consider the potentialg(a)=f _E f(‖x?a‖)dμ(x). The question is as follows: For whichf does the potentialg determine μ uniquely? In this article we give answers in the cases whereE=l _∞ ⁿ and wheref(t)=|t| ^p andE is a finite dimensional Banach space with symmetric analytic norm. Calculating the Fourier transform of the functionf(‖x‖ _∞) we give a new proof of the J. Misiewicz's result that the functionf(‖x‖ _∞) is positive definite only iff is a constant function.     

Derivations, the Lawrence–Sullivan interval and the Fiorenza–Manetti mapping cone

We describe the rational homotopy type of any component of the based mapping space map^*(X,Y) as an explicit L _∞ algebra defined on the (desuspended and positive) derivations between Quillen models of X and Y. When considering the Lawrence–Sullivan model of the interval, we obtain an L _∞ model of the contractible path space of Y. We then relate this, in a geometrical and natural manner, to the L _∞ structure on the Fiorenza–Manetti mapping cone of any differential graded Lie algebra morphism, two in principal different algebraic objects in which Bernoulli numbers appear.     

Projective limits of finite decomposition systems

Special finite topological decomposition systems were used to get compactifications of topological spaces in [6]. In this paper the notion of finite decomposition systems is applied for topological measure spaces. We get two canonical topological measure spaces X_∞ and X_∞^d being projective limits of (discrete) finite decomposition systems for each topological measure space X = (X, O, A, P) and each net (A_α) α ? I of upward filtering finite σ-algebras in A. X_∞ is a compact topological measure space and the idea to construct is the same as used in [6]. The compactifications of [6] are cases of some special X_∞. Further on we obtain that each measurable set of the remainder of X_∞ has measure zero with respect to the limit measure P_∞ (Theorem 1). X_∞^d is the STONE representation space X(\documentclass{article}\pagestyle{empty}\begin{document}$ \mathop \cup \limits_{\alpha \in I} A\alpha $\end{document}) of \documentclass{article}\pagestyle{empty}\begin{document}$ \mathop \cup \limits_{\alpha \in I} A\alpha $\end{document} A_α, hence a Boolean measure space with regular Borel measure. Some measure theoretical and topological relations between X, X(\documentclass{article}\pagestyle{empty}\begin{document}$ \mathop \cup \limits_{\alpha \in I} A\alpha $\end{document}) and x(A) where x(A) is the Stone representation space of A, are given in Theorem 2. and 4. As a corollary from Theorem 2. we get a measure theoretical-topological version to the Theorem of Alexandroff Hausdorff for compact T₂ measure spaces x with regular Borel measure (Theorem 3.).     

On the frame of the unit ball of Banach spaces

The notion of the frame of the unit ball of Banach spaces was introduced to construct a new calculation method for the Dunkl-Williams constant. In this paper, we characterize the frame of the unit ball by using k-extreme points and extreme points of the unit ball of two-dimensional subspaces. Furthermore, we show that the frame of the unit ball is always closed, and is connected if the dimension of the space is not less than three. As infinite dimensional examples, the frame of the unit balls of c ₀ and ? _p are determined.     

Hyperspaces of direct limits of locally compact metric spaces

For a tower X₁ ⊂ X₂ ⊂ ⋯ of locally compact metric spaces, let X_∞ = ∪^∞₁ X_n denote the direct limit space. We show that the hyperspace 2^X_∞ of nonempty compact subsets of X_∞, with the Vietoris topology, is homeomorphic to the direct limit of the tower of hyperspaces 2^X₁∪2^X₂∪⋯. Consequently, if each X_n is a generalized Peano continuum, with X_n closed and nowhere dense in X_n+1, then 2^X_∞ is homeomorphic to the direct limit of Hilbert cubes.     

Three-space problems for the bounded compact approximation property

In this paper, the notion of the bounded compact approximation property (BCAP) of a pair [Banach space and its subspace] is used to prove that if X is a closed subspace of L∞ with the BCAP, then L∞/X has the BCAP. We also show that X* has the λ-BCAP with conjugate operators if and only if the pair (X, Y) has the λ-BCAP for each finite codimensional subspace Y∈X. Let M be a closed subspace of X such that M⊥ is complemented in X*. If X has the (bounded) approximation property of order p, then M has the (bounded) approximation property of order p.     

A counterexample for a problem of Arhangel'skii concerning the product of Fréchet spaces

Using the continuum hypothesis, we give a counterexample for the following problem posed by Arhangel'skii: if X × Y is Fréchet for each countably compact regular Fréchet space Y, then is X an 〈α₃〉-space?     

Dual spaces of C∞ (X)

ForX a locally compact Stonian Space, letC _∞ (X) denote the universally complete Riesz space of all extended-real-valued continuous functionsf onX for which {x∈X| |f (x)|=∞} is nowhere dense. In this paper the dual spaces ofC _∞ (X) (i.e. the spaces of order bounded; of σ-order continuous; of order continuous linear forms onC _∞ (X), and the extended order dual ofC _∞ (X) denote here byC _∞ (X)^ρ (introduced by W.A.J. Luxemburg and J.J. Masterson)) are characterized. It is shown thatC _∞ (X)^ρ can be identified in a canonical way with the inductive limitM _q (X) of the Riesz spaces of all normal Radon measures defined on the dense open subsets ofX. More generally, ifY is a locally compact space thenM _q (Y) is the extended order dual of the inductive limit of the Riesz spaces of all real-valued continuous functions defined on the dense open subsets ofY. IfX is locally compact and hyperstonian, then it is proved thatC _∞ (X) andC _∞ (X)^ρ are isomorphic, and a criterion forC _∞ (X)^ρ to be the universal completion of the space of order continuous linear forms onC _∞ (X) is given.     

On a new geometric constant related to the modulus of smoothness of a Banach space

We shall introduce a new geometric constant A(X) of a Banach space X,which is closely related to the modulus of smoothness ρX(τ),and investigate it in relation with the constant A2(X) by Baronti et al.,the von Neumann–Jordan constant CNJ(X) and the James constant J(X).A sequence of recent results on these constants as well as some other geometric constants will be strengthened and improved.     

The determinant bundle on the moduli space of stable triples over a curve

We construct a holomorphic Hermitian line bundle over the moduli space of stable triples of the form (E₁, E₂,?), where E₁ and E₂ are holomorphic vector bundles over a fixed compact Riemann surfaceX, and?: E₂ → E₁ is a holomorphic vector bundle homomorphism. The curvature of the Chern connection of this holomorphic Hermitian line bundle is computed. The curvature is shown to coincide with a constant scalar multiple of the natural Kähler form on the moduli space. The construction is based on a result of Quillen on the determinant line bundle over the space of Dolbeault operators on a fixed C^∞ Hermitian vector bundle over a compact Riemann surface.     

SOME ASPECTS OF THE LIFTING PROPERTY OF THE SPACE £∞ (μ, X)

Abstract

Using a lifting of £_∞ (μ, X) ([5],[6]), we construct a lifting ρ x of the seminormed vector space £_∞ (μ, X) of measurable, essentially bounded X-valued functions. We show that in a certain sense such a lifting always exists. If μ is Lebesgue measure on (0, 1) we show that ρ x exists as map from £_∞ ((O, 1), X) → £_∞,((0, l), X) if and only if X is reflexive. In general the lifted function takes its values in X **. Therefore we investigate the question, when f ε £_∞ (μ, X) is strictly liftable in the sense that the lifted function is a map with values even in X.

As an application we introduce the space £_∞ ^strong (μ, L (X, Y**)), a subspace of the space of strongly measurable, essentially bounded L (X, Y, **)-valued functions, and the associated quotient space £_∞ ^strong (μ, L (X,Y**)). We show that this space is a Banach space because there is a kind of a Dunford-Pettis Theorem for a subspace of L (X, £_∞(μ Y**)). Finally we investigate the measurability property of functions in £_∞(μ Y**)) und see that there exists a connection to the Radon-Nikodym property of the space L (X, Y).     

A remark on the tail probability of a distribution

Let {X_n}_n≥1 be a sequence of independent and identically distributed random variables. For each integer n ≥ 1 and positive constants r, t, and ?, let S_n = Σ_j=1ⁿX_j and $\text{E{N}{}_{\mathrm{\infty }}\text{(r, t, ?)} = Σ}{}_{\mathrm{n=1}}{}^{\mathrm{\infty }}\text{n}{}^{\mathrm{r?2}}\text{P{|S}{}_{\mathrm{n}}\text{| > ?n}{}^{\mathrm{<mtext>r</mtext><mtext>t</mtext>}}\text{}}$. In this paper, we prove that (1) lim_?→0+?^α(r?1)E{N_∞(r, t, ?)} = K(r, t) if E(X₁) = 0, Var(X₁) = 1, and E(| X₁ |^t) < ∞, where 2 ≤ t < 2r ≤ 2t, $\text{K(r, t) =}\text{{2}{}^{\mathrm{<mtext>\alpha (r?1)</mtext><mtext>2</mtext>}}\text{Γ(}\text{(1 + α(r ? 1))}\text{2}\text{)}}\text{{(r ? 1) Γ(}\text{1}\text{2}\text{)}}$, and $\text{α =}\text{2t}\text{(2r ? t)}$; (2) $\text{lim}{}_{\mathrm{?\to 0+}}\text{G(t, ?)}\text{H(t, ?)}\text{= 0}$ if 2 < t < 4, E(X₁) = 0, Var(X₁) > 0, and E(|X₁|^t) < ∞, where G(t, ?) = E{N_∞(t, t, ?)} = Σ_n=1^∞n^t?2P{| S_n | > ?n} → ∞ as ? → 0+ and $\text{H(t, ?) = E{N}{}_{\mathrm{\infty }}\text{(t, t, ?)} = Σ}{}_{\mathrm{n=1}}{}^{\mathrm{\infty }}\text{n}{}^{\mathrm{t?2}}\text{P{| S}{}_{\mathrm{n}}\text{| > ?n}{}^{\mathrm{<mtext>2</mtext><mtext>t</mtext>}}\text{} → ∞}\text{as}\text{? → 0+}$, i.e., H(t, ?) goes to infinity much faster than G(t, ?) as ? → 0+ if 2 < t < 4, E(X₁) = 0, Var(X₁) > 0, and E(| X₁ |^t) < ∞. Our results provide us with a much better and deeper understanding of the tail probability of a distribution.     

The Nonexistence of Expansive Z^d Actions on Graphs

It is well known that if X is an arc or a circle, then there is no expansive homeomorphism on X. In this paper we prove that there is no expansive Z^d action on X, which answers the two questions raised by us before, In 1979, Mané proved that there is no expansive homeomorphism on infinite dimensional spaces. Contrary to this result, we construct an expansive Z^2 action on an infinite dimensional space. We also construct an expansive Z^2 action on a zero dimensional space but no element in Z^2 is expansive.     

On complementability of subspaces in symmetric spaces with the Kruglov property

We show that, for a broad class of symmetric spaces on [0, 1], the complementability of the subspace generated by independent functions f _k (k = 1, 2,…) is equivalent to the complementability of the subspace generated by the disjoint translates $\bar f_k (t) = f_k (t - k + 1)\chi _{[k - 1,k]} (t)$ of these functions in some symmetric space Z _X ² on the semiaxis [0,∞). Moreover, if Σ _k=1 ^∞ m(supp f _k ) ? 1, then Z _X ² can be replaced by X itself. This result is new even in the case of L _p -spaces. A series of consequences is obtained; in particular, for the class of symmetric spaces, a result similar to a well-known theorem of Dor and Starbird on the complementability in L _p [0, 1] (1 ? p < ∞) of the subspace [f _k ] generated by independent functions provided that it is isomorphic to the space l _p is obtained.     

Spaces which contain a copy of Sω or S2 and their applications

Let S_ω and S₂ denote the sequential fan and Arens' space, respectively. In this paper, we shall prove the following main results. (1) If Π^∞_i=1 X_i contains a copy of S_ω (S₂), then some Πⁿ_i=1 X_i contains a copy of S_ω (S_ω or S₂, respectively). (2) Let f: X → Y be a closed map such that any f^-1(y) contains no closed copy of S_ω (S₂). If X contains a closed copy of S_ω (S₂), then Y contains a closed copy of S_ω (S_ω or S₂, respectively).As applications of (1) and (2), we shall consider the Fréchet or strongly Fréchetness, or sequentiality of products of finitely or countably many spaces.