factorization of operators and vector measures
TRANSCRIPT
![Page 1: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/1.jpg)
FACTORIZATION OF OPERATORS
AND VECTOR MEASURES
Enrique A. Sanchez Perez
Instituto de Matematica Pura y Aplicada
Universidad Politecnica de Valencia
![Page 2: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/2.jpg)
Factorization of operators and vector measures
An operator on a Banach function space -and also on more generalclasses of Banach spaces of functions- always defines a vector mea-sure. A vector measure is always related in a natural way with aBanach function space -its space of integrable functions-. This isthe starting point of a methodological purpose that deals with vectormeasures, operators and spaces of integrable functions from a uni-fied point of view. It provides information about the structure of theoperators and is often presented in terms of factorization theorems.
There are many old and new results that can be considered as partof this theory. Some lines of research have been developed in this di-rection in the last ten years; for instance, the optimal domain theory,Maurey-Rosenthal type theorems for vector measures on factorizationof operators, the analysis of the topological properties of the integra-tion map -compactness, weak compactness, complete continuity-, andits geometric properties -q-convexity and q-concavity- related to thestructure of the space L1(m).
![Page 3: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/3.jpg)
II Riesz Representation Theorem
II Radon-Nikodym Theorem
![Page 4: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/4.jpg)
VECTOR VALUED VERSIONS:
II Riesz Representation Theorem ⇒ Bartle, Dunford, Schwartz
T : C(K)→ E, T (f) =
∫fdmT .
II Radon-Nikodym Theorem
![Page 5: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/5.jpg)
VECTOR VALUED VERSIONS:
II Riesz Representation Theorem ⇒ Bartle, Dunford, Schwartz
T : C(K)→ E, T (f) =
∫fdmT .
II Radon-Nikodym Theorem ⇒ Diestel, Uhl
T : L1(µ)→ E, T (f) =
∫φfdµ.
![Page 6: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/6.jpg)
L1 of a vector measure
As a Banach space (Lewis, Kluvanek and Knowles, Okada, Ricker, Stefansson)
As a Banach lattice (Curbera)
Vector measures on δ-rings (Masani and Niemi, Delgado)
Extensions and factorization of operators. mT (A) := T (χA)
Optimal domain theorem
X(µ) E-T
HHHj *
L1(mT )i ImT
![Page 7: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/7.jpg)
L1 of a vector measure
As a Banach space (Lewis, Kluvanek and Knowles, Okada, Ricker, Stefansson)
As a Banach lattice (Curbera)
Vector measures on δ-rings (Masani and Niemi, Delgado)
Extensions and factorization of operators. mT (A) := T (χA)
Optimal domain theorem
X(µ) E-T
HHHj *
L1(mT )i ImT
![Page 8: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/8.jpg)
L1 of a vector measure
As a Banach space (Lewis, Kluvanek and Knowles, Okada, Ricker, Stefansson)
As a Banach lattice (Curbera)
Vector measures on δ-rings (Masani and Niemi, Delgado)
Extensions and factorization of operators. mT (A) := T (χA)
Optimal domain theorem
X(µ) E-T
HHHj *
L1(mT )i ImT
![Page 9: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/9.jpg)
Radon-Nikodym derivatives for vector measures
n m ⇔ n(A) =∫A h dm (Musia l)
Where is h? (Calabuig, Gregori, S-P)
L1(m) E-Im
HHHj
*
L1(n)i In
![Page 10: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/10.jpg)
Radon-Nikodym derivatives for vector measures
n m ⇔ n(A) =∫A h dm (Musia l)
Where is h? (Calabuig, Gregori, S-P)
L1(m) E-Im
HHHj
*
L1(n)i In
![Page 11: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/11.jpg)
II Factorizing operators through spaces of multiplicationoperators (Calabuig, Delgado, S-P. JMAA 2010)
![Page 12: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/12.jpg)
Extensions and semivariation inequalities for operators
![Page 13: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/13.jpg)
Extensions and semivariation inequalities for operators
1.- Banach function subspaces of L1(n) of a vector measure n on aδ-ring defined by means of semivariations.
2.- Optimal extensions for operators which are bounded by a productnorm.
3.- Examples and Applications.
![Page 14: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/14.jpg)
Extensions and semivariation inequalities for operators
1.- Banach function subspaces of L1(n) of a vector measure n on aδ-ring defined by means of semivariations.
2.- Optimal extensions for operators which are bounded by a productnorm.
3.- Examples and Applications.
![Page 15: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/15.jpg)
Extensions and semivariation inequalities for operators
1.- Banach function subspaces of L1(n) of a vector measure n on aδ-ring defined by means of semivariations.
2.- Optimal extensions for operators which are bounded by a productnorm.
3.- Examples and Applications.
![Page 16: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/16.jpg)
Subspaces of L1(m) and generalized semivariations
![Page 17: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/17.jpg)
Subspaces of L1(m) and generalized semivariations
(Ω,Σ, η) measure space. E Banach. Y (η) B.f.s. n : Σ→ E vectormeasure, η n.
Y (η)-semivariation of n
‖n‖Y (η) = sup
∥∥∥∥∫Ωϕdn
∥∥∥∥E
: ϕ ∈ S(Σ) ∩BY (η)
.
Subspace L1Y (η)(m) =
f ∈ L1(m) : ‖mf‖Y (η) <∞
.
Norm ‖f‖L1Y (η)
(m) = max ‖f‖m, ‖mf‖Y (η).
Lemma. For every f ∈ L1(m) and ϕ ∈ S(Σ) ∩ Y (η),
‖fϕ‖m ≤ ‖ϕ‖Y (η) ‖mf‖Y (η).
![Page 18: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/18.jpg)
Subspaces of L1(m) and generalized semivariations
(Ω,Σ, η) measure space. E Banach. Y (η) B.f.s. n : Σ→ E vectormeasure, η n.
Y (η)-semivariation of n
‖n‖Y (η) = sup
∥∥∥∥∫Ωϕdn
∥∥∥∥E
: ϕ ∈ S(Σ) ∩BY (η)
.
Subspace L1Y (η)(m) =
f ∈ L1(m) : ‖mf‖Y (η) <∞
.
Norm ‖f‖L1Y (η)
(m) = max ‖f‖m, ‖mf‖Y (η).
Lemma. For every f ∈ L1(m) and ϕ ∈ S(Σ) ∩ Y (η),
‖fϕ‖m ≤ ‖ϕ‖Y (η) ‖mf‖Y (η).
![Page 19: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/19.jpg)
Subspaces of L1(m) and generalized semivariations
(Ω,Σ, η) measure space. E Banach. Y (η) B.f.s. n : Σ→ E vectormeasure, η n.
Y (η)-semivariation of n
‖n‖Y (η) = sup
∥∥∥∥∫Ωϕdn
∥∥∥∥E
: ϕ ∈ S(Σ) ∩BY (η)
.
Subspace L1Y (η)(m) =
f ∈ L1(m) : ‖mf‖Y (η) <∞
.
Norm ‖f‖L1Y (η)
(m) = max ‖f‖m, ‖mf‖Y (η).
Lemma. For every f ∈ L1(m) and ϕ ∈ S(Σ) ∩ Y (η),
‖fϕ‖m ≤ ‖ϕ‖Y (η) ‖mf‖Y (η).
![Page 20: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/20.jpg)
Subspaces of L1(m) and generalized semivariations
(Ω,Σ, η) measure space. E Banach. Y (η) B.f.s. n : Σ→ E vectormeasure, η n.
Y (η)-semivariation of n
‖n‖Y (η) = sup
∥∥∥∥∫Ωϕdn
∥∥∥∥E
: ϕ ∈ S(Σ) ∩BY (η)
.
Subspace L1Y (η)(m) =
f ∈ L1(m) : ‖mf‖Y (η) <∞
.
Norm ‖f‖L1Y (η)
(m) = max ‖f‖m, ‖mf‖Y (η).
Lemma. For every f ∈ L1(m) and ϕ ∈ S(Σ) ∩ Y (η),
‖fϕ‖m ≤ ‖ϕ‖Y (η) ‖mf‖Y (η).
![Page 21: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/21.jpg)
Subspaces of L1(m) and generalized semivariations
(Ω,Σ, η) measure space. E Banach. Y (η) B.f.s. n : Σ→ E vectormeasure, η n.
Space of multiplication operators M(Y (η), L1(n)).
Norm: ‖g‖M(Y (η),L1(n)) = supf∈BY (η)‖fg‖L1(n).
It can be written as the dual of a product space (Delgado, S-P, IEOT
2010).
Yb(η) is the closure of simple functions in Y (η).
![Page 22: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/22.jpg)
Subspaces of L1(m) and generalized semivariations
(Ω,Σ, η) measure space. E Banach. Y (η) B.f.s. n : Σ→ E vectormeasure, η n.
Space of multiplication operators M(Y (η), L1(n)).
Norm: ‖g‖M(Y (η),L1(n)) = supf∈BY (η)‖fg‖L1(n).
It can be written as the dual of a product space (Delgado, S-P, IEOT
2010).
Yb(η) is the closure of simple functions in Y (η).
![Page 23: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/23.jpg)
Subspaces of L1(m) and generalized semivariations
(Ω,Σ, η) measure space. E Banach. Y (η) B.f.s. n : Σ→ E vectormeasure, η n.
Space of multiplication operators M(Y (η), L1(n)).
Norm: ‖g‖M(Y (η),L1(n)) = supf∈BY (η)‖fg‖L1(n).
It can be written as the dual of a product space (Delgado, S-P, IEOT
2010).
Yb(η) is the closure of simple functions in Y (η).
![Page 24: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/24.jpg)
Subspaces of L1(m) and generalized semivariations
(Ω,Σ, η) measure space. E Banach. Y (η) B.f.s. n : Σ→ E vectormeasure, η n.
Space of multiplication operators M(Y (η), L1(n)).
Norm: ‖g‖M(Y (η),L1(n)) = supf∈BY (η)‖fg‖L1(n).
It can be written as the dual of a product space (Delgado, S-P, IEOT
2010).
Yb(η) is the closure of simple functions in Y (η).
![Page 25: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/25.jpg)
Subspaces of L1(m) and generalized semivariations
(Ω,Σ, η) measure space. E Banach. Y (η) B.f.s. n : Σ→ E vectormeasure, η n.
Space of multiplication operators M(Y (η), L1(n)).
Norm: ‖g‖M(Y (η),L1(n)) = supf∈BY (η)‖fg‖L1(n).
It can be written as the dual of a product space (Delgado, S-P, IEOT
2010).
Yb(η) is the closure of simple functions in Y (η).
![Page 26: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/26.jpg)
Proposition. The equality
L1Y (η)(m) = L1(m) ∩M(Yb(η), L1(m))
holds and ‖mf‖Y (η) = ‖f‖M(Yb(η),L1(m)) for all f ∈ L1Y (η)(m).
![Page 27: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/27.jpg)
Proposition. The equality
L1Y (η)(m) = L1(m) ∩M(Yb(η), L1(m))
holds and ‖mf‖Y (η) = ‖f‖M(Yb(η),L1(m)) for all f ∈ L1Y (η)(m).
Example.
Y (η) = Lp(η) with 1 ≤ p <∞.
L1Lp(η)(m) = L1(m) ∩M(Lp(η), L1(m)) isometrically.
If η is finite L1Lp(η)(m) = M(Lp(η), L1(m)). It coincides with L1
p′,η(m)
( 1p + 1
p′ = 1), given by all functions f ∈ L1(m) such that p′-semivariationof mf with respect to η is finite.
![Page 28: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/28.jpg)
Proposition. The equality
L1Y (η)(m) = L1(m) ∩M(Yb(η), L1(m))
holds and ‖mf‖Y (η) = ‖f‖M(Yb(η),L1(m)) for all f ∈ L1Y (η)(m).
Example.
Y (η) = Lp(η) with 1 ≤ p <∞.
L1Lp(η)(m) = L1(m) ∩M(Lp(η), L1(m)) isometrically.
If η is finite L1Lp(η)(m) = M(Lp(η), L1(m)). It coincides with L1
p′,η(m)
( 1p + 1
p′ = 1), given by all functions f ∈ L1(m) such that p′-semivariationof mf with respect to η is finite.
![Page 29: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/29.jpg)
Proposition. The equality
L1Y (η)(m) = L1(m) ∩M(Yb(η), L1(m))
holds and ‖mf‖Y (η) = ‖f‖M(Yb(η),L1(m)) for all f ∈ L1Y (η)(m).
Example.
Y (η) = Lp(η) with 1 ≤ p <∞.
L1Lp(η)(m) = L1(m) ∩M(Lp(η), L1(m)) isometrically.
If η is finite L1Lp(η)(m) = M(Lp(η), L1(m)). It coincides with L1
p′,η(m)
( 1p + 1
p′ = 1), given by all functions f ∈ L1(m) such that p′-semivariationof mf with respect to η is finite. That is,
‖mf‖p′,η = supπ∈P(Ω)
supx∗∈BE∗
(∑A∈π
|∫Afdx∗m|p′
η(A)p′−1
)1/p′
<∞,
(Calabuig, Galaz, Jimenez, S-P, MathZ 2007).
![Page 30: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/30.jpg)
Proposition. The equality
L1Y (η)(m) = L1(m) ∩M(Yb(η), L1(m))
holds and ‖mf‖Y (η) = ‖f‖M(Yb(η),L1(m)) for all f ∈ L1Y (η)(m).
![Page 31: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/31.jpg)
Proposition. The equality
L1Y (η)(m) = L1(m) ∩M(Yb(η), L1(m))
holds and ‖mf‖Y (η) = ‖f‖M(Yb(η),L1(m)) for all f ∈ L1Y (η)(m).
Example.
1 ≤ p <∞, Lp(m) is the 1/p-th power of L1(m), i.e.
Lp(m) = f ∈ L0(|λ|) : |f |p ∈ L1(m).
L1Lp(m)(m) = L1(m) ∩M(Lp(m), L1(m)) with equal norms.
If m is σ-finite, M(Lp(m), L1(m)) = Lp′
w (m) isometrically (1/p+ 1/p′ = 1).
Therefore, L1Lp(m)(m) = L1(m) ∩ Lp′w (m).
(Fernandez, Mayoral, Naranjo, Saez, S-P, Positivity 2006).
![Page 32: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/32.jpg)
Proposition. The equality
L1Y (η)(m) = L1(m) ∩M(Yb(η), L1(m))
holds and ‖mf‖Y (η) = ‖f‖M(Yb(η),L1(m)) for all f ∈ L1Y (η)(m).
Example.
1 ≤ p <∞, Lp(m) is the 1/p-th power of L1(m), i.e.
Lp(m) = f ∈ L0(|λ|) : |f |p ∈ L1(m).
L1Lp(m)(m) = L1(m) ∩M(Lp(m), L1(m)) with equal norms.
If m is σ-finite, M(Lp(m), L1(m)) = Lp′
w (m) isometrically (1/p+ 1/p′ = 1).
Therefore, L1Lp(m)(m) = L1(m) ∩ Lp′w (m).
(Fernandez, Mayoral, Naranjo, Saez, S-P, Positivity 2006).
![Page 33: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/33.jpg)
Proposition. The equality
L1Y (η)(m) = L1(m) ∩M(Yb(η), L1(m))
holds and ‖mf‖Y (η) = ‖f‖M(Yb(η),L1(m)) for all f ∈ L1Y (η)(m).
Example.
1 ≤ p <∞, Lp(m) is the 1/p-th power of L1(m), i.e.
Lp(m) = f ∈ L0(|λ|) : |f |p ∈ L1(m).
L1Lp(m)(m) = L1(m) ∩M(Lp(m), L1(m)) with equal norms.
If m is σ-finite, M(Lp(m), L1(m)) = Lp′
w (m) isometrically (1/p+ 1/p′ = 1).
Therefore, L1Lp(m)(m) = L1(m) ∩ Lp′w (m).
(Fernandez, Mayoral, Naranjo, Saez, S-P, Positivity 2006).
![Page 34: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/34.jpg)
Proposition. The equality
L1Y (η)(m) = L1(m) ∩M(Yb(η), L1(m))
holds and ‖mf‖Y (η) = ‖f‖M(Yb(η),L1(m)) for all f ∈ L1Y (η)(m).
Example.
1 ≤ p <∞, Lp(m) is the 1/p-th power of L1(m), i.e.
Lp(m) = f ∈ L0(|λ|) : |f |p ∈ L1(m).
L1Lp(m)(m) = L1(m) ∩M(Lp(m), L1(m)) with equal norms.
If m is σ-finite, M(Lp(m), L1(m)) = Lp′
w (m) isometrically (1/p+ 1/p′ = 1).
Therefore, L1Lp(m)(m) = L1(m) ∩ Lp′w (m).
(Fernandez, Mayoral, Naranjo, Saez, S-P, Positivity 2006).
![Page 35: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/35.jpg)
Proposition. The equality
L1Y (η)(m) = L1(m) ∩M(Yb(η), L1(m))
holds and ‖mf‖Y (η) = ‖f‖M(Yb(η),L1(m)) for all f ∈ L1Y (η)(m).
Example.
1 ≤ p <∞, Lp(m) is the 1/p-th power of L1(m), i.e.
Lp(m) = f ∈ L0(|λ|) : |f |p ∈ L1(m).
L1Lp(m)(m) = L1(m) ∩M(Lp(m), L1(m)) with equal norms.
If m is σ-finite, M(Lp(m), L1(m)) = Lp′
w (m) isometrically (1/p+ 1/p′ = 1).
Therefore, L1Lp(m)(m) = L1(m) ∩ Lp′w (m).
(Fernandez, Mayoral, Naranjo, Saez, S-P, Positivity 2006).
![Page 36: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/36.jpg)
Optimal extensions for operators whichare bounded by a product norm
T : X(µ)→ E is order-w continuous if Tfn → Tf weakly in Ewhenever fn, f ∈ X(µ) with 0 ≤ fn ↑ f µ-a.e.
This property holds for instance if X(µ) is order continuous and T iscontinuous. Note that if T is order-w continuous, then the conditionT (χA) 6= 0 for some A ∈ Σ is equivalent to T being non null.
If T is order-w continuous mT is a vector measure and for everyf ∈ X(µ) we have that f ∈ L1(mT ) with
∫Ω f dmT = Tf .
![Page 37: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/37.jpg)
Optimal extensions for operators whichare bounded by a product norm
T : X(µ)→ E is order-w continuous if Tfn → Tf weakly in Ewhenever fn, f ∈ X(µ) with 0 ≤ fn ↑ f µ-a.e.
This property holds for instance if X(µ) is order continuous and T iscontinuous. Note that if T is order-w continuous, then the conditionT (χA) 6= 0 for some A ∈ Σ is equivalent to T being non null.
If T is order-w continuous mT is a vector measure and for everyf ∈ X(µ) we have that f ∈ L1(mT ) with
∫Ω f dmT = Tf .
![Page 38: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/38.jpg)
Optimal extensions for operators whichare bounded by a product norm
T : X(µ)→ E is order-w continuous if Tfn → Tf weakly in Ewhenever fn, f ∈ X(µ) with 0 ≤ fn ↑ f µ-a.e.
This property holds for instance if X(µ) is order continuous and T iscontinuous. Note that if T is order-w continuous, then the conditionT (χA) 6= 0 for some A ∈ Σ is equivalent to T being non null.
If T is order-w continuous mT is a vector measure and for everyf ∈ X(µ) we have that f ∈ L1(mT ) with
∫Ω f dmT = Tf .
![Page 39: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/39.jpg)
Optimal extensions for operators whichare bounded by a product norm
T : X(µ)→ E is order-w continuous if Tfn → Tf weakly in Ewhenever fn, f ∈ X(µ) with 0 ≤ fn ↑ f µ-a.e.
This property holds for instance if X(µ) is order continuous and T iscontinuous. Note that if T is order-w continuous, then the conditionT (χA) 6= 0 for some A ∈ Σ is equivalent to T being non null.
If T is order-w continuous mT is a vector measure and for everyf ∈ X(µ) we have that f ∈ L1(mT ) with
∫Ω f dmT = Tf .
![Page 40: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/40.jpg)
Optimal extensions for operators whichare bounded by a product norm
Let Y (η) be a B.f.s. with mT η. We will say that T isY (η)-extensible if there exists a constant K > 0 such that
‖T (fϕ)‖E ≤ K ‖f‖X(µ)‖ϕ‖Y (η)
for all f ∈ X(µ) and ϕ ∈ S(Σ) ∩ Y (η).
Proposition. The following assertions are equivalent:
(a) T is Y (η)-extensible.
(b) [i] : X(µ)→ L1Y (η)(mT
) is well defined.
(c) P : X(µ)× Yb(η)→ L1(mT
) given by P(f, h) = fh, is well defined.
![Page 41: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/41.jpg)
Optimal extensions for operators whichare bounded by a product norm
Let Y (η) be a B.f.s. with mT η. We will say that T isY (η)-extensible if there exists a constant K > 0 such that
‖T (fϕ)‖E ≤ K ‖f‖X(µ)‖ϕ‖Y (η)
for all f ∈ X(µ) and ϕ ∈ S(Σ) ∩ Y (η).
Proposition. The following assertions are equivalent:
(a) T is Y (η)-extensible.
(b) [i] : X(µ)→ L1Y (η)(mT
) is well defined.
(c) P : X(µ)× Yb(η)→ L1(mT
) given by P(f, h) = fh, is well defined.
![Page 42: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/42.jpg)
Optimal extensions for operators whichare bounded by a product norm
Let Y (η) be a B.f.s. with mT η. We will say that T isY (η)-extensible if there exists a constant K > 0 such that
‖T (fϕ)‖E ≤ K ‖f‖X(µ)‖ϕ‖Y (η)
for all f ∈ X(µ) and ϕ ∈ S(Σ) ∩ Y (η).
Proposition. The following assertions are equivalent:
(a) T is Y (η)-extensible.
(b) [i] : X(µ)→ L1Y (η)(mT
) is well defined.
(c) P : X(µ)× Yb(η)→ L1(mT
) given by P(f, h) = fh, is well defined.
![Page 43: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/43.jpg)
Theorem
Suppose that T is Y (η)-extensible. If Z(ζ) is a B.f.s. such that ζ µand T factorizes as
X(µ) E-T
HHHj *
Z(ζ)i S
with S being order-w continuous and Y (η)-extensible, then[i] : Z(ζ)→ L1
Y (η)(mT ) is well defined and S(f) = ImT
(f) for all
f ∈ Z(ζ).
![Page 44: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/44.jpg)
Example
Denote by R+ the interval [0,∞), by B the σ-algebra of all Borelsubsets of R+ and by λ the Lebesgue measure on B. Consider theHardy operator S defined on L1 ∩L∞(λ) as S(f)(x) = 1
x
∫ x0 f(y) dy.
Let ψ : R+ → R+ be an increasing concave map with ψ(0) = 0,ψ(0+) = 0, ψ(∞) =∞. Let
Λψ(λ) = f ∈ L0(λ) : ‖f‖Λψ(λ) =
∫ ∞0
f∗(s) dψ(s) <∞
be the related Lorentz space (f∗ being the decreasing rearrangementof f), which is an order continuous B.f.s. endowed with the norm‖f‖Λψ(λ).
Assume that θψ(t) =∫∞t
ψ′(s)s ds <∞ for all t > 0, where ψ′
denotes the derivative of ψ.
![Page 45: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/45.jpg)
Example
Denote by R+ the interval [0,∞), by B the σ-algebra of all Borelsubsets of R+ and by λ the Lebesgue measure on B. Consider theHardy operator S defined on L1 ∩L∞(λ) as S(f)(x) = 1
x
∫ x0 f(y) dy.
Let ψ : R+ → R+ be an increasing concave map with ψ(0) = 0,ψ(0+) = 0, ψ(∞) =∞.
Let
Λψ(λ) = f ∈ L0(λ) : ‖f‖Λψ(λ) =
∫ ∞0
f∗(s) dψ(s) <∞
be the related Lorentz space (f∗ being the decreasing rearrangementof f), which is an order continuous B.f.s. endowed with the norm‖f‖Λψ(λ).
Assume that θψ(t) =∫∞t
ψ′(s)s ds <∞ for all t > 0, where ψ′
denotes the derivative of ψ.
![Page 46: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/46.jpg)
Example
Denote by R+ the interval [0,∞), by B the σ-algebra of all Borelsubsets of R+ and by λ the Lebesgue measure on B. Consider theHardy operator S defined on L1 ∩L∞(λ) as S(f)(x) = 1
x
∫ x0 f(y) dy.
Let ψ : R+ → R+ be an increasing concave map with ψ(0) = 0,ψ(0+) = 0, ψ(∞) =∞. Let
Λψ(λ) = f ∈ L0(λ) : ‖f‖Λψ(λ) =
∫ ∞0
f∗(s) dψ(s) <∞
be the related Lorentz space (f∗ being the decreasing rearrangementof f), which is an order continuous B.f.s. endowed with the norm‖f‖Λψ(λ).
Assume that θψ(t) =∫∞t
ψ′(s)s ds <∞ for all t > 0, where ψ′
denotes the derivative of ψ.
![Page 47: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/47.jpg)
Example
Denote by R+ the interval [0,∞), by B the σ-algebra of all Borelsubsets of R+ and by λ the Lebesgue measure on B. Consider theHardy operator S defined on L1 ∩L∞(λ) as S(f)(x) = 1
x
∫ x0 f(y) dy.
Let ψ : R+ → R+ be an increasing concave map with ψ(0) = 0,ψ(0+) = 0, ψ(∞) =∞. Let
Λψ(λ) = f ∈ L0(λ) : ‖f‖Λψ(λ) =
∫ ∞0
f∗(s) dψ(s) <∞
be the related Lorentz space (f∗ being the decreasing rearrangementof f), which is an order continuous B.f.s. endowed with the norm‖f‖Λψ(λ).
Assume that θψ(t) =∫∞t
ψ′(s)s ds <∞ for all t > 0, where ψ′
denotes the derivative of ψ.
![Page 48: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/48.jpg)
Example
Consider the Lorentz space Λφ(λ) with φ(t) =∫ t
0 θψ(s) ds for allt > 0.
For f ∈ L1 ∩ L∞(λ) and ϕ ∈ S(B) ∩ Λφ(λ),
‖S(fϕ)‖Λψ(λ) =
∫ ∞0
(S(fϕ)
)∗(s)ψ′(s) ds
≤∫ ∞
0
ψ′(s)
s
∫ s
0f∗(t)ϕ∗(t) dt ds
≤ ‖f‖L∞(λ)
∫ ∞0
ϕ∗(t)
∫ ∞t
ψ′(s)
sds dt ≤ ‖f‖L1∩L∞(λ)‖ϕ‖Λφ(λ),
This shows that S is Λφ(λ)-extensible. Therefore, S factorizesthrough L1
Λφ(λ)(mS ) as in the Theorem and the factorization is
optimal.
![Page 49: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/49.jpg)
Example
Consider the Lorentz space Λφ(λ) with φ(t) =∫ t
0 θψ(s) ds for allt > 0.
For f ∈ L1 ∩ L∞(λ) and ϕ ∈ S(B) ∩ Λφ(λ),
‖S(fϕ)‖Λψ(λ) =
∫ ∞0
(S(fϕ)
)∗(s)ψ′(s) ds
≤∫ ∞
0
ψ′(s)
s
∫ s
0f∗(t)ϕ∗(t) dt ds
≤ ‖f‖L∞(λ)
∫ ∞0
ϕ∗(t)
∫ ∞t
ψ′(s)
sds dt ≤ ‖f‖L1∩L∞(λ)‖ϕ‖Λφ(λ),
This shows that S is Λφ(λ)-extensible. Therefore, S factorizesthrough L1
Λφ(λ)(mS ) as in the Theorem and the factorization is
optimal.
![Page 50: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/50.jpg)
Example
Consider the Lorentz space Λφ(λ) with φ(t) =∫ t
0 θψ(s) ds for allt > 0.
For f ∈ L1 ∩ L∞(λ) and ϕ ∈ S(B) ∩ Λφ(λ),
‖S(fϕ)‖Λψ(λ) =
∫ ∞0
(S(fϕ)
)∗(s)ψ′(s) ds
≤∫ ∞
0
ψ′(s)
s
∫ s
0f∗(t)ϕ∗(t) dt ds
≤ ‖f‖L∞(λ)
∫ ∞0
ϕ∗(t)
∫ ∞t
ψ′(s)
sds dt ≤ ‖f‖L1∩L∞(λ)‖ϕ‖Λφ(λ),
This shows that S is Λφ(λ)-extensible. Therefore, S factorizesthrough L1
Λφ(λ)(mS ) as in the Theorem and the factorization is
optimal.
![Page 51: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/51.jpg)
Example
Consider the Lorentz space Λφ(λ) with φ(t) =∫ t
0 θψ(s) ds for allt > 0.
For f ∈ L1 ∩ L∞(λ) and ϕ ∈ S(B) ∩ Λφ(λ),
‖S(fϕ)‖Λψ(λ) =
∫ ∞0
(S(fϕ)
)∗(s)ψ′(s) ds
≤∫ ∞
0
ψ′(s)
s
∫ s
0f∗(t)ϕ∗(t) dt ds
≤ ‖f‖L∞(λ)
∫ ∞0
ϕ∗(t)
∫ ∞t
ψ′(s)
sds dt ≤ ‖f‖L1∩L∞(λ)‖ϕ‖Λφ(λ),
This shows that S is Λφ(λ)-extensible. Therefore, S factorizesthrough L1
Λφ(λ)(mS ) as in the Theorem and the factorization is
optimal.
![Page 52: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/52.jpg)
Example
Consider the Lorentz space Λφ(λ) with φ(t) =∫ t
0 θψ(s) ds for allt > 0.
For f ∈ L1 ∩ L∞(λ) and ϕ ∈ S(B) ∩ Λφ(λ),
‖S(fϕ)‖Λψ(λ) =
∫ ∞0
(S(fϕ)
)∗(s)ψ′(s) ds
≤∫ ∞
0
ψ′(s)
s
∫ s
0f∗(t)ϕ∗(t) dt ds
≤ ‖f‖L∞(λ)
∫ ∞0
ϕ∗(t)
∫ ∞t
ψ′(s)
sds dt ≤ ‖f‖L1∩L∞(λ)‖ϕ‖Λφ(λ),
This shows that S is Λφ(λ)-extensible. Therefore, S factorizesthrough L1
Λφ(λ)(mS ) as in the Theorem and the factorization is
optimal.
![Page 53: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/53.jpg)
Example
Consider the Lorentz space Λφ(λ) with φ(t) =∫ t
0 θψ(s) ds for allt > 0.
For f ∈ L1 ∩ L∞(λ) and ϕ ∈ S(B) ∩ Λφ(λ),
‖S(fϕ)‖Λψ(λ) =
∫ ∞0
(S(fϕ)
)∗(s)ψ′(s) ds
≤∫ ∞
0
ψ′(s)
s
∫ s
0f∗(t)ϕ∗(t) dt ds
≤ ‖f‖L∞(λ)
∫ ∞0
ϕ∗(t)
∫ ∞t
ψ′(s)
sds dt ≤ ‖f‖L1∩L∞(λ)‖ϕ‖Λφ(λ),
This shows that S is Λφ(λ)-extensible. Therefore, S factorizesthrough L1
Λφ(λ)(mS ) as in the Theorem and the factorization is
optimal.
![Page 54: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/54.jpg)
Examples and applications.
![Page 55: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/55.jpg)
Lp-product extensible operators.
Example
Let (Ω,Σ, µ) be a finite measure space and T : X(µ)→ E a non nullorder-w continuous operator.
Given 1 < p <∞, the operator T is said to be Lp-product extensibleif there exists a constant K > 0 satisfying that
sup‖T (fϕ)‖E : ϕ ∈ S(Σ) ∩BLp′ (µ)
≤ K ‖f‖X(µ)
for all f ∈ X(µ). Calabuig, Galaz, Jimenez, S-P. MathZ 2007.
T is Lp-product extensible if and only if it is Lp′(µ)-extensible.
T can be optimally “extended” preserving the inequality above to thespace L1
Lp′ (µ)(mT ) = L1
p,µ(mT ) by ImT
.
![Page 56: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/56.jpg)
Pisier’s factorization theorem
Example
Let (Ω,Σ, µ) be a σ-finite measure space, E a Banach space andT : Ls(µ)→ E a non null continuous linear operator, where1 < s <∞. Note that T is order-w continuous (as Ls(µ) is ordercontinuous), Ls(µ) has a weak unit (as µ is a σ-finite measure) andΣLs(µ) = A ∈ Σ : µ(A) <∞.
Then Σ locLs(µ) = Σ. For 1 ≤ p < s, Pisier’s factorization theorem
establishes that T factorizes through a weighted Lorentz spaceLp,1(ωdµ) if and only if it satisfies a lower p-estimate, that is, ifthere exists C > 0 such that( n∑
i=1
‖T (fi)‖pE)1/p
≤ C∥∥∥ n∑i=1
|fi|∥∥∥Ls(µ)
for all disjoint f1, ..., fn ∈ Ls(µ).
![Page 57: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/57.jpg)
Pisier’s factorization theorem
Example
Let (Ω,Σ, µ) be a σ-finite measure space, E a Banach space andT : Ls(µ)→ E a non null continuous linear operator, where1 < s <∞. Note that T is order-w continuous (as Ls(µ) is ordercontinuous), Ls(µ) has a weak unit (as µ is a σ-finite measure) andΣLs(µ) = A ∈ Σ : µ(A) <∞.
Then Σ locLs(µ) = Σ. For 1 ≤ p < s, Pisier’s factorization theorem
establishes that T factorizes through a weighted Lorentz spaceLp,1(ωdµ) if and only if it satisfies a lower p-estimate, that is, ifthere exists C > 0 such that( n∑
i=1
‖T (fi)‖pE)1/p
≤ C∥∥∥ n∑i=1
|fi|∥∥∥Ls(µ)
for all disjoint f1, ..., fn ∈ Ls(µ).
![Page 58: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/58.jpg)
Pisier’s factorization theorem
Example
On other hand, this condition is equivalent to the existence of aprobability measure λ on Σ and a constant K > 0 such that
‖T (fg)‖E ≤ K ‖f‖Ls(µ)‖g‖Lt,1(λ)
for all f ∈ Ls(µ) and g a Σ-measurable function with |g| ≤ 1pointwise, where 1
t = 1p −
1s .
Then, it follows that T satisfies a lower p-estimate if and only if T isLt,1(λ)-extensible. In this case the Theorem provides the largest“extension” of T preserving the inequality, namely,Im
T: L1
Lt,1(λ)(mT )→ E.
![Page 59: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/59.jpg)
Pisier’s factorization theorem
Example
On other hand, this condition is equivalent to the existence of aprobability measure λ on Σ and a constant K > 0 such that
‖T (fg)‖E ≤ K ‖f‖Ls(µ)‖g‖Lt,1(λ)
for all f ∈ Ls(µ) and g a Σ-measurable function with |g| ≤ 1pointwise, where 1
t = 1p −
1s .
Then, it follows that T satisfies a lower p-estimate if and only if T isLt,1(λ)-extensible. In this case the Theorem provides the largest“extension” of T preserving the inequality, namely,Im
T: L1
Lt,1(λ)(mT )→ E.
![Page 60: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/60.jpg)
p-th power factorable operators.
Example
Let (Ω,Σ) be a measurable space, X(µ) a B.f.s. with a weak unit(so, Σ loc
X(µ) = Σ) and T : X(µ)→ E a non null order-w continuouslinear operator with values in a Banach space E.
Given 0 < r <∞, consider the quasi-B.f.s. (B.f.s. if r ≥ 1)
Xr(µ) = f ∈ L0(µ) : |f |r ∈ X(µ),
equipped with the quasi-norm (norm if r ≥ 1)
‖f‖Xr(µ) = ‖ |f |r‖1/rX(µ).
The factorization of T through Lp(mT ) is related with certainXr(µ)-extensibility.
Proposition. Assume that S(Σ) ∩X(µ) is dense in X(µ) and let1 < p <∞. The following assertions are equivalent:
(a) [i] : X(µ)→ L1(mT
) ∩ Lp(mT
) is well defined.
(b) T is X1
p−1 (µ)-extensible.
![Page 61: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/61.jpg)
p-th power factorable operators.
Example
Let (Ω,Σ) be a measurable space, X(µ) a B.f.s. with a weak unit(so, Σ loc
X(µ) = Σ) and T : X(µ)→ E a non null order-w continuouslinear operator with values in a Banach space E.
Given 0 < r <∞, consider the quasi-B.f.s. (B.f.s. if r ≥ 1)
Xr(µ) = f ∈ L0(µ) : |f |r ∈ X(µ),
equipped with the quasi-norm (norm if r ≥ 1)
‖f‖Xr(µ) = ‖ |f |r‖1/rX(µ).
The factorization of T through Lp(mT ) is related with certainXr(µ)-extensibility.
Proposition. Assume that S(Σ) ∩X(µ) is dense in X(µ) and let1 < p <∞. The following assertions are equivalent:
(a) [i] : X(µ)→ L1(mT
) ∩ Lp(mT
) is well defined.
(b) T is X1
p−1 (µ)-extensible.
![Page 62: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/62.jpg)
p-th power factorable operators.
Example
Let (Ω,Σ) be a measurable space, X(µ) a B.f.s. with a weak unit(so, Σ loc
X(µ) = Σ) and T : X(µ)→ E a non null order-w continuouslinear operator with values in a Banach space E.
Given 0 < r <∞, consider the quasi-B.f.s. (B.f.s. if r ≥ 1)
Xr(µ) = f ∈ L0(µ) : |f |r ∈ X(µ),
equipped with the quasi-norm (norm if r ≥ 1)
‖f‖Xr(µ) = ‖ |f |r‖1/rX(µ).
The factorization of T through Lp(mT ) is related with certainXr(µ)-extensibility.
Proposition. Assume that S(Σ) ∩X(µ) is dense in X(µ) and let1 < p <∞. The following assertions are equivalent:
(a) [i] : X(µ)→ L1(mT
) ∩ Lp(mT
) is well defined.
(b) T is X1
p−1 (µ)-extensible.
![Page 63: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/63.jpg)
p-th power factorable operators.
Example
Let (Ω,Σ) be a measurable space, X(µ) a B.f.s. with a weak unit(so, Σ loc
X(µ) = Σ) and T : X(µ)→ E a non null order-w continuouslinear operator with values in a Banach space E.
Given 0 < r <∞, consider the quasi-B.f.s. (B.f.s. if r ≥ 1)
Xr(µ) = f ∈ L0(µ) : |f |r ∈ X(µ),
equipped with the quasi-norm (norm if r ≥ 1)
‖f‖Xr(µ) = ‖ |f |r‖1/rX(µ).
The factorization of T through Lp(mT ) is related with certainXr(µ)-extensibility.
Proposition. Assume that S(Σ) ∩X(µ) is dense in X(µ) and let1 < p <∞. The following assertions are equivalent:
(a) [i] : X(µ)→ L1(mT
) ∩ Lp(mT
) is well defined.
(b) T is X1
p−1 (µ)-extensible.
![Page 64: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/64.jpg)
p-th power factorable operators.
Example
Let (Ω,Σ) be a measurable space, X(µ) a B.f.s. with a weak unit(so, Σ loc
X(µ) = Σ) and T : X(µ)→ E a non null order-w continuouslinear operator with values in a Banach space E.
Given 0 < r <∞, consider the quasi-B.f.s. (B.f.s. if r ≥ 1)
Xr(µ) = f ∈ L0(µ) : |f |r ∈ X(µ),
equipped with the quasi-norm (norm if r ≥ 1)
‖f‖Xr(µ) = ‖ |f |r‖1/rX(µ).
The factorization of T through Lp(mT ) is related with certainXr(µ)-extensibility.
Proposition. Assume that S(Σ) ∩X(µ) is dense in X(µ) and let1 < p <∞. The following assertions are equivalent:
(a) [i] : X(µ)→ L1(mT
) ∩ Lp(mT
) is well defined.
(b) T is X1
p−1 (µ)-extensible.
![Page 65: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/65.jpg)
p-th power factorable operators
Example
Moreover, if (a)-(b) hold, T factorizes as
L1(mT ) ∩ Lp(mT )
X(µ)
i?
ImT
-i
L1
X1p−1 (µ)
(mT ),
E-T
6
If E is a 2-concave Banach lattice and T is X(µ)-extensible with mT
being equivalent to µ, then T factorizes through L2(µ) as
X(µ) E-T
HHHj *
L2(µ)Mg S
where Mg is a multiplication operator and S a continuous linear operator.
![Page 66: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/66.jpg)
p-th power factorable operators
Example
Moreover, if (a)-(b) hold, T factorizes as
L1(mT ) ∩ Lp(mT )
X(µ)
i?
ImT
-i
L1
X1p−1 (µ)
(mT ),
E-T
6
If E is a 2-concave Banach lattice and T is X(µ)-extensible with mT
being equivalent to µ, then T factorizes through L2(µ) as
X(µ) E-T
HHHj *
L2(µ)Mg S
where Mg is a multiplication operator and S a continuous linear operator.
![Page 67: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/67.jpg)
II Strong factorizations for couples of operators. Delgado, S-P.2011
![Page 68: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/68.jpg)
Strong factorizations for couples of operators.
Definition. Y (µ), Z1(µ), Z2(µ) and X(µ) B.f.s such that Y ⊆ Z1 andZ2 ⊆ X.
Consider T : Y → X and S : Z1 → Z2.
T factorizes strongly through S if there are functions f ∈ Y Z1 andg ∈ ZX2 such that T (y) = gS(fy), i.e the following diagram commutes
Z1(µ)
Y (µ)
f?
g
-S
Z2(µ),
X(µ)-T
6
Z(µ), X(µ) B.f.s. Product space ZπX ′
π(h) := inf∑‖fi‖‖gi‖ : |h| ≤
∑|fi||gi|, fi ∈ Z, gi ∈ X ′
![Page 69: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/69.jpg)
Strong factorizations for couples of operators.
Definition. Y (µ), Z1(µ), Z2(µ) and X(µ) B.f.s such that Y ⊆ Z1 andZ2 ⊆ X.
Consider T : Y → X and S : Z1 → Z2.
T factorizes strongly through S if there are functions f ∈ Y Z1 andg ∈ ZX2 such that T (y) = gS(fy), i.e the following diagram commutes
Z1(µ)
Y (µ)
f?
g
-S
Z2(µ),
X(µ)-T
6
Z(µ), X(µ) B.f.s. Product space ZπX ′
π(h) := inf∑‖fi‖‖gi‖ : |h| ≤
∑|fi||gi|, fi ∈ Z, gi ∈ X ′
![Page 70: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/70.jpg)
Strong factorizations for couples of operators.
Definition. Y (µ), Z1(µ), Z2(µ) and X(µ) B.f.s such that Y ⊆ Z1 andZ2 ⊆ X.
Consider T : Y → X and S : Z1 → Z2.
T factorizes strongly through S if there are functions f ∈ Y Z1 andg ∈ ZX2 such that T (y) = gS(fy), i.e the following diagram commutes
Z1(µ)
Y (µ)
f?
g
-S
Z2(µ),
X(µ)-T
6
Z(µ), X(µ) B.f.s. Product space ZπX ′
π(h) := inf∑‖fi‖‖gi‖ : |h| ≤
∑|fi||gi|, fi ∈ Z, gi ∈ X ′
![Page 71: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/71.jpg)
Strong factorizations for couples of operators.
Definition. Y (µ), Z1(µ), Z2(µ) and X(µ) B.f.s such that Y ⊆ Z1 andZ2 ⊆ X.
Consider T : Y → X and S : Z1 → Z2.
T factorizes strongly through S if there are functions f ∈ Y Z1 andg ∈ ZX2 such that T (y) = gS(fy), i.e the following diagram commutes
Z1(µ)
Y (µ)
f?
g
-S
Z2(µ),
X(µ)-T
6
Z(µ), X(µ) B.f.s. Product space ZπX ′
π(h) := inf∑‖fi‖‖gi‖ : |h| ≤
∑|fi||gi|, fi ∈ Z, gi ∈ X ′
![Page 72: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/72.jpg)
Strong factorizations for couples of operators.
Definition. Y (µ), Z1(µ), Z2(µ) and X(µ) B.f.s such that Y ⊆ Z1 andZ2 ⊆ X.
Consider T : Y → X and S : Z1 → Z2.
T factorizes strongly through S if there are functions f ∈ Y Z1 andg ∈ ZX2 such that T (y) = gS(fy), i.e the following diagram commutes
Z1(µ)
Y (µ)
f?
g
-S
Z2(µ),
X(µ)-T
6
Z(µ), X(µ) B.f.s. Product space ZπX ′
π(h) := inf∑‖fi‖‖gi‖ : |h| ≤
∑|fi||gi|, fi ∈ Z, gi ∈ X ′
![Page 73: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/73.jpg)
Strong factorizations for couples of operators.
Theorem
(Factorization Th.) Let X(µ) an order continuous Banach functionspace with the Fatou property. Let be Z2(µ) and Y (µ) ordercontinuous Banach function spaces, and let Z1(µ) be other Banachfunction space such that Y ⊆ Z1 and Z2 ⊆ X.
Let S : Z1 → Z2 and T : Y → X be operators. Assume that Z2πX′ is
order continuous. The following assertions are equivalent.
(i) (1) There is a function h ∈ Y Z1 such that for all y1, ..., yn ∈ Y (µ) andx′1, ..., x
′2 ∈ X ′,
n∑i=1
〈T (yi), x′i〉 ≤
∥∥∥∥∥n∑i=1
|S(hyi)x′i|
∥∥∥∥∥Z2πX′
.
(ii) (2) There are two functions f ∈ Y Z1 and g ∈ ZX2 such thatT (y) = gS(fy), i.e. T factorizes strongly through S.
![Page 74: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/74.jpg)
Strong factorizations for couples of operators.
Theorem
(Factorization Th.) Let X(µ) an order continuous Banach functionspace with the Fatou property. Let be Z2(µ) and Y (µ) ordercontinuous Banach function spaces, and let Z1(µ) be other Banachfunction space such that Y ⊆ Z1 and Z2 ⊆ X.
Let S : Z1 → Z2 and T : Y → X be operators. Assume that Z2πX′ is
order continuous. The following assertions are equivalent.
(i) (1) There is a function h ∈ Y Z1 such that for all y1, ..., yn ∈ Y (µ) andx′1, ..., x
′2 ∈ X ′,
n∑i=1
〈T (yi), x′i〉 ≤
∥∥∥∥∥n∑i=1
|S(hyi)x′i|
∥∥∥∥∥Z2πX′
.
(ii) (2) There are two functions f ∈ Y Z1 and g ∈ ZX2 such thatT (y) = gS(fy), i.e. T factorizes strongly through S.
![Page 75: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/75.jpg)
Strong factorizations for couples of operators.
Theorem
(Factorization Th.) Let X(µ) an order continuous Banach functionspace with the Fatou property. Let be Z2(µ) and Y (µ) ordercontinuous Banach function spaces, and let Z1(µ) be other Banachfunction space such that Y ⊆ Z1 and Z2 ⊆ X.
Let S : Z1 → Z2 and T : Y → X be operators. Assume that Z2πX′ is
order continuous. The following assertions are equivalent.
(i) (1) There is a function h ∈ Y Z1 such that for all y1, ..., yn ∈ Y (µ) andx′1, ..., x
′2 ∈ X ′,
n∑i=1
〈T (yi), x′i〉 ≤
∥∥∥∥∥n∑i=1
|S(hyi)x′i|
∥∥∥∥∥Z2πX′
.
(ii) (2) There are two functions f ∈ Y Z1 and g ∈ ZX2 such thatT (y) = gS(fy), i.e. T factorizes strongly through S.
![Page 76: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/76.jpg)
Strong factorizations for couples of operators.
Theorem
(Factorization Th.) Let X(µ) an order continuous Banach functionspace with the Fatou property. Let be Z2(µ) and Y (µ) ordercontinuous Banach function spaces, and let Z1(µ) be other Banachfunction space such that Y ⊆ Z1 and Z2 ⊆ X.
Let S : Z1 → Z2 and T : Y → X be operators. Assume that Z2πX′ is
order continuous. The following assertions are equivalent.
(i) (1) There is a function h ∈ Y Z1 such that for all y1, ..., yn ∈ Y (µ) andx′1, ..., x
′2 ∈ X ′,
n∑i=1
〈T (yi), x′i〉 ≤
∥∥∥∥∥n∑i=1
|S(hyi)x′i|
∥∥∥∥∥Z2πX′
.
(ii) (2) There are two functions f ∈ Y Z1 and g ∈ ZX2 such thatT (y) = gS(fy), i.e. T factorizes strongly through S.
![Page 77: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/77.jpg)
Strong factorizations for couples of operators.
Theorem
(Factorization Th.) Let X(µ) an order continuous Banach functionspace with the Fatou property. Let be Z2(µ) and Y (µ) ordercontinuous Banach function spaces, and let Z1(µ) be other Banachfunction space such that Y ⊆ Z1 and Z2 ⊆ X.
Let S : Z1 → Z2 and T : Y → X be operators. Assume that Z2πX′ is
order continuous. The following assertions are equivalent.
(i) (1) There is a function h ∈ Y Z1 such that for all y1, ..., yn ∈ Y (µ) andx′1, ..., x
′2 ∈ X ′,
n∑i=1
〈T (yi), x′i〉 ≤
∥∥∥∥∥n∑i=1
|S(hyi)x′i|
∥∥∥∥∥Z2πX′
.
(ii) (2) There are two functions f ∈ Y Z1 and g ∈ ZX2 such thatT (y) = gS(fy), i.e. T factorizes strongly through S.
![Page 78: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/78.jpg)
Characteristic inequalities for kernel operators
Corollary. Let Y , X, Z1 and Z2 be Banach function spaces with therequirements of the factorization theorem. Let T : Y → X be anoperator and K a kernel such that SK : Z1 → Z2. The followingassertions are equivalent.
(i) There is a function h ∈ Y Z1 such that for every y1, ..., yn ∈ Y andx′1, ..., x
′n ∈ X ′,
n∑i=1
〈T (yi), x′i〉 ≤
∥∥∥∥∥n∑i=1
|x′i(w)| ·∣∣ ∫
Ω
K(w, s)h(s)yi(s)dµ(s)∣∣∥∥∥∥∥Z2πX′
.
(ii) There is a function f ∈ Y Z1 and a function g ∈ ZX2 such that
T (y)(w) = g(w)
∫Ω
K(w, s)f(s)y(s)dµ(s)
for almost all w ∈ Ω and y ∈ Y .
![Page 79: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/79.jpg)
Characteristic inequalities for kernel operators
Corollary. Let Y , X, Z1 and Z2 be Banach function spaces with therequirements of the factorization theorem. Let T : Y → X be anoperator and K a kernel such that SK : Z1 → Z2. The followingassertions are equivalent.
(i) There is a function h ∈ Y Z1 such that for every y1, ..., yn ∈ Y andx′1, ..., x
′n ∈ X ′,
n∑i=1
〈T (yi), x′i〉 ≤
∥∥∥∥∥n∑i=1
|x′i(w)| ·∣∣ ∫
Ω
K(w, s)h(s)yi(s)dµ(s)∣∣∥∥∥∥∥Z2πX′
.
(ii) There is a function f ∈ Y Z1 and a function g ∈ ZX2 such that
T (y)(w) = g(w)
∫Ω
K(w, s)f(s)y(s)dµ(s)
for almost all w ∈ Ω and y ∈ Y .
![Page 80: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/80.jpg)
Characteristic inequalities for kernel operators
Corollary. Let Y , X, Z1 and Z2 be Banach function spaces with therequirements of the factorization theorem. Let T : Y → X be anoperator and K a kernel such that SK : Z1 → Z2. The followingassertions are equivalent.
(i) There is a function h ∈ Y Z1 such that for every y1, ..., yn ∈ Y andx′1, ..., x
′n ∈ X ′,
n∑i=1
〈T (yi), x′i〉 ≤
∥∥∥∥∥n∑i=1
|x′i(w)| ·∣∣ ∫
Ω
K(w, s)h(s)yi(s)dµ(s)∣∣∥∥∥∥∥Z2πX′
.
(ii) There is a function f ∈ Y Z1 and a function g ∈ ZX2 such that
T (y)(w) = g(w)
∫Ω
K(w, s)f(s)y(s)dµ(s)
for almost all w ∈ Ω and y ∈ Y .
![Page 81: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/81.jpg)
Characteristic inequalities for kernel operators
Corollary. Consider an order continuous Banach function space X(dt)with the Fatou property over the Lebesgue space ([0, 1],Σ, dt). Thefollowing assertions for an operator T : X(dt)→ X(dt) are equivalent.
(1) There is a function h ∈ L∞ such that for every x ∈ X and x′ ∈ X ′,∫T (x)x′dt ≤
∫|x′(w)|
∣∣∣ ∫ w
0
hx(t)dt∣∣∣dw.
(2) There is a function h ∈ L∞ such that for every simple function x ∈ X,T (x)(w) ≤ |
∫ w0hx(t)dt|, for almost all w ∈ [0, 1].
(3) There are functions f, g ∈ L∞ such that T (x)(w) = g(w)(∫ w
0fxdµ) for
almost all w ∈ [0, 1] and all x ∈ X.
![Page 82: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/82.jpg)
Characteristic inequalities for kernel operators
Corollary. Consider an order continuous Banach function space X(dt)with the Fatou property over the Lebesgue space ([0, 1],Σ, dt). Thefollowing assertions for an operator T : X(dt)→ X(dt) are equivalent.
(1) There is a function h ∈ L∞ such that for every x ∈ X and x′ ∈ X ′,∫T (x)x′dt ≤
∫|x′(w)|
∣∣∣ ∫ w
0
hx(t)dt∣∣∣dw.
(2) There is a function h ∈ L∞ such that for every simple function x ∈ X,T (x)(w) ≤ |
∫ w0hx(t)dt|, for almost all w ∈ [0, 1].
(3) There are functions f, g ∈ L∞ such that T (x)(w) = g(w)(∫ w
0fxdµ) for
almost all w ∈ [0, 1] and all x ∈ X.
![Page 83: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/83.jpg)
Characteristic inequalities for kernel operators
Corollary. Consider an order continuous Banach function space X(dt)with the Fatou property over the Lebesgue space ([0, 1],Σ, dt). Thefollowing assertions for an operator T : X(dt)→ X(dt) are equivalent.
(1) There is a function h ∈ L∞ such that for every x ∈ X and x′ ∈ X ′,∫T (x)x′dt ≤
∫|x′(w)|
∣∣∣ ∫ w
0
hx(t)dt∣∣∣dw.
(2) There is a function h ∈ L∞ such that for every simple function x ∈ X,T (x)(w) ≤ |
∫ w0hx(t)dt|, for almost all w ∈ [0, 1].
(3) There are functions f, g ∈ L∞ such that T (x)(w) = g(w)(∫ w
0fxdµ) for
almost all w ∈ [0, 1] and all x ∈ X.
![Page 84: FACTORIZATION OF OPERATORS AND VECTOR MEASURES](https://reader038.vdocument.in/reader038/viewer/2022103016/555e5429d8b42ad74a8b4f2e/html5/thumbnails/84.jpg)
Characteristic inequalities for kernel operators
Corollary. Consider an order continuous Banach function space X(dt)with the Fatou property over the Lebesgue space ([0, 1],Σ, dt). Thefollowing assertions for an operator T : X(dt)→ X(dt) are equivalent.
(1) There is a function h ∈ L∞ such that for every x ∈ X and x′ ∈ X ′,∫T (x)x′dt ≤
∫|x′(w)|
∣∣∣ ∫ w
0
hx(t)dt∣∣∣dw.
(2) There is a function h ∈ L∞ such that for every simple function x ∈ X,T (x)(w) ≤ |
∫ w0hx(t)dt|, for almost all w ∈ [0, 1].
(3) There are functions f, g ∈ L∞ such that T (x)(w) = g(w)(∫ w
0fxdµ) for
almost all w ∈ [0, 1] and all x ∈ X.