Prove the intersection of nested subsets containing infinite elements is infinite
1. The problem statement, all variables and given/known data
Decide if the following represents a true statement about the nature of sets. If it does not, present a specific example that shows where the statement does not hold: If A[itex]_{1}[/itex][itex]\supseteq[/itex]A[itex]_{2}[/itex][itex]\supseteq[/itex]A[itex]_{3}[/itex][itex]\supseteq[/itex]A[itex]_{4}[/itex][itex]\supseteq[/itex]...A[itex]_{n}[/itex] are all sets containing an infinite number of elements, then the intersection [itex]\bigcap[/itex][itex]^{\infty}_{n=1}[/itex]A[itex]_{n}[/itex] is infinite as well. 2. Relevant equations 3. The attempt at a solution I decided to attempt this using proof by induction.. although I'm a little unsure of how to do this using sets, here it goes anyways: Step 1: Show that [itex]\bigcap[/itex][itex]^{k}_{n=1}[/itex]A[itex]_{n}[/itex] is infinite when k=1 [itex]\bigcap[/itex][itex]^{1}_{n=1}[/itex]A[itex]_{n}[/itex]=A[itex]_{1}[/itex] A[itex]_{1}[/itex] is infinite. Therefore, [itex]\bigcap[/itex][itex]^{k}_{n=1}[/itex]A[itex]_{n}[/itex] is infinite when k=1 Next Step: Let, [itex]\bigcap[/itex][itex]^{k}_{n=1}[/itex]A[itex]_{n}[/itex] be infinite. Inductive Step: Show that [itex]\bigcap[/itex][itex]^{k+1}_{n=1}[/itex]A[itex]_{n}[/itex] is infinite [itex]\bigcap[/itex][itex]^{k+1}_{n=1}[/itex]A[itex]_{n}[/itex]=[itex]\bigcap[/itex][itex]^{k}_{n=1}[/itex]A[itex]_{n}[/itex][itex]\cap[/itex]A[itex]_{k+1}[/itex] [itex]\bigcap[/itex][itex]^{k}_{n=1}[/itex]A[itex]_{n}[/itex][itex]\cap[/itex]A[itex]_{k+1}[/itex]=A[itex]_{k+1}[/itex] A[itex]_{k+1}[/itex] is infinite. Therefore, [itex]\bigcap[/itex][itex]^{k+1}_{n=1}[/itex]A[itex]_{n}[/itex] is infinite. [itex]\bigcap[/itex][itex]^{\infty}_{n=1}[/itex]A[itex]_{n}[/itex] is infinite. Are there any glaring errors here? Any input would be greatly appreciated. Thanks! Mike 1. The problem statement, all variables and given/known data 2. Relevant equations 3. The attempt at a solution 
Re: Prove the intersection of nested subsets containing infinite elements is infinite
Quote:
If I were you, I'd start looking for a counterexample. 
Re: Prove the intersection of nested subsets containing infinite elements is infinite
Ok, that's what I was afraid of. Thank you for pointing out the gap there. I think I know a counter example, but my flawed inductive proof influenced me not to try it.
Let A[itex]_{1}[/itex]= {1,2,3,4...} A[itex]_{2}[/itex]={2,3,4,5...} A[itex]_{3}[/itex]={3,4,5,6...} Assume there is an element, k[itex]\in[/itex][itex]\bigcap[/itex][itex]^{\infty}_{n=1}[/itex] k[itex]\notin[/itex][itex]\bigcap[/itex][itex]^{k+1}_{n=1}[/itex] A[itex]_{n}[/itex] therefore, [itex]\bigcap^{\infty}_{n=1}[/itex] A[itex]_{n}[/itex]= (empty set). Ok, so this specific example shows an infinite intersection of infinite sets that equals the empty set( I think), thus disproving the statement above. is there a way to show that this is true for all infinite intersections of infinite nested subsets? Or can you get different results depending on the type of infinite sets.. 
Re: Prove the intersection of nested subsets containing infinite elements is infinite
Quote:

Re: Prove the intersection of nested subsets containing infinite elements is infinite
Well, don't have to use proper subsets so technically we could have nested subsets where A[itex]_{1}[/itex]=A[itex]_{2}[/itex]=A[itex]_{3}[/itex]=A[itex]_{4}[/itex]... right? I know the infinite intersection of those sets would be infinite, but that's no fun.
What if we had a infinite intersection of sets where A[itex]_{n}[/itex]=N[itex]\sum[/itex][itex]^{n}_{1}[/itex]2n So, A[itex]_{1}[/itex]={1,3,4,5,6,7,8...} A[itex]_{2}[/itex]={1,3,5,6,7,8...} A[itex]_{3}[/itex]={1,3,5,7,8...} In this case, [itex]\bigcap[/itex][itex]^{\infty}_{n=1}[/itex]={1,3,5,7,9,11...} So the infinite intersection equals an infinite amount of odd natural numbers. 
Re: Prove the intersection of nested subsets containing infinite elements is infinite
Quote:

Re: Prove the intersection of nested subsets containing infinite elements is infinite
Yes I do, thank you!

Re: Prove the intersection of nested subsets containing infinite elements is infinite
One proof of a version of Cauchy's theorem actually uses the fact that this is not the case. You take the intersection of some specific nested triangles in the complex plane, which shrink to exactly one point. It seems like you had countably infinite sets in mind, but this proof is too pretty to not mention.

All times are GMT 5. The time now is 09:32 AM. 
Powered by vBulletin Copyright ©2000  2014, Jelsoft Enterprises Ltd.
© 2014 Physics Forums