- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Recently Accepted Articles ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Journal of Function Spaces and Applications

Volumeย 2012ย (2012), Article IDย 357210, 15 pages

http://dx.doi.org/10.1155/2012/357210

## Lattice Copies of in of a Vector Measure and Strongly Orthogonal Sequences

Instituto Universitario de Matemรกtica Pura y Aplicada, Universidad Politรฉcnica de Valencia, Camino de Vera, s/n, 46022 Valencia, Spain

Received 24 February 2012; Accepted 17 July 2012

Academic Editor: John R.ย Akeroyd

Copyright ยฉ 2012 E. Jimรฉnez Fernรกndez and E. A. Sรกnchez Pรฉrez. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

Let **m** be an -valued (countably additive) vector measure and consider the space (**m**) of square integrable functions with respect to **m**. The integral with respect to **m** allows to define several notions of orthogonal sequence in these spaces. In this paper, we center our attention in the existence of strongly **m**-orthonormal sequences. Combining the use of the Kadec-Pelczyลski dichotomy in the domain space and the Bessaga-Pelczyลski principle in the range space, we construct a two-sided disjointification method that allows to prove several structure theorems for the spaces (**m**) and (**m**). Under certain requirements, our main result establishes that a normalized sequence in (**m**) with a weakly null sequence of integrals has a subsequence that is strongly **m**-orthonormal in (), where is another -valued vector measure that satisfies (**m**)โ=โ(). As an application of our technique, we give a complete characterization of when a space of integrable functions with respect to an -valued positive vector measure contains a lattice copy of .

#### 1. Introduction

In recent years, vector measure integration has been shown to be a good framework for the analysis of the properties of Banach function spaces and the operators defined on them. In particular, it is a powerful tool for representing Banach function spaces providing an additional integration structure. For instance, every 2-convex order continuous Banach function space with weak unit can be written as a space of integrable functions with respect to a suitable vector measure ([1, Th. 2.4]; see also [2, Ch.3] for more information). As in the case of the Hilbert spaces of square integrable functions, sequences in that satisfy some orthogonality properties with respect to the vector valued integral become useful both for studying the geometry of the space [3โ5] and for applications, mainly in the context of the function approximation [3, 6, 7].

In contrast to the scalar case, several notions of -orthogonality are possible in the case of an -valued (countably additive) vector measure . A sequence in is said to be *strongly *-*orthonormal* if the integral of the product of two different functions is and the integral of each is , where is an orthonormal sequence in . In this paper, we center our attention in this strong version of -orthogonal sequence, giving a complete characterization of the spaces in which such sequences exist; actually, we will show that this fact is closely connected to the existence of lattice copies of in the corresponding space that is preserved by the integration map. In order to do this, we develop a sort of two-sided Kadec-Pelczyลski disjointification technique. Roughly speaking, this procedure allows to produce sequences of normalized functions in โor โwhich are almost disjoint and have integrals that are almost orthogonal in : after an isomorphic change of vector measure, we obtain our results both for the existence of strongly -orthogonal sequences in and the existence of lattice copies of in .

The paper is organized as follows. After the preliminary Section 2, we analyze in Section 3 the existence of strongly orthonormal sequences in , and we show that it is a genuine vector valued phenomenon, in the sense that they do not exist for scalar measures and in the case of their natural extensions, vector measures with compact integration maps. Actually, later on we prove that they do not exist for -valued measures with disjointly strictly singular integration maps. In the positive, we show in Theorem 3.7 that under reasonable requirements, given an -orthonormal sequence in , it is possible to construct another vector measure such that(1) is a *strongly *-orthonormal sequence in ,(2).

Combining with the Kadec-Pelczyลski dichotomy, the requirement on the sequence of being -strongly orthogonal can be relaxed to being weakly null (Corollary 3.9), obtaining in this case a sequence of functions satisfying (1) and (2) that approximates a subsequence of the original one. Some examples and direct consequences of this result are also given. Finally, Section 4 is devoted to show some applications in the context of the structure theory of Banach function spaces, focusing our attention in Banach function lattices that are represented as spaces of square integrable functions with respect to an -valued vector measure and are not Hilbert spaces. For the case of positive measures, we show that the existence of strongly -orthonormal sequences is equivalent of the existence of lattice copies of in and lattice copies of in (Proposition 4.3 and Theorem 4.5). The translation of these results for the space gives the following result on its structure that can also be written in terms of the integration map (Theorem 4.7): the space contains a normalized weakly null sequence if and only if it has a reflexive sublattice if and only if it contains a lattice copy of .

