The bicompletion of an asymmetric normed linear space

A biBanach space is an asymmetric normed linear space (X,‖·‖) such that the normed linear space (X,‖·‖^s) is a Banach space, where ‖x‖^s= max {‖x‖,‖-x‖} for all x∈X. We prove that each asymmetric normed linear space (X,‖·‖) is isometrically isomorphic to a dense subspace of a biBanach space (Y,‖·‖_Y). Furthermore the space (Y,‖·‖_Y) is unique (up to isometric isomorphism). This revised version was published online in August 2006 with corrections to the Cover Date.     

The classification of injective Banach lattices

LetE be a 1-injective Banach lattice,X any Banach space andT: E ← X a norm bounded linear operator. Then eitherT is an isomorphism on some copy ofl _∞ inE or for all σ > 0 there is φ ∈E ₊ ^′ such that ‖Tu‖≦φ (|u|)+σ ‖u‖ for allu ∈E. We deduce the theorem that: A norm order continuous injective Banach lattice is order isomorphic to an (AL)-space.     

Norms with locally Lipschitzian derivatives

If a separable Banach spaceX admits a real valued function ф with bounded nonempty support, φ 艂 is locally Lipschitzian and if no subspace ofX is isomorphic toc _o, thenX admits an equivalent twice Gateaux differentiable norm whose first Frechet differential is Lipschitzian on the unit sphere ofX. This author's research supported in part by NSERC (Canada) Grant A7535.     

The problem of envelopes for Banach spaces

LetX be a Banach space. A Banach spaceY is an envelope ofX if (1)Y is finitely representable inX; (2) any Banach spaceZ finitely representable inX and of density character not exceeding that ofY is isometric to a subspace ofY. Lindenstrauss and Pelczynski have asked whether any separable Banach space has a separable envelope. We give a negative answer to this question by showing the existence of a Banach space isomorphic tol ₂, which has no separable envelope. A weaker positive result holds: any separable Banach space has an envelope of density character ≦ℵ₁ (assuming the continuum hypothesis).     

A superreflexive banach spaceX withL(X) admitting a homomorphism onto the Banach algebraC(βN)

A separable superreflexive Banach spaceX is constructed such that the Banach algebraL(X) of all continuous endomorphisms ofX admits a continuous homomorphism onto the Banach algebraC(βN) of all scalar valued functions on the Stone-Čech compacification of the positive integers with supremum norm. In particular: (i) the cardinality of the set of all linear multiplicative functionals onL(X) is equal to 2^c and (ii)X is not isomorphic to any finite Cartesian power of any Banach space.     

Orthogonal almost locally minimal projections on ℓ 1 n

A projectionP on a Banach spaceX with ‖P‖≤λ₀ is called almost locally minimal if, for every α>0 small enough, the ballB(P,α) in the space of operatorsL(X) does not contain a projectionQ with ‖Q‖≤‖P‖(1–Dα²), whereD=D(λ₀) is a constant independent of ‖P‖. It is shown that, for everyp≥1 and every compact abelian groupG, every translation invariant projection onL _p(G) is almost locally minimal. Orthogonal projections on ℓ ₁ ⁿ are investigated with respect to some weaker local minimality properties. Participant in Workshop in Linear Analysis and Probability, Texas A&M University, College Station, Texas 1998. Partially supported by the Edmund Landau Center for Research in Mathematical Analysis and Related Areas, sponsored by the Minerva Foundation (Germany).     

An example of a universal Banach space

We construct a separable reflexive Banach spaceX which is complementably universal for all finite dimensional Banach spaces. By this we mean: for every finite dimensional Banach spaceE there is isometric embeddingi:E→X such that there exists a projectionP: → _→ ^onto with ‖P‖=1.     

On james’s paper “separable conjugate spaces”

For every separable Banach spaceX there is a Banach spaceY with a separable dual such thatY ⊕X* ≈Y**. There is also a separable spaceZ so thatZ**/JZ is isomorphic toX.     

Symmetry groups of vertex-transitive polytopes

Groups which are not isomorphic to the symmetry group of any vertextransitive polytope (of any dimension) are characterized as generalized dicyclic, or abelian groups but not elementary 2-groups. The same class of groupsG is also characterized by the existence of a permutation groupP acting onG, containingG* (the regular representation ofG) as a proper subgroup, such that the members of the stabilizerP _u of the unitu ε G take everyg ε G tog ^±1.     

On banach spaces which containl 1(τ) and types of measures on compact spaces

