Onp-absolutely summing constants of banach spaces

Given 1≦p<∞ and a real Banach spaceX, we define thep-absolutely summing constantμ _p(X) as inf{Σ _i ^=1/m |x*(x _i)|^p p Σ _i ^=1/m ‖x _i‖^p p]¹ p}, where the supremum ranges over {x*∈X*; ‖x*‖≤1} and the infimum is taken over all sets {x ₁,x ₂, …,x _m} ⊂X such that Σ _i ^=1/m ‖x _i‖>0. It follows immediately from [2] thatμ _p(X)>0 if and only ifX is finite dimensional. In this paper we find the exact values ofμ _p(X) for various spaces, and obtain some asymptotic estimates ofμ _p(X) for general finite dimensional Banach spaces. This is a part of the author’s Ph.D. Thesis prepared at the Hebrew University of Jerusalem, under the supervision of Prof. A. Dvoretzky and Prof. J. Lindenstrauss.     

On smooth, nonlinear surjections of banach spaces

It is shown that (1) every infinite-dimensional Banach space admits aC ¹ Lipschitz map onto any separable Banach space, and (2) if the dual of a separable Banach spaceX contains a normalized, weakly null Banach-Saks sequence, thenX admits aC ^∞ map onto any separable Banach space. Subsequently, we generalize these results to mappings onto larger target spaces. Supported by an NSF Postdoctoral Fellowship in Mathematics.     

Concerning Bourgain’s ℓ1-Index of a Banach space

A well known argument of James yields that if a Banach spaceX contains ℓ ₁ ⁿ ’s uniformly, thenX contains ℓ ₁ ⁿ ’s almost isometrically. In the first half of the paper we extend this idea to the ordinal ℓ₁-indices of Bourgain. In the second half we use our results to calculate the ℓ₁-index of certain Banach spaces. Furthermore we show that the ℓ₁-index of a separable Banach space not containing ℓ₁ must be of the form ω^α for some countable ordinal α. Research supported by the NSF and TARP.     

Extremely weakly unconditionally convergent series

It is proved that if Σ _i=1 ^∞ X _i is a non-convergent series in a Banach spaceX such that Σ _i=1 ^∞ |f(X _i )|<∞ for all extreme pointsf of the unit ball ofX*, thenX contains a subspace isomorphic toc ₀, improving a result of Bessaga and Pelczynski. The proof uses Fonf’s result that Lindenstrauss-Phelps spaces contain isomorphs ofc ₀. Supported in part by NSF-MCS-8002393.     

On bases,finite dimensional decompositions and weaker structures in Banach spaces

This is an investigation of the connections between bases and weaker structures in Banach spaces and their duals. It is proved, e.g., thatX has a basis ifX* does, and that ifX has a basis, thenX* has a basis provided thatX* is separable and satisfies Grothendieck’s approximation property; analogous results are obtained concerning π-structures and finite dimensional Schauder decompositions. The basic results are then applied to show that every separableℒ _p space has a basis. The second and third named authors have been supported by the NSF Grant GP 12997.     

On a new geometric property for Banach spaces

In this paper we study a geometric property for Banach spaces called condition (*), introduced by de Reynaet al in [3], A Banach space has this property if for any weakly null sequencex _n of unit vectors inX, ifx _* ⁿ is any sequence of unit vectors inX ^* that attain their norm at x_n’s, then . We show that a Banach space satisfies condition (*) for all equivalent norms iff the space has the Schur property. We also study two related geometric conditions, one of which is useful in calculating the essential norm of an operator.     

Strong convergence of approximated sequences for nonexpansive mappings in Banach spaces

This paper studies the convergence of the sequence defined by x0∈C,xn 1=αnu (1-αn)Txn,n=0,1,2,…, where 0 ≤αn ≤ 1, limn→∞αn = 0, ∑∞n=0 αn = ∞, and T is a nonexpansive mapping from a nonempty closed convex subset C of a Banach space X into itself. The iterative sequence {xn} converges strongly to a fixed point of T in the case when X is a uniformly convex Banach space with a uniformly Gateaux differentiable norm or a uniformly smooth Banach space only. The results presented in this paper extend and improve some recent results.     

