Banach ideals of operators with applications to the finite dimensional structure of Banach spaces

We present a few applications of the theory of Banach ideals of operators. In particular, we give operator characterizations of the ℒ _p spaces, compute the relative projection constant of isometric embeddings of Hilbert spaces inL _p -spaces, and show that Π₁ (E, F), the space of absolutely summing operators, is reflexive ifE andF are reflexive andE has the approximation property. Research supported by NSF-GP-34193 Research supported by NSF-Science Development Grant     

Approximation numbers of bounded operators

The theory of ideals of linear operators is well developed and has a lot of applications in theory and practise. The purpose of this paper is to give a first idea of a similar theory for bounded (nonlinear) operators. In view of applications we will not give an abstract (perhaps general nonsense) theory, but an example of a class λ_p of bounded operators with a structure similar to an $\text{L}$-module($\text{L}$ represents the class of all linear operators between Banach spaces), and applications to projection methods for solving equations with λ_p-type operators.     

Remarks on Banach spaces of compact operators

Let E and F be Banach spaces. We generalize several known results concerning the nature of the compact operators K(E, F) as a subspace of the bounded linear operators L(E, F). The main results are: (1) If E is a c₀ or l_p (1 < p < ∞) direct sum of a family of finite dimensional Banach spaces, then each bounded linear functional on K(E) admits a unique norm preserving extension to L(E). (2) If F has the bounded approximation property there is an isomorphism of $\text{L(E, F)}\text{into}\text{K(E, F)}{}^7$ such that its restriction to K(E, F) is the canonical injection. (3) If E is infinite dimensional and if F contains a complemented copy of c₀, K(E, F) is not complemented in L(E, F).     

Contractive Korovkin approximations

Our results are related to $\text{L}$¹-shadows in L_p-spaces. For p = 1 we will complete the characterization of $\text{L}$¹-shadows and $\text{L}$^1,1-shadows. For 1 < p < ∞ S. J. Bernau has shown that the $\text{L}$¹-shadow of a set in L_p is the range of a contractive projection. We will show that the corresponding theorem is not true for all reflexive spaces, but is true for locally uniformly convex reflexive spaces.     

Compactness and collective compactness in spaces of compact operators

This is a study of compactness in (a) spaces K_b(X, Y) of compact linear operators, (b) injective tensor products $\text{X}\text{}\text{?}\text{bo}{}_{\mathrm{?}}\text{Y}$, and (c) spaces L_c(X, Y) of continuous linear operators, and its various relationships with equicontinuity and collective compactness. Among the applications is a result on factoring compact sets of compact operators compactly and uniformly through one and the same reflexive Banach space.     

Smoothness and duality in Lp(E, μ)

Let (T, Σ, μ) be a measure space, E a Banach space, and L_p(E, μ) the Lebesque-Bochner function spaces for 1 < p < ∞. It is shown that L_p(E, μ) is smooth if and only if E is smooth. From this result a Radon-Nikodym theorem for conjugates of smooth Banach spaces is established, and thus a general geometric condition on E sufficient to ensure that $\text{L}{}_{\mathrm{p}}\text{(E, μ)}{}^1\text{? L}{}_{\mathrm{q}}\text{(E}{}^1\text{, μ)}$ for all p, 1 < p < ∞. Alternate proofs of certain known results concerning the duals of L_p(E, μ) spaces are provided.     

The Banach–Saks index of rearrangement invariant spaces on [0,1]

The set of all rearrangement invariant function spaces on [0,1] having the p-Banach–Saks property has a unique maximal element for all p∈(1,2]. For p=2 this is L₂, for p∈(1,2) this is L_p,∞⁰. We compute the Banach–Saks index for the families of Lorentz spaces $\text{L}{}_{\mathrm{p,q}}\text{,}\text{1<p<∞}$, 1?q?∞, and Lorentz–Zygmund spaces L(p,α), $\text{1?p<∞,}\text{α∈}\text{R}$, extending the classical results of Banach–Saks and Kadec–Pelczynski for L_p-spaces. Our results show that the set of rearrangement invariant spaces with Banach–Saks index p∈(1,2] is not stable with respect to the real and complex interpoltaion methods. To cite this article: E.M. Semenov, F.A. Sukochev, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

Banach spaces whose duals contain complemented subspaces isomorphic to C[0, 1]

We give several characterizations of those Banach spaces X such that the dual $\text{X}{}^1$ contains a complemented subspace isomorphic to $\text{C[0, 1]}{}^1$. We investigate operators on separable $\text{L}$_∞ spaces whose adjoints have nonseparable ranges and apply our results to obtain a structure theorem for $\text{L}$_∞ spaces whose duals are not isomorphic to l₁(Γ).     

Factoring weakly compact operators

