vector measures and classical disjointification methods
TRANSCRIPT
![Page 1: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/1.jpg)
Vector measures and classical disjointification methods
Enrique A. Sanchez Perez
I.U.M.P.A.-U. Politecnica de Valencia,Joint work with Eduardo Jimenez (U.P.V.)
Madrid, October 2012
E. Sanchez Vector measures and classical disjointification methods
![Page 2: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/2.jpg)
Vector measures and classical disjointification methods
Enrique A. Sanchez Perez
I.U.M.P.A.-U. Politecnica de Valencia,Joint work with Eduardo Jimenez (U.P.V.)
Madrid, October 2012
E. Sanchez Vector measures and classical disjointification methods
![Page 3: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/3.jpg)
E. Sanchez Vector measures and classical disjointification methods
![Page 4: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/4.jpg)
Motivation
In this talk we show how the classical disjointification methods (Bessaga-Pelczynski,Kadecs-Pelczynski) can be applied in the setting of the spaces of p-integrable functionswith respect to vector measures. These spaces provide in fact a representation ofp-convex order continuous Banach lattices with weak unit; the additional tool of thevector valued integral for each function has already shown to be fruitful for the analysisof these spaces. Consequently, our results can be directly extended to a broad class ofBanach lattices.
Following this well-known technique, we show that combining Kadecs-PelczynskiDichotomy, vector measure orthogonality and with disjointness in the range of theintegration map, we can determine the structure of the subspaces of our family ofBanach function spaces.
These results can already be found in some recent papers and preprints incollaboration with J.M. Calabuig, E. Jimenez, S. Okada, J. Rodrıguez and P. Tradacete.
E. Sanchez Vector measures and classical disjointification methods
![Page 5: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/5.jpg)
Motivation
In this talk we show how the classical disjointification methods (Bessaga-Pelczynski,Kadecs-Pelczynski) can be applied in the setting of the spaces of p-integrable functionswith respect to vector measures. These spaces provide in fact a representation ofp-convex order continuous Banach lattices with weak unit; the additional tool of thevector valued integral for each function has already shown to be fruitful for the analysisof these spaces. Consequently, our results can be directly extended to a broad class ofBanach lattices.
Following this well-known technique, we show that combining Kadecs-PelczynskiDichotomy, vector measure orthogonality and with disjointness in the range of theintegration map, we can determine the structure of the subspaces of our family ofBanach function spaces.
These results can already be found in some recent papers and preprints incollaboration with J.M. Calabuig, E. Jimenez, S. Okada, J. Rodrıguez and P. Tradacete.
E. Sanchez Vector measures and classical disjointification methods
![Page 6: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/6.jpg)
Motivation
In this talk we show how the classical disjointification methods (Bessaga-Pelczynski,Kadecs-Pelczynski) can be applied in the setting of the spaces of p-integrable functionswith respect to vector measures. These spaces provide in fact a representation ofp-convex order continuous Banach lattices with weak unit; the additional tool of thevector valued integral for each function has already shown to be fruitful for the analysisof these spaces. Consequently, our results can be directly extended to a broad class ofBanach lattices.
Following this well-known technique, we show that combining Kadecs-PelczynskiDichotomy, vector measure orthogonality and with disjointness in the range of theintegration map, we can determine the structure of the subspaces of our family ofBanach function spaces.
These results can already be found in some recent papers and preprints incollaboration with J.M. Calabuig, E. Jimenez, S. Okada, J. Rodrıguez and P. Tradacete.
E. Sanchez Vector measures and classical disjointification methods
![Page 7: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/7.jpg)
Disjointification procedures: General Scheme.
Let m : Σ→ E be a vector measure. Consider the space Lp(m) of p-integrablefunctions with respect to m.
1 The first result (Bessaga-Pelczynski) allows to work with orthogonality notions inthe range space: orthogonal integrals.
2 The second one (Kadec-Pelczynski) provides the tools for analyzing disjointfunctions in Lp(m).
3 Combining both results: structure of subspaces in Lp(m).
E. Sanchez Vector measures and classical disjointification methods
![Page 8: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/8.jpg)
Disjointification procedures: General Scheme.
Let m : Σ→ E be a vector measure. Consider the space Lp(m) of p-integrablefunctions with respect to m.
1 The first result (Bessaga-Pelczynski) allows to work with orthogonality notions inthe range space: orthogonal integrals.
2 The second one (Kadec-Pelczynski) provides the tools for analyzing disjointfunctions in Lp(m).
3 Combining both results: structure of subspaces in Lp(m).
E. Sanchez Vector measures and classical disjointification methods
![Page 9: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/9.jpg)
Disjointification procedures: General Scheme.
Let m : Σ→ E be a vector measure. Consider the space Lp(m) of p-integrablefunctions with respect to m.
1 The first result (Bessaga-Pelczynski) allows to work with orthogonality notions inthe range space: orthogonal integrals.
2 The second one (Kadec-Pelczynski) provides the tools for analyzing disjointfunctions in Lp(m).
3 Combining both results: structure of subspaces in Lp(m).
E. Sanchez Vector measures and classical disjointification methods
![Page 10: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/10.jpg)
Disjointification procedures: General Scheme.
Let m : Σ→ E be a vector measure. Consider the space Lp(m) of p-integrablefunctions with respect to m.
1 The first result (Bessaga-Pelczynski) allows to work with orthogonality notions inthe range space: orthogonal integrals.
2 The second one (Kadec-Pelczynski) provides the tools for analyzing disjointfunctions in Lp(m).
3 Combining both results: structure of subspaces in Lp(m).
E. Sanchez Vector measures and classical disjointification methods
![Page 11: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/11.jpg)
Disjointification procedures: General Scheme.
Let m : Σ→ E be a vector measure. Consider the space Lp(m) of p-integrablefunctions with respect to m.
1 The first result (Bessaga-Pelczynski) allows to work with orthogonality notions inthe range space: orthogonal integrals.
2 The second one (Kadec-Pelczynski) provides the tools for analyzing disjointfunctions in Lp(m).
3 Combining both results: structure of subspaces in Lp(m).
E. Sanchez Vector measures and classical disjointification methods
![Page 12: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/12.jpg)
DEFINITIONS: Banach function spaces
(Ω,Σ,µ) be a finite measure space.
L0(µ) space of all (classes of) measurable real functions on Ω.
A Banach function space (briefly B.f.s.) is a Banach space X ⊂ L0(µ) of locallyintegrable functions with norm ‖ · ‖X such that if f ∈ L0(µ), g ∈ X and |f | ≤ |g|µ-a.e. then f ∈ X and ‖f‖X ≤ ‖g‖X .
A B.f.s. X has the Fatou property if for every sequence (fn)⊂ X such that 0≤ fn ↑ fµ-a.e. and supn ‖fn‖X < ∞, it follows that f ∈ X and ‖fn‖X ↑ ‖f‖X .
We will say that X is order continuous if for every f , fn ∈ X such that 0≤ fn ↑ fµ-a.e., we have that fn→ f in norm.
E. Sanchez Vector measures and classical disjointification methods
![Page 13: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/13.jpg)
DEFINITIONS: Banach function spaces
(Ω,Σ,µ) be a finite measure space.
L0(µ) space of all (classes of) measurable real functions on Ω.
A Banach function space (briefly B.f.s.) is a Banach space X ⊂ L0(µ) of locallyintegrable functions with norm ‖ · ‖X such that if f ∈ L0(µ), g ∈ X and |f | ≤ |g|µ-a.e. then f ∈ X and ‖f‖X ≤ ‖g‖X .
A B.f.s. X has the Fatou property if for every sequence (fn)⊂ X such that 0≤ fn ↑ fµ-a.e. and supn ‖fn‖X < ∞, it follows that f ∈ X and ‖fn‖X ↑ ‖f‖X .
We will say that X is order continuous if for every f , fn ∈ X such that 0≤ fn ↑ fµ-a.e., we have that fn→ f in norm.
E. Sanchez Vector measures and classical disjointification methods
![Page 14: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/14.jpg)
DEFINITIONS: Banach function spaces
(Ω,Σ,µ) be a finite measure space.
L0(µ) space of all (classes of) measurable real functions on Ω.
A Banach function space (briefly B.f.s.) is a Banach space X ⊂ L0(µ) of locallyintegrable functions with norm ‖ · ‖X such that if f ∈ L0(µ), g ∈ X and |f | ≤ |g|µ-a.e. then f ∈ X and ‖f‖X ≤ ‖g‖X .
A B.f.s. X has the Fatou property if for every sequence (fn)⊂ X such that 0≤ fn ↑ fµ-a.e. and supn ‖fn‖X < ∞, it follows that f ∈ X and ‖fn‖X ↑ ‖f‖X .
We will say that X is order continuous if for every f , fn ∈ X such that 0≤ fn ↑ fµ-a.e., we have that fn→ f in norm.
E. Sanchez Vector measures and classical disjointification methods
![Page 15: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/15.jpg)
DEFINITIONS: Banach function spaces
(Ω,Σ,µ) be a finite measure space.
L0(µ) space of all (classes of) measurable real functions on Ω.
A Banach function space (briefly B.f.s.) is a Banach space X ⊂ L0(µ) of locallyintegrable functions with norm ‖ · ‖X such that if f ∈ L0(µ), g ∈ X and |f | ≤ |g|µ-a.e. then f ∈ X and ‖f‖X ≤ ‖g‖X .
A B.f.s. X has the Fatou property if for every sequence (fn)⊂ X such that 0≤ fn ↑ fµ-a.e. and supn ‖fn‖X < ∞, it follows that f ∈ X and ‖fn‖X ↑ ‖f‖X .
We will say that X is order continuous if for every f , fn ∈ X such that 0≤ fn ↑ fµ-a.e., we have that fn→ f in norm.
E. Sanchez Vector measures and classical disjointification methods
![Page 16: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/16.jpg)
DEFINITIONS: Banach function spaces
(Ω,Σ,µ) be a finite measure space.
L0(µ) space of all (classes of) measurable real functions on Ω.
A Banach function space (briefly B.f.s.) is a Banach space X ⊂ L0(µ) of locallyintegrable functions with norm ‖ · ‖X such that if f ∈ L0(µ), g ∈ X and |f | ≤ |g|µ-a.e. then f ∈ X and ‖f‖X ≤ ‖g‖X .
A B.f.s. X has the Fatou property if for every sequence (fn)⊂ X such that 0≤ fn ↑ fµ-a.e. and supn ‖fn‖X < ∞, it follows that f ∈ X and ‖fn‖X ↑ ‖f‖X .
We will say that X is order continuous if for every f , fn ∈ X such that 0≤ fn ↑ fµ-a.e., we have that fn→ f in norm.
E. Sanchez Vector measures and classical disjointification methods
![Page 17: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/17.jpg)
DEFINITIONS: Banach function spaces
(Ω,Σ,µ) be a finite measure space.
L0(µ) space of all (classes of) measurable real functions on Ω.
A Banach function space (briefly B.f.s.) is a Banach space X ⊂ L0(µ) of locallyintegrable functions with norm ‖ · ‖X such that if f ∈ L0(µ), g ∈ X and |f | ≤ |g|µ-a.e. then f ∈ X and ‖f‖X ≤ ‖g‖X .
A B.f.s. X has the Fatou property if for every sequence (fn)⊂ X such that 0≤ fn ↑ fµ-a.e. and supn ‖fn‖X < ∞, it follows that f ∈ X and ‖fn‖X ↑ ‖f‖X .
We will say that X is order continuous if for every f , fn ∈ X such that 0≤ fn ↑ fµ-a.e., we have that fn→ f in norm.
E. Sanchez Vector measures and classical disjointification methods
![Page 18: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/18.jpg)
DEFINITIONS: Vector measures and integration
Let m : Σ→ E be a vector measure, that is, a countably additive set function,where E is a real Banach space.
A set A ∈Σ is m-null if m(B) = 0 for every B ∈Σ with B ⊂ A. For each x∗ in thetopological dual E∗ of E , we denote by |x∗m| the variation of the real measurex∗m given by the composition of m with x∗. There exists x∗0 ∈ E∗ such that |x∗0m|has the same null sets as m. We will call |x∗0m| a Rybakov control measure for m.
A measurable function f : Ω→ R is integrable with respect to m if(i)
∫|f |d |x∗m|< ∞ for all x∗ ∈ E∗.
(ii) For each A ∈Σ, there exists xA ∈ E such that
x∗(xA) =∫
Af dx∗m, for all x∗ ∈ E .
The element xA will be written as∫
A f dm.
A measurable function satisfying only the first requirement is called a weaklyintegrable function.
E. Sanchez Vector measures and classical disjointification methods
![Page 19: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/19.jpg)
DEFINITIONS: Vector measures and integration
Let m : Σ→ E be a vector measure, that is, a countably additive set function,where E is a real Banach space.
A set A ∈Σ is m-null if m(B) = 0 for every B ∈Σ with B ⊂ A. For each x∗ in thetopological dual E∗ of E , we denote by |x∗m| the variation of the real measurex∗m given by the composition of m with x∗. There exists x∗0 ∈ E∗ such that |x∗0m|has the same null sets as m. We will call |x∗0m| a Rybakov control measure for m.
A measurable function f : Ω→ R is integrable with respect to m if(i)
∫|f |d |x∗m|< ∞ for all x∗ ∈ E∗.
(ii) For each A ∈Σ, there exists xA ∈ E such that
x∗(xA) =∫
Af dx∗m, for all x∗ ∈ E .
The element xA will be written as∫
A f dm.
A measurable function satisfying only the first requirement is called a weaklyintegrable function.
E. Sanchez Vector measures and classical disjointification methods
![Page 20: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/20.jpg)
DEFINITIONS: Vector measures and integration
Let m : Σ→ E be a vector measure, that is, a countably additive set function,where E is a real Banach space.
A set A ∈Σ is m-null if m(B) = 0 for every B ∈Σ with B ⊂ A. For each x∗ in thetopological dual E∗ of E , we denote by |x∗m| the variation of the real measurex∗m given by the composition of m with x∗. There exists x∗0 ∈ E∗ such that |x∗0m|has the same null sets as m. We will call |x∗0m| a Rybakov control measure for m.
A measurable function f : Ω→ R is integrable with respect to m if(i)
∫|f |d |x∗m|< ∞ for all x∗ ∈ E∗.
(ii) For each A ∈Σ, there exists xA ∈ E such that
x∗(xA) =∫
Af dx∗m, for all x∗ ∈ E .
The element xA will be written as∫
A f dm.
A measurable function satisfying only the first requirement is called a weaklyintegrable function.
E. Sanchez Vector measures and classical disjointification methods
![Page 21: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/21.jpg)
DEFINITIONS: Vector measures and integration
Let m : Σ→ E be a vector measure, that is, a countably additive set function,where E is a real Banach space.
A set A ∈Σ is m-null if m(B) = 0 for every B ∈Σ with B ⊂ A. For each x∗ in thetopological dual E∗ of E , we denote by |x∗m| the variation of the real measurex∗m given by the composition of m with x∗. There exists x∗0 ∈ E∗ such that |x∗0m|has the same null sets as m. We will call |x∗0m| a Rybakov control measure for m.
A measurable function f : Ω→ R is integrable with respect to m if(i)
∫|f |d |x∗m|< ∞ for all x∗ ∈ E∗.
(ii) For each A ∈Σ, there exists xA ∈ E such that
x∗(xA) =∫
Af dx∗m, for all x∗ ∈ E .
The element xA will be written as∫
A f dm.
A measurable function satisfying only the first requirement is called a weaklyintegrable function.
E. Sanchez Vector measures and classical disjointification methods
![Page 22: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/22.jpg)
DEFINITIONS: Vector measures and integration
Let m : Σ→ E be a vector measure, that is, a countably additive set function,where E is a real Banach space.
A set A ∈Σ is m-null if m(B) = 0 for every B ∈Σ with B ⊂ A. For each x∗ in thetopological dual E∗ of E , we denote by |x∗m| the variation of the real measurex∗m given by the composition of m with x∗. There exists x∗0 ∈ E∗ such that |x∗0m|has the same null sets as m. We will call |x∗0m| a Rybakov control measure for m.
A measurable function f : Ω→ R is integrable with respect to m if(i)
∫|f |d |x∗m|< ∞ for all x∗ ∈ E∗.
(ii) For each A ∈Σ, there exists xA ∈ E such that
x∗(xA) =∫
Af dx∗m, for all x∗ ∈ E .
The element xA will be written as∫
A f dm.
A measurable function satisfying only the first requirement is called a weaklyintegrable function.
E. Sanchez Vector measures and classical disjointification methods
![Page 23: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/23.jpg)
DEFINITIONS: Spaces of integrable functions
Denote by L1(m) the space of integrable functions with respect to m, wherefunctions which are equal m-a.e. are identified.
The space L1(m) is an order continuous Banach function space space endowedwith the norm
‖f‖m = supx∗∈BE∗
∫|f |d |x∗m|
and the natural order. Note that L∞(|x∗0m|)⊂ L1(m). In particular every measure ofthe type |x∗m| is finite as |x∗m|(Ω)≤ ‖x∗‖ · ‖χΩ‖m.
Given f ∈ L1(m), the set function mf : Σ→ E given by mf (A) =∫
A f dm for all A ∈Σis a vector measure. Moreover, g ∈ L1(mf ) if and only if gf ∈ L1(m) and in thiscase
∫g dmf =
∫gf dm.
The space of weakly integrable functions L1w (m) is a Banach function space with
the Fatou property (same norm that in L1(m)).
E. Sanchez Vector measures and classical disjointification methods
![Page 24: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/24.jpg)
DEFINITIONS: Spaces of integrable functions
Denote by L1(m) the space of integrable functions with respect to m, wherefunctions which are equal m-a.e. are identified.
The space L1(m) is an order continuous Banach function space space endowedwith the norm
‖f‖m = supx∗∈BE∗
∫|f |d |x∗m|
and the natural order. Note that L∞(|x∗0m|)⊂ L1(m). In particular every measure ofthe type |x∗m| is finite as |x∗m|(Ω)≤ ‖x∗‖ · ‖χΩ‖m.
Given f ∈ L1(m), the set function mf : Σ→ E given by mf (A) =∫
A f dm for all A ∈Σis a vector measure. Moreover, g ∈ L1(mf ) if and only if gf ∈ L1(m) and in thiscase
∫g dmf =
∫gf dm.
The space of weakly integrable functions L1w (m) is a Banach function space with
the Fatou property (same norm that in L1(m)).
E. Sanchez Vector measures and classical disjointification methods
![Page 25: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/25.jpg)
DEFINITIONS: Spaces of integrable functions
Denote by L1(m) the space of integrable functions with respect to m, wherefunctions which are equal m-a.e. are identified.
The space L1(m) is an order continuous Banach function space space endowedwith the norm
‖f‖m = supx∗∈BE∗
∫|f |d |x∗m|
and the natural order. Note that L∞(|x∗0m|)⊂ L1(m). In particular every measure ofthe type |x∗m| is finite as |x∗m|(Ω)≤ ‖x∗‖ · ‖χΩ‖m.
Given f ∈ L1(m), the set function mf : Σ→ E given by mf (A) =∫
A f dm for all A ∈Σis a vector measure. Moreover, g ∈ L1(mf ) if and only if gf ∈ L1(m) and in thiscase
∫g dmf =
∫gf dm.
The space of weakly integrable functions L1w (m) is a Banach function space with
the Fatou property (same norm that in L1(m)).
E. Sanchez Vector measures and classical disjointification methods
![Page 26: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/26.jpg)
DEFINITIONS: Spaces of integrable functions
Denote by L1(m) the space of integrable functions with respect to m, wherefunctions which are equal m-a.e. are identified.
The space L1(m) is an order continuous Banach function space space endowedwith the norm
‖f‖m = supx∗∈BE∗
∫|f |d |x∗m|
and the natural order. Note that L∞(|x∗0m|)⊂ L1(m). In particular every measure ofthe type |x∗m| is finite as |x∗m|(Ω)≤ ‖x∗‖ · ‖χΩ‖m.
Given f ∈ L1(m), the set function mf : Σ→ E given by mf (A) =∫
A f dm for all A ∈Σis a vector measure. Moreover, g ∈ L1(mf ) if and only if gf ∈ L1(m) and in thiscase
∫g dmf =
∫gf dm.
The space of weakly integrable functions L1w (m) is a Banach function space with
the Fatou property (same norm that in L1(m)).
E. Sanchez Vector measures and classical disjointification methods
![Page 27: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/27.jpg)
DEFINITIONS: Spaces of integrable functions
Denote by L1(m) the space of integrable functions with respect to m, wherefunctions which are equal m-a.e. are identified.
The space L1(m) is an order continuous Banach function space space endowedwith the norm
‖f‖m = supx∗∈BE∗
∫|f |d |x∗m|
and the natural order. Note that L∞(|x∗0m|)⊂ L1(m). In particular every measure ofthe type |x∗m| is finite as |x∗m|(Ω)≤ ‖x∗‖ · ‖χΩ‖m.
Given f ∈ L1(m), the set function mf : Σ→ E given by mf (A) =∫
A f dm for all A ∈Σis a vector measure. Moreover, g ∈ L1(mf ) if and only if gf ∈ L1(m) and in thiscase
∫g dmf =
∫gf dm.
The space of weakly integrable functions L1w (m) is a Banach function space with
the Fatou property (same norm that in L1(m)).
E. Sanchez Vector measures and classical disjointification methods
![Page 28: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/28.jpg)
DEFINITIONS: Spaces of p-integrable functions
For 1≤ p < ∞, the space of square integrable functions Lp(m) is defined by the setof measurable functions f such that f p ∈ L1(m). It is a p-convex order continuousBanach function space with the norm
‖f‖ := ‖f p‖1/pL1(m)
.
Generalized Holder’s inequality: Lp(m) ·Lp′ (m)⊆ L1(m), and
‖∫
f ·gdm‖ ≤ ‖f‖Lp(m) · ‖g‖Lp′ (m).
In this talk we center our attention in the spaces L2(m).
E. Sanchez Vector measures and classical disjointification methods
![Page 29: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/29.jpg)
DEFINITIONS: Spaces of p-integrable functions
For 1≤ p < ∞, the space of square integrable functions Lp(m) is defined by the setof measurable functions f such that f p ∈ L1(m). It is a p-convex order continuousBanach function space with the norm
‖f‖ := ‖f p‖1/pL1(m)
.
Generalized Holder’s inequality: Lp(m) ·Lp′ (m)⊆ L1(m), and
‖∫
f ·gdm‖ ≤ ‖f‖Lp(m) · ‖g‖Lp′ (m).
In this talk we center our attention in the spaces L2(m).
E. Sanchez Vector measures and classical disjointification methods
![Page 30: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/30.jpg)
DEFINITIONS: Spaces of p-integrable functions
For 1≤ p < ∞, the space of square integrable functions Lp(m) is defined by the setof measurable functions f such that f p ∈ L1(m). It is a p-convex order continuousBanach function space with the norm
‖f‖ := ‖f p‖1/pL1(m)
.
Generalized Holder’s inequality: Lp(m) ·Lp′ (m)⊆ L1(m), and
‖∫
f ·gdm‖ ≤ ‖f‖Lp(m) · ‖g‖Lp′ (m).
In this talk we center our attention in the spaces L2(m).
E. Sanchez Vector measures and classical disjointification methods
![Page 31: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/31.jpg)
Disjointification procedures:
Bessaga-Pelczynski Selection Principle. If xn∞
n=1 is a basis of the Banachspace X and x∗n∞
n=1 is the sequence of coefficient functionals, if we take anormalized sequence yn∞
n=1 that is weakly null, then yn∞
n=1 admits a basicsubsequence that is equivalent to a block basic sequence of xn∞
n=1
Kadec-Pelczynski Disjointification Procedure / Dichotomy.
M. I. Kadec and A. Pelczynski, Bases, lacunary sequences, and complementedsubspaces in the spaces Lp , Studia Math. (1962)
THEOREM 4.1. (Figiel-Johnson-Tzafriri, 1975)
Let L be a σ -complete and σ -order continuous Banach lattice. Suppose X is asubspace of L. Either X is isomorphic to a subspace of L1(µ) for some measure µ orthere is a sequence (xi ) of unit vectors in X and a disjointly supported sequence (ei ) inL with ‖xi −ei‖→ 0. Consequently, every subspace of L contains an unconditionalbasic sequence.
E. Sanchez Vector measures and classical disjointification methods
![Page 32: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/32.jpg)
Disjointification procedures:
Bessaga-Pelczynski Selection Principle. If xn∞
n=1 is a basis of the Banachspace X and x∗n∞
n=1 is the sequence of coefficient functionals, if we take anormalized sequence yn∞
n=1 that is weakly null, then yn∞
n=1 admits a basicsubsequence that is equivalent to a block basic sequence of xn∞
n=1
Kadec-Pelczynski Disjointification Procedure / Dichotomy.
M. I. Kadec and A. Pelczynski, Bases, lacunary sequences, and complementedsubspaces in the spaces Lp , Studia Math. (1962)
THEOREM 4.1. (Figiel-Johnson-Tzafriri, 1975)
Let L be a σ -complete and σ -order continuous Banach lattice. Suppose X is asubspace of L. Either X is isomorphic to a subspace of L1(µ) for some measure µ orthere is a sequence (xi ) of unit vectors in X and a disjointly supported sequence (ei ) inL with ‖xi −ei‖→ 0. Consequently, every subspace of L contains an unconditionalbasic sequence.
E. Sanchez Vector measures and classical disjointification methods
![Page 33: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/33.jpg)
Disjointification procedures:
Bessaga-Pelczynski Selection Principle. If xn∞
n=1 is a basis of the Banachspace X and x∗n∞
n=1 is the sequence of coefficient functionals, if we take anormalized sequence yn∞
n=1 that is weakly null, then yn∞
n=1 admits a basicsubsequence that is equivalent to a block basic sequence of xn∞
n=1
Kadec-Pelczynski Disjointification Procedure / Dichotomy.
M. I. Kadec and A. Pelczynski, Bases, lacunary sequences, and complementedsubspaces in the spaces Lp , Studia Math. (1962)
THEOREM 4.1. (Figiel-Johnson-Tzafriri, 1975)
Let L be a σ -complete and σ -order continuous Banach lattice. Suppose X is asubspace of L. Either X is isomorphic to a subspace of L1(µ) for some measure µ orthere is a sequence (xi ) of unit vectors in X and a disjointly supported sequence (ei ) inL with ‖xi −ei‖→ 0. Consequently, every subspace of L contains an unconditionalbasic sequence.
E. Sanchez Vector measures and classical disjointification methods
![Page 34: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/34.jpg)
Disjointification procedures:
Bessaga-Pelczynski Selection Principle. If xn∞
n=1 is a basis of the Banachspace X and x∗n∞
n=1 is the sequence of coefficient functionals, if we take anormalized sequence yn∞
n=1 that is weakly null, then yn∞
n=1 admits a basicsubsequence that is equivalent to a block basic sequence of xn∞
n=1
Kadec-Pelczynski Disjointification Procedure / Dichotomy.
M. I. Kadec and A. Pelczynski, Bases, lacunary sequences, and complementedsubspaces in the spaces Lp , Studia Math. (1962)
THEOREM 4.1. (Figiel-Johnson-Tzafriri, 1975)
Let L be a σ -complete and σ -order continuous Banach lattice. Suppose X is asubspace of L. Either X is isomorphic to a subspace of L1(µ) for some measure µ orthere is a sequence (xi ) of unit vectors in X and a disjointly supported sequence (ei ) inL with ‖xi −ei‖→ 0. Consequently, every subspace of L contains an unconditionalbasic sequence.
E. Sanchez Vector measures and classical disjointification methods
![Page 35: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/35.jpg)
Kadec-Pelczynski Disjointification Procedure for sequences.
Let X(µ) be an order continuous Banach function space over a finite measure µ with aweak unit (this implies X(µ) → L1(µ)). Consider a normalized sequence xn∞
n=1 inX(µ). Then
(1) either ‖xn‖L1(µ)∞
n=1 is bounded away from zero,
(2) or there exist a subsequence xnk ∞
k=1 and a disjoint sequence zk∞
k=1 in X(µ)such that ‖zk −xnk ‖→k 0.
E. Sanchez Vector measures and classical disjointification methods
![Page 36: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/36.jpg)
Kadec-Pelczynski Disjointification Procedure for sequences.
Let X(µ) be an order continuous Banach function space over a finite measure µ with aweak unit (this implies X(µ) → L1(µ)). Consider a normalized sequence xn∞
n=1 inX(µ). Then
(1) either ‖xn‖L1(µ)∞
n=1 is bounded away from zero,
(2) or there exist a subsequence xnk ∞
k=1 and a disjoint sequence zk∞
k=1 in X(µ)such that ‖zk −xnk ‖→k 0.
E. Sanchez Vector measures and classical disjointification methods
![Page 37: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/37.jpg)
Kadec-Pelczynski Disjointification Procedure for sequences.
Let X(µ) be an order continuous Banach function space over a finite measure µ with aweak unit (this implies X(µ) → L1(µ)). Consider a normalized sequence xn∞
n=1 inX(µ). Then
(1) either ‖xn‖L1(µ)∞
n=1 is bounded away from zero,
(2) or there exist a subsequence xnk ∞
k=1 and a disjoint sequence zk∞
k=1 in X(µ)such that ‖zk −xnk ‖→k 0.
E. Sanchez Vector measures and classical disjointification methods
![Page 38: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/38.jpg)
Applications: Disjointification in spaces Lp(m)
A. Vector measure orthogonality and disjointness.
B. Positively norming sets in spaces L1(m) and the structure of their subspaces.
C. Some results concerning stable copies of c0 in L1(m).
E. Sanchez Vector measures and classical disjointification methods
![Page 39: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/39.jpg)
Applications: Disjointification in spaces Lp(m)
A. Vector measure orthogonality and disjointness.
B. Positively norming sets in spaces L1(m) and the structure of their subspaces.
C. Some results concerning stable copies of c0 in L1(m).
E. Sanchez Vector measures and classical disjointification methods
![Page 40: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/40.jpg)
Applications: Disjointification in spaces Lp(m)
A. Vector measure orthogonality and disjointness.
B. Positively norming sets in spaces L1(m) and the structure of their subspaces.
C. Some results concerning stable copies of c0 in L1(m).
E. Sanchez Vector measures and classical disjointification methods
![Page 41: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/41.jpg)
Applications: Disjointification in spaces Lp(m)
A. Vector measure orthogonality and disjointness.
B. Positively norming sets in spaces L1(m) and the structure of their subspaces.
C. Some results concerning stable copies of c0 in L1(m).
E. Sanchez Vector measures and classical disjointification methods
![Page 42: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/42.jpg)
A. m-orthonormal sequences in L2(m):
Definition.A sequence fi∞
i=1 in L2(m) is called m-orthogonal if ‖∫
fi fj dm‖= δi ,j ki for positiveconstants ki . If ‖fi‖L2(m) = 1 for all i ∈ N, it is called m-orthonormal.
Definition.Let m : Σ−→ `2 be a vector measure. We say that fi∞
i=1 ⊂ L2(m) is a stronglym-orthogonal sequence if
∫fi fj dm = δi ,j ei ki for an orthonormal sequence ei∞
i=1 in `2
and for ki > 0. If ki = 1 for every i ∈ N, we say that it is a strongly m-orthonormalsequence.
Definition. A function f ∈ L2(m) is normed by the integral if ‖f‖L2(m) = ‖∫
Ω f 2 dm‖1/2.This happens for all the functions in L2(m) if the measure m is positive.
E. Sanchez Vector measures and classical disjointification methods
![Page 43: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/43.jpg)
A. m-orthonormal sequences in L2(m):
Definition.A sequence fi∞
i=1 in L2(m) is called m-orthogonal if ‖∫
fi fj dm‖= δi ,j ki for positiveconstants ki . If ‖fi‖L2(m) = 1 for all i ∈ N, it is called m-orthonormal.
Definition.Let m : Σ−→ `2 be a vector measure. We say that fi∞
i=1 ⊂ L2(m) is a stronglym-orthogonal sequence if
∫fi fj dm = δi ,j ei ki for an orthonormal sequence ei∞
i=1 in `2
and for ki > 0. If ki = 1 for every i ∈ N, we say that it is a strongly m-orthonormalsequence.
Definition. A function f ∈ L2(m) is normed by the integral if ‖f‖L2(m) = ‖∫
Ω f 2 dm‖1/2.This happens for all the functions in L2(m) if the measure m is positive.
E. Sanchez Vector measures and classical disjointification methods
![Page 44: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/44.jpg)
A. m-orthonormal sequences in L2(m):
Definition.A sequence fi∞
i=1 in L2(m) is called m-orthogonal if ‖∫
fi fj dm‖= δi ,j ki for positiveconstants ki . If ‖fi‖L2(m) = 1 for all i ∈ N, it is called m-orthonormal.
Definition.Let m : Σ−→ `2 be a vector measure. We say that fi∞
i=1 ⊂ L2(m) is a stronglym-orthogonal sequence if
∫fi fj dm = δi ,j ei ki for an orthonormal sequence ei∞
i=1 in `2
and for ki > 0. If ki = 1 for every i ∈ N, we say that it is a strongly m-orthonormalsequence.
Definition. A function f ∈ L2(m) is normed by the integral if ‖f‖L2(m) = ‖∫
Ω f 2 dm‖1/2.This happens for all the functions in L2(m) if the measure m is positive.
E. Sanchez Vector measures and classical disjointification methods
![Page 45: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/45.jpg)
A. m-orthonormal sequences in L2(m):
Definition.A sequence fi∞
i=1 in L2(m) is called m-orthogonal if ‖∫
fi fj dm‖= δi ,j ki for positiveconstants ki . If ‖fi‖L2(m) = 1 for all i ∈ N, it is called m-orthonormal.
Definition.Let m : Σ−→ `2 be a vector measure. We say that fi∞
i=1 ⊂ L2(m) is a stronglym-orthogonal sequence if
∫fi fj dm = δi ,j ei ki for an orthonormal sequence ei∞
i=1 in `2
and for ki > 0. If ki = 1 for every i ∈ N, we say that it is a strongly m-orthonormalsequence.
Definition. A function f ∈ L2(m) is normed by the integral if ‖f‖L2(m) = ‖∫
Ω f 2 dm‖1/2.This happens for all the functions in L2(m) if the measure m is positive.
E. Sanchez Vector measures and classical disjointification methods
![Page 46: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/46.jpg)
Example.Let ([0,∞),Σ,µ) be Lebesgue measure space. Let rk (x) := signsin(2k−1x) be theRademacher function of period 2π defined at the interval Ek = [2(k −1)π,2kπ], k ∈ N.Consider the vector measure m : Σ→ `2 given by m(A) := ∑
∞
k=1−12k (
∫A∩Ek
rk dµ)ek ∈ `2,A ∈Σ.Note that if f ∈ L2(m) then
∫[0,∞) fdm = (−1
2k
∫Ek
frk dµ)k ∈ `2. Consider the sequence offunctions
f1(x) = sin(x) ·χ[π,2π](x)
f2(x) = sin(2x) ·(χ[0,2π](x) + χ
[ 72 π,4π]
(x))
f3(x) = sin(4x) ·(χ[0,4π](x) + χ
[ 234 π,6π]
(x))
...
fn(x) = sin(2n−1x) ·(χ[0,2(n−1)π](x) + χ
[(2n− 22n )π,2nπ]
(x)), n ≥ 2.
E. Sanchez Vector measures and classical disjointification methods
![Page 47: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/47.jpg)
Example.Let ([0,∞),Σ,µ) be Lebesgue measure space. Let rk (x) := signsin(2k−1x) be theRademacher function of period 2π defined at the interval Ek = [2(k −1)π,2kπ], k ∈ N.Consider the vector measure m : Σ→ `2 given by m(A) := ∑
∞
k=1−12k (
∫A∩Ek
rk dµ)ek ∈ `2,A ∈Σ.Note that if f ∈ L2(m) then
∫[0,∞) fdm = (−1
2k
∫Ek
frk dµ)k ∈ `2. Consider the sequence offunctions
f1(x) = sin(x) ·χ[π,2π](x)
f2(x) = sin(2x) ·(χ[0,2π](x) + χ
[ 72 π,4π]
(x))
f3(x) = sin(4x) ·(χ[0,4π](x) + χ
[ 234 π,6π]
(x))
...
fn(x) = sin(2n−1x) ·(χ[0,2(n−1)π](x) + χ
[(2n− 22n )π,2nπ]
(x)), n ≥ 2.
E. Sanchez Vector measures and classical disjointification methods
![Page 48: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/48.jpg)
Figura: Functions f1(x), f2(x) and f3(x).
E. Sanchez Vector measures and classical disjointification methods
![Page 49: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/49.jpg)
Proposition.
Let gn∞
n=1 be a normalized sequence in L2(m). Suppose that there exists a Rybakovmeasure µ = |〈m,x ′0〉| for m such that ‖gn‖L1(µ)∞
n=1 is not bounded away from zero.Then there are a subsequence gnk
∞
k=1 of gn∞
n=1 and an m-orthonormal sequencefk∞
k=1 such that ‖gnk − fk‖L2(m)→k 0.
Theorem.
Let us consider a vector measure m : Σ→ `2 and an m-orthonormal sequence fn∞
n=1of functions in L2(m) that are normed by the integrals. Let en∞
n=1 be the canonicalbasis of `2. If lımn
⟨∫f 2n dm,ek
⟩= 0 for every k ∈ N, then there exist a subsequence
fnk ∞
k=1 of fn∞
n=1 and a vector measure m∗ : Σ→ `2 such that fnk ∞
k=1 is stronglym∗-orthonormal.
Moreover, m∗ can be chosen to be as m∗ = φ m for some Banach space isomorphismφ from `2 onto `2, and so L2(m) = L2(m∗).
E. Sanchez Vector measures and classical disjointification methods
![Page 50: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/50.jpg)
Proposition.
Let gn∞
n=1 be a normalized sequence in L2(m). Suppose that there exists a Rybakovmeasure µ = |〈m,x ′0〉| for m such that ‖gn‖L1(µ)∞
n=1 is not bounded away from zero.Then there are a subsequence gnk
∞
k=1 of gn∞
n=1 and an m-orthonormal sequencefk∞
k=1 such that ‖gnk − fk‖L2(m)→k 0.
Theorem.
Let us consider a vector measure m : Σ→ `2 and an m-orthonormal sequence fn∞
n=1of functions in L2(m) that are normed by the integrals. Let en∞
n=1 be the canonicalbasis of `2. If lımn
⟨∫f 2n dm,ek
⟩= 0 for every k ∈ N, then there exist a subsequence
fnk ∞
k=1 of fn∞
n=1 and a vector measure m∗ : Σ→ `2 such that fnk ∞
k=1 is stronglym∗-orthonormal.
Moreover, m∗ can be chosen to be as m∗ = φ m for some Banach space isomorphismφ from `2 onto `2, and so L2(m) = L2(m∗).
E. Sanchez Vector measures and classical disjointification methods
![Page 51: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/51.jpg)
Proposition.
Let gn∞
n=1 be a normalized sequence in L2(m). Suppose that there exists a Rybakovmeasure µ = |〈m,x ′0〉| for m such that ‖gn‖L1(µ)∞
n=1 is not bounded away from zero.Then there are a subsequence gnk
∞
k=1 of gn∞
n=1 and an m-orthonormal sequencefk∞
k=1 such that ‖gnk − fk‖L2(m)→k 0.
Theorem.
Let us consider a vector measure m : Σ→ `2 and an m-orthonormal sequence fn∞
n=1of functions in L2(m) that are normed by the integrals. Let en∞
n=1 be the canonicalbasis of `2. If lımn
⟨∫f 2n dm,ek
⟩= 0 for every k ∈ N, then there exist a subsequence
fnk ∞
k=1 of fn∞
n=1 and a vector measure m∗ : Σ→ `2 such that fnk ∞
k=1 is stronglym∗-orthonormal.
Moreover, m∗ can be chosen to be as m∗ = φ m for some Banach space isomorphismφ from `2 onto `2, and so L2(m) = L2(m∗).
E. Sanchez Vector measures and classical disjointification methods
![Page 52: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/52.jpg)
Proof. (Sketch)
Take an m-orthonormal sequence fn∞
n=1 in L2(m) and the sequence of integrals∫Ω f 2
n dm∞
n=1.
Disjointification (Bessaga-Pelc.): We get a subsequence∫
Ω f 2nk
dm∞
k=1that is
equivalent to a block basic sequence e′nk∞
k=1 of the canonical basis of `2.
Associated to this sequence there is an isomorphism ϕ
A := span(e′nk)`2
ϕ−→ B := span(∫
Ωf 2nk
dm)`2
such that ϕ(e′nk) :=
∫Ω f 2
nkdm, k ∈ N.
We can suppose without loss of generality that the elements of the sequencee′nk∞
k=1 have norm one.
E. Sanchez Vector measures and classical disjointification methods
![Page 53: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/53.jpg)
Proof. (Sketch)
Take an m-orthonormal sequence fn∞
n=1 in L2(m) and the sequence of integrals∫Ω f 2
n dm∞
n=1.
Disjointification (Bessaga-Pelc.): We get a subsequence∫
Ω f 2nk
dm∞
k=1that is
equivalent to a block basic sequence e′nk∞
k=1 of the canonical basis of `2.
Associated to this sequence there is an isomorphism ϕ
A := span(e′nk)`2
ϕ−→ B := span(∫
Ωf 2nk
dm)`2
such that ϕ(e′nk) :=
∫Ω f 2
nkdm, k ∈ N.
We can suppose without loss of generality that the elements of the sequencee′nk∞
k=1 have norm one.
E. Sanchez Vector measures and classical disjointification methods
![Page 54: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/54.jpg)
Proof. (Sketch)
Take an m-orthonormal sequence fn∞
n=1 in L2(m) and the sequence of integrals∫Ω f 2
n dm∞
n=1.
Disjointification (Bessaga-Pelc.): We get a subsequence∫
Ω f 2nk
dm∞
k=1that is
equivalent to a block basic sequence e′nk∞
k=1 of the canonical basis of `2.
Associated to this sequence there is an isomorphism ϕ
A := span(e′nk)`2
ϕ−→ B := span(∫
Ωf 2nk
dm)`2
such that ϕ(e′nk) :=
∫Ω f 2
nkdm, k ∈ N.
We can suppose without loss of generality that the elements of the sequencee′nk∞
k=1 have norm one.
E. Sanchez Vector measures and classical disjointification methods
![Page 55: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/55.jpg)
Proof. (Sketch)
Take an m-orthonormal sequence fn∞
n=1 in L2(m) and the sequence of integrals∫Ω f 2
n dm∞
n=1.
Disjointification (Bessaga-Pelc.): We get a subsequence∫
Ω f 2nk
dm∞
k=1that is
equivalent to a block basic sequence e′nk∞
k=1 of the canonical basis of `2.
Associated to this sequence there is an isomorphism ϕ
A := span(e′nk)`2
ϕ−→ B := span(∫
Ωf 2nk
dm)`2
such that ϕ(e′nk) :=
∫Ω f 2
nkdm, k ∈ N.
We can suppose without loss of generality that the elements of the sequencee′nk∞
k=1 have norm one.
E. Sanchez Vector measures and classical disjointification methods
![Page 56: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/56.jpg)
Proof. (Sketch)
Take an m-orthonormal sequence fn∞
n=1 in L2(m) and the sequence of integrals∫Ω f 2
n dm∞
n=1.
Disjointification (Bessaga-Pelc.): We get a subsequence∫
Ω f 2nk
dm∞
k=1that is
equivalent to a block basic sequence e′nk∞
k=1 of the canonical basis of `2.
Associated to this sequence there is an isomorphism ϕ
A := span(e′nk)`2
ϕ−→ B := span(∫
Ωf 2nk
dm)`2
such that ϕ(e′nk) :=
∫Ω f 2
nkdm, k ∈ N.
We can suppose without loss of generality that the elements of the sequencee′nk∞
k=1 have norm one.
E. Sanchez Vector measures and classical disjointification methods
![Page 57: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/57.jpg)
Proof. (Sketch)
Take an m-orthonormal sequence fn∞
n=1 in L2(m) and the sequence of integrals∫Ω f 2
n dm∞
n=1.
Disjointification (Bessaga-Pelc.): We get a subsequence∫
Ω f 2nk
dm∞
k=1that is
equivalent to a block basic sequence e′nk∞
k=1 of the canonical basis of `2.
Associated to this sequence there is an isomorphism ϕ
A := span(e′nk)`2
ϕ−→ B := span(∫
Ωf 2nk
dm)`2
such that ϕ(e′nk) :=
∫Ω f 2
nkdm, k ∈ N.
We can suppose without loss of generality that the elements of the sequencee′nk∞
k=1 have norm one.
E. Sanchez Vector measures and classical disjointification methods
![Page 58: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/58.jpg)
There is a subspace Bc such that `2 = B⊕2 Bc isometrically, where this direct sumspace is considered as a Hilbert space (with the adequate Hilbert space norm).We write PB and PBc for the corresponding projections.
Let us consider the linear map φ := ϕ−1⊕ Id : B⊕2 Bc φ−→ A⊕2 Bc , whereId : Bc → Bc is the identity map.
Let us consider now the vector measure m∗ := φ m : Σm−→ `2 φ−→ A⊕2 Bc . Then
L2(m) = L2(φ m) = L2(m∗).
Finally, it is proved that fnk ∞
k=1 is a strongly m∗-orthonormal sequence.
E. Sanchez Vector measures and classical disjointification methods
![Page 59: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/59.jpg)
There is a subspace Bc such that `2 = B⊕2 Bc isometrically, where this direct sumspace is considered as a Hilbert space (with the adequate Hilbert space norm).We write PB and PBc for the corresponding projections.
Let us consider the linear map φ := ϕ−1⊕ Id : B⊕2 Bc φ−→ A⊕2 Bc , whereId : Bc → Bc is the identity map.
Let us consider now the vector measure m∗ := φ m : Σm−→ `2 φ−→ A⊕2 Bc . Then
L2(m) = L2(φ m) = L2(m∗).
Finally, it is proved that fnk ∞
k=1 is a strongly m∗-orthonormal sequence.
E. Sanchez Vector measures and classical disjointification methods
![Page 60: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/60.jpg)
There is a subspace Bc such that `2 = B⊕2 Bc isometrically, where this direct sumspace is considered as a Hilbert space (with the adequate Hilbert space norm).We write PB and PBc for the corresponding projections.
Let us consider the linear map φ := ϕ−1⊕ Id : B⊕2 Bc φ−→ A⊕2 Bc , whereId : Bc → Bc is the identity map.
Let us consider now the vector measure m∗ := φ m : Σm−→ `2 φ−→ A⊕2 Bc . Then
L2(m) = L2(φ m) = L2(m∗).
Finally, it is proved that fnk ∞
k=1 is a strongly m∗-orthonormal sequence.
E. Sanchez Vector measures and classical disjointification methods
![Page 61: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/61.jpg)
There is a subspace Bc such that `2 = B⊕2 Bc isometrically, where this direct sumspace is considered as a Hilbert space (with the adequate Hilbert space norm).We write PB and PBc for the corresponding projections.
Let us consider the linear map φ := ϕ−1⊕ Id : B⊕2 Bc φ−→ A⊕2 Bc , whereId : Bc → Bc is the identity map.
Let us consider now the vector measure m∗ := φ m : Σm−→ `2 φ−→ A⊕2 Bc . Then
L2(m) = L2(φ m) = L2(m∗).
Finally, it is proved that fnk ∞
k=1 is a strongly m∗-orthonormal sequence.
E. Sanchez Vector measures and classical disjointification methods
![Page 62: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/62.jpg)
Corollary.
Let m : Σ→ `2 be a countably additive vector measure. Let gn∞
n=1 be a normalizedsequence of functions in L2(m) that are normed by the integrals. Suppose that thereexists a Rybakov measure µ = |〈m,x ′0〉| for m such that ‖gn‖L1(µ)∞
n=1 is not boundedaway from zero.
If lımn⟨∫
g2ndm,ek
⟩= 0 for every k ∈ N, then there is a (disjoint) sequence fk∞
k=1such that
(1) lımk ‖gnk − fk‖L2(m) = 0 for a given subsequence gnk ∞
k=1 of gn∞
n=1, and
(2) it is strongly m∗-orthonormal for a certain Hilbert space valued vector measure m∗
defined as in the theorem that satisfies that L2(m) = L2(m∗).
E. Sanchez Vector measures and classical disjointification methods
![Page 63: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/63.jpg)
Corollary.
Let m : Σ→ `2 be a countably additive vector measure. Let gn∞
n=1 be a normalizedsequence of functions in L2(m) that are normed by the integrals. Suppose that thereexists a Rybakov measure µ = |〈m,x ′0〉| for m such that ‖gn‖L1(µ)∞
n=1 is not boundedaway from zero.
If lımn⟨∫
g2ndm,ek
⟩= 0 for every k ∈ N, then there is a (disjoint) sequence fk∞
k=1such that
(1) lımk ‖gnk − fk‖L2(m) = 0 for a given subsequence gnk ∞
k=1 of gn∞
n=1, and
(2) it is strongly m∗-orthonormal for a certain Hilbert space valued vector measure m∗
defined as in the theorem that satisfies that L2(m) = L2(m∗).
E. Sanchez Vector measures and classical disjointification methods
![Page 64: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/64.jpg)
Corollary.
Let m : Σ→ `2 be a countably additive vector measure. Let gn∞
n=1 be a normalizedsequence of functions in L2(m) that are normed by the integrals. Suppose that thereexists a Rybakov measure µ = |〈m,x ′0〉| for m such that ‖gn‖L1(µ)∞
n=1 is not boundedaway from zero.
If lımn⟨∫
g2ndm,ek
⟩= 0 for every k ∈ N, then there is a (disjoint) sequence fk∞
k=1such that
(1) lımk ‖gnk − fk‖L2(m) = 0 for a given subsequence gnk ∞
k=1 of gn∞
n=1, and
(2) it is strongly m∗-orthonormal for a certain Hilbert space valued vector measure m∗
defined as in the theorem that satisfies that L2(m) = L2(m∗).
E. Sanchez Vector measures and classical disjointification methods
![Page 65: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/65.jpg)
Corollary.
Let m : Σ→ `2 be a countably additive vector measure. Let gn∞
n=1 be a normalizedsequence of functions in L2(m) that are normed by the integrals. Suppose that thereexists a Rybakov measure µ = |〈m,x ′0〉| for m such that ‖gn‖L1(µ)∞
n=1 is not boundedaway from zero.
If lımn⟨∫
g2ndm,ek
⟩= 0 for every k ∈ N, then there is a (disjoint) sequence fk∞
k=1such that
(1) lımk ‖gnk − fk‖L2(m) = 0 for a given subsequence gnk ∞
k=1 of gn∞
n=1, and
(2) it is strongly m∗-orthonormal for a certain Hilbert space valued vector measure m∗
defined as in the theorem that satisfies that L2(m) = L2(m∗).
E. Sanchez Vector measures and classical disjointification methods
![Page 66: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/66.jpg)
Consequences on the structure of L1(m):
Lemma.Let m : Σ→ `2 be a positive vector measure, and suppose that the bounded sequencegn∞
n=1 in L2(m) satisfies that lımn⟨∫
g2ndm,ek
⟩= 0 for all k ∈ N. Then there is a
Rybakov measure µ for m such that lımn ‖gn‖L1(µ) = 0.
Proposition.Let m : Σ→ `2 be a positive (countably additive) vector measure. Let gn∞
n=1 be anormalized sequence in L2(m) such that for every k ∈ N, lımn
⟨∫g2
ndm,ek⟩
= 0. ThenL2(m) contains a lattice copy of `4. In particular, there is a subsequence gnk
∞
k=1 ofgn∞
n=1 that is equivalent to the unit vector basis of `4.
E. Sanchez Vector measures and classical disjointification methods
![Page 67: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/67.jpg)
Consequences on the structure of L1(m):
Lemma.Let m : Σ→ `2 be a positive vector measure, and suppose that the bounded sequencegn∞
n=1 in L2(m) satisfies that lımn⟨∫
g2ndm,ek
⟩= 0 for all k ∈ N. Then there is a
Rybakov measure µ for m such that lımn ‖gn‖L1(µ) = 0.
Proposition.Let m : Σ→ `2 be a positive (countably additive) vector measure. Let gn∞
n=1 be anormalized sequence in L2(m) such that for every k ∈ N, lımn
⟨∫g2
ndm,ek⟩
= 0. ThenL2(m) contains a lattice copy of `4. In particular, there is a subsequence gnk
∞
k=1 ofgn∞
n=1 that is equivalent to the unit vector basis of `4.
E. Sanchez Vector measures and classical disjointification methods
![Page 68: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/68.jpg)
Consequences on the structure of L1(m):
Lemma.Let m : Σ→ `2 be a positive vector measure, and suppose that the bounded sequencegn∞
n=1 in L2(m) satisfies that lımn⟨∫
g2ndm,ek
⟩= 0 for all k ∈ N. Then there is a
Rybakov measure µ for m such that lımn ‖gn‖L1(µ) = 0.
Proposition.Let m : Σ→ `2 be a positive (countably additive) vector measure. Let gn∞
n=1 be anormalized sequence in L2(m) such that for every k ∈ N, lımn
⟨∫g2
ndm,ek⟩
= 0. ThenL2(m) contains a lattice copy of `4. In particular, there is a subsequence gnk
∞
k=1 ofgn∞
n=1 that is equivalent to the unit vector basis of `4.
E. Sanchez Vector measures and classical disjointification methods
![Page 69: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/69.jpg)
Theorem.Let m : Σ→ `2 be a positive (countably additive) vector measure. Let gn∞
n=1 be anormalized sequence in L2(m) such that for every k ∈ N,
lımn
⟨ek ,
∫g2
ndm⟩
= 0
for all k ∈ N. Then there is a subsequence gnk ∞
k=1 such that g2nk∞
k=1 generates anisomorphic copy of `2 in L1(m) that is preserved by the integration map. Moreover,there is a normalized disjoint sequence fk∞
k=1 that is equivalent to the previous oneand f 2
k ∞
k=1 gives a lattice copy of `2 in L1(m) that is preserved by Im∗ .
E. Sanchez Vector measures and classical disjointification methods
![Page 70: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/70.jpg)
Corollary.Let m : Σ→ `2 be a positive (countably additive) vector measure. The followingassertions are equivalent:
(1) There is a normalized sequence in L2(m) satisfying that lımn〈∫
Ω g2ndm,ek 〉= 0 for
all the elements of the canonical basis ek∞
k=1 of `2.
(2) There is an `2-valued vector measure m∗ = φ m —φ an isomorphism— such thatL2(m) = L2(m∗) and there is a disjoint sequence in L2(m) that is stronglym∗-orthonormal.
(3) The subspace S that is fixed by the integration map Im satisfies that there arepositive functions hn ∈ S such that
∫Ω hndm∞
n=1 is an orthonormal basis forIm(S).
(4) There is an `2-valued vector measure m∗ defined as m∗ = φ m —φ anisomorphism— such that L1(m) = L1(m∗) and a subspace S of L1(m) such thatthe restriction of Im∗ to S is a lattice isomorphism in `2.
E. Sanchez Vector measures and classical disjointification methods
![Page 71: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/71.jpg)
Theorem.The following assertions for a positive vector measure m : Σ→ `2 are equivalent.
(1) L1(m) contains a lattice copy of `2.
(2) L1(m) has a reflexive infinite dimensional sublattice.
(3) L1(m) has a relatively weakly compact normalized sequence of disjoint functions.
(4) L1(m) contains a weakly null normalized sequence.
(5) There is a vector measure m∗ defined by m∗ = φ m such that integration map Im∗fixes a copy of `2.
(6) There is a vector measure m∗ defined as m∗ = φ m that is not disjointly strictlysingular.
E. Sanchez Vector measures and classical disjointification methods
![Page 72: Vector measures and classical disjointification methods](https://reader038.vdocuments.net/reader038/viewer/2022103002/55abf8301a28aba6528b46d9/html5/thumbnails/72.jpg)
C. Bessaga and A. Pelczynski, On bases and unconditional convergence of seriesin Banach spaces, Studia Math. 17, 151-164 (1958)
C. Bessaga and A. Pelczynski, A generalization of results of R. C. Jamesconcerning absolute bases in Banach spaces, Studia Math. 17, 165-174 (1958)
M. I. Kadec and A. Pelczynski, Bases, lacunary sequences, and complementedsubspaces in the spaces Lp , Studia Math. 21, 161-176 (1962)
T. Figiel, W.B. Johnson and L. Tzafriri, On Banach lattices and spaces havinglocal unconditional structure, with applications to Lorentz function spaces, J. Appr.Th. 13, 395-412 (1975)
E. Jimenez Fernandez and E.A. Sanchez Perez. Lattice copies of `2 in L1 of avector measure and strongly orthogonal sequences. J. Funct. Sp. Appl. 2012,doi:10.1155/2012/357210. (2012)
E.A. Sanchez Perez, Vector measure orthonormal functions and bestapproximation for the 4-norm, Arch. Math. 80, 177-190 (2003)
E. Sanchez Vector measures and classical disjointification methods