#### 2. Preliminaries

In this section, we introduce several definitions and comments regarding the spaces . We refer to [8] for definitions and basic results on vector measures. Let be a Banach space. We will denote by the unit ball of , that is . will be the topological dual of . Let be a -algebra on a nonempty set . Throughout the paper will be a countably additive vector measure. The *semivariation* of is the nonnegative function whose value on a set is given by . The *variation * of on a measurable set is given by for , where the supremum is computed over all finite measurable partitions of . The variation is a monotone countably additive function on โa positive scalar measureโ, while the semivariation is a monotone subadditive function on , and for each we have that .

For each element , the formula , , defines a (countably additive) scalar measure. As usual, we say that a sequence of -measurable functions converges -almost everywhere if it converges pointwise in a set such that . A sequence converges -almost everywhere if it converges in a set that satisfies that the semivariation of in is .

Let be a positive scalar measure. The measure is *absolutely continuous* with respect to if ; in this case we write and we say that is a control measure for . Countably additive vector measures always have control measures. It is known that there exists always an element such that . We call such a scalar measure a *Rybakov measure* for (see [8, Ch.IX,2] ). If is a Rybakov measure for , a sequence of -measurable functions converges -almost everywhere if and only if it converges -almost everywhere.

A -measurable function is integrable with respect to if it is integrable with respect to each scalar measure , and for every there is an element such that for every . The set of all the (classes of โa.e. equal) โintegrable functions defines an order continuous Banach function space with weak unit โin the sense of [9, p.28]โover *any* Rybakov measure for that is endowed with the norm
The reader can find the definitions and fundamental results concerning the space in [2, 10โ12].

The spaces are defined extending the definition above in a natural manner [1, 2, 13]. They are -convex order continuous Banach function spaces with weak unit over any Rybakov measure, with the norm
It is also known that if , and , then the pointwise product belongs to (see for instance [2, Ch.3]). We will consider the integration operator associated to the vector measure , that is defined by , . The properties of the integration map have been largely studied in several recent papers (see [2, 14โ17] and the references therein). If are indexes of a set , we write for the Kronecker delta as usual. A sequence in is called -*orthogonal* if for positive constants . If for all , it is called -*orthonormal*. The properties of these sequences have been recently analyzed in a series of papers, and some applications have been already developed (see [3โ7, 18]). In this paper, we deal with the following more restrictive version of orthogonality for -valued measures.

*Definition 2.1. *Let be a vector measure. We say that is a *strongly *-*orthogonal sequence* if for an orthonormal sequence in and for . If for every , we say that it is a *strongly *-*orthonormal sequence*.

We need some elements on Banach-lattice-valued vector measures; in particular, on -valued measures when the order in is considered. If is a Banach lattice, we say that a vector measure is positive if for all . Note that if is positive and is a positive element of the Banach lattice , then the measure coincides with its variation. We refer to [2, 9, 19] for general questions concerning Banach lattices and Banach function spaces. An operator between Banach lattices is called strictly singular if no restriction to an infinite dimensional subspace give an isomorphism, and -singular if this happens for subspaces isomorphic to . It is called disjointly strictly singular if no restriction to the closed linear span of a disjoint sequence is an isomorphism.

We use standard Banach spaces notation. A sequence in a Banach space is called a *Schauder basis* of (or simply a *basis*) if for every there exists a unique sequence of scalars such that . A sequence which is a Schauder basis of its closed span is called a *basic sequence*. Let and be two basis for the Banach spaces and , respectively. Then and are equivalent if and only if there is an isomorphism between and that carries each to .

Let be a basic sequence of a Banach space and take two sequences of positive integers and satisfying that for every . A * block basic sequence * associated to is a sequence of vectors of defined as finite linear combinations as , where are real numbers. We refer to [20, Ch.V] for the definition of block basic sequence and to [9, 20] for general questions concerning Schauder basis.

#### 3. Strongly m-Orthogonal Sequences in

This section is devoted to show how to construct strongly -orthonormal sequences in . Let us start with an example of the kind of sequences that we are interested in.