The main result is that every weakly compact operator between Banach spaces factors through a reflexive Banach space. Applications of the result and technique of proof include new results (e.g., separable conjugate spaces embed isomorphically in spaces with boundedly complete bases; convex weakly compact sets are affinely homeomorphic to sets in a reflexive space) and simple proofs of known results (e.g., there is a reflexive space failing the Banach-Saks property; if X is separable, then $\text{X =}\text{Z}{}^7\text{Z}$ for some Z; there is a separable space which does not contain l₁ whose dual is nonseparable).     

Eigenvalues of p-summing and lp-type operators in Banach spaces

This paper is a study of the distribution of eigenvalues of various classes of operators. In Section 1 we prove that the eigenvalues (λ_n(T)) of a p-absolutely summing operator, p ? 2, satisfy

$\text{∑}\text{n∈N}\text{|λ}{}_{\mathrm{n}}\text{(T)|}{}^{\mathrm{p}}{}^{\mathrm{<mtext>1</mtext><mtext>p</mtext>}}\text{?π}{}_{\mathrm{p}}\text{(T).}$

This solves a problem of A. Pietsch. We give applications of this to integral operators in L_p-spaces, weakly singular operators, and matrix inequalities.In Section 2 we introduce the quasinormed ideal Π₂⁽ⁿ⁾, P = (p₁, …, p_n) and show that for T ∈ Π₂⁽ⁿ⁾, 2 = (2, …, 2) ∈ Nⁿ, the eigenvalues of T satisfy

$\text{∑}\text{i∈N}\text{|λ}{}_{\mathrm{i}}\text{(T)|}{}^{\mathrm{<mtext>2</mtext><mtext>n</mtext>}}{}^{\mathrm{<mtext>n</mtext><mtext>2</mtext>}}\text{?π}{}^{\mathrm{n}}{}_2\text{(T).}$

More generally, we show that for T ∈ Π_p⁽ⁿ⁾, P = (p₁, …, p_n), pi ? 2, the eigenvalues are absolutely p-summable,

$\text{1}\text{p}\text{=}\text{∑}\text{i=1}\text{n}\text{1}\text{p}{}_{\mathrm{i}}\text{and}\text{∑}\text{n∈N}\text{|λ}{}_{\mathrm{n}}\text{(T)|}{}^{\mathrm{p}}{}^{\mathrm{<mtext>1</mtext><mtext>p</mtext>}}\text{?C}{}_{\mathrm{p}}\text{π}{}^{\mathrm{n}}{}_{\mathrm{P}}\text{(T).}$

We also consider the distribution of eigenvalues of p-nuclear operators on L_r-spaces.In Section 3 we prove the Banach space analog of the classical Weyl inequality, namely

$\text{∑}\text{n∈N}\text{|λ}{}_{\mathrm{n}}\text{(T)|}{}^{\mathrm{p}}\text{? C}{}_{\mathrm{p}}\text{∑}\text{n∈N}\text{α}{}_{\mathrm{n}}\text{(T)}{}^{\mathrm{p}}$

, 0 < p < ∞, where α_n denotes the Kolmogoroff, Gelfand of approximation numbers of the operator T. This solves a problem of Markus-Macaev.Finally we prove that Hilbert space is (isomorphically) the only Banach space X with the property that nuclear operators on X have absolutely summable eigenvalues. Using this result we show that if the nuclear operators on X are of type l₁ then X must be a Hilbert space.     

On some results of Strichartz and of Rallis and Schiffman