Two closely related results are presented, one of them concerned with the connection between topological and measure-theoretic properties of compact spaces, the other being a non-separable analogue of a result of Peŀczyński's about Banach spaces containingL ¹. Let τ be a regular cardinal satisfying the hypothesis that κ^ω<τ whenever κ<τ. The following are proved: 1) A compact spaceT carries a Radon measure which is homogeneous of type τ, if and only if there exists a continuous surjection ofT onto [0, 1]^τ. 2) A Banach spaceX has a subspace isomorphic tol ¹(τ) if and only ifX ^∗ has a subspace isomorphic toL ¹({0, 1}^τ). An example is given to show that a more recent result of Rosenthal's about Banach spaces containingl ¹ does not have an obvious transfinite analogue. A second example (answering a question of Rosenthal's) shows that there is a Banach spaceX which contains no copy ofl ¹ (ω₁), while the unit ball ofX ^∗ is not weakly^∗ sequentially compact.     

Uniqueness of the uniform norm and adjoining identity in Banach algebras

LetA _e be the algebra obtained by adjoining identity to a non-unital Banach algebra (A, ∥ · ∥). Unlike the case for aC*-norm on a Banach *-algebra,A _e admits exactly one uniform norm (not necessarily complete) if so doesA. This is used to show that the spectral extension property carries over fromA to A _e . Norms onA _e that extend the given complete norm ∥ · ∥ onA are investigated. The operator seminorm ∥ · ∥_op onA _e defined by ∥ · ∥ is a norm (resp. a complete norm) iffA has trivial left annihilator (resp. ∥ · ∥_op restricted toA is equivalent to ∥ · ∥).     

Geometry of Banach spaces with property β

We prove that every Banach space can be isometrically and 1-complementably embedded into a Banach space which satisfies property β and has the same character of density. Then we show that, nevertheless, property β satisfies a hereditary property. We study strong subdifferentiability of norms with property β to characterize separable polyhedral Banach spaces as those admitting a strongly subdifferentiable β norm. In general, a Banach space with such a norm is polyhedral. Finally, we provide examples of non-reflexive spaces whose usual norm fails property β and yet it can be approximated by norms with this property, namely (L ₁[0,1], ‖·‖1) and (C(K), ‖·‖∗) whereK is a separable Hausdorff compact space To the memory of A. Plans Supported in part by DGICYT grant PB 94-0243 and DGICYT PB 96-0607.     

A predual ofl 1 which is not isomorphic to aC(K) space

We give an example of a Banach spaceX such that (i)X ^* is isometric tol ₁, (ii)X is isometric to a subspace ofC(ω^θ) and (iii)X is not isomorphic to a complemented subspace of anyC(K) space. This is a part of the first author’s Ph. D. Thesis prepared in the Hebrew University of erusalem under the supervision of the second author.     

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 convergence of sections of sequences in Banach spaces

An elementary proof of the (known) fact that each element of the Banach spaceℓ _w ^p (X) of weakly absolutelyp-summable sequences (if 1≤p<∞) in the Banach spaceX is the norm limit of its sections if and only if each element ofℓ _w ^p (X) is a norm null sequence inX, is given. Little modification to this proof leads to a similar result for a family of Orlicz sequence spaces. Some applications to spaces of compact operators on Banach sequence spaces are considered.     

Sobolev embeddings into BMO, VMO, andL ∞

LetX be a rearrangement-invariant Banach function space onR ⁿ and letV ¹ X be the Sobolev space of functions whose gradient belongs toX. We give necessary and sufficient conditions onX under whichV ¹ X is continuously embedded into BMO or intoL _∞. In particular, we show thatL _{n, ∞} is the largest rearrangement-invariant spaceX such thatV ¹ X is continuously embedded into BMO and, similarly,L _{n, 1} is the largest rearrangement-invariant spaceX such thatV ¹ X is continuously embedded intoL _∞. We further show thatV ¹ X is a subset of VMO if and only if every function fromX has an absolutely continuous norm inL _{n, ∞} . A compact inclusion ofV ¹ X intoC ⁰ is characterized as well.     

The riesz turndown collar theorem giving an asymptotic estimate of the powers of an operator under the ritt condition

For Banach space operatorsT satisfying the Tadmor-Ritt condition ‖(zI−T)⁻¹‖≤C|z−1|⁻¹, |z|>1, we show how to use the Riesz turndown collar theorem to estimate sup _n≥0‖T ⁿ‖. A similar estimate is shown for lim sup _n ‖T ⁿ‖ in terms of the Ritt constantM=lim sup _z→1‖(1−z)(zI−T)⁻¹‖. We also obtain an estimate of the functional calculus for these operators proving, in particular, that ‖f(T)‖≤C _q‖f‖ _Mult , where ‖·‖ _Mult stands for the multiplier norm of the Cauchy-Stieltjes integrals over a Lusin type cone domain depending onC and a parameterq, 0<q<1. Notation.D denotes the open unit disc of the complex plane,D={z∈ℂ:|z|<1}, andT={z∈ℂ:|z|=1} is the unit circle.H ^∞ is the Banach algebra of bounded analytic functions onD equipped with the supremum norm ‖.‖_∞.     

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 . 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 , for certain external subspaces of the hyperfinite dimensional Banach space , 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 are isometrically isomorphic as Banach algebras. Research of both authors supported by a grant by VEGA – Scientific Grant Agency of Slovak Republic.     

Polar actions on Hilbert space

An isometricH-action on a Riemannian manifoldX is calledpolar if there exists a closed submanifoldS ofX that meets everyH-orbit and always meets orbits orthogonally (S is called a section). LetG be a compact Lie group equipped with a biinvariant metric,H a closed subgroup ofG ×G, and letH act onG isometrically by (h ₁,h ₂) ·x = h ₁ xh ₂ ⁻¹ · LetP(G, H) denote the group ofH ¹-pathsg: [0, 1] →G such that (g(0),g (1)) ∈H, and letP(G, H) act on the Hilbert spaceV = H ⁰([0, 1], g) isometrically byg * u = gug ⁻¹ −g′g ⁻¹. We prove that if the action ofH onG is polar with a flat section then the action ofP(G, H) onV is polar. Principal orbits of polar actions onV are isoparametric submanifolds ofV and are infinite-dimensional generalized real or complex flag manifolds. We also note that the adjoint actions of affine Kac-Moody groups and the isotropy action corresponding to an involution of an affine Kac-Moody group are special examples ofP(G, H)-actions for suitable choice ofH andG. Work supported partially by NSF Grant DMS 8903237 and by The Max-Planck-Institut für Mathematik in Bonn.     

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,