I think you need to keep in mind that you are focusing on sequences. You keep trying to force sets as a vehicle towards that aim, but they are unnecessary and inappropriate.
Some important corrections (which correct also
http://www.internationalskeptics.com/forums/showpost.php?p=10364025&postcount=277):
1) The order of the added numbers (where all numbers are positive) does not matter.
2) Number 0 does not contribute anything to the sum of the added numbers, and so is the case of multiple added numbers of the same value, the fact that they have the same value also does not contribute any important thing to the sum of the added numbers.
3) According to (1) and (2) the added numbers into a given series are actually reduced into unique members of non-empty sets.
So we can omit the usage of sequences, and use only the unique members of sets that are all positive numbers.
By simplifying the framework into the sum of added positive unique numbers, I discovered that K (where |K|<|S|) is not a proper subset of S because K has at least one member which is not a member of S.
Here is an example:
{
0.910,
0.0910,
0.00910,
0.00110} is some set with cardinality |4| that its added members provide
1 by one-step, and it is obvious that
0.00110 is not a member of {
0.910,
0.0910,
0.00910, ...} with cardinality |
N| that its added members provide
1 by one-step.
So |K|<|S| and K is not a proper subset of S, yet it does not change the validity of my argument, which is as follow:
K or S must have smallest numbers > 0, such that the smallest number of S < the smallest number of K (such that the number of places of the smallest number of K < the number of places of the smallest number of S) and without those smallest numbers > 0, the sum of S or K members < the given limit.
If |K| is finite cardinality, the number of places of the smallest number of K is finite, otherwise it is infinite according to the cardinality of the set.
So we actually do not need the comparison between K and S in terms of set and proper subset, yet for all cardinality, there is the smallest number > 0 that the number of its places = the cardinality of its set.
The invariant existence of such smallest number > 0, proves the inability to define the smallest number > 0 for all sets, and we can conclude that no collection of added numbers has the non-composed property of 1-dimensional space because this property is stronger than the cardinality of all sets that their members are added along it from number
a up to
b, where
a<
b.