*Example 3.1 3.1. *Let be Lebesgue measure space (Figure 1). Let be the *Rademacher* function of period defined at the interval , . Consider the vector measure given by , .

Note that if then . Consider the sequence of functions

This sequence can be used to define a strongly -orthogonal sequence, since
If we define the functions of the sequence by , we get

The starting point of our analysis is the Bessaga-Pelczyลski selection principle. It establishes that if is a basis of the Banach space and is the sequence of coefficient functionals, if we take a normalized sequence such that , then admits a basic subsequence that is equivalent to a block basic sequence of (see for instance Theorem 3 in [20, 21], Ch.V). We adapt this result for sequences of square integrable functions in order to identify when the sequence of integrals is a basic sequence in . The following result is a direct consequence of the principle mentioned above. Notice that the first requirement in Proposition 3.2 is obviously satisfied in the case of -orthonormal sequences. The second condition constitutes the key of the problem.

Proposition 3.2. *Let be a vector measure, and consider the canonical basis of . Let be a sequence in . If there is an such that the sequence satisfies*(1)*,
*(2)*,
** then has a subsequence which is a basic sequence. Moreover, it is equivalent to a block basic sequence of .*

Let us highlight with an example the geometrical meaning of the requirements above. This is, in a sense, the canonical situation involving disjointness.

*Example 3.3 ([5, Ex.10]). *Let be a probability measure space. Let us consider the following vector measure ,
where is a disjoint measurable partition of , with for all . Notice that for all . Consider a sequence of norm one functions in such that for all . For every , the following equalities hold:

Therefore, condition (2.2) of Proposition 3.2 is fulfilled in this example: the role of disjointness is clear.

In what follows, we show that *if the integration operator is compact then there are no strongly *-orthonormal *sequences*. In particular, this shows that the existence of such sequences is a pure vector measure phenomenon, since the integration map is obviously compact when the measure is scalar. Compactness of the integration map is nowadays well characterized (see [2, Ch.3] and the references therein); it is a strong property, in the sense that it implies that the space is lattice isomorphic to the space of the variation of , that is a scalar measure (see [2, Prop.3.48]). We need the next formal requirement for the elements of the sequence . We say that a function is *normed by the integral* if . This happens for instance when the vector measure is positive (see [22] or [2, Lemma 3.13]), since in this case the norm can be computed using the formula for all . We impose this requirement for the aim of clarity; some of the results could be adapted using a convenient renorming process in order to avoid it.

*Remark 3.4. *Let be a countably additive vector measure. If there exists a strongly -orthonormal sequence in which elements are normed by the integrals, then the integration operator is not compact. To see this, let be a strongly -orthonormal sequence in and consider a orthonormal sequence . Then , an thus
Therefore , and so the sequence that satisfies that does not admit any convergent subsequence. It follows that is not compact and so, is not relatively compact. This allows to conclude that is not compact.

Theorem 3.7 below gives a necessary conditionโand, in a sense, also a sufficient conditionโfor the existence of strongly orthonormal sequences in a space of functions starting from a given -orthonormal sequence. The existence of such -orthonormal sequences is always assured: just consider a sequence of normalized disjoint functions in . The following result is an application of the Kadec-Pelczyลski disjointification procedure for order continuous Banach function spacesโalso called the Kadec-Pelczyลski dichotomy, see Theorem 4.1 in [23, 24]โ, in the following version, that can be found in [25] (see the comments after Proposition 1.1). *Let ** be an order continuous Banach function space over a finite measure ** with a weak unit *(*this implies *)*. Consider a normalized sequence ** in **. Then *(1)*either ** is bounded away from zero,*(2)*or there exists a subsequence ** and a disjoint sequence ** in ** such that **.*

Recall that the space is an order continuous Banach function space over any Rybakov (finite) measure for .

Proposition 3.5. *Let be a normalized sequence in . Suppose that there exists a Rybakov measure for such that is not bounded away from zero. Then there are a subsequence of and an -orthonormal sequence such that .*

*Proof. *By the criterion given above, there is a subsequence of and a disjoint sequence such that . Consider the sequence given by the functions . Then . Since for every due to the fact that they are disjoint, we obtain the result.

Although the existence of a strongly -orthonormal subsequence of an -orthogonal sequence cannot be assured in general, we show in what follows that under the adequate requirements it is possible to find a vector measure satisfying that and with respect to which there is a subsequence that is strongly -orthonormal. We use the following lemma, which proof is elementary (see Lemma 3.27 in [2]).

