Proof by induction- countably infinite sets

  • Thread starter kja
  • Start date
  • #1
kja
2
0

Homework Statement



I have to prove by induction that the union of any finite set of countably infinite sets is countably infinite.

Homework Equations



I have already proven, in a previous problem, that the union of any 2 countably infinite sets is countably infinite.

The Attempt at a Solution



I think for the basis I should use the fact that I have already proven that the union of 2 such sets is countably infinite. And I have an intuitive understanding of how the proof should go from there. The set can be denoted as M={A1,A2,A3,...} where An is countably infinite but M is finite. I figure the from my earlier proof, I can go through and say A1 union A2 is countably infinite, and that quantity union A3 is countably infinite, and so on. But I'm not very good at formalizing this, and I'm not very familiar at all with inductive proofs.
 

Answers and Replies

  • #2
65
0
You're pretty much there. The induction step should be:

(1) Assume that the union of N countably infinite sets is countably infinite
(2) Show this implies that the union of N+1 countably infinite sets is countably infinite.

Well, if you have a union of N countably infinite sets that is countably infinite, and you take the union of that set with one more, then you've proved it.
 
  • #3
HallsofIvy
Science Advisor
Homework Helper
41,847
965
Suppose it is true that, for k countably infinite sets, A1 A2, ..., Ak, [itex]B= \cup_{i=1}^k A_i[/itex] is countably infinite. Now, suppose you have A1, A2, ..., Ak, Ak+1 countably infinite sets. What can you say about [itex]B\cup A_{k+1}[/itex]?
 
  • #4
kja
2
0
Okay, I've figured it out now. I was just having trouble understanding the procedure for an inductive proof. Thanks a lot!
 

Related Threads on Proof by induction- countably infinite sets

Replies
1
Views
3K
  • Last Post
Replies
3
Views
1K
  • Last Post
2
Replies
29
Views
8K
Replies
2
Views
1K
  • Last Post
Replies
9
Views
7K
Replies
3
Views
5K
  • Last Post
Replies
6
Views
872
Replies
6
Views
2K
  • Last Post
Replies
4
Views
1K
Top