sei Ii=I′. Dann ist I′⊃I′=∪iIi und ∑iV(Ii)=NV(I′)>V(I′).
Oder sei
I0=[a,a+2N+3b−a],
IN+1=[b−2N+3b−a,b]
und Ii=[a+iN+3b−a,a+(i+2)N+3b−a] für i=1,…,N.
wobei I′=[a,b] sei. Dann ist
I′⊃∪i=1NIi=[a+N+3b−a,a+N+3N+2(b−a)]
und
∑i=1NV(Ii)=2NN+3b−a≥V(I′)=b−a für alle N≥3.
Die Gleichheit gilt bei N=3.
Im Gegenteil zum ersten Beispiel sind die Ii hier paarweise verschieden und ist die Teilmenge eine echte.
Mister