Lemma 3.6. *Let be a vector measure. Let be an isomorphism, where is a separable Hilbert space, and consider the vector measure . Then the spaces and are isomorphic, and for every , .*

Theorem 3.7. *Let us consider a vector measure and an -orthonormal sequence of functions in that are normed by the integrals. Let be the canonical basis of . If for every , then there exists a subsequence of and a vector measure such that is strongly -orthonormal.**Moreover, can be chosen to be as for some Banach space isomorphism from onto , and so .*

*Proof. *Consider an -orthonormal sequence in and the sequence of integrals . As an application of Proposition 3.2, we get a subsequence that is equivalent to a block basic sequence of the canonical basis of . Recall that according to the notation given in Section 2, are the constants that appear in the definition of the block basic sequence. Associated to this sequence, there is an isomorphism
such that , .

We can suppose without loss of generality that the elements of the sequence have norm one. To see this, it is enough to consider the following inequalities. First note that there are positive constants and such that for every , as a consequence of the existence of the isomorphism . Let be a sequence of real numbers. Then
The existence of an upper and a lower bound for the real numbers given above provides the equivalence between this quantity and for each sequence of real numbers .

Since each closed subspace of a Hilbert space is complemented, there is a subspace such that isometrically, where this direct sum space is considered as a Hilbert space (with the adequate Hilbert space norm). We write and for the corresponding projections. Let us consider the linear map , where is the identity map.

Note that is a Hilbert space with the scalar product
that can be identified with . Obviously, is an isomorphism. Let us consider now the vector measure . By Lemma 3.6, . Let us show that is a strongly -orthonormal sequence. We consider the orthonormal sequence in . The first condition in the definition of strongly orthonormal sequence is fulfilled, since
for every . The second one is given by the following calculations. For ,
since is continuous and is an -orthonormal sequence. Thus we get . This proves the theorem.

*Remark 3.8. *In a certain sense, the converse of Theorem 3.7 also holds. Take as the vector measure the measure itself with values in and consider the canonical basis . Clearly, every strongly -orthonormal sequence is -orthonormal and satisfies the condition , since

Corollary 3.9. *Let be a countably additive vector measure. Let be a normalized sequence of functions in that are normed by the integrals. Suppose that there exists a Rybakov measure for such that is not bounded away from zero. If for every , then there is a (disjoint) sequence such that *(1)* for a given subsequence of , and*(2)*it is strongly -orthonormal for a certain Hilbert space valued vector measure defined as in Theorem 3.7 that satisfies that . *

This is a direct consequence of Proposition 3.5 and Theorem 3.7. For the proof, just take into account the continuity of the integration map and the fact that the elements of the sequence are normed by the integrals.

#### 4. Applications: Copies of in That Are Preserved by the Integration Map

One of the consequences of the results of the previous section is that the existence of strongly -orthonormal sequences in is closely related to the existence of lattice copies of in . In this section, we show how to apply our arguments for finding some information on the structure of the spaces and the properties of the associated integration map.

Our motivation has its roots in the general problem of finding subspaces of Banach function spaces that are isomorphic to . It is well known that in general these copies are related to weakly null normalized sequences; the arguments that prove this relation go back to the Kadec-Pelczyลski dichotomy and have been applied largely in the study of strictly singular embeddings between Banach function spaces [25, 26]. In some relevant classes of Banach function spacesโ-spaces, Lorentz spaces, Orlicz spaces, and general rearrangement invariant (r.i.) spacesโthese copies are related to subspaces generated by Rademacher-type sequences (see [27โ30] and the references therein). For instance, Corollary 2 in [27] states that for a r.i. Banach function space on , if the norms on and are equivalent on some infinite dimensional subspace of , then the Rademacher functions span a copy of in . However, our construction generates copies of that are essentially different. Actually, they are defined by positive or even disjoint functions, and so the copies of that our results produce allow to conclude that if there is a normalized sequence of positive functions with a weakly null sequence of integrals, the integration map is neither disjointly strictly singular nor -singular.

