678 CHAPTER 21. THE BOCHNER INTEGRAL
21.7 Vector MeasuresThere is also a concept of vector measures.
Definition 21.7.1 Let (Ω,S ) be a set and a σ algebra of subsets of Ω. A mapping
F : S → X
is said to be a vector measure if
F (∪∞i=1Ei) =
∞
∑i=1
F (Ei)
whenever {Ei}∞
i=1 is a sequence of disjoint elements of S . For F a vector measure,
|F |(A)≡ sup{ ∑F∈π(A)
∥µ (F)∥ : π (A) is a partition of A}.
This is the same definition that was given in the case where F would have values in C,the only difference being the fact that now F has values in a general Banach space X asthe vector space of values of the vector measure. Recall that a partition of A is a finite set,{F1, · · · ,Fm} ⊆S such that ∪m
i=1Fi = A. The same theorem about |F | proved in the case ofcomplex valued measures holds in this context with the same proof. For completeness, it isincluded here.
Theorem 21.7.2 If |F |(Ω)< ∞, then |F | is a measure on S .
Proof: Let E1 and E2 be sets of S such that E1∩E2 = /0 and let {Ai1, · · · ,Ai
ni}= π(Ei),
a partition of Ei which is chosen such that
|F |(Ei)− ε <ni
∑j=1∥F(Ai
j)∥ i = 1,2.
Consider the sets which are contained in either of π (E1) or π (E2) , it follows this collectionof sets is a partition of E1 ∪E2 which is denoted here by π(E1 ∪E2). Then by the aboveinequality and the definition of total variation,
|F |(E1∪E2)≥ ∑F∈π(E1∪E2)
∥F(F)∥> |F |(E1)+ |F |(E2)−2ε ,
which shows that since ε > 0 was arbitrary,
|F |(E1∪E2)≥ |F |(E1)+ |F |(E2). (21.7.29)
Let{
E j}∞
j=1 be a sequence of disjoint sets of S and let E∞ = ∪∞j=1E j. Then by the
definition of total variation there exists a partition of E∞, π(E∞) = {A1, · · · ,An} such that
|F |(E∞)− ε <n
∑i=1∥F(Ai)∥ .