- #1
said_alyami
- 6
- 0
This is a proof that:
There exist interval [A,B] on the real numbers line that is indivisible as a mathematical point is indivisible.
------------------------------
Its a proof by contradiction, starting with premise 1
Proof
[tex]\aleph[/tex] L represents the cardinality of all possible consecutive closed intervals within the interval [0,1]
1- EVERY closed interval [A,B] on the real numbers line can be divided into infinite consecutive sub-intervals.
2- The interval [0,1] is a line segment on the real numbers line with length = 1
This unity line segment can be expressed as the sum of infinite consecutive smaller line segments between 0 and 1 as in the infinite series ( 1/2 + 1/4 + 1/8 + 1/16 +... +1/2n ) where n ---> [tex]\infty[/tex]
Every term 1/2n in the infinite series is a line segment that can be represented as a closed sub-interval within the mother interval [0,1]
3- These infinite consecutive sub-intervals within the interval [0,1] can be put in a (one to one) correspondence with the set of integer numbers Z
4- The set of integer numbers Z has cardinality = [tex]\aleph[/tex]0
5- From 3 and 4, [tex]\aleph[/tex]L [tex]\geq[/tex] [tex]\aleph[/tex]0
6- now, each sub-interval of those infinite sub-intervals within [0,1] is by itself a unique closed interval on the real numbers line that can be represented by a line segment and an infinite series, exactly as done with the mother interval [0,1] in step 2
7- From 6, every sub-interval within [0,1] has infinite sub-intervals that can be put in one-to-one correspondence with the set of integers Z
8- [tex]\aleph[/tex]L [tex]\geq[/tex] ( [tex]\aleph[/tex]0 * [tex]\aleph[/tex]0)
9- now every new sub-sub-interval is again a unique closed interval on the real numbers line and can be represented by a line segment and an infinite series with cardinality = [tex]\aleph[/tex]0
10- from 9, [tex]\aleph[/tex]L [tex]\geq[/tex] ( [tex]\aleph[/tex]0 * [tex]\aleph[/tex]0 * [tex]\aleph[/tex]0 )
11- Steps 9 and 10 repeat again and again, infinitely
12- [tex]\aleph[/tex]L [tex]\geq[/tex] ( [tex]\aleph[/tex]0 * [tex]\aleph[/tex]0 * [tex]\aleph[/tex]0 * [tex]\aleph[/tex]0 ...)
13- [tex]\aleph[/tex]L [tex]\geq[/tex] ( [tex]\aleph[/tex]0 ^ [tex]\aleph[/tex]0 )
14- ( [tex]\aleph[/tex]0 ^ [tex]\aleph[/tex]0 ) [tex]\geq[/tex] ( 2 ^ [tex]\aleph[/tex]0 )
( 2 ^ [tex]\aleph[/tex]0 ) = [tex]\aleph[/tex]1 which is the continum , cardinality of all mathematical points on a line segment.
15- from 13,14 [tex]\aleph[/tex]L [tex]\geq[/tex] [tex]\aleph[/tex]1
16- from 15, there are at least [tex]\aleph[/tex]1 closed sub-intervals within the mother interval [0,1] every one of them can be treated like the mother interval, which means that every one of them can be divided into at least N1 sub-intervals
17- from 16 [tex]\aleph[/tex]L [tex]\geq[/tex] [tex]\aleph[/tex]1 * [tex]\aleph[/tex]1
18- the same process happen again and again which leads to [tex]\aleph[/tex]L [tex]\geq[/tex] ( [tex]\aleph[/tex]1 * [tex]\aleph[/tex]1 * [tex]\aleph[/tex]1 ... )
19- [tex]\aleph[/tex]L [tex]\geq[/tex] ( [tex]\aleph[/tex]1 ^ [tex]\aleph[/tex]0 )
20- from 19, there are at least ( [tex]\aleph[/tex]1 ^ [tex]\aleph[/tex]0 ) sub intervals, every one of them can be treated like the mother interval [0,1] which means every one of them can be divided too into ( [tex]\aleph[/tex]1 ^ [tex]\aleph[/tex]0 )
21- from 20, [tex]\aleph[/tex]L [tex]\geq[/tex] [ ( [tex]\aleph[/tex]1 ^ [tex]\aleph[/tex]0 ) * ( [tex]\aleph[/tex]1 ^ [tex]\aleph[/tex]0 ) ]
22- the same process happen again and again which leads to [tex]\aleph[/tex]L [tex]\geq[/tex] [ ( [tex]\aleph[/tex]1 ^ [tex]\aleph[/tex]0 ) * ( [tex]\aleph[/tex]1 ^ [tex]\aleph[/tex]0 ) * ( [tex]\aleph[/tex]1 ^ [tex]\aleph[/tex]0 ) ... ]
23- [tex]\aleph[/tex]L [tex]\geq[/tex] ( [tex]\aleph[/tex]1 ^ [tex]\aleph[/tex]1 )
24-( [tex]\aleph[/tex]1 ^ [tex]\aleph[/tex]1 ) [tex]\geq[/tex] ( 2 ^ [tex]\aleph[/tex]1 )
25- from 23 and 24, [tex]\aleph[/tex]L [tex]\geq[/tex] ( 2 ^ [tex]\aleph[/tex]1 )
26- from 25, [tex]\aleph[/tex]L > [tex]\aleph[/tex]1
27- from 26, on a closed interval on the real numbers line, there can be more consecutive closed sub-intervals than mathematical points "continuum" on that interval, which is not the case.
28- Contradiction.
29- premise 1 is False
30- So, There exist interval [A,B] that can be divided only into Finite sub-intervals
31- From 30, those finite sub-intervlas cannot be continously devided otherwise that will result into infinite sub-intervals and the contradiction in 27
32- From 31 there exist sub-interval [A,B] that can Not be divided anymore
33- From 32, There exist interval [A,B] that is indivisible as a mathematical point is indivisible.
End
There exist interval [A,B] on the real numbers line that is indivisible as a mathematical point is indivisible.
------------------------------
Its a proof by contradiction, starting with premise 1
Proof
[tex]\aleph[/tex] L represents the cardinality of all possible consecutive closed intervals within the interval [0,1]
1- EVERY closed interval [A,B] on the real numbers line can be divided into infinite consecutive sub-intervals.
2- The interval [0,1] is a line segment on the real numbers line with length = 1
This unity line segment can be expressed as the sum of infinite consecutive smaller line segments between 0 and 1 as in the infinite series ( 1/2 + 1/4 + 1/8 + 1/16 +... +1/2n ) where n ---> [tex]\infty[/tex]
Every term 1/2n in the infinite series is a line segment that can be represented as a closed sub-interval within the mother interval [0,1]
3- These infinite consecutive sub-intervals within the interval [0,1] can be put in a (one to one) correspondence with the set of integer numbers Z
4- The set of integer numbers Z has cardinality = [tex]\aleph[/tex]0
5- From 3 and 4, [tex]\aleph[/tex]L [tex]\geq[/tex] [tex]\aleph[/tex]0
6- now, each sub-interval of those infinite sub-intervals within [0,1] is by itself a unique closed interval on the real numbers line that can be represented by a line segment and an infinite series, exactly as done with the mother interval [0,1] in step 2
7- From 6, every sub-interval within [0,1] has infinite sub-intervals that can be put in one-to-one correspondence with the set of integers Z
8- [tex]\aleph[/tex]L [tex]\geq[/tex] ( [tex]\aleph[/tex]0 * [tex]\aleph[/tex]0)
9- now every new sub-sub-interval is again a unique closed interval on the real numbers line and can be represented by a line segment and an infinite series with cardinality = [tex]\aleph[/tex]0
10- from 9, [tex]\aleph[/tex]L [tex]\geq[/tex] ( [tex]\aleph[/tex]0 * [tex]\aleph[/tex]0 * [tex]\aleph[/tex]0 )
11- Steps 9 and 10 repeat again and again, infinitely
12- [tex]\aleph[/tex]L [tex]\geq[/tex] ( [tex]\aleph[/tex]0 * [tex]\aleph[/tex]0 * [tex]\aleph[/tex]0 * [tex]\aleph[/tex]0 ...)
13- [tex]\aleph[/tex]L [tex]\geq[/tex] ( [tex]\aleph[/tex]0 ^ [tex]\aleph[/tex]0 )
14- ( [tex]\aleph[/tex]0 ^ [tex]\aleph[/tex]0 ) [tex]\geq[/tex] ( 2 ^ [tex]\aleph[/tex]0 )
( 2 ^ [tex]\aleph[/tex]0 ) = [tex]\aleph[/tex]1 which is the continum , cardinality of all mathematical points on a line segment.
15- from 13,14 [tex]\aleph[/tex]L [tex]\geq[/tex] [tex]\aleph[/tex]1
16- from 15, there are at least [tex]\aleph[/tex]1 closed sub-intervals within the mother interval [0,1] every one of them can be treated like the mother interval, which means that every one of them can be divided into at least N1 sub-intervals
17- from 16 [tex]\aleph[/tex]L [tex]\geq[/tex] [tex]\aleph[/tex]1 * [tex]\aleph[/tex]1
18- the same process happen again and again which leads to [tex]\aleph[/tex]L [tex]\geq[/tex] ( [tex]\aleph[/tex]1 * [tex]\aleph[/tex]1 * [tex]\aleph[/tex]1 ... )
19- [tex]\aleph[/tex]L [tex]\geq[/tex] ( [tex]\aleph[/tex]1 ^ [tex]\aleph[/tex]0 )
20- from 19, there are at least ( [tex]\aleph[/tex]1 ^ [tex]\aleph[/tex]0 ) sub intervals, every one of them can be treated like the mother interval [0,1] which means every one of them can be divided too into ( [tex]\aleph[/tex]1 ^ [tex]\aleph[/tex]0 )
21- from 20, [tex]\aleph[/tex]L [tex]\geq[/tex] [ ( [tex]\aleph[/tex]1 ^ [tex]\aleph[/tex]0 ) * ( [tex]\aleph[/tex]1 ^ [tex]\aleph[/tex]0 ) ]
22- the same process happen again and again which leads to [tex]\aleph[/tex]L [tex]\geq[/tex] [ ( [tex]\aleph[/tex]1 ^ [tex]\aleph[/tex]0 ) * ( [tex]\aleph[/tex]1 ^ [tex]\aleph[/tex]0 ) * ( [tex]\aleph[/tex]1 ^ [tex]\aleph[/tex]0 ) ... ]
23- [tex]\aleph[/tex]L [tex]\geq[/tex] ( [tex]\aleph[/tex]1 ^ [tex]\aleph[/tex]1 )
24-( [tex]\aleph[/tex]1 ^ [tex]\aleph[/tex]1 ) [tex]\geq[/tex] ( 2 ^ [tex]\aleph[/tex]1 )
25- from 23 and 24, [tex]\aleph[/tex]L [tex]\geq[/tex] ( 2 ^ [tex]\aleph[/tex]1 )
26- from 25, [tex]\aleph[/tex]L > [tex]\aleph[/tex]1
27- from 26, on a closed interval on the real numbers line, there can be more consecutive closed sub-intervals than mathematical points "continuum" on that interval, which is not the case.
28- Contradiction.
29- premise 1 is False
30- So, There exist interval [A,B] that can be divided only into Finite sub-intervals
31- From 30, those finite sub-intervlas cannot be continously devided otherwise that will result into infinite sub-intervals and the contradiction in 27
32- From 31 there exist sub-interval [A,B] that can Not be divided anymore
33- From 32, There exist interval [A,B] that is indivisible as a mathematical point is indivisible.
End