Proof: It suffices to prove this for the case when (why?). Since there exists such that and bijectively. Define a new mapping by . Clearly this mapping is bijective, therefore . But it can easily be shown that . And since is an equivalence relation it follows that . If . The lemma follows by induction.

So assume that was countable, then by the above lemma is countable. Contradiction.

Hi, What I wrote before that that a union of countable sets is countable , but in this case we have Q u (R\Q)= R were its is countable U non countable = Non Countable, how do I show this law to be be correct given we know Q is countable and R is not countable?

Hi, What I wrote before that that a union of countable sets is countable , but in this case we have Q u (R\Q)= R were its is countable U non countable = Non Countable, how do I show this law to be be correct given we know Q is countable and R is not countable?

What?? I don't even understand what you mean. It sounds like you are restating the question. Was there something unsatisfactory with my proof?

Hi, What I wrote before that that a union of countable sets is countable , but in this case we have Q u (R\Q)= R were its is countable U non countable = Non Countable, how do I show this law to be be correct given we know Q is countable and R is not countable?

He was using proof by contradiction, and showing that if we assumed was countable, we could reach a false conclusion. So therefore must be uncountable.

Thanks for the help, but your proof is rather complicated for me, maybe could you write a more simple proof so I can understand it?

Here is a list of things that you are assumed to know (if you doubt/don't know these then say so):
-
- A countable set can be mapped bijectively to the natural numbers {1,2,3...}
- is countable (take the mapping that sends negative integers to odd naturals and positive integers to even naturals)
- The composition of two bijections is a bijection (so a countable set is one who is bijective to an other countable set)

Suppose that R\Q is countable. Then as Q is countable we can bijectively map Q to N using a function (say f). Same is true for R\Q, say g maps R\Q to N bijectively. Notice that R and R\Q are disjoint, hence if we define by
then we see that that h is a bijection. Hence R is countable (by the fact that Z is countable).

It suffices for n to be . Then I don't understand why you put , since i is just an index in the union, and we don't need any condition over it (it's given in the notation of the union).

Then more generally, it is sufficient to put a countable union, not necessarily finite.

Note : E is countable means that there exists an injection from E to

Lemma 1 : is countable.

Proof : The easiest way is to consider the attached picture.
Then you denote... :
point 1: (0,0)
point 2: (1,0)
point 3: (1,1)
point 4: (0,1)
point 5: (0,2)
point 6: (1,2)
...
This is a bijection from Nē to N.

Lemma 2 : A countable union of countable sets is countable.

Proof : Suppose we have a sequence of countable sets.
Then , an injective mapping.

It suffices for n to be . Then I don't understand why you put , since i is just an index in the union, and we don't need any condition over it (it's given in the notation of the union).

Then more generally, it is sufficient to put a countable union, not necessarily finite.

Note : E is countable means that there exists an injection from E to

Lemma 1 : is countable.

Proof : The easiest way is to consider the attached picture.
Then you denote... :
point 1: (0,0)
point 2: (1,0)
point 3: (1,1)
point 4: (0,1)
point 5: (0,2)
point 6: (1,2)
...
This is a bijection from Nē to N.

Lemma 2 : A countable union of countable sets is countable.

Proof : Suppose we have a sequence of countable sets.
Then , an injective mapping.

Let
And for any , there exists . So define

Now consider , where which is an injection (easy to prove)

And for finishing it, (injection o bijection) is an injection.

I forgot to change the index to . The reason why it is is because its obvious if and wasn't worth the weriting. Lastly, doing the countable case requires your nice little pictures which: A) I don't like pictures, B) I can't draw pictures, C) was uneccessary here. Also, the starred section above is a little misleading. Most books use countable as countably infinite and "at most countable" for what you said.

Who cares if you don't like sketches ????
You think I do too ? To be honest, my friend did this sketch, and had to explain it 3 times before I understood.

You're just a bunch of selfish people, who don't think that sometimes people reply to those who ask questions, and that maybe the ones who ask questions may understand better this way !!!!!!!!!!

And that's precisely the problem with you, M. Drexel28, who dare say that he doesn't like sketches, and (presumably) suppose it shouldn't be used in order to prove or to explain something.
But what about your Greek letters, that everybody would be such in an ease to manipulate ? What about that isomorphic sign that, of course, everybody would recognize at first sight and understand ? What about your so-perfect proof that everybody would understand where A and B come from ? And what about that excellent example of you saying that in most books, countable means being in bijection with , with your so-long experience of analysis books ? For your information, I precised at the beginning of my message what countable would stand for in the rest of the message.
And why the heck would you say that the sketch is unnecessary here ? Do you think you can just memorize the function Plato gave and present it one year after reading it ?
The aim of my message was to give a way to prove a general thing, that's what "more generally" means.

I forgot to change the index to

And so, where does k intervene ? I wonder !!

Just things among others.
And, in response to your PM, I won't change my way, if I see something I don't like, or where there are problems (and there were !), I will say it. I won't shut up in order to be pleasant to M. Drexel28.