On the other hand, it is well known that strongly orthonormal sequencesโthat are called -orthonormal systems in Definition 2 of [5]โdefine isometric copies of in spaces of a positive vector measure (see Propositions 8 and 11 in [5]). In particular, this makes clear that the existence of these sequences imply that is not a Hilbert space, and so is not an -space. However, there is a big class of Banach function spaces that can be represented as of an -valued positive vector measure (see for instance Example 10 in [5] or Example 8 in [4]). The -spaces associated to such vector measures are sometimes called -sums of -spaces. In Section 4 of [31], a first attempt to study -convex subspacesโthe natural extension of -copies in this settingโof -sums of -spaces was made. Also, a first analysis of the question of when is a Hilbert spaceโbased on the behavior of specific sequences tooโwas made in [11, Sectionโโ4]. In what follows, we provide more information on the existence of copies of in spaces of a positive vector measure, and the closely related problem of the existence of in . After that, some contributions to the analysis to the study of strictly singular integration maps are given. Recently, a new considerable effort has been made in order to find the links between the belonging of the integration map to a particular class of operators and the structure properties of the space . For integration maps belonging to relevant operator ideals, this has been done in [16, 17, 32] (see also [2, Ch.5] and the references therein). For geometric and order properties of the integration mapโmainly concavity and positive p-summing type propertiesโ, we refer to [33, 34] and [2, Ch.6].

For the aim of clarity, in this section we deal with positive vector measures, thatโas we said in the previous sectionโsatisfy that all the elements of the spaces are normed by the integrals. In this case, it can be shown that there is an easy characterization of strongly -orthonormal sequences, which simplifies the arguments.

*Remark 4.1. *Suppose that a vector measure satisfies that the set separates the points of and assume that for a given sequence , for every such that and . Then for every . This is a direct consequence of Hรถlder's inequality and the integrability with respect to of all the functions involved. For the particular case of *positive* vector measures, the standard basis of plays the role of ; this means that the requirement for all automatically implies that is a strongly **m**-orthonormal sequence.

Lemma 4.2. *Let be a positive vector measure, and suppose that the bounded sequence in satisfies that for all . Then there is a Rybakov measure for such that .*

*Proof. *Take for instance the sequence . Since is positive, the measure is positive and defines a Rybakov measure for . Since for all and the requirement on imply that it is weakly null, we obtain by Hรถlder's inequality that .

Proposition 4.3. *Let be a positive (countably additive) vector measure. Let be a normalized sequence in such that for every , . Then contains a lattice copy of . In particular, there is a subsequence of that is equivalent to the unit vector basis of .*

*Proof. *By Lemma 4.2, we can use Corollary 3.9 to produce a disjoint sequence in that approximates a subsequence of and is strongly -orthogonal. The same computations that can be found in the proof of Proposition 8 in [5] show that for finite sums , the norm in is equivalent to the norm of in . Consequently, the closure of these finite sums in provides a copy of . The disjointness of implies that in fact it is a lattice copy. Note also that is equivalent to and so to the unit vector basis of .

As a direct consequence, we obtain that for a positive vector measure , the existence of a normalized sequence of functions such that the sequence of square integrals is weakly null implies that cannot be a Hilbert space. On the other hand, if the integration map is compact, then isomorphically (see Proposition 3.48 in [2]), and thus is (isomorphic to) a Hilbert space. Notice first the following obvious consequence of this fact: *is isomorphic to an **-space of a finite measure ** if and only if there is a positive **-valued vector vector measure *โโ*such that *โโ*such that the integration map is compact*; the converse statement is proved by considering the vector measure , . However, as the next example shows, there are spaces for positive -valued vector measures with noncompact integration map that are Hilbert spaces. We will find in Corollary 4.6 that this conclusionโ not being an -space, and so not to be a Hilbert spaceโcan be extended to the case of strictly singular integration maps.

*Example 4.4. *(1)* An **-valued measure such that ** is a Hilbert space and the integration map is not compact.* Consider the Hilbert space and a orthonormal basis for it. Consider the associated isomorphism that carries each function to the -summable sequence of its fourier coefficients. Take the vector measure given by for each Lebesgue measurable set . Then , although is in fact an isomorphism.

(2)* A positive **-valued measure with noncompact integration map such that ** is a Hilbert space.* Consider a vector measure as in Example 3.3 and define the positive measure by , . A direct computation shows that the norm in is equivalent to the one in . Then isomorphically, and is clearly noncompact.

Next result shows the consequences on the structure of of our arguments about the existence of strongly orthonormal sequences in .

