WEAKER FORMS OF CONTINUITY AND VECTOR VALUED …
Download
Report
Transcript WEAKER FORMS OF CONTINUITY AND VECTOR VALUED …
WEAKER FORMS OF
CONTINUITY AND
VECTOR VALUED RIEMANN
INTEGRATION
M.A.SOFI
DEPARTMENT OF MATHEMATICS
KASHMIR UNIVERSITY, SRINAGAR-190006
INDIA
1.Classical Situation
Given a continuous function π: π,π β β, then
a. f is Riemann integrable.
b. f has a primitive: β πΉ: π,π β β such that F is differentiable on π,π
and πΉβ² π‘ = π π‘ ππ π,π .
2.Banach spaces
Let X be a Banach space and π: π, π β π a continuous function. Then
a. f is Riemann integrable.
b. f has a primitive: β πΉ: π, π β π such that F is differentiable on
π, π and πΉβ² π‘ = π π‘ ππ π, π .
c. If π is differentiable on [a, b], then π β² is Henstock integrable and
π₯ β²
π π₯ = π π π‘ ππ‘, βπ₯ β π, π .
3.Quasi Banach spaces
Let X be a quasi Banach space. Then
a. Continuity of π: π, π β π does not imply Riemann integrability of f.
b. Continuity β Riemann integrability if and only if X is Banach.
c. (Kalton) For X such that π β = 0 , continuity of f implies f has a primitive.
(In particular, this holds for X= πΏπ π, π , 0 < π < 1).
d. (Fernando Albiac) For X such that π β is separating, there exists a
continuous function π: π, π β π failing to have a primitive.(In particular,
for X =βπ , 0 < π < 1).
4. Riemann-Lebesgue Property
(i) Definition: A Banach space X is said to have Riemann-Lebesgue(RL)property if π: π, π β π is continuous a.e on [a, b] if (and only if) it is
Riemann integrable.
(ii) Examples:
a. (Lebesgue): β has (RL)-property.
Consequence: Finite dimensional Banach spaces have the (RL)property.
b. (G.C.da Rocha): β1 has (RL)-property.
c. (G.C.da Rocha):Tsirelson space.
d. (G.C.da Rocha): Infinite dimensional Hilbert spaces do not have the
(RL)-property. More generally, an infinite dimensional uniformly
convex Banach does not possess (RL)-property.
(i) Definition: A Banach space X is said to have Weak RiemannLebesgue (WRL) - property if π: π, π β π is weakly continuous a.e on
[a, b] if (and only if) it is Riemann integrable.
(ii) Theorem (Russel Gordon): C[0, 1] does not have (WRL)-property.
(iii) Theorem (Wang and Yang): For a given measurable space β¦, Ζ© ,
the space πΏ1 (β¦, Ζ©)has (WLP).
(i) Theorem (Wang and Yang): For a given measurable space β¦,Ζ© ,
the space πΏ1 (β¦,Ζ©)has (WLP).
As a generalisation of this result, we have:
(ii) Theorem( E.A.Sanchez Perez et al): Let X be a Banach space
having Radon-Nikodym property. Then the space πΏ1 (β¦,Ζ©,π) of
Bochner integrable functions has (WLP).
As a generalisation of this result, we have:
(iv) Theorem( E.A.Sanchez Perez et al): Let X be a Banach space
having Radon-Nikodym property. Then the space πΏ1 (β¦, Ζ©, π) of
Bochner integrable functions has (WLP).
5.Weaker forms of continuity:
(i) Theorem (Wang and Wang): For a Banach space X, π: π, π β π
weakly continuous implies f is Riemann-integrable if and only if X is
a Schur space(i.e., weakly convergent sequences in X are norm
convergent).
(ii) Theorem (V M Kadets): For a Banach space X, each weak*continuous function π: π, π β πβ is Riemann-integrable if and only
if X is finite dimensional.
6.Frechet space setting:
(i) Definition: Given a Frechet space X, we say that a function π: π, π β π is
Riemann-integrable if the following holds:
(*) β π₯ β π such that β π > 0 and nβ₯ 1, βπΏ = πΏ(π, π) > 0 such that for each
tagged partition P= {π π , π‘πβ1 , π‘π , 1 β€ π β€ π} of [a, b] with
πππ₯
π = 1β€πβ€π
π‘π β π‘πβ1 < πΏ,
we have
ππ π π, π β π₯ < π,
where, π π,π is the Riemann sum of f corresponding to the tagged
partition P= {π π , π‘πβ1 ,π‘π ,1 β€ π β€ π} of [a, b] where π = π‘0 < π‘1 < β―π‘π = π
and π π β π‘πβ1 ,π‘π ,1 β€ π β€ π. Here, {ππ }βπ=1 denotes a sequence of
seminiorms generating the (Frechet)-topology of X. The (unique) vector x,
to be denoted by
π
π π‘ ππ‘,
π
shall be called the Riemann-integral of f over [a, b].
As a far reaching generalisation of Kadetβs theorem stated above, we have
(i) Theorem (MAS, 2012): For a Frechet space X, each πβ βvalued weakly*continuous function is Riemann integrable if and only if X is a Montel space.
(A metrisable locally convex space is said to be a Montel space if closed and
bounded subsets in X are compact).
Since Banach spaces which are Montel are precisely those which are finite
dimensional, Theorem ii yields Kadetβs theorem as a very special case.
Ingredients of the proof :
a. Construction of a βfatβ Cantor set.
A βfatβ Cantor set is constructed in a manner analogous to the construction
of the conventional Cantor set, except that the middle subinterval to be
knocked out at each stage of the construction shall be chosen to be of a
suitable length πΌ so that the resulting Cantor set shall have nonzero
measure.
(π)
In the instant case, each of the 2πβ1 subintervals π΄π ( π =
1,2,β¦ ,2πβ1 ) to be knocked out at the kth stage of the construction
(π)
from each of the remaining subintervals π΅π ( π = 1,2,β¦ , 2πβ1 ) at the
1 1
(π)
(k-1)th stage shall be of length πΌ = π(π΄π ) = πβ1 π , in which case
π
1
π π΅π = π (1 β
2
π 1
π=1 3π ) and, therefore, π
2
1
πΆ = .
2
3
b.Frechet analogue of Josefson-Nessenzwieg theorem:
Theorem(Bonet, Lindsrtom and Valdivia, 1993): A Frechet space X is
Montel if and only if weak*-null sequences in X* is strong*-null.
Sketch of proof:
Necessity: This is a straightforward consequence of (b) above.
Sufficiency: Assume that X is not Frechet Montel. By (b), there exists a
sequence in X* which is weak*-null but not strong*-null. Denote this
(π)
π
(π)
sequence by π₯πβ βπ=1 . Write π΄π = [ππ ,ππ ] and define a function
(π)
(π)
(π)
ππ : [0,1] β β which is piecewise linear on π΄π and vanishes off π΄π .
Put
2πβ1
π
βπ π‘ =
ππ π‘ , π‘ β 0, 1 ,
π=1
and define
β
βπ π‘ π₯πβ , π‘ β 0, 1 .
π π‘ =
π=1
Claim 1: f is weak*-continuous.
This is achieved by showing that the series defining f is uniformly
convergent in ππβ .
Claim 2: f is not Riemann integrable.
Here we use the fact that the Cantor set C constructed above has
measure equal to 1 2 and then produce a bounded subset B of X and
tagged partitions π1 and π2 of [0, 1] such that
ππ΅ π π, π1 β π π, π2
> 1 2,
where ππ΅ is the strong*-seminorm on X β corresponding to B defined
by
π π’π
ππ΅ π = π₯βπ΅ π(π₯) , π β X β .
This contradicts the Cauchy criterion for Riemann integrability of f.
We conclude with the following problem which appears to be open.
PROBLEM 1: Characterise the class of Banach spaces X such that
weakly*-continuous functions π: [π, π] β π have a primitive F:
πΉβ² π‘ = π π‘ , βπ‘ β π, π ,
i.e.,
πππ πΉ π‘ + β β πΉ(π‘)
β π(π‘) = 0, βπ‘ β π, π .
ββ0
β
The following problem has a slightly different flavour and is
motivated by the idea of βdecompositionβ of a βfinite dimensionalβ
property, a phenomenon which has been treated in a recent work of
the author βAround finite dimensionality in functional analysisβ
(RACSAM, 2013).
PROBLEM 2: Describe the existence of a locally convex topology π on
β
the dual of a Banach space X such that each π: π,π β π continuous
w r t π is Riemann integrable if and only if X is a Hilbert space.