Tuesday, 5 December 2017

How to construct some sequence of mutually disjoint finite measure sets



Let (X,S,μ) be a space with a positive measure and let A be a subfamily of S consisting of sets with finite measure.



I wish to prove that if
K:=supBAμ(B)<


then there exists a sequence (Bn) of pairwise disjoint sets from {A} such that μ(Bn)K.




I know that by the property of supremum there is a sequence (Cn) from A such that μ(Cn)K. That sequence need not be pairwise disjoint. If we take instead of (Cn) the sequence (Bn), where B1=C1, Bn=Cn(C1...Cn1) for n2, then sets Bn are from A, are pairwise disjoint with measures μ(Bn)μ(Cn), but I do not see whether or not μ(Bn)K.



Edit.



As K< and 0 it is not true.
What about the case K=?


Answer



This doesn't seem to be true. It can only hold when K=0.




Suppose Bn is such that μ(Bn)K. Now assume that μ(Bk)=x0 for some k. Then for any nk we have BnBkA and therefore μ(Bn)+μ(Bk)=μ(BnBk)K. So it follows that BnKx. But this contradicts our assumption that μ(Bn)K.


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...