On the Oka principle in a Banach space,II

 Let X be one of the Banach spaces c ₀ , ℓ _p , 1≤p<∞; Ω⊂X pseudoconvex open, a holomorphic Banach vector bundle with a Banach Lie group G ^* for structure group. We show that a suitable Runge-type approximation hypothesis on X, G ^* (which we also prove for G ^* a solvable Lie group) implies the vanishing of the sheaf cohomology groups H ^q (Ω, 𝒪 ^E ), q≥1, with coefficients in the sheaf of germs of holomorphic sections of E. Further, letting 𝒪^Γ (𝒞^Γ) be the sheaf of germs of holomorphic (continuous) sections of a Banach Lie group bundle Γ→Ω with Banach Lie groups G, G ^* for fiber group and structure group, we show that a suitable Runge-type approximation hypothesis on X, G, G ^* (which we prove again for G, G ^* solvable Lie groups) implies the injectivity (and for X=ℓ₁ also the surjectivity) of the Grauert–Oka map H ¹ (Ω, 𝒪^Γ)→H ¹ (Ω, 𝒞^Γ) of multiplicative cohomology sets. Received: 1 March 2002 / Published online: 28 March 2003 Mathematics Subject Classification (2000): 32L20, 32L05, 46G20 RID="*" ID="*" Kedves Laci Móhan kisfiamnak. RID="*" ID="*" To my dear little Son     

Ordered representations of spaces of integrable functions

Let X be a Banach space, (Ω,Σ) a measurable space and let m : Σ → X be a (countably additive) vector measure. Consider the corresponding space of integrable functions L¹(m). In this paper we analyze the set of (countably additive) vector measures n satisfying that L¹(n) = L¹(m). In order to do this we define a (quasi) order relation on this set to obtain under adequate requirements the simplest representation of the space L¹(m) associated to downward directed subsets of the set of all the representations. This research has been partially supported by La Junta de Andalucía. The support of D.G.I. under project MTM2006–11690–C02 (M.E.C. Spain) and FEDER is gratefully acknowledged.     

New associative and nonassociative Gelfand-Naimark theorems

We prove that, ifA is a complex Banach algebra with a unit 1 and a conjugate-linear vector space involution^* such that 1^*=1 and‖a ^*a‖=‖a^*‖ ‖a‖ for alla inA, and ifdim(A)≥3, thenA is a C^*-algebra. The two-dimensional case is also considered and described.     

Decomposition Methods in Banach Spaces via Supplemented Subspaces Resembling Pełczyński’s Decomposition Methods

Suppose that X and Y are Banach spaces complemented in each other with supplemented subspaces A and B. In 1996, W. T. Gowers solved the Schroeder–Bernstein problem for Banach spaces by showing that X is not necessarily isomorphic to Y. In this paper, we obtain some suitable conditions involving the spaces A and B to yield that X is isomorphic to Y or to provide that at least X ^m is isomorphic to Yⁿ for some m, n ∈ IN^*. So we get some decomposition methods in Banach spaces via supplemented subspaces resembling Pełczyński’s decomposition methods. In order to do this, we introduce several notions of Schroeder–Bernstein Quadruples acting on the spaces X, Y, A and B. Thus, we characterize them by using some Banach spaces recently constructed. Received: October 4, 2005.     

Hyperfinite Dimensional Representations of Spaces and Algebras of Measures

Let X be a locally compact topological space and (X, E, X_ω) be any triple consisting of a hyperfinite set X in a sufficiently saturated nonstandard universe, a monadic equivalence relation E on X, and an E-closed galactic set X_ω ⊆ X, such that all internal subsets of X_ω are relatively compact in the induced topology and X is homeomorphic to the quotient X_ω/E. We will show that each regular complex Borel measure on X can be obtained by pushing down the Loeb measure induced by some internal function X ? ^*\Bbb CX \rightarrow {}{^{\ast}{\Bbb C}} . The construction gives rise to an isometric isomorphism of the Banach space M(X) of all regular complex Borel measures on X, normed by total variation, and the quotient M_w(X)/M₀(X){\cal M}_{\omega}(X)/{\cal M}_0(X) , for certain external subspaces M₀(X), M_w(X){\cal M}_0(X), {\cal M}_{\omega}(X) of the hyperfinite dimensional Banach space ^*\Bbb C^X{}{^{\ast}{\Bbb C}}^X , with the norm ‖f‖₁ = ∑_{x ∈ X} |f(x)|. If additionally X = G is a hyperfinite group, X_ω = G_ω is a galactic subgroup of G, E is the equivalence corresponding to a normal monadic subgroup G₀ of G_ω, and G is isomorphic to the locally compact group G_ω/G₀, then the above Banach space isomorphism preserves the convolution, as well, i.e., M(G) and M_w(G)/M₀(G){\cal M}_{\omega}(G)/{\cal M}_0(G) are isometrically isomorphic as Banach algebras.     

