Show that the union of two countable sets is countable?

Printable View

- Jul 16th 2007, 09:46 AMTheRekzcountable sets
Show that the union of two countable sets is countable?

- Jul 16th 2007, 10:06 AMgalactus
See here:

Biola University Academics - Jul 16th 2007, 10:19 AMTheRekz

Show that the union of two countable sets is countable.

*Proof.*Let A and B be the two countable sets. Then B\A is countable due to Prob. 34. From Thm. 1.7-A, the elements of A and B\A can be listed as A = {a0, a1, a2, . . . } and B\A = {c0, c1, c2, . . . } Then A È B = A È (B\A) = {a0, c0, a1, c1, a2, c2, . . . } is a list whose elements are all distinct and also includes all elements of A È B. Hence by Thm. 1.7-A, A È B is countable.

whats does B\A means here? can someone explain to me in a bit more detail

- Jul 16th 2007, 10:21 AMPlato
As the link in the previous posting shows (BTW: that is an awful proof!) any proof of this really dependents upon the definitions and theorems in your particular text. There many ways to show this some are easier than other. But they depend in particular definitions.

- Jul 16th 2007, 10:50 AMPlato
Here is one definition of

*countable*: a set*A*is countable if there is a injection, one-to-one, function .

Now suppose that each of*A & B*is countable set, now there is also an injection such that . We now define an injection .

BTW: is set of elements in*A*but not in*B*.

Now you must show that*h*is an injection. - Jul 16th 2007, 11:02 AMTheRekz
- Jul 16th 2007, 11:23 AMPlato
- Jul 16th 2007, 12:58 PMCaptainBlack
- Jul 16th 2007, 05:34 PMTheRekz
I am getting more confused by your explanation.. If both A and B are countable because they are finite then it doesn't matter because then the union of both of them have a cardinality which then can be proofed to be a injection.. I am confused by the example of Plato here giving such function g(x), say that A\B is {1,2,3,4,5} and B\A is {7,8,9,10,11} I am confused to show this injection

- Jul 17th 2007, 07:51 PMTheRekz
anyone??

- Jul 17th 2007, 08:48 PMCaptainBlack
If both and are countably infinite, let: be enumerations of and respectivly.

Then:

where is an enumeration of and so is countable.

The cases where one or both of and are finite is easily disposed of by an enumeration where the elements of or (whichever is finite or either if both are) are taken first follwed by the elements of the other.

RonL - Jul 17th 2007, 08:55 PMTheRekz
- Jul 17th 2007, 09:21 PMCaptainBlack
- Jul 17th 2007, 09:47 PMTheRekz
- Jul 17th 2007, 09:50 PMCaptainBlack