Let (i, H, E) and (j, K, F) be abstract Wiener spaces and let α be a reasonable norm on E ? F. We are interested in the following problem: is ($\text{i ? j, H}\text{}\text{?}\text{bo}{}_2\text{K, E}\text{}\text{?}\text{bo}{}_{\mathrm{\alpha F}}$) an abstract Wiener space ? The first thing we do is to prove that the setting of the problem is meaningfull: namely, i ? j is always a continuous one to one map from $\text{H}\text{}\text{?}\text{bo}{}_2\text{K}$ into $\text{E}\text{}\text{?}\text{bo}{}_{\mathrm{\alpha }}\text{F}$. Then we exhibit an example which shows that the answer cannot be positive in full generality. Finally we prove that if F=L^p(X,$\text{X}$,λ) for some σ-finite measure λ ? 0 then $\text{(i?j, H}\text{?}{}_2\text{K,L}{}^{\mathrm{p}}$(X,$\text{X}$,λ) is an abstract Wiener space. By-products are some new results on γ-radonifying operators, and new examples of Banach spaces and cross norms for which the answer is affirmative (in particular α = π the projective norm, and F=L¹(X,$\text{X}$,λ)).     

When is an operator the integral of a given spectral measure?

For a closed densely defined operator T on a complex Hilbert space $\text{H}$ and a spectral measure E for $\text{H}$ of countable multiplicity q defined on a σ-algebra $\text{B}$ over an arbitrary space Λ we give three conceptually differing but equivalent answers to the question asked in the title of the paper (Theorem 1.5). We then study the simplifications which accrue when T is continuous or when q = 1 (Sect. 4). With the aid of these results we obtain necessary and sufficient conditions for T to be the integral of the spectral measure of a given group of unitary operators parametrized over a locally compact abelian group Γ (Sect. 5). Applying this result to the Hilbert space $\text{H}$ of functions which are L₂ with respect to Haar measure for Γ, we derive a generalization of Bochner's theorem on multiplication operators (Sect. 6). Some results on the multiplicity of indicator spectral measures over Γ are also obtained. When Γ = $\text{R}$ we easily deduce the classical theorem about the commutant of the associated self-adjoint operator (Sect. 7).     

Closed mappings onto metric spaces

We investigate the classes of spaces that can be mapped onto a metrizable space by a closed mapping with fibers having a given property $\text{P}$. We give some conditions which assure that such classes are closed under the action of perfect or open and compact mappings. Such a treatment includes the investigation of paracompact p-spaces and M-spaces. We also discuss spaces that can be mapped onto a metacompact Moore space.     

Vector-valued Modulation Spaces and Localization Operators with Operator-valued Symbols

We study the short-time Fourier transformation, modulation spaces, Gabor representations and time-frequency localization operators, for functions and tempered distributions that have as range space a Banach or a Hilbert space. In the Banach space case the theory of modulation spaces contains some modifications of the scalar-valued theory, depending on the Banach space. In the Hilbert space case the modulation spaces have properties similar to the scalar-valued case and the Gabor frame theory essentially works. For localization operators in this context symbols are operator-valued. We generalize two results from the scalar-valued theory on continuity on certain modulation spaces when the symbol belongs to an L^p,q space and M^∞, respectively. The first result is true for any Banach space as range space, and the second result is true for any Hilbert space as range space.     

Extensions of certain operators to spaces of abstract integrable functions

In this paper we discuss the extension of operators onL ₁ ^R spaces to operators onL ₁ ^E andP ₁ ^E spaces (see Section 1), whereE is a Banach space. A necessary and sufficient condition for the existence of the extension to a spaceP ₁ ^E is given (see Section 3) whenE has the weak Radon-Nikodym property. The paper contains certain applications to ergodic theory and a theorem giving a characterization of weakly conditionally compact sets.     

A rapidly convergent iteration method and Gâteaux differentiable operators

Let {F_r}_0?r?p be a family of Banach spaces satisfying, if 0?r₁?r₂?p, (i)F_r1 ? F_r2; (ii)$\text{¦f¦}{}_{\mathrm{r1}}\text{? ¦f¦}{}_{\mathrm{r2}}\text{(f ? F}{}_{\mathrm{r1}}\text{)}$; and (iii)$\text{?(r) = ln(¦f¦}{}_{\mathrm{r}}\text{)}$ is a convex function. Let G₀ be a Banach space and. $\text{F}$ be a Gâteaux differentiate mapping, and suppose that $\text{F}$′(x)(F_p) is dense in G₀. Under appropriate assumptions, the equation $\text{F}$(x)=0 has a solution in F_r for 0?r?p. The results extend the Inverse Function Theorem of J. Moser to the class of Gâteaux differentiable operators.     

A note on banach partial *-algebras

A Banach partial *-algebra is a locally convex partial *-algebra whose total space is a Banach space. A Banach partial *-algebra is said to be of type (B) if it possesses a generating family of multiplier spaces that are also Banach spaces. We describe the basic properties of such objects and display a number of examples, namely L ^p -like function spaces and spaces of operators on Hilbert scales.     

Normkonvergenz von Fourierreihen in rearrangement invarianten Banachräumen

This paper studies rearrangement invariant Banach spaces of 2π-periodic functions with respect to norm convergence of Fourier series. The main result is that norm convergence takes place if and only if the space is an interpolation space of $\text{(}\text{L}{}^{\mathrm{p\prime }}\text{(T),}\text{L}{}^{\mathrm{p}}\text{(T)), 1 < p < 2,}\text{1}\text{p′}\text{+}\text{1}\text{p}\text{= 1}$, and L^p′(T) is dense in it (compare Satz 2.8). Since norm convergence and continuity of the conjugation operator are closely connected (compare Satz 2.2), this is achieved by a careful examination of this operator similar to that of D. W. Boyd for the Hilbert transform on the whole real axis. Finally, there are applications to Orlicz and Lorentz spaces.     

Properties of representations of operators acting between spaces of vector-valued functions

A well-known result going back to the 1930s states that all bounded linear operators mapping scalar-valued L ¹-spaces into L ^∞-spaces are kernel operators and that in fact this relation induces an isometric isomorphism between the space of such operators and the space of all bounded kernels. We extend this result to the case of spaces of vector-valued functions. A recent result due to Arendt and Thomaschewski states that the local operators acting on L ^p -spaces of functions with values in separable Banach spaces are precisely the multiplication operators. We extend this result to non-separable dual spaces. Moreover, we relate positivity and other order properties of the operators to corresponding properties of the representations.