- #1
Haedadru
- 2
- 0
[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 Ax={x + n | n∈Z, n≠0}.
Now we can biject Ax, for any x of F, to the set of all integers, that is f:Ax→Z . This is possible, because if we were to remove the fractional parts of all of the members of a Ax, we would get the set of all integers.
The set of all Ax, is uncountable, since for every x of F, there exists a Ax.
Any Ax 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.
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 Ax={x + n | n∈Z, n≠0}.
Now we can biject Ax, for any x of F, to the set of all integers, that is f:Ax→Z . This is possible, because if we were to remove the fractional parts of all of the members of a Ax, we would get the set of all integers.
The set of all Ax, is uncountable, since for every x of F, there exists a Ax.
Any Ax 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.