Banach spaces embedding intoL 0

Our main result in this paper is that a Banach spaceX embeds intoL ₁ if and only ifl ₁(X) embeds intoL ₀; more generally if 1≦p<2,X embeds intoL _p if and only ifl _p(X) embeds intoL ₀. Research supported by NSF grant MCS-8301099.     

Extension of positive functionals on certain ordered spaces

An ordered linear spaceL is said to satisfy extension property (E1) if for every directed subspaceM ofL and positive linear functional ϕ onM, ϕ can be extended toL. A Riesz spaceL is said to satisfy extension property (E2) if for every sub-Riesz spaceM ofL and every real valued Riesz homomorphism ϕ onM, ϕ can be extended toL as a Riesz homomorphism. These properties were introduced by Schmidt in [5]. In this paper, it is shown that an ordered linear space has extension property (E1) if and only if it is order isomorphic to a function spaceL′ defined on a setX′ such that iff andg belong toL′ there exists a finite disjoint subsetM of the set of functions onX′ such that each off andg is a linear combination of the points ofM. An analogous theorem is derived for Riesz spaces with extension property (E2).     

Renorming in the space of Bochner integrable functionsL 1(μ,X)

A sufficient condition is given when a subspaceL⊂L ₁(μ,X) of the space of Bochner integrable function, defined on a finite and positive measure space (S, Φ, μ) with values in a Banach spaceX, is locally uniformly convex renormable in terms of the integrable evaluations {∫ _A fdμ;f∈L}. This shows the lifting property thatL ₁(μ,X) is renormable if and only ifX is, and indicates a large class of renormable subspaces even ifX does not admit and equivalent locally uniformly convex norm.     

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.     

Lattice-embedding scales ofL p spaces into orlicz spaces

We study the setP _X of scalarsp such thatL ^p is lattice-isomorphically embedded into a given rearrangement invariant (r.i.) function spaceX[0, 1]. Given 0<α≤β<∞, we construct a family of Orlicz function spacesX=L ^F [0, 1], with Boyd indicesα andβ, whose associated setsP _X are the closed intervals [γ, β], for everyγ withα≤γ≤β. In particular forα>2, this proves the existence of separable 2-convex r.i. function spaces on [0,1] containing isomorphically scales ofL ^p -spaces for different values ofp. We also show that, in general, the associated setP _X is not closed. Similar questions in the setting of Banach spaces with uncountable symmetric basis are also considered. Thus, we construct a family of Orlicz spaces ℓ ^F (I), with symmetric basis and indices fixed in advance, containing ℓ ^p (Γ-subspaces for differentp’s and uncountable Λ⊂I. In contrast with the behavior in the countable case (Lindenstrauss and Tzafriri [L-T₁]), we show that the set of scalarsp for which ℓ ^p (Γ) is isomorphic to a subspace of a given Orlicz space ℓ ^F (I) is not in general closed. Supported in part by DGICYT grant PB 94-0243.     

AnF-space with trivial dual where the Krein-Milman theorem holds

We show that in certain non-locally convex Orlicz function spacesL _ϕ with trivial dual every compact convex set is locally convex and hence the Krein-Milman theorem holds. This complements the example constructed by Roberts of a compact convex set without extreme points inL _p (0<p<1) and answers a question raised by Shapiro.     

Uniform embeddings of metric spaces and of banach spaces into hilbert spaces

It is proved using positive definite functions that a normed spaceX is unifomly homeomorphic to a subset of a Hilbert space, if and only ifX is (linearly) isomorphic to a subspace of aL ₀(μ) space (=the space of the measurable functions on a probability space with convergence in probability). As a result we get thatl _p (respectivelyL _p (0, 1)), 2<p<∞, is not uniformly embedded in a bounded subset of itself. This answers negatively the question whether every infinite dimensional Banach space is uniformly homeomorphic to a bounded subset of itself. Positive definite functions are also used to characterize geometrical properties of Banach spaces. Partially supported by the National Science Foundation, Grant MCS-79-03322. Partially supported by the National Science Foundation, Grant MCS-80-06073.     

On isometric stability of complemented subspaces of L p

We show that the Rudin-Plotkin isometry extension theorem inL _pimplies that whenX andY are isometric subspaces ofL _pandp is not an even integer, 1≤p<∞, thenX is complemented inL _pif and only ifY is; moreover, the constants of complementation ofX andY are equal. We provide examples demonstrating that this fact fails whenp is an even integer larger than 2.     

Daniell integral represented by Radon measures

LetL be a sublattice of the space of real continuous functions defined on a Suslin spaceX, such that at no point all the functions inL vanish. Then it is shown that every Daniell integrall μ:L → IR is representable by a Radon measurem onX: μ(ϕ)=∫ϕdm ∀ϕ∈L. The measurem may be uniquely determined by constraining it to be concentrated on a certain type of subset ofX. The relation betweenL ¹(μ) andL ¹(m) is examined in detail.     

On the isometries of the Lorentz function spaces

LetT be an (into linear) isometry on a (real or complex) Lorentz function spaceL _w,p,1≤p<∞. We show that iff andg have disjoint support, thenT f andT g also have disjoint support. Using this result, we give a characterization of the isometries ofL _w,p.     

Onl p-complemented copies in Orlicz spaces

Let 1<α≦β<∞ andF be an arbitrary closed subset of the interval [α,β]. An Orlicz sequence spacel ^φ (resp. an Orlicz function spaceL ^φ(μ)) with associated indices α and β is found in such a way that the set of valuesp for which thel ^p-space is isomorphic to a complemented subspace ofl ^φ (resp.L ^φ(μ)) is precisely the given setF (resp.F ∪ {2}). Also, a recent result of Hernández and Peirats [1] is extended showing that, even for the case in which the indices satisfy α_φ ^∞<2<β_φ ^∞, there exist minimal Orlicz function spacesL ^φ(μ) with no complemented copy ofl ^p for anyp ≠ 2. Supported in part by CAICYT grant 0338-84.     

Stochastic integration for abstract, two parameter stochastic processes I. Stochastic processes with finite semivariation in banach spaces

In this paper we define the stochastic integral for two parameter processes with values in a Banach spaceE. We use a measure theoretic approach. To each two parameter processX withX _st ∈L _E ^p we associate a measureI _X with values inL _E ^p . IfX isp-summable, i.e. ifI _X can be extended to aσ-additive measure with finite semivariation on theσ-algebra of predictable sets, then the integralε HdI _X can be defined and the stochastic integral is defined by (H·X) _z =ε _[0,z] HdI _X . We prove that the processes with finite variation and the processes with finite semivariation are summable and their stochastic integral can be computed pathwise, as a Stieltjes Integral of a special type.     

Code length between Markov processes

LetX ₁ andX ₂ be two mixing Markov shifts over finite alphabet. If the entropy ofX ₁ is strictly larger than the entropy ofX ₂, then there exists a finitary homomorphism ϕ:X ₁→X ₂ such that the code length is anL ^p random variable for allp<4/3. In particular, the expected length of the code ϕ is finite. Research supported by KBN grant 2 P03A 039 15 1998–2001.     

An example of L-fuzzy join space

On a generalized deMorgan lattice (X, ≤, ∨, ∧,′) we introduce a family of join hyperoperations * _p , parametrized by a parameterp εX. As a result we obtain a family of join spaces (X, * _p ). We show that: for everya,b εX the family {a*_pb} _pεX can be considered as thep-cuts of aL-fuzzy seta*b; in this manner we synthesize aL-fuzzy hyperoperation * which takes pairs fromX toL-fuzzy subsets ofX. We then show that (X, * _p ) is aL-fuzzy hypergroup (in the sense of Corsini) and can be considered as aL-fuzzy join space. Furthermore,a*b is aL-fuzzy interval for alla,b εX.     

L 1 (μ, X) as a constrained subspace of its bidual

In this note we consider the property of being constrained in the bidual, for the space of Bochner integrable functions. For a Banach spaceX having the Radon-Nikodym property and constrained in its bidual and forY ⊂ X, under a natural assumption onY, we show thatL ¹ (μ, X/Y) is constrained in its bidual andL ¹ (μ, Y) is a proximinal subspace ofL ¹(μ, X). As an application of these results, we show that, ifL ¹(μ, X) admits generalized centers for finite sets and ifY ⊂ X is reflexive, thenL ¹ μ, X/Y) also admits generalized centers for finite sets.     

