Please
very carefully observe Prof. Edward Frenkel's YT video on vectors
https://www.youtube.com/watch?v=PFkZGpN4wmM .
The essence of his notion is given from
https://youtu.be/PFkZGpN4wmM?t=697 until the end of the video, where he introduces the idea which I call "Math Over Matrix", which is actually our ability to deduce
also beyond the notion of collections (the mug is not a collection of its projections).
I find that his idea of the difference between "the thing in itself" and its representations (he is an expert in Representation Theory) mathematically airs its view by the following two axioms:
(1)
The Axiom Of Non-Complexity: There exists, at least, object _ (1-dim object), such that it is not a collection of shorter or shortest objects. (a shortest object is at least . (0-dim object)).
(2)
The Axiom Of Markers: Given a collection of shorter or shortest objects, they define values with respect to, at least, object _
Without (1) there is no, at least, object _ , and without (2) no value can be defined with respect to, at least, object _
So a useful mathematical framework, in this case, is based on, at least, (1) AND (2).
Please pay attention that (1) and (2) are deduced by using both visual_spatial AND verbal_symbolic reasoning, which actually enables to distinguish between "the thing in itself" (the non-composed existence, given by visual_spatial) and a collection (the composed, given by verbal_symbolic reasoning) of representations that are related to it but they are not the same as the "the thing in itself" (the mug ("the thing in itself") is not a collection of its projections (it is not its representations)).
Please pay attention that _ or . is non-composed, where this common property actually enables _ . deduction by the same framework.
But in order to do useful deduction, _ or . are also distinguishable of each other such that at least _ (1-dim object) is irreducible into at least . (0-dim object) AND at least . (0-dim object) is not expansible into at least _ (1-dim object).
Now let's deduce spatially AND symbolically according to (1) and (2) by using what is known as positional
numeral system (if only verbal_symbolic reasoning is used).
Since the considered mathematical framework is based on at least visual_spatial AND verbal_symbolic reasoning, one actually uses positional
number system.
Let's observe, for example
0.111...[base 2] and
0.222...[base 3] (which are
numbers of their own that are not equal to
1, if visual_spatial AND verbal_symbolic reasoning is used), by the following visual_spatial AND verbal_symbolic diagram:
Since at least _ (1-dim object) is irreducible into at least . (0-dim object), for example,
0.222...[base 3] <
1 by at least
0.000...1[base 3], then the
...1 in
0.000...1[base 3] is exactly the irreducibly of at least _ (1-dim object) into at least . (0-dim object).
By using visual_spatial AND verbal_symbolic reasoning, the notion of
invariant proportion is used among potential infinitely many scales (where potential infinity is simply the result of at least _ (1-dim object) that is irreducible into at least . (0-dim object)) as follows:
0.222...[base 3] <
1 by at least
0.000...1[base 3], but this is only the least case under [base 3].
Now, please (by using visual_spatial AND verbal_symbolic reasoning)
very carefully pay attention to the potential infinitely many stairs in
0.222...[base 3] along the diagram above.
By doing so we get the following:
0.222...[base 3] <
1 by at least
0.000...1[base 3]
but
0.22...[base 3] <
1 by at least
0.000...2[base 3]
where
the
invariant proportion among
0.000...2[base 3] (___) and
0.000...1[base 3] (_) is kept along the diagram, exactly because _ or ___ (1-dim form) are irreducible into . (0-dim form).
___ is 3 times longer than _ by the
invariant proportion along the potential infinitely many scales of the [base 3] positional
number system (of the example above).
[base 3] positional
number system is used here for any [base > 1] positional
number system, without loss of generality (
https://en.wikipedia.org/wiki/Without_loss_of_generality ).