WEAKER FORMS OF CONTINUITY AND VECTOR VALUED RIEMANN INTEGRATION
description
Transcript of WEAKER FORMS OF CONTINUITY AND VECTOR VALUED RIEMANN INTEGRATION
M.A.SOFIDEPARTMENT OF MATHEMATICS
KASHMIR UNIVERSITY, SRINAGAR-190006INDIA
WEAKER FORMS OF CONTINUITY AND VECTOR VALUED RIEMANN
INTEGRATION
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 Riemann-Lebesgue (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 (k-1)th stage shall be of length πΌ= π(π΄π(π)) = 12πβ1 13π, in which case παπ΅παΊπα»α= 12π (1β Ο 13πππ=1 ) and, therefore, παΊπΆα»= 12.
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 βπαΊπ‘α»= ππαΊπα»αΊπ‘α»,π‘ βαΎ0,1αΏ,2πβ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 π2of [0, 1] such that ππ΅ΰ΅«παΊπ,π1α»β παΊπ,π2α»ΰ΅―> 1 2ΰ΅, where ππ΅ is the strong*-seminorm on Xβ corresponding to B defined by ππ΅αΊπα»= axπ(π₯)axπ₯βπ΅π π’π ,πβ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.