On subsequences of the Haar system inL p [0, 1], (1<p<∞)

We show that ifX is the closed linear span inL _p [0,1] of a subsequence of the Haar system, thenX is isomorphic either tol _p or toL _p [0,1], [1<p<∞]. We give criteria to determine which of these cases holds; for a given subsequence, this is independent ofp. This is part of the second author's Ph.D. dissertation, written at the University of Alberta under the supervision of J. L. B. Galmen. The first author's research was partially supported by NRC A7552.     

On Orlicz sequence spaces. II

Given a separable Orlicz sequence spacel _F we investigate those Orlicz sequence spacesl _f which are isomorphic to subspaces (respectively complemented subspaces) ofl _F. We give in particular an example of a reflexive Orlicz sequence space which does not contain anyl _p, 1<p<∞, as a complemented subspace.     

The minimal cardinality where the Reznichenko property fails

A topological spaceX has the Fréchet-Urysohn property if for each subsetA ofX and each elementx inĀ, there exists a countable sequence of elements ofA which converges tox. Reznichenko introduced a natural generalization of this property, where the converging sequence of elements is replaced by a sequence of disjoint finite sets which eventually intersect each neighborhood ofx. In [5], Kočinac and Scheepers conjecture: The minimal cardinality of a setX of real numbers such thatC _p(X) does not have the weak Fréchet-Urysohn property is equal to b. (b is the minimal cardinality of an unbounded family in the Baire space^Nℕ.) We prove the Kočinac-Scheepers conjecture by showing that ifC _p(X) has the Reznichenko property, then a continuous image ofX cannot be a subbase for a non-feeble filter on ℕ. The author is partially supported by the Golda Meir Fund and the Edmund Landau Center for Research in Mathematical Analysis and Related Areas, sponsored by the Minerva Foundation (Germany).     

The Frattini Subalgebra of Restricted Lie Superalgebras

In the present paper, we study the Frattini subalgebra of a restricted Lie superalgebra （L, [p]）. We show first that if L = A1 ＋ A2 ＋… ＋An, then Фp（L） = Фp（A1） ＋Фp（A2） ＋…＋Фp（An）, where each Ai is a p-ideal of L. We then obtain two results： F（L） = Ф（L） = J（L） = L if and only if L is nilpotent; Fp（L） and F（L） are nilpotent ideals of L if L is solvable. In addition, necessary and sufficient conditions are found for Фp-free restricted Lie superalgebras. Finally, we discuss the relationships of E-p-restricted Lie superalgebras and E-restricted Lie superalgebras.     

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.