On<Emphasis Type="Italic">M</Emphasis>-structure,the asymptotic-norming property and locally uniformly rotund renormings

Letr, s ∈ [0, 1], and letX be a Banach space satisfying theM(r, s)-inequality, that is,

On Banach spaces whose dual balls are not weak∗ sequentially compact

Theorem 1. LetX be a Banach space. (a) IfX ^∗ has a closed subspace in which no normalized sequence converges weak^∗ to zero, thenl ₁ is isomorphic to a subspace ofX. (b) IfX ^∗ contains a bounded sequence which has no weak^∗ convergent subsequence, thenX contains a separable subspace whose dual is not separable. The second-named author was supported in part by NSF-MPS 72-04634-A03.     

A general Hobby-Rice Theorem and cake cutting

LetX be a Borel subset of a separable Banach spaceE. Letμ be a non-atomic,σ-finite, Borel measure onX. LetG ⊆L ₁ (X, Σ,μ) bem-dimensional. Theorem:There is an l ∈ E* and real numbers −∞=x ₀<x ₁<x ₂<…<x _n<x _n+1=∞with n≤m, such that for all g ∈ G,      

An extension theorem for separable Banach spaces

We construct a totally disconnected ω^*, norming subsetF of the unit ballB ^* of an arbitrary separable Banach space,X, and an operator fromC(F) toC(B^*) that “amost” commutes with the natural embeddings ofX. This is used to give a new proof of Milutin's theorem and to prove some new results on complemented subspaces ofC[0, 1] with separable dual. In particular we show that a complemented subspace ofC(ω^ω), is either isomorphic toC(ω^ω) or toc _u.     

Mixing of Cartesian squares of positive operators

LetT be a power bounded positive operator inL ₁(X, Σ, m)of a probability space, given by a transition measureP (x, A). The Cartesian squareS is the operator onL ₁ (X × X, Σ × Σ, m × m) induced by the transition measure Q((x, y), A × B)=P(x, A)P(y, B).T iscompletely mixing if ∝u e dm=0 impliesT ⁿ u→0 weakly (where 0≦e ∈L _∞ withT ^* e=e).Theorem. IfT has no fixed points, thenT is completely mixing if and only ifS is completely mixing. Part of this research was done at The Hebrew University of Jerusalem.     

On a Banach space approximable by Jacobi polynomials

Let X represent either the space C[-1,1] L _p ^(α,β) (w), 1 ≦ p < ∞ on [-1, 1]. Then Xare Banach spaces under the sup or the p norms, respectively. We prove that there exists a normalized Banach subspace X ¹ _αβ of Xsuch that every f ∈ X ¹ _αβ can be represented by a linear combination of Jacobi polynomials to any degree of accuracy. Our method to prove such an approximation problem is Fourier–Jacobi analysis based on the convergence of Fourier–Jacobi expansions. This revised version was published online in June 2006 with corrections to the Cover Date.     

Geometrical implications of the existence of very smooth bump functions in Banach spaces

We show that ifX is a Banach space and if there is a non-zero real-valuedC ^∞-smooth function onX with bounded support, then eitherX contains an isomorphic copy ofc ₀(N), or there is an integerk greater than or equal to 1 such thatX is of exact cotype 2k and, in this case,X contains an isomorphic copy ofl ^2k(N). We also show that ifX is a Banach space such that there is onX a non-zero real-valuedC ⁴-smooth function with bounded support and ifX is of cotypeq forq<4, thenX is isomorphic to a Hilbert space.     

Generalized Hyers–Ulam–Rassias stability of n-sesquilinear-quadratic mappings on Banach modules over -algebras

Assume that X is a left Banach module over a unital C^*-algebra A. It is shown that almost every n-sesquilinear-quadratic mapping h:X×X×Xⁿ→A is an n-sesquilinear-quadratic mapping when holds for all x,y,z₁,…,z_nX.Moreover, we prove the generalized Hyers–Ulam–Rassias stability of an n-sesquilinear-quadratic mapping on a left Banach module over a unital C^*-algebra.