Embedding Subspaces of Lp into 𝓁Np, 0 < p < 1

It is shown that if X is an n – dimensional subspace of L_p, 0 < p < 1, then there exists a subspace Y of 𝓁^N_p such that d(X, Y) ≤ 1 + ε and N ≤ C(ε, p)n(log n)³.     

Operators on <Emphasis Type="Italic">C</Emphasis>[0,1] preserving copies of asymptotic ℓ<Subscript>1</Subscript> spaces

Given separable Banach spaces X, Y, Z and a bounded linear operator T:X→Y, then T is said to preserve a copy of Z provided that there exists a closed linear subspace E of X isomorphic to Z and such that the restriction of T to E is an into isomorphism. It is proved that every operator on C([0,1]) which preserves a copy of an asymptotic ℓ₁ space also preserves a copy of C([0,1]).     

Continuous Linear Extension of Ultradifferentiable Functions of Beurling Type

For a weight function ω and a closed set A ? ?^N let ?_(ω)(A) denote the space of all ω-Whitney jets of Beurling type on A. It is shown that for each closed set A ? ?^N there exists an ω-extension operator EA: ?_(ω)(A) → ?_(ω)(?^N) if and only if ω is a (DN)-function (see MEISE and TAYLOR [18], 3.3). Moreover for a fixed compact set K ? ?^N there exists an ω-extension operator E_K: ?_(ω)(K) → ?_(ω)(?^N) if and only if the Fréchet space ?_(ω)(K) satisfies the property (DN) (see Vogt [29], 1.1.).     

The Facial and Inner Ideal Structure of a Real JBW*–Triple

Let B be a real JBW*–triple with predual B_* and canonical hermitification the JBW*–triple A It is shown that the set 𝒰(B)^∼ consisting of the partially ordered set 𝒰(B) of tripotents in B with a greatest element adjoined forms a sub–complete lattice of the complete lattice 𝒰(A)^∼ of tripotents in A with the same greatest element adjoined. The complete lattice 𝒰(B)^∼ is shown to be order isomorphic to the complete lattice ℱ_n(B_*1 of norm–closed faces of the unit ball B_*1 in B_* and anti–order isomorphic to the complete lattice ℱ_w*(B₁) of weak*–closed faces of the unit ball B₁ in B. Consequently, every proper norm–closed face of B_*1 is norm–exposed (by a tripotent) and has the property that it is also a norm–closed face of the closed unit ball in the predual of the hermitification of B. Furthermore, every weak*–closed face of B₁ is weak*–semi–exposed, and, if non–empty, of the form u + B₀(u)₁ where u is a tripotent in B and B₀(u)₁ is the closed unit ball in the zero Peirce space B₀(u) corresponding to u. A structural projection on B is a real linear projection R on B such that, for all elements a and b in B, {Ra b Ra}_B is equal to R{a Rb a}_B. A subspace J of B is said to be an inner ideal if {J B J}_B is contained in J and J is said to be complemented if B is the direct sum of J and the subspace Ker(J) defined to be the set of elements b in B such that, for all elements a in J, {a b a}_B is equal to zero. It is shown that every weak*–closed inner ideal in B is complemented or, equivalently, the range of a structural projection. The results are applied to JBW–algebras, real W*–algebras and certain real Cartan factors.     

Into isomorphisms in tensor products of Banach spaces

We establish quantitative extensions of two Grothendieck's results on into isomorphisms in projective tensor products. Among others, we prove the following. Let Y be a closed subspace of a Banach space Z and let j : Y → Z denote the identity embedding. If Y is complemented in its bidual Y??, then the injection modulus of the natural inclusion Id ? j : Y??Y → Y??Z satisfies 1/λ _loc (Y,Z) ≤ i(Id ? j) ≤ λ(Y,Y??)/λ(Y,Z), where λ(·,·) and λ_loc(·,·) are, respectively, the projection and the local projection constants.     

A Note on the Embedding of Subspaces of Lp into ℓNr, 0 < r < 1, r ≦ p < 2

In this paper we extend a result by Bourgain-Lindenstrauss-Milman (see [1]). We prove: Let 0 < ? < 1/2, 0< r < 1, r< p < 2. There exists a constant C = C(r,p,?) such that if X is any n-dimensional subspace of L_p(0, l), then there exists Y ? ?^N_r with d(X, Y) ≦ 1 + ?, whenever N > Cn. As an application, we obtain the following partial result: Let 0 < r < 1. There exist constants C = C(r) and C' = C' (r) such that if X is any n-dimensional subspace of L_r(0,1), then there exists Y ? ^N_r with d(X, Y) ≦ C (logn)^l/^r, whenever N ≧ C'n.     

Best approximation in L(μ, X), II

The object of this paper is to prove the following theorem: If Y is a closed subspace of the Banach space X, then L¹(μ, Y) is proximinal in L¹(μ, X) if and only if L^p(μ, Y) is proximinal in L^p(μ, Y) for every p, 1 < p < ∞. As an application of this result we prove that if Y is either reflexive or Y is a separable proximinal dual space, then L¹(μ, Y) is proximinal in L¹(μ, X).     

On the complemented subspaces problem

A Banach space is isomorphic to a Hilbert space provided every closed subspace is complemented. A conditionally σ-complete Banach lattice is isomorphic to anL _p -space (1≤p<∞) or toc ₀(Γ) if every closed sublattice is complemented.     

A note on operator Banach spaces containing a complemented copy of c0

Let X and Y Banach spaces. Two new properties of operator Banach spaces are introduced. We call these properties "boundedly closed" and "d-boundedly closed". Among other results, we prove the following one. Let U(X, Y){\cal U}(X, Y) an operator Banach space containing a complemented copy of c₀. Then we have: 1) If U(X, Y){\cal U}(X, Y) is boundedly closed then Y contains a copy of c₀. 2) If U(X, Y){\cal U}(X, Y) is d-boundedly closed, then X^* or Y contains a copy of c₀.     

