A very probably flawed attempt at CH

[Haedadru]

[There is no set whose cardinality is strictly between that of the integers and that of the real numbers.]

Lets suppose we have the set F. We define F as the set of irrational numbers, which are greater than 0 and less than 1. (if x is a member of F, then 0<x<1). Now it is obvious, that FR is uncountable, since Cantor's diagonal argument holds here. And since it is uncountable, its cardinality is bigger than the set of the integers.

(FR is strictly a subset of ℝ, since a real number may be either rational or irrational; either algebraic or transcendental; and either positive, negative, or zero.)

Suppose we attempt a bijection, as in ( f:F→R ). We only need to pair all of the reals, that are greater than 0 and less than 1, to F. This is possible, since F is strictly a subset of ℝ. But there are infinitely more members in ℝ, in fact for any member of F, there are infinitely more members:
As we defined F, we stated that for any member x of F, x is greater than 0, but less than 1. Thus any x of F can be defined as the fractional part of an irrational number.
Say for example π : 3,14159265...
The fractional part of π is in F, since pi is irrational.
But in ℝ, we can find such numbers :
1,14159265...
2,14159265...
3,14159265...
4,14159265...
...
n,14159265...
for all n, such that n is a integer.
And this is true for any member of F.
That is, for any x of F, there exists a subset of ℝ, whose members, have the aforementioned x as the fractional part:
say x is a member of F, then A_x={x + n | n∈Z, n≠0}.

Now we can biject A_x, for any x of F, to the set of all integers, that is f:A_x→Z . This is possible, because if we were to remove the fractional parts of all of the members of a A_x, we would get the set of all integers.

The set of all A_x, is uncountable, since for every x of F, there exists a A_x.

Any A_x is a subset of the real numbers.

Thus, the cardinality of F is greater than the set of integers, and less than the set of real numbers.



I doubt, that there aren't any flaws in this, or that this "proof" could in anyway be defined as formal or rigorous. But in both cases, I would like to know where I have gone wrong.

 

[DivisionByZro]

Have you ever heard of this?

http://en.wikipedia.org/wiki/Continuum_hypothesis#Impossibility_of_proof_and_disproof_in_ZFC

 

[jgens]

The problem with your argument: You never show that there is no bijection F \to \mathbb{R}. Nothing in your argument supports the claim that there is no bijection. In fact, it is not difficult to show that there is a bijection between the irrationals in [0,1][\itex] and \mathbb{R}[\itex].&lt;br /&gt; &lt;br /&gt; The CH is independent of ZFC anyway, so there is no way you can actually settle the question using only the usual axioms for set theory.

 

[Amir Livne]

Actually, you argument also doesn't explain why the set F is uncountable. You quote Cantor's argument, but you don't explain why it works for this set.
(For example, a diagonalization might give you a rational number not in the list, but that is not in F so the argument doesn't work)

This is a good proof that |F|\times|\mathbb{Z}|=|\mathbb{R}|. But due to funny facts on multiplication of cardinalities, this does not mean |F|&lt;|\mathbb{R}|.

 

[micromass]

Let F = the irrationals between 0 and 1. Let G = the rationals between 0 and 1.

Then F\cup G=]0,1[ and thus (recall that ]0,1[ has the cardinality of the reals):

|F\cup G|=|\mathbb{R}|

We know that G is countable, thus |G|&lt;|\mathbb{R}|. If also |F|&lt;|\mathbb{R}|, then |F\cup G|&lt;|\mathbb{R}|. Contradiction.

 

[SteveL27]

[There is no set whose cardinality is strictly between that of the integers and that of the real numbers.]

To show that one set has smaller cardinality than another, you need to show that there is NO POSSIBLE bijection between the sets.

It's not enough to show that one particular ATTEMPT at a bijection seems to fail.

 

[Haedadru]

Oh crap, you're all right. I am done here, as in terribly wrong.

Thank you all for taking the time to show me the flaws.