Theorem 4.5. *Let be a positive (countably additive) vector measure. Let be a normalized sequence in such that for every , for all . Then there is a subsequence such that generates an isomorphic copy of in that is preserved by the integration map. Moreover, there is a normalized disjoint sequence that is equivalent to the previous one and gives a lattice copy of in that is preserved by .*

*Proof. *By Corollary 3.9 and Lemma 4.2, there is a (normalized) disjoint sequence in that is equivalent to a subsequence of . Let us prove directly that generates an isomorphic copy of in . Let the vector measure given in Corollary 3.9 and let be the norm of . Since for every there is a subsequence of the one above (that we denote as the previous one) that satisfies that
Fix an . We have that, by Hรถlder inequality,
This means that
Similar computations give the converse inequality. The construction of and the disjointness of the functions of the sequence give the last statement.

Corollary 4.6. *Let be a positive (countably additive) vector measure. The following assertions are equivalent. *(1)*There is a normalized sequence in satisfying that for all the elements of the canonical basis of . *(2)*There is an -valued vector measure an isomorphismโsuch that and there is a disjoint sequence in that is strongly -orthonormal.*(3)*There is a subspace that is fixed by the integration map which satisfies that there are positive functions such that is an orthonormal basis for .*(4)*There is an -valued vector measure defined as an isomorphismโsuch that and a subspace of such that the restriction of to is a lattice isomorphism in .*

*Proof. * is a direct consequence of Theorem 4.5. For , just notice that the strong -orthogonality of a disjoint sequence implies that gives a lattice copy of preserved by the integration map . Since , we obtain that is a basis for .

. There is a bounded sequence in such that , where is a orthonormal basis of closure of the subspace , and an isomorphism from to such that . By composing with the integration map, the copy of that is fixed by can be considered in such a way that . Consequently, for all , and so for all . It is enough to take .

is obvious.

. Take the normalized sequence of positive functions in such that is equivalent to the standard basis of , and define . The weak to weak continuity of gives the result.

We have shown that the existence of lattice copies of in is directly connected with the existence of lattice copies of in . Thus, and summarizing the results in this section, we finish the paper with a complete characterization of this property for of a positive -valued vector measure .

Theorem 4.7. *The following assertions for a positive vector measure are equivalent. *(1)* contains a lattice copy of . *(2)* has a reflexive infinite dimensional sublattice. *(3)* has a relatively weakly compact normalized sequence of disjoint functions. *(4)* contains a weakly null normalized sequence. *(5)*There is a vector measure defined by such that integration map fixes a copy of . *(6)*There is a vector measure defined as that is not disjointly strictly singular. *

*Proof. * are obvious. For , just take into account that disjoint normalized sequences in weakly compact sets of Banach lattices are weakly null (see for instance the proof of Proposition 3.6.7 in [19]).

. Take a weakly null normalized sequence in . By (the arguments used in) Lemma 4.2 we can find a Rybakov measure for such that . Now we use the same arguments that lead to Theorem 3.7 and Corollary 3.9; by the Kadec-Pelczyลski dichotomy, there exists a subsequence of and a disjoint sequence in the unit sphere of such that . Notice that also converges weakly to , so by taking a subsequence and after restricting the supports of the functions and renorming if necessary, we obtain a normalized weakly null positive disjoint sequence . This gives the copy of that is fixed by the integration map associated to a vector measure satisfying by for the canonical basis of . Finally, and are evident.

#### Acknowledgment

The support of the Ministerio de Economรญa y Competitividad, under Project no.MTM2009-14483-C02-02 (Spain) is gratefully acknowledged.

#### References

- A. Fernández, F. Mayoral, F. Naranjo, C. Sáez, and E. A. Sánchez-Pérez, โSpaces of $p$-integrable functions with respect to a vector measure,โ
*Positivity*, vol. 10, no. 1, pp. 1โ16, 2006. View at Publisher ยท View at Google Scholar - S. Okada, W. J. Ricker, and E. A. Sánchez Pérez,
*Optimal Domain and Integral Extension of Operators*, vol. 180, Birkhäuser, Basel, Switzerland, 2008. - L. M. García-Raffi, D. Ginestar, and E. A. Sánchez-Pérez, โIntegration with respect to a vector measure and function approximation,โ
*Abstract and Applied Analysis*, vol. 5, no. 4, pp. 207โ226, 2000. View at Publisher ยท View at Google Scholar - S. Oltra, E. A. Sánchez Pérez, and O. Valero, โSpaces ${L}_{2}(\lambda )$ of a positive vector measure $\lambda $ and generalized Fourier coefficients,โ
*The Rocky Mountain Journal of Mathematics*, vol. 35, no. 1, pp. 211โ225, 2005. View at Publisher ยท View at Google Scholar ยท View at Zentralblatt MATH - E. A. Sánchez Pérez, โVector measure orthonormal functions and best approximation for the 4-norm,โ
*Archiv der Mathematik*, vol. 80, no. 2, pp. 177โ190, 2003. View at Publisher ยท View at Google Scholar ยท View at Zentralblatt MATH - L. M. García-Raffi, D. Ginestar, and E. A. Sánchez Pérez, โVector measure orthonormal systems and self-weighted functions approximation,โ
*Kyoto University*, vol. 41, no. 3, pp. 551โ563, 2005. View at Publisher ยท View at Google Scholar ยท View at Zentralblatt MATH - L. M. García Raffi, E. A. Sánchez Pérez, and J. V. Sánchez Pérez, โCommutative sequences of integrable functions and best approximation with respect to the weighted vector measure distance,โ
*Integral Equations and Operator Theory*, vol. 54, no. 4, pp. 495โ510, 2006. View at Publisher ยท View at Google Scholar ยท View at Zentralblatt MATH - J. Diestel and J. J. Uhl,
*Vector Measures*, vol. 15, American Mathematical Society, Providence, RI, USA, 1977. - J. Lindenstrauss and L. Tzafriri,
*Classical Banach Spaces, I and II*, Springer, Berlin, Germany, 1996. - R. G. Bartle, N. Dunford, and J. T. Schwartz, โWeak compactness and vector measures,โ
*Canadian Journal of Mathematics*, vol. 7, pp. 289โ305, 1955. View at Publisher ยท View at Google Scholar ยท View at Zentralblatt MATH - G. P. Curbera, โBanach space properties of ${L}^{1}$ of a vector measure,โ
*Proceedings of the American Mathematical Society*, vol. 123, no. 12, pp. 3797โ3806, 1995. View at Publisher ยท View at Google Scholar ยท View at Zentralblatt MATH - D. R. Lewis, โIntegration with respect to vector measures,โ
*Pacific Journal of Mathematics*, vol. 33, pp. 157โ165, 1970. View at Zentralblatt MATH - E. A. Sánchez Pérez, โCompactness arguments for spaces of $p$-integrable functions with respect to a vector measure and factorization of operators through Lebesgue-Bochner spaces,โ
*Illinois Journal of Mathematics*, vol. 45, no. 3, pp. 907โ923, 2001. - R. del Campo, A. Fernández, I. Ferrando, F. Mayoral, and F. Naranjo, โMultiplication operators on spaces on integrable functions with respect to a vector measure,โ
*Journal of Mathematical Analysis and Applications*, vol. 343, no. 1, pp. 514โ524, 2008. View at Publisher ยท View at Google Scholar ยท View at Zentralblatt MATH - R. del Campo, A. Fernandez, I. Ferrando, F. Mayoral, and F. Naranjo, โCompactness of multiplication operators on spaces of integrable functions with respect to a vector measure,โ in
*Vector Measures, Integration and Related Topics*, vol. 201 of*Oper. Theory Adv. Appl.*, pp. 109โ113, Birkhäuser Verlag, Basel, 2010. - S. Okada and W. J. Ricker, โThe range of the integration map of a vector measure,โ
*Archiv der Mathematik*, vol. 64, no. 6, pp. 512โ522, 1995. View at Publisher ยท View at Google Scholar ยท View at Zentralblatt MATH - S. Okada, W. J. Ricker, and L. Rodríguez-Piazza, โCompactness of the integration operator associated with a vector measure,โ
*Studia Mathematica*, vol. 150, no. 2, pp. 133โ149, 2002. View at Publisher ยท View at Google Scholar ยท View at Zentralblatt MATH - E. Jiménez Fernández and E. A. Sánchez Pérez, โWeak orthogonal sequences in ${L}^{2}$ of a vector measure and the Menchoff-Rademacher Theorem,โ
*Bulletin of the Belgian Mathematical Society Simon Stevin*, vol. 19, no. 1, pp. 63โ80, 2012. - P. Meyer-Nieberg,
*Banach Lattices*, Springer, Berlin, Germany, 1991. View at Publisher ยท View at Google Scholar - J. Diestel,
*Sequences and Series in Banach Spaces*, Springer, New York, NY, USA, 1984. View at Publisher ยท View at Google Scholar - C. Bessaga and A. Pełczyński, โOn bases and unconditional convergence of series in Banach spaces,โ
*Polska Akademia Nauk*, vol. 17, pp. 151โ164, 1958. View at Zentralblatt MATH - R. del Campo and E. A. Sánchez-Pérez, โPositive representations of ${L}^{1}$ of a vector measure,โ
*Positivity*, vol. 11, no. 3, pp. 449โ459, 2007. View at Publisher ยท View at Google Scholar ยท View at Zentralblatt MATH - T. Figiel, W. B. Johnson, and L. Tzafriri, โOn Banach lattices and spaces having local unconditional structure, with applications to Lorentz function spaces,โ
*Journal of Approximation Theory*, vol. 13, pp. 395โ412, 1975. View at Publisher ยท View at Google Scholar ยท View at Zentralblatt MATH - M. I. Kadec and A. Pełczyński, โBases, lacunary sequences and complemented subspaces in the spaces ${L}_{p}$,โ
*Studia Mathematica*, vol. 21, pp. 161โ176, 1962. - J. Flores, F. L. Hernández, N. J. Kalton, and P. Tradacete, โCharacterizations of strictly singular operators on Banach lattices,โ
*Journal of the London Mathematical Society*, vol. 79, no. 3, pp. 612โ630, 2009. View at Publisher ยท View at Google Scholar ยท View at Zentralblatt MATH - W. B. Johnson and G. Schechtman, โMultiplication operators on $L({L}_{p})$ and ${\ell}_{p}$-strictly singular operators,โ
*Journal of the European Mathematical Society*, vol. 10, no. 4, pp. 1105โ1119, 2008. View at Publisher ยท View at Google Scholar - F. L. Hernandez, S. Ya. Novikov, and E. M. Semenov, โStrictly singular embeddings between rearrangement invariant spaces,โ
*Positivity*, vol. 7, no. 1-2, pp. 119โ124, 2003. View at Publisher ยท View at Google Scholar ยท View at Zentralblatt MATH - S. J. Montgomery-Smith and E. M. Semenov, โEmbeddings of rearrangement invariant spaces that are not strictly singular,โ
*Positivity*, vol. 4, no. 4, pp. 397โ402, 2000. View at Publisher ยท View at Google Scholar ยท View at Zentralblatt MATH - S. Ya. Novikov, E. M. Semenov, and F. L. Hernández, โStrictly singular embeddings,โ
*Functional Analysis and Its Applications*, vol. 36, no. 1, pp. 71โ73, 2002. - S. J. Dilworth, โSpecial Banach lattices and their applications,โ in
*Handbook of the Geometry of Banach Spaces I*, chapter 12, Elsevier, Amsterdam, The Netherlands, 2001. - A. Fernández, F. Mayoral, F. Naranjo, C. Sáez, and E. A. Sánchez-Pérez, โVector measure Maurey-Rosenthal-type factorizations and $l$-sums of ${L}^{1}$-spaces,โ
*Journal of Functional Analysis*, vol. 220, no. 2, pp. 460โ485, 2005. View at Publisher ยท View at Google Scholar - S. Okada, W. J. Ricker, and L. Rodríguez-Piazza, โOperator ideal properties of vector measures with finite variation,โ
*Studia Mathematica*, vol. 250, no. 3, pp. 215โ249, 2011. - J. M. Calabuig, J. Rodríguez, and E. A. Sánchez-Pérez, โOn the structure of ${L}^{1}$ of a vector measure via its integration operator,โ
*Integral Equations and Operator Theory*, vol. 64, no. 1, pp. 21โ33, 2009. View at Publisher ยท View at Google Scholar ยท View at Zentralblatt MATH - J. M. Calabuig, J. Rodr guez, and E. A. Sánchez-Pérez, โInterpolation subspaces of L1 of a vector measure and norm inequalities for the integration operator,โ
*Contemporary Mathematics*, vol. 561, pp. 155โ163, 2012.