Copies of c0(Г) and ?∞(Г)/c0(Г) in quotients of Banach spaces with applications to Orlicz and Marcinkiewicz spaces

Let X be a Banach space, let Y be its subspace, and let Г be an infinite set. We study the consequences of the assumption that an operator T embeds ?_221E;(Г) into X isomorphically with T(c₀(Г)) ⊂ Y. Under additional assumptions on T we prove the existence of isomorphic copies of c₀(Г^ℵ0) in X/Y, and complemented copies ?_∞(Г) in X/Y. In concrete cases we obtain a new information about the structure of X/Y. In particular, L∞[O,1]/C[O,1] contains a complemented copy of ?_∞/c₀, and some natural (lattice) quotients of real Orlicz and Marcinkiewicz spaces contain lattice-isometric and positively I-complemented copies of(real) ?_∞/c₀.     

A remark about the interpolation of spaces of continuous, vector-valued functions

If A is a sectorial operator on a Banach space X, then the space C([0,1];(X,D(A))_θ,∞) is a subspace of the interpolation space (C([0,1];X),C([0,1];D(A)))_θ,∞. The inclusion is strict in general.     

Pointwise Best Approximation in the Space of Strongly Measurable Functions with Applications to Best Approximation in L(μ,X)

The object of this paper is to prove the following theorem: Let Y be a closed subspace of the Banach space X, (S,Σ,μ) a σ-finite measure space, L(S,Y) (respectively, L(S, X)) the space of all strongly measurable functions from S to Y (respectively, X), and p a positive number. Then L(S,Y) is pointwise proximinal in L(S,X) if and only if L^p(μ,Y) is proximinal in L^p(μ,X). As an application of the theorem stated above, we prove that if Y is a separable closed subspace of the Banach space X, p is a positive number, then L^p(μ,Y) is proximinal in L^p(μ,X) if and only if Y is proximinal in X. Finally, several other interesting results on pointwise best approximation are also obtained.     

Proximinality in Subspaces of c0

We say that a normed linear space X is a R(1) space if the following holds: If Y is a closed subspace of finite codimension in X and every hyperplane containing Y is proximinal in X then Y is proximinal in X. In this paper we show that any closed subspace of c₀ is a R(1) space.     

Some cardinal invariants on the space

Let C_α(X,Y) be the set of all continuous functions from X to Y endowed with the set-open topology where α is a hereditarily closed, compact network on X such that closed under finite unions. We define two properties (E1) and (E2) on the triple (α,X,Y) which yield new equalities and inequalities between some cardinal invariants on C_α(X,Y) and some cardinal invariants on the spaces X, Y such as: Theorem If Y is an equiconnected space with a base consisting of φ-convex sets, then for each fC(X,Y), χ(f,C_α(X,Y))=αa(X).w_e(f(X)).Corollary Let Y be a noncompact metric space and let the triple (α,X,Y) satisfy (E1). The following are equivalent:

(i) C_α(X,Y) is a first-countable space.

(ii) π-character of the space C_α(X,Y) is countable.

(iii) C_α(X,Y) is of pointwise countable type.

(iv) There exists a compact subset K of C_α(X,Y) such that π-character of K in the space C_α(X,Y) is countable.

(v) αa(X)₀.

(vi) C_α(X,Y) is metrizable.

(vii) C_α(X,Y) is a q-space.

(viii) There exists a sequence of nonempty open subset of C_α(X,Y) such that each sequence with g_nO_n for each nω, has a cluster point in C_α(X,Y).

The limit space Cc(X,Y) and the connected components of X and Y

Let X and Y be limit spaces (in the sense of FISCHER). For f ? C(X, Y), let [f] denote the subset of C(X, Y), where the maps take the connected components of X into those of Y quite analogously to f. The subspace [f] of the continuous convergence space C_c(X, Y) is written as a product II C_c(X_i, Y_k(i)), where X_i runs through the components of X and Y_k(i) always is the component of Y which contains the set f(X_i). Sufficient conditions for the representation C_c(X, Y) = Σ [f] are given (in terms of the spaces X and Y). Some applications on limit homeomorphism groups are included.     

The linearity coefficient of metric projections onto a Chebyshev subspace

The linearity coefficient λ(Y) of a metric projection P _Y onto a subspace Y in a Banach space X is determined. This coefficient turns out to be related to the Lipschitz norm of the operator P _Y . It is proved that, for any Chebyshev subspace Y in the space C or L ₁, either λ(Y) = 1 (which corresponds to the linearity of P _Y ) or λ(Y) ≤ 1/2.     

Linearly ordered compacta and Banach spaces with a projectional resolution of the identity

We construct a compact linearly ordered space Kω₁ of weight ℵ₁, such that the space C(Kω₁) is not isomorphic to a Banach space with a projectional resolution of the identity, while on the other hand, Kω₁ is a continuous image of a Valdivia compact and every separable subspace of C(Kω₁) is contained in a 1-complemented separable subspace. This answers two questions due to O. Kalenda and V. Montesinos.     

Some well-posed functional equations which generate semigroups

Consider the abstract linear functional equation (FE) (Dx)(t) = f(t) (t ? 0), x(t) = ?(t) (t ? 0) in a Banach space B. A theorem is proven which contains the following result as a special case. Let Y(R; B; η) be a L^p-space or C₀-space on R = (?t8, ∞), with a suitable weight function η, and with values in B. Let D be a closed (unbounded) causal linear operator in Y(R; B; η), which commutes with translations. Suppose that D + λI has a continuous causal inverse for some complex λ, and that D restricted to those functions in Y(R;B;η) which vanish on R^? = (?∞, 0] has a continuous causal inverse. Then (FE) generates a strongly continuous semigroup of translation type on a Banach space, which is essentially the cross product of the restriction of the domain of D to R^? and Y(R⁺; B; η). Examples with B = Cⁿ on how the theory applies to a neutral functional differential equation, a difference equation, a Volterra integrodifferential equation (with nonintegrable kernel but integrable resolvent), and a fractional order functional differential equation are given. Also, an abstract neutral functional differential equation in a Hilbert space is studied and applications to an abstract Volterra integrodifferential equation in a Banach space are indicated.     

2-Summing operators on C([0, 1], lp) with values in l1

Let Ω be a compact Hausdorff space, X a Banach space, C(Ω, X) the Banach space of continuous X-valued functions on Ω under the uniform norm, U: C(Ω, X) → Y a bounded linear operator and U ^#, U _# two natural operators associated to U. For each 1 ≤ s < ∞, let the conditions (α) U ∈ Π _s (C(Ω, X), Y); (β)U ^# ∈ Π _s (C(Ω), Π _s (X, Y)); (γ) U _# ε Π _s (X, Π _s (C(Ω), Y)). A general result, [10, 13], asserts that (α) implies (β) and (γ). In this paper, in case s = 2, we give necessary and sufficient conditions that natural operators on C([0, 1], l _p ) with values in l ₁ satisfies (α), (β) and (γ), which show that the above implication is the best possible result.     

Increasing η ‐representable degrees

In this paper we prove that any Δ₃⁰ degree has an increasing η ‐representation. Therefore, there is an increasing η ‐representable set without a strong η ‐representation (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)