 |
Articles and Publication Physics Theoretical physics DO THE HYPERREAL NUMBERS EXIST IN THE QUANTUM-RELATIVE UNIVERSE?
DO THE HYPERREAL NUMBERS EXIST IN THE
QUANTUM-RELATIVE UNIVERSE?
© Pavel Polyan
Contact:
Russia, Krasnoyarsk-49, box 19589.
Tel. (3912) 27-50-77. E-mail: polyan2002@mail.ru
This article is the text of the poster, which has been
presented by the author on International Conference “Multidimensional Complex
Analysis” Krasnoyarsk State University, Russia, August 5-10, 2002.
Author’s notes:
Hyperreal numbers appear in Abraham Robinson’s non-standard model of analysis
as a result of extension of the field of real numbers, if the offence of the
Eudocks-Archimed axiom is permitted. In other words, the hyperreal numbers - are
a artificially-created abstract mathematical object, and if so, the question,
stated in the title of this article, sounds at least strange.
In connection with this, it is necessary to
explain what "existence" I mean, and why quantum-relative
characteristics of the objective world are so important. That is why some
philosophic introduction, which can be not read by readers who are not inclined
to philosophy and methodology, will be made. After the introduction the material
of the article goes as follows.
I. The basing of logically necessary
connection between real and hyperreal numbers. Appearance of the hyperreal
numbers in some concrete cases. The Maximum limit of the expending series:
Fibonacci numbers and "the gold proportion", harmonion series and
number "e". The compression of Dirihle function.
II. Non-standard transference. The Fractal
trajectory the motion with the indefinite velocity-general definitions.
III. The destruction of the lenear
continuum temporally, CHRONOMETRICS. The notion AREAL
MULTITUDE and its application to the time analysis. A multitude of norms.
IV. Same general theoretical condusions.
Variety of geometries and the solitude of the empirical space.
I must also note that as far as the
material is represented, the readers will have thoughts about the shift to the
adjacent themes, such as the p-adical analysis, the multitude theory, to the
technical questions, connected with the mathematical apparatis of modern physics
and others. However, we shan’t consider those problems for the sake of saving
time and space. On the whole, this article is just a thesis exposition of the
extensive theme, which I call "NON-STANDARD ANALYSIS OF NON-CLASSICAL
MOTION". I hope, that this approach will allow the researchers to develop
this approach creatively as applied to the varied number of questions.
PHILOSOPHIC INTRODUCTION
We know, that physics as a strict science
began with the basic work of Isaac Newton "The Mathematical bases of
Natural Philosophy", basic not only for the theoretical physics, but for
the classical mathematical analysis. Up to now in the manuals the notion "derivative"
is explained by learners with the example of physical notions about mechanical
transference of the material point and the instantaneous velocity. However, in
modern, non-classical physics Newton’s notions of velocity and transference
are essentially modified. In relative physics not every ratio dx/dt
is permissible - the maximum velocity point C is set, and in quantum mechanics
the trajectory of the motion of a particle, where the moment of time and the
co-ordinate are strictly bound, is replaced by quantum-wave notions with the
definite ratio of Heisenberg uncertainty.
Thus, the harmony between physical and
mathematical which existed in the classical science notions appeared to be
disturbed. If someone asked in the century before last: "Do the
differential functions exist in the Universe?" it wouldn’t be difficult
to define the word "existence" in such a formulation of the question.
Many people believed, that "God speaks Mathematics" - Mathematics
reveals the essence of the Universe, even if we don’t understand it. In this
case Hamilton’s idea of that like geometry is the theory of space, algebra is
the theory of time. The attempts of Gauss and Lobachevsky to define
experimentally it Non-Euclidean geometry is adequate reality are as mach as
remarkable.
Now another theory prevails: Mathematics is
regarded as the supplier of the abstract construction for the theoretical
modelling of the physical observation results. As Bertrand Russel said: "The
Mathematical conception gives the abstract logical scheme, to which by means of
proper manipulation the empiricist material can be fitted..." (B. Russel
"Introduction to Mathematical Philosophy"). Now mathematics is not the
language of Logos, Objective Spirit, but a symbolic science language to describe
reality. In conformily with it, more and more abstract schemes, are being
created, the mathematical conceptions, used by physicist - theorists goes
further and further from the obvious simplicity, typical for "the
mathematical bases of natural philosophy". It seems that the abstract
objects take the part of the antediluvian elephants and tortoises, with the help
of which ancient people "modelled" the Universe...
Since ancient Greek time there has been two
lines: classical philosophy, preoccupied with searching for truth, and sophistry,
preoccupied with composing inner logical schemes to prove everything whatever.
Nowadays the latter dominates. It is considered that any inner non-contradictory,
abstract mathematical construction can be used in physics. And it is because of
this, divergence in non-classical notions of mechanical motion and initial bases
of the classical analysis is not considered a serious problem. What is the
problem? - to model there are mathematical apparatis of other kind, and for
every case there can be found a more-or-less proper interpretation!
Can such a state of things be considered
the only possible way of cognition, and the ideology proving it - the only right?
My answer is no. Moreover, there are reasons to believe that this verdict is not
just the opinion of a philosopher-idealist, but the reflexion of the particular
intentions, typical of many people. Here I give two quotations.
Richard Feynman in his book "The
Character of Physical Laws" says: "The theory, according to which the
space appears to be continuous seems not right to me, because it leads to
infinitely bigger quantities and other difficulties. Moreover, it doesn’t
answer the question what determines the size of all particles. I suspect that
simple geometrical notions, spread over very small areas of space are not true.
Saying this, I breach in the general notion of physics, of course, saying
nothing about how to fill it in" (Richard Feynman, "The Character of
Physical Law", London, 1965.)
And the following remarkable
judgement was said in the famous book D. Gilbert and P. Barnice: "As
a matter of fact, we don’t have to consider that mathematical space-time
nation of motion is physically interpreted in cases of arbitrarily small spatial
and terminal intervals. Moreover, we have all grounds to believe, that striving
to deal with quite simple nations, this mathematical model extrapolate facts,
taken from one field of experience, particularly from the fields of motion
within the limits of quantities, which are not available to our observation.
Like water ceased to be water in case of unlimited special breaking up , in case
of unlimited special breaking up there arises also something that can hardly be
characterised as motion." [Gilbert D.,
Barnice P. “Bases of Mathematics. Logical Calculus and Formalisation of
Arithmetic”, M., “Nauka”, 1979, h.41, the first addition of the book was
in 1934]
I am sorry for these big quotations, they
are necessary to ground the main premises of the important problem:
- These exists principal divergence
between modern physical notions of motion and classical notion of analysis.
- It is possible to build “mathematical
model”, which will fit to describe micro-motion within the limits of
“quantities which are not available to our observation”.
But actually the main thing concerns not a
model, and not its building, but the fact that inside logics of classical
mathematics itself it is necessary to find the bases for further development of
the theory.
Nowadays there is an ideology which can be
called model constructivism, but the real development of science goes other way,
I would call this way logo genesis. That is new essences are “not thought up”,
but the bases capable to develop themselves in a sound mathematical science,
which would be true, are found in the natural logical theory. It will take this
philosophic approach we should agree with Feynman - classical analysis does not
correspond to reality, but not because it is mistaken, but because in its logics
logical possibilities, which allow to bring the mathematical theory into like
physical notions, haven’t been revealed yet. Introducing action quantity, Max
Plank worried tragically, that he had to modify formulae with the reference to
the experiment. Perhaps, his worries were not groundless, and the quantum number
can be concluded theoretically - from logical bases, still being hideous and
unrevealed I believe, that the matter is so.
But it would be too precipitate to declare
that the mentioned at the beginning of the article non-standard analysis give us
the necessary theoretical model and hyper real numbers are just right abstract
object, which would allow to model quantum-mechanical discreteness. Thinking so,
we stay within the limits of the model constructivism. Non-Archimedean analysis
in its modern way is an artificial model, based on the direct negation of
Eudocks-Archimed axiom, and there are no serious reasons to widen the field of
the real numbers.
Indeed: what kind of numbers are they, if
any sum of which cannot be more than one, and the inverses of which appear to be
beyond the sigh of the infinity? Introduction of them is an arbitrary assumption,
and the analysis model, neither with the empirical reality, nor with the
theoretical physics.
But in the latter case we can find some
interesting special features. In Einstein’s Theory the rule of speed addition
is used, when adding units does not lead to the endless increase of the sum, it
is limited by the maximum velocity-of-light limit. But in this case the matter
is not in the breaking up the Eudocks-Archimed axiom, but in the special
features of Lawrence transformations, actual for pseudo-euclidean continuum of
space and time. Obviously, it can be admitted, that the analogical rule of
addition will work when dealing with simple quantities, such as the length or
time spaces, but still, it is not clear why we must (should) limit the endless
space with some set radius, to which the sum of the added quantities would
aspire. The prospect law exists, but we do understand that lessening of length
within the distance is the optic illusion, but not the characteristic of the
spatial metrics.
Now let us take the quantum mechanics.
It is known, that the so-called “ultra violet catastrophe” was the direct
consequence from the formulae of the classical mathematical analysis –for the
balance of radiation in the field of high frequencies the result was the endless
quantity of energy. But the way out was found not in the modification of
mathematical principles, but in realising experimental data: Max Plank’s
hypothesis put the limits to the endless energy subdivision - E=hn
appeared to be non-divided. And at the moment the clinical formulae of analysis
being used, and what concerns all “disturbing” modern physic-theoretic
learnt as Richard Feynman said, to “sweep them under the rug”.
Thus, the theoretical situation can
characterise ched as follow. On the one hand, the classical analysis is not
enough for physics, though its original notions seem so obvious and natural. On
the other hand, “non-standard” seem suitable for physics: actually,
endlessly small ones somehow “quant” the continuum on the micro scale, and
hyper reality (the notion from Martin Davis’s book “Applied non-standard
Analysis) is divided into “micro world”, the world of “actual scales”
and the world of “cosmic” infinity. But, non-Archimedean analysis is still
an artificial structure, this “non-Archimedean” logically to the endless
division and the classical notion “limit”. Thus, the only way out can be
logical adding of a non-standard model of analysis to the classical analysis,
finding out their necessary connection, and if it is necessary –their
supplement. The appearance of the irrational number did not abolish the national
numbers, just as that the introduction of hyper real numbers will not become a
declarative model structure, but natural leading out them of the logics of the
classical analysis. I am going to show that this task formulation is right.
I. ACTUAL INFINITY IN THE TRUE SENSE OF THE
WORLD.
“Analysis” –is the calculus of
infinitesimal, and the basic notion of the analysis is the notion of a real
number,” - this statement in Gilbert and Bernice’s book is followed by the
more precise definition: “The notion of endlessly little and endlessly big are
excluded by the theory of the real numbers in the true sense of the word from
consideration”. (The same edition, ch. 2, p. 4 “Non-finite Methods of
Analysis”)
Non-standard analysis, just the other way
round, includes into consideration infinitesimal and endlessly bigs in the true
sense of the word, hence the notion of hyperreal numbers appears. Thus, if in
microscale by unlimited breaking up we really hope to get the breach of
continuity of the continuum (as R. Feynman expected) and to discover
“something of the kind that can hardly be characterized as motion” (as D.
Gilbert and Bernice foresaw), it must be connected with the endlessly little
scale-with something quite actual. However George Cantor in his “Studies of
Multitudes” agreed on the irrelevance of such notions. He asked ritherically
if it was not possible to continue numbers not only in the area of endlessly
bigs, but also in the field of infinitesimal. And he said emotionally: such
attempts are ”violent”, they have “unstable foundation, they are
“groundless” at all and etc. [G. Cantor Studies of Multitudes. Russian
edition in the book ”New ideas in mathematics”, №6, S-Pb, 1914, p.15]
Cantor formulated the direct prohibition:
“There exist no linear number quantities, different from null (the numbers,
presented as limited non-interrupted rectilinear segments), which would be less
anyhow than the least number, that is quantities contradict the notion of a
linear number quantity (G. Cantor Works on the Theory of Multitudes. M., “Nauka”,
1985, p. 294). The prove of this thesis is based on Archimed axiom and his
conviction that it is not natural to try to introduce actually endlessly little
quantities (in his opinion-such structures “remain only on paper”.)
On the same page Cantor compares his
transfinite theory with the hypothesis of endlessly big and little numbers,
proposed by Fontenelin his time, and notes: “One cannot say that graving last
numbers reach W as close as they can it is most likely that any as big as it can
be number V remain as far from W as the least number. My least transfinite
number W, and thus all big ordinal numbers are exclusively beyond the endless
number series 1, 2, 3, … Fontenel’s mistake was that he looked for the
transfinite number within the series 1, 2, 3,…V…, though somehow at its end
(by the way, while there is no such an end). After he introduced non-solved
contra Fontenel in advance in his endless numbers, the future of his fruitless
theory was evident, but if the critics, tempted by the crush of Fontenel’s
endless numbers, think to bring in the verdict to actually endless numbers at
all, they will be stopped by my radically different from Fontenel’s and quite
non-contradictable theory"[the same edition, p. 294].
Criticising Fontenel for looking for
endlessly big numbers within dispersed number series, Cantor himself places
actually endless numbers “at the end” of the gathering series and
successfully proves that they are not there. But actually endless little numbers
can be placed beyond the number series of the real numbers, and then Cantor’s
verdict will be groundless. It is characteristic that in the notes to the quoted
volume of very interesting to real Fontenel’s book from the point of view of
non-standard analysis” (the same edition, p. 408)
However, it is necessary to precise. In the
above-mentioned book by Martin Davis ”Applied Non-Standard Analysis” (Martin
Davis. Applied Non-Standard Analysis. N. Y., 1997), hyper real numbers are
interpreted as ideal elements –like endlessly remote points in projective
geometry of their appearance in mathematics. But the creator of non-standard
analysis, Abraham Robinson, was of different opinion himself, and if we remember
the famous aphorism of L. Cronecker, natural numbers are created by God, and any
the rest people made, the question about artificiality and natural origin is the
matter of taste. In principle, the only criterion is the ability of this
approach to enter the science. Cantor’s transfinite open a wide field of
applying creativity for us, do hyper real numbers give us such a possibility”.
Let us see what ideological basis the
traditional notional notion of endless division of non-interrupted continuum has.
Here is the division of a one-unite segment
on two halves, the usual gathering series ½+ ¼ +⅛ +…, the sum of which
is one. We can see how the points of division gather at the beginning of the
segment-nil, which remain unattainable while any point of point of division is
always separated from nil by a segment of a significant length.
Picture 1.

The process of half division is at the same
time the progress of doubling, that is the initial single segment is the same
segment, like any part of it, and the whole picture will be seen if we continue
the series of segments in the direction of their increase: … ⅛, ¼, ½,
1, 2, 4, 8,…
Picture 2.

In this case Ґ
appears also unattainable, like nil. But, nil we can
see with our own eyes, Ґ we
cannot, it is situated somewhere beyond the edge of the screen.
The fact that one gives us point, according
to which the increase or decrease happens it is evident the shift of this point
does not change the ration of the adjacent quantities, but the possibility of me
shift itself determines endlessness of the division: any small segments, closed
to O can be considered as one (single). We can point “O”,
because it is the end of a chosen single segment, in comparison with the point
of endlessness” which is not the end in its definition. But to what degree is
it right to understand O as the END? It is clear that the definition is
connected with leading out segment, but its division is one thing, and building
the confession of segments is the other. And if we take the growing segments the
right, we small not reach “the point of endlessness”, and if we take the
growing smaller segments to the left, we also shall not be able to finish
building structure at any point. This should not confuse us at all, as the point
O is set on the straight line and to drew this structure the limit is set.
But structuring on the straight line is the position of points in the definite
concession, the matter is prettier different, when building structuring becomes
real.
Let us think that segment 1/2 is built as a
perpendicular to the single segment, and segment 1/4 is built as a perpendicular
to segment 1/2 etc.
Picture 3.

In this “snail” there is nothing
remarkable; we can build series, which give co-ordinates of the point, to which
the end of the broken line must come. But here is the question: from what side
does the broken line come to this point-“from above”, “from under”,
“from the right” or “from the left”? This building set 4 directions in
comparison with the traditional one. The question is not senseless. If uniform
motion of a point happens on the usual straight line, and this point
successively covers half a distance, then a quarter of the distance etc., how
shall we interprese uniform motion of a point in case of the rechtangle spiral?
If we suppose that a point moves along the broken line, and it covers the same
distance for the same time, its coming to the centre of “the snail” is so,
that it would be impossible to indicate the vector direction of its velocity in
this point. It may seem that there is nothing strange as at any point of
trajectory breach the moving point has two inter perpendicular velocity vectors,
but the limit point cannot be the breach point? To make everything said above
sound more clearly, let us imagine that “the snail” does not consist only to
a segment of trajectory from 1 to 0, but it has a continuation
from 0 to -1.
The point o appears to be such a
“place” of a broken trajectory where its rector direction becomes
indefinable, and its motion in this point can hardly be characterised as motion
at all. For all that, we cannot reach area of “micro scales” at any part,
the difficulties appear only in the point 0. Can we say, that this
special feature is typical of 0 in case when the motion is set on the
straight line, but not on the broken one? No, till the motion itself is
connected with the moving along the segment. But if we start to speak of
INSTANTAEOUS VELOCITY, of velocity in the point- there arise questions again. In
fact, a problem arises: from which side shall we pull the segment, striving to 0?
How should the ration of differentials look in this case?
Picture 4

And again it may seem that there is no
problem: if a point moves from 1 to -1 through 0, from
common notion to particular we can conclude that at any point of the trajectory
(including 0) its direction remains the same. If we suppose that in the
point 0 its motion direction is indefinable, from particular notion to
common one, we have to speak of indefiniteness of its motion vector on the whole
along the segment and this contradicts the set velocity vector. However has such
logic’s the right to exist in the non-finite reasoning.
The problem becomes more accute, when in
the position of non-differentiated 0 appear all the points of the trajectory.
Let us see Wan-der-Warden figure, made of an equilateral triangle, when each its
side is divided into 3 parts, to which one more side is added, making on each
side a new triangle.
Picture 5.

As it is known, in the limit we get a
figure in each point of which “there is a breach”, and the whole length of
this endlessly broken line strives for the endless quantity 3Ч
(4/3)n , with n striving for Ґ.
When we set the point motion along the single segment we are not confused that
it is a part of an endless straight line, but can we speak of the point motion
along such a trajectory in case of Wan-der-Warden figure? We can see all the
points of it, but the paradox is that between any two points there is a distance,
which is endlessly big. If we “straighten” the broken line between such
points it will become obvious. And if we consider Wan-der-Warden figure actually
set with all its curves, its straightening will give us “in the limit” an
endlessly big triangle. In the opposites direction: it is possible to make of
the set triangle with its single side an endlessly broken figure if to divide
its sides not into 3, but into 4 adding 2 central parts as the sides of a
triangle. Finally we get a figure:
Picture 6.
*
Where the point is not a point at all, but
an endlessly broken line of the finite length, situated within the limits of the
point. If there is a point, which covers a usual segment (a single side of a
triangle) for the finite time, it must somehow move along Wan-der-Warden figure
trajectory, appeared fron the triangle. I let the readers judge what is the
direction of the point motion along the finite distance for the finite time.
Maybe, the point, which moves in such a way is stable, because it does not go
further from its place at any distance, measured by the real number?
All in all, maybe a standard single
triangle is not so simple in reality, as it is considered? There is a childish
paradox, when we prove, that £=1, as the sum of the two sides of a triangle is
equal to the third one. Therse two sides are broken (for all thios, the sum of
the sides, composing the broken line, is unchangeable) and it is declared that
within the limit a broken line appears which coincides with basis of the
triangle.
Picture 7.
This paradox is, as it is known, unaginary,
but it can be considered more serious. Let us suppose, that we have
“straighten” this endless briken line of a finite length, we can say that
the two sides of the triangle are also broken lines, which can be “straighten”,
making two more triangles on the sides of the previous one, etc.
Picture 8

In other words, the segment of a straight
line, which forms the single triangle foundation would be equal not to the
length = 2n, but to the length=2n, where n strives infinity.
In fact, we make the following operation: we say that a multitude of micro
triangle can be adjacent to the single triangle foundation, these micro
triangles can be concussively “straightened”, forming a line of non-finite
length.
If when we divide segments, we try to
find the find the field where endlessly little quantities are found, in the
latter cases we have endlessly dig numbers-3Ч
(4/3)n and 2n,
expressing endlessly big number of single lengths with n striving for Ґ.
Usually it is considered, that the power base does not play a special role as
the power strives for higher and higher order [see J. E. Littlewood “Big
Numbers” in the book J. E. Littlewood. A Mathematician’s Miscellany. London,
1957]
But English mathematician, making “big
numbers” equal, takes the word “equality” in brackets. [The Russian
edition Дж. Литллвуд.
Математическая
смесь. М: “Наука”,
1978, с.108] really our appreciation is determined by the fact that the
comparison of non-finite lengths seems unbelievable. Let us draw a scheme, where
the non-finite length would be seen “with our own eyes”.
If a non-finite fraction (for the sake of
the simplicity let us take a periodical one) 1, 111111… is a gathering series
1+ 1/10 +1/100+1/1000+ …,the dispersing series 1+10+100+1000+… can be
written as a number 111111…, where the first number is the number of unities,
the second - the number of tens, etc. we can “grow endless tree”, a count,
the length of which is equal to this number. From the unity segment come 20
branches with the length of 1/2 each, the sum of which us the length of 10, from
each come also 20 shoots with the length of 1/4 each, etc. if a buy crawled all
the time up, it would reach the top of the tree for the finite time, as its road
is 1+(1/2+1/4+1/8+…)=2. What is the number of the sums, sitting on all “last
twigs” of this “witch’s whisk”?
Picture 9.

The impression is being made that there are
“ecological niches” for the hyper real numbers. Can we somehow “expose
this enchanted ground”? What happens in the 0 area where endlessly dividing
real quantities cannot reach? And what can happen with numbers i8n the
transfinite area, where no big number can reach.
If we mark the points, corresponding
to Fibonacci Series on the numerical line, where the next point is the same of
the two previous (1, 1, 2, 3, 5, 8, 13, 21,…), in the limit with striving for
the area of growing numbers, the ratio of the two last Fibonacci numbers, as it
is known, gives us j-famous
irrational number 1,61803… It sets “the golden ration”-the section of the
segment, the smallest part of which is related to the biggest, as the biggest
one to their summoned length. It can be declared that moving along the numerical
line through Fibonacci numbers; we shall discover infinitely big “segments”
in the transfinite area, the ratio of which is expressed by the irrational
number j.
And vica versa. It is possible to build a
number of segments, corresponding to ”the golden ratio” in the real area:
Picture 10.
As the ratio of the biggest segment to the
adjacent smallest is 1, 6 1903, their summoned length in the left direction with
have quite a definite utmost end point. The growing less segments will
“curve” in its surroundings these segments, according to the infinite
division of the non- interrupted continuum, will never stop diving. In this
building the utmost maximum point will never be reached, but we can state that
in this endlessly small surrounding near the utmost point a wonderful thing
happens: instead of the uninterrupted continuum the reappear numbers, which
would come to the utmost point like the growing less Fibonacci numbers. And as
Fibonacci series begins as 1, 1, 2, 3, these numbers (and actually endlessly
little hyper real lengths corresponding to them) will come to the utmost point (limit
point).
I could put a “dot” here, but I want to
draft some prospects of development of this approach. E. G., it is interesting
to imagine how Dirihle function would look like, if its unity strove for rule
and turned to the hyper real area of actually infinite unities?
In this light it is interesting to see the
harmonic series of the whole numbers 1, 2, 3, 4, 5, … Evidently, in the
endlessly large limit a ratio are related to the actually infinite segment of
equal length.
The process seems unchangeable here,
and in reality the series of unity- length segments does not give us the utmost
point, near which in the hyper real surrounding a harmonic number series is
built. Fortunately, here we have properties of other kind. Though we cannot see
the area where the actually little lengths, forming a harmonic number series,
are situated but we can see the infinite straight line, on which even one-unity
segments are marked and we can take the infinite half-straight line, beginning
from any of the segments. On it the adjacent segments are related to each other
as N + 1/N, where N is infinitely big number, expressing the sum
of actually little lengths. That is, a geometrical progression is formed, where
the multiplier is 1 + 1/N, and if the length of the first segment is one,
the growth of the length happens in such a way, that the length of “the last
one-unity segment” on this endless half straight line will be (1+1/N)N.
it is not difficult to note that this length is e.
Let us interpreter this result.
Let us suppose, an endless number of points
comes out of the co-ordinate base, the velocity of the first one is 1, and the
distance, covered by them for a unity of time, are concussively different from
each other, and the difference is an infinite little unity quantity. On what
segment are the points in a unity time period?
When I asked this question, I omitted one
thing: I did not say that it was necessary to make all vectors be directed in
one direction-along the straight line. But is it possible to set single
direction?
II. INDEFINABLE VELOCITY MOTION
In the above-mentioned buildings motion,
which a moving of a point along the trajectory at same velocity, played an
auxiliary, illustrative part. Now we are going to bring more sense to this
notion.
Mechanics begins with the notion of the
uniform constant velocity, but in case of the constant velocity striving of the
related time and distance intervals for the infinite little loses its sense-all
intervals are alike. And though we make intervals X and T strive
for O, we always mean that there are two points and two time moments, the
range between which is uninterrupted. From the mathematical point of view all
the finite segments of a straight line are equal, but what motivates the notion
of “infinitely littleness”?
Nevertheless, it fits the every-day
practice so well that there are no doubts. But we can change the logic
connection, and say that the every-day practice itself predetermined the
mathematical conception, with the help of which it is modeled.
Surely, we can distinguish the notion of
the real motion and its mathematical model but doubting if the latter is
adequate, at least, we must propose the other way of theoretical modeling. And
for all this, we have to begin with the same elementary premises: any kinds of
the mechanical motion are moving of a material point in space (which is, to say
roughly, in different time moments in different places), the position points are
always divided by some distance, and position moments set the time intervals.
The most interesting thing is that all these initial premises help us to form
quite a different notion of the motion, opposite to the traditional one.
So, the two points of space are given Xa
and Xb, in which a material point is in two different moments of time Ta
and Tb. These two, let us say “positions”, let us check the ratio of
the distance segment and time interval, which is called “velocity” by us. If
we say in the limit of the first Newton-Galilee Law, the motion is uniform and
rectilinear. It means that all such segments between the positions are strictly
alike for the set constant velocity. At the same time, we think it is necessary
to introduce the notion of instantaneous velocity, striving the intervals for
nil, where in the limit by some strange way “infinitely littles” appears.
There are two thoughts:
- If the velocity is constant along the
whole interval, it is typical of the point at any spot moment of time, at
any point of the trajectory.
- If at any moment at any point of the
trajectory the velocity is the same, it is typical of the material point
during all the time its motion along the whole trajectory.
Obviously, these are two different logical
approaches.
Here we can remember Zenon’s “Arrow”.
The ancient-Greek philosopher wanted to draw the theorists’ attention to
paradoxical fact of motion-moving: if to difine velocity it is necessary to have
two positions, and TWO time moments, how can we conclude that there is velocity
at a definite moment and at a definite place? Nit is clear, that introduced the
instantaneous velocity we ”hid” this paradoxical fact. However, if dx
and dt are ‘too little” they nevertheless, remain
“segments” and “intervals”. “to atrive for the point-does not mean
“to be at the point”.
It is considered, that Aristotelian physics
coped with Zenonic paradox. It is clear that the philosopher was mistaken when
he said that in a moment at the point there was “no motion”. We admit that,
if motion exists in general (in the multitude of moments and places) it exists
in particular-at any single moment. If motion exists, it means that velocity
also does, if motion exists in general, it does in particular, and thus we MUST
admit, that a point possesses velocity at each moment and place.
Now we shall see the model of motion, where
there no such logical duties. That is at each moment at each point there is only
motion, but no velocity.
Picture 11.

Let velocity be a ratio at XaXb
segment to the time interval TaTb.
Fixed this ratio, let us take the time
moment Tc, situated between Ta and Tb. at this moment the
point is at some Tc and, correspondently, we have got two new segments,
two new intervals. Speaking constancy, we suppose that the ratio of new segments
and intervals would give us the same result of velocity. We are making the
logical choice: there are two variants, either Vab=Vac=Vcb, or they are
not equal. This choice seems be true. And really, if we set velocity Vab
it says that there is such a velocity at the points A and B, and
different from the initial value. Having chosen the point Xc and the
moment Tc, we did not use all the points of space and all the moments of
time. If we continue the choice of time moments, all of them give us different
velocities. In other words, for the initial position Xa and Ta (and
in final position Xb and Tb) we shall get new velocity values.
That is the value of velocity “at a definite point at definite moment of time”
- generally should be considered indefinABLE.
So, let us introduce the next absolute rule:
no matter what the initial ratio was, “new” velocity (Xc-Xa)/(Tc-Ta)
and (Xb-Xc)/(Tb-Tc) in the general case would be ANY. In other words, we
declare, that any time there appear new values of the ratio DXi/DT, which
in the general case should not be obliged to correspond to the previous ones,
and are not obliged to be connected with them by some law. This rule must be
true in case of “any little” division of the initial interval of time. And
naturally, in the general case, the corresponding points of the position in
space cannot lie on the one straight line, though any time they set the finite
distance segments. In its turn, the particular case of the co-determined motion
would be a standard uniform motion along a straight line with the constant
velocity (if “any”, so, possibly, “equal” in case go equality of the
corresponding time intervals).
Thus, for any two time moments there are
two positions of the point in space, what sets the value of velocity exactly for
these two moments. But for it any position of the point, corresponding to the
time moment between the two mitially chosen ones, let us find different ratios
of distance intervals and time. On the whole, for any single time moment there
are definite co-ordinates of the position and quite an indefinite velocity
(definiteness appear, if and only if we chose one more moment-position). All the
variant of non-uniform motion are also particular cases of motion with the
indefinable velocity.
In the above-stated building there is
nothing unnatural, alien to the initial premises of understanding the mechanical
motion-moving and to the principles of its theory, and if such an approach is
logically permissible, we have no right to disregard it. And the most important
thing is that this logical variant is more GENERAL as “equality” of value-is
a particular case of all their possible interrelations. That is why our model of
a priori is more general, because it covers the standard velocity notion.
I do not argue such a non-standard model of
material point motion in space is extremely exotic, more than this, the
suggested approach is completely different from the classical one: in case of
the standard approach the constant velocity is the base, on witch any particular
cases of non-uniform motion-with acceleration, with curved trajectory are
constructed. In our case, it is vica versa. The base is the model, which can be
characterised with uniform, uniformly accelerated motion etc.
The main figure of the given model is:
there is no definite velocity at any point. This indefiniteness is originated in
the model: between two close time moments there is always an instant, to which a
new position of the point in space with the new value of velocity corresponds.
Such a succession of operations of
determining the values of velocity is in principle infinite we cannot speak of
any standard differenciation, any instantaneous velocity. The motion trajectory
here is like the mathematical fractional broken line heretically curving at any
little part. (And co-called “straight line” is a particular case of a
fractional structure). At each moment a material point is at the definite place,
all positions lie on the definite (fractal) trajectory. Chaotically placed
positions are points in themselves, of which such a non-interrupted trajectory
consists. Let us be, in this particular case, it can be a straight line with the
constant value of all possible (“any”) velocity, but then it is a straight
line of principally another kind: the operation of differenciation for it, which
leads to the instantaneous velocity, loses its sense just because the trajectory
of motion and time of motion are initially set by points - completely apart,
discretely. Such a motion is absolutely fractional, it is split up into the
endless multitude of segments X and intervals T and not because the
non-interrupted segmented is divided till infinity, but because all the points
of definition form it themselves.
So the reason of alternative of our
structuring becomes evident: the traditional notion is based on understanding
the segment, which set the points, limiting itself, and uor non-traditional
understanding is bases on the points and moments of positions, any pair of which
set the segments-intervals, found between them. The common thing between these
two alternative variants remains that the succession of positions in space is
comfortable to soccession of the time moment, which correspond to them.
I shall note that in the suggested model of
a material point the elementary notion of velocity does not disappear-velocity
is nominally determined for any intervals X and T, but it is impossible for the
single moment points, which form these intervals, to have this value of
velocity. Thus, the notion of velocity is necessary for our model, but it is
just an element of the process description, and it is not its direct reflexion.
I realise how unusual the suggested motion
model may seem but I want to underline once again: it is formed of the same
basic notions as the traditional one (points of position in space, time moment
etc). It is a logical alternative to the latter and if so possesses the0oretical
equal rights. Yet we do not consider its physical essence, its empirical
adequacy, we do not speak of motion formula, of quantum-discredity or of the
ratio of indefiniteness. Like the classical dynamics interprets different
variants of motion, and the standard mathematical analysis lets us to describe
them, the just introduced motion with the indefinite velocity will also demand
introducing some dynamic characteristics. Yes, the position-points are scattered
chaotically, fractially in space like the broken beads-but there must be a
thread to join them.
As the reader might feel, the main
difficulty in this approach is the ideology of the classical mathematical
analysis. It happens that its powerful apparatus is not suitable for our
purposes. Let me quote Abraham Robinson’s words: “we are going to show that
in the present limits we can develop a number of endlessly little and big
quantities. It gives us an opportunity to formulate many well-known results of
the function theory in the language of endlessly small unities in the way it was
foreseen in the indefinite formulation by Leybniz.” [Introduction to the
theory of models and meta-mathematics of algebra. M: ”Nauka”, 1967,p.325]
and more: “Non-standard differentiated calculus can complete in simplicity
with the most orthodox approach [the same book,p.340] and about integration
“Our limits of dividing into intervals of an equal length is too artificial.
We will build an approach, which will let us consider the more common
divisions” [the same book, p.341]
The presence of the non-standard model of
analysis in the morden mathematics indicates that there are no principles
logical prohibitions on our way. Let the new notiona od motion seem if not
absurd senseless, but useless and artificial. They are just not usual and not
typical.
In 1963 Leo Mozer showed that if a ray of
light falled at an andle onto two glass plates, put together, a different number
of possible ways appear, depending on the number of the reflaxions of the ray.
When the value of the number of the reflaxions are bigger, the numbers of
possible ways form Fibonacci series (The example of Martin Gardner from
Scientific American. Russian translation. M:Гарднер.
Математические
новеллы. М: “Мир”,
1974, с.398ъ) The suggested non-standard approach mwy, evidentkly,
seem productive for the interpretation of the quantium-mechanical events, but
this model of motion contradicts to the theory of relativity conclusion, where
the variant of the radio dx/ dt are limited by the maximum limit C-the light
velocity. At the same time, the law of addition velocity, as it has been already
noted, breaks Eudox-Archimedean axiom. And though the law itself is the sequence
of Lawrence’s modifications for pseudo-eucledean time space, the non- standard
approach let us see the main point differently.
Nothing stops us to turn over the ratio and
say that non-archimedean adding of quantities is the first cause, and
pseudo-eucledean space is the model, which reflects this more fundamental ratio.
In other words, for any quantity from nil til infinity according to the lenear
law we can introduce an imaginary additional co-ordinate axis and a co-efficient
of the transition of this quantity to its imaginary measure. By this we set the
transition law, according to which adding single unity quantities will be
realised but by the non-archimedean adding a question arises: if velocity is a
ratio of a distance to the time period, how must we determine the velocity of
quantity range in ration to itself. And the main thing: the co-efficient C –is
the empiric constant, and it would be too underpendent to look for the
mathematical bases for its introduction.
Nevertheless, we shall try to do it.
Let us begin with the basic mechanic
notion-with the principle of relativity.
The essence of the principle of relativity
is simple: there is no absolute motion, two points can be move only with regard
to each other. If we take one of them for the standard point, we believe it is
stable, and the second one moves with regard to the first one. And vica versa:
we can take the second moving point for the stable starting point and consider
the first one to be moving. The notion of motion quite naturally and necessarily
requires the principle of relativity as the distance change between these two
points happens BETWEEN THEM with some time. Sketchily the principle of
relativity is explained with the example of two points:
. A .B
We take one of them for the starting point,
the other moves with regard to the starting point, and vica versa. Let us
imagine: in space there are two points (mathematically size less), separated by
some distance. Now let us try to imagine that this distance changes… but how
can we check this “change”? Anri Poincare, illustrating these cases, made
the imaginary experiment-he asked: what would happen if the distance between the
two points becomes twice bigger? And he answered: the world would not notice it.
I think it is clear. To be able to speak of the change of the distance between
the two points, there must be one wore point which would be stable with regard
to one of the two given points.
Picture 12.

“Stable” means “to be situated at the
same distance from it all the time”. There is no difficulty, we just declare,
we need not the point, but a starting system with the set length standard. We
began with only two points, then added the third one and now we can speak of
motion, but someone can ask: “How can we determine, that the distance between
A and B is constant, and that between A and C the distance changes?” You see,
we can take the distance BC for standard, and the former one can be considered
changing. In such judgement there is nothing illogical, on the contrary, we have
introduced the third point and the standard distance because we could not check
the distance change, but we cannot check its in two ways: in one way we take AB
for the constant standard and say that the point C moves away uniformly from A
and from B, in the other way we take the AC distance for constant, then the
former standard distance AB should be treated as changing.
Picture 13.

But we change places of the length
standard, a strange thing happens. Let us imagine that “uniformly moving” C
is stable and sets a distance standard = const, then “really stable”
with regard to this standard would move not uniformly: B comes closer to A,
slowing down all the time. In the most absurd variant it accelerates from nil
till infinity, then comes from the infinity from the other side and begin
slowing down till nil again – for the rest of its infinity.
The above-described conclusion seems so
ridiculous, that the first wish is to give it away. The problem is, if we open
inter equality of the two points in the process of their imaginary interchange
in the Galilee-Newton principle of relativity, why in the logically necessary
system consisting of the points should we neglect the same interchange? Logical
possibilities arias not to be given away, it is necessary to try to understand
what happens in this strange situation. Is the matter, perhaps, in the wrong
interpretation of the result?
At first, in the “ridiculous” variant
we got the notion at all the possible velocities. That is, this “crazy”
point begins with the minimum distance (equal to the set one), then it runs all
the possible values of velocity till the infinity, then comes “from other
side”, slowing down again till nil (on condition that, we began with some
moment, and the whole point while moving closer to the starting point, and
coming up to it comes further from it, moving away).
At second if look at it more carefully, the
standard variant is not very simple. If we have only one set uniform constant
velocity, its quantity expression can be dual. Velocity as the ratio distance
segment to the given time unity [m/s], and quite an equivalent ratio of the time
period, spent on covering one unity segment [s/m].
Let us answer a simple question: why in the
usual sense of motion is the alternative dimension excluded, why do we not
express velocity as an amount of seconds, spent on covering of a unity of
distance? You see this ratio is logically admitted, and mathematically it is
quite individually for each concretevelocity.
Does it not surprise us, that in the
stadium the judges express sports result not in the numerical value of a
runner’s velocity, but in the quantity of time, spent on covering a distance?
You see it is the unique fact: the motion is measured not in meters for one
second, but in time, which is required for covering a given distance!
Nevertheless, in physics the given measurement of motion with the dimension
[s/m] is rejected. Why?
It is possible to give quite a serious
answer to this "childish" question. People order lots of possible
velocities by a principle "slower - faster", and, in compliance with
this, they build them on the vector "less - more": the faster velocity
is, the numerically more it is, - a lot of meters is covered for a time unity.
Taking the other measurement, we shall meet a reverse ratio: a smaller number
would correspond to greater velocity,- the faster a material point moves, the
smaller amount of seconds is requires to cover a distance unity.
The traditional spectrum of velocities
begins with nil and quantitatively grows in the process of increase –
fastening of velocity (in the classical mechanics the maximum velocity limit is
unlimited). The "fastest", infinitely large velocity is an infinite
quantity of meters for a time unit. But with the alternative dimension [s/m]
everything is precisely on the contrary: the stability is an infinite quantity
of seconds, spent on covering a distance unity, so to say, the infinitely large
slowness. You should admit, that to count from infinity to nil is, at least, not
convenient.
It may seem, that our reasonings are
groundless. However, it is not so. It would be enough to say, that when Gotfrid
Leibniz was creating the mathematical analysis, he thought this question over
many times. He wrote: "The stability can be considered an infinitesimal
velocity or the infinitely large slowness" (G. Leibniz. The compositions in
four volumes. Т. 1. M.: "Мысль" p.
205. see also T. 3, p. 199.).
Leibniz has one more remarkable
reasoning: he identifies zero velocity of motion along a circle with infinite
velocity, when "each point of a circle should always be in the same
place" (Т. 3, p. 290). That is, not only 0
m/s and Ґ
s/m (accordingly Ґ
m/s and 0 s/m), are logically identified, but also 0 m/s and Ґ
m/s in case of their cyclic motion. This
last identification gives us a way out from the confusing situation.
Why it is not convenient to count the
increase of velocity of motion in the measurement [s/m]? Because attributing an
infinite slowness to the starting system and introducing a certain single
slowness 1 [s/m] for a moving point, we shall not get a uniform scale of
quantities, where it is possible to add arithmetically A[s/m]
+ B[s/m] = (A+В) [s/m]. That is, such
an addition will contradict the natural notion of how the velocities are
estimated when changing one starting system to another. But the matter would
radically change, if we use Leibniz transformation.
Really, when in a classical principle of
relativity we revealed the necessity of introduction of the third point which
specifies a constant measurement of distance, this third point served a
prototype of stability- for any period of time it "could cover" only a
zero distance. If we, after Leibniz, equal stability and infinite velocity of
cyclic motion, we shall find out an interesting thing: having attributed
infinite velocity to such a stable point, we together with the measurement of
length introduce also a measurement of a circular trajectory, the length of
which is determined by a measurement of length as by radius. Then it appears,
that in a measurement of slowness [s/m] this velocity will have not infinite,
but zero slowness: to cover this radius it requires zero seconds. Now we can
already conduct normal addition of slownesses, but a single slowness will be
considered 1 second, required for covering an single circular trajectory.
Accordingly, covering this trajectory for 2 seconds gives other quantity of
motion velocity - a slower one etc. For all that, relativity in such circular
motion is completely saved, and "slownesses" can be added
arithmetically. In other words, now the normal axis is being built for slowness
quantities, where the starting point goes from zero till infinity. The fact is
that not velocities of linear motion strive for an infinite slowness - for
complete stability- along a straight line, but velocities of motion on a single
circular trajectory.
And now is the most interesting
thing. If for such a quantity as slowness non-archimedean law of addition also
works, we sall not be able to reach an infinite slowness. There should be a top
side - the limit of a slownesses which is so unattainable, as velocity of light.
A measure unit of this limit will be, naturally, [s/m] - that is, the quantity
opposite to a measure of velocity. And if the empirical velocity limit C really
exists and is measured in [m/s], there should be a certain empirical constant,
measured in [s/m]. It would be very poetic to call it, let us say,
"velocity of darkness", but we shall not run into such mysticism, as
the required constant in physics is known, it is formed of a ratio e2/h,
where e is the
charge of an electron, and h is the Plank constant. And the ratio of
velocity of light to the given combination of empirical constants gives us a
dimensionless quantity, called a constant thin structure. Its quantity in round
figures equals 137, and till now attempts are being made to express this number
through a combination of mathematical constants p
and е.
Now we can approve, that these attempts are not deprived of the bases.
There is a question: does all the
above-stated mean, that for the abstract continuum the natural metrics and real
law, which orders increase of quantity in the field of real numbers, settling
down between unattainable points 0 and Ґ?
I believe, yes. But to show it precisely, it is necessary to understand: what is
the linear continuum? If speaking of space, the essence of the matter is more or
less understood, concerning time, the matter looks not so clear.
III. CHRONOMETRICS. AREAL MULTITUDES.
Unfortunately, the metric properties of
time, in comparison with its orientation and fluidity, attract attention of the
theorists in the last turn. There is an important reason: here time as such is
easily identified with space - with one-dimensional linearcontinuum, therefore
there is not anything specifically temporal here.
The attempts are known, which give a logic
substantiation to that the time base is a linear continuum similar to the
continuum of material numbers. Most thoroughly it was made by Bertrand Russell.
The remark stated on this occasion by English cosmologist G. Whitrow in his
magnificent book "Natural Philosophy of Time" seems important to me.
(G. J. Whitrow, "The Natural Philosophy of Time". London and
Edinburgh, 1961, Russian edition - M.: "Progress", 1964). He
absolutely correctly indicates, that in mathematics there are ordered multitudes
of a more complex type.
Whitrow notices: "Russell DEFINES an
instant as such a number of events, any two events from which are simultaneous,
and there is no other event (that is, an event which is not contained in the
number), simultaneous with all these events. It is supposed, that the instants
determined this way, “EXIST” (G. J. Whitrow, Natural Philosophy of Time, p.
207.)
We appear in the closed circle: we are
going to undertake logic research of time, and inevitably we begin to base on
"empirical consciousnesses data", and as a result it turns out
science-like translation of our subjective notions of the language of the logic
terms.
Nevertheless, we shall note the importance
of the question: is the continuum of time identical to the continuum of material
numbers or has it some other, more complex structure? The answer to this
question can make a basis of a science called "CHRONOMETRICS".
Thus, we will be interested first of all
with the metric ratios, characteristic for the temporal continuum. One more
basic Aspect lies in here - congruency. If to define congruency of spatial
segments we can refer to the comparison of segments at their parallel
transportation, to compare the temporal periods even this opportunity
disappears.
The book by Adolf Grunbaum
"Philosophical Problem of Space and Time" is devoted to a problem of
congruency of spatial and temporal segments (Adolf Grunbaum, Philosophical
Problem of Space and Time. N.Y., 1963, Russian edition - M.:
"Progress", 1969.) The essence of a dilemma is: whether there is a
basis for attributing internal metrics to space (and time), according to which
(internal metrics) the concurrence only establishes equality of separate
intervals caused by its internal quantity? In his book Grunbaum protects
Reaman-Poincare position, according to which the definition of congruency is
conventional. That is, the space and the time do not possess the metrics,
internally typical of them. As well as the linear continuum of material numbers,
where any number can be accepted for a unity of measurement beginning with 1, we
add to it one more and we get 2, simultaneously receiving 1/2, provided that
received 2 will be considered as one unity.
However, as it was expected, in the
analysis of a problem of congruency the Grunbaum spatial ratios are more often
considered, which are then transferred in the temporal sphere. And the
specificity of the temporal sphere still occurs only in the analysis of
anysotropy (orientation) of time and exotic variants of the closed, cyclic
temporal sphere.
So, the basic problem of chronometrics
is the search for the answer to the question: are the continuum of the temporal
sphere and the continuum of material numbers identical? There are 3 possible
answers: both the continuums are identical, and if not identical, there are two
possibilities- either the ordered temporal continuum is more simple, or it is
more complex. In its turn, the simplicity of the temporal continuum can be
expressed in that it is a numerical multitude: it is identical to a natural
series of numbers, it has atomic structure, or it is identical to the series of
rational numbers - all intervals are commensurable. In case of its "greater
complexity" there are also two variants: either it is any
"complexity," known to us, or some special specificity – a multitude
of some special type.
When Russell wrote his research in 1914, he
traditionally transferred in the temporal sphere methods, already known from
mathematics, and he presented the temporal sphere itself proceeding from our
sensual experience. Generally there is no other way for us: all our notions
about time are the data of our experience. But all the same it is necessary to
base on notions of TIME, instead of its MEASUREMENT. It is a very important
clause.
The matter is, that MEASURING of time is an
operation completely identical to construction of a scale for any measurable
quantity. However, when we build a scale of temperatures, we do not confirm,
that temperature is a linear ordered continuum. Here we realise, that we order
the given measurements SO, that it would be convenient to compare different
temperatures of the same body in different situations or different bodies in the
same situation. And in due course it is different. We implicitly assume, that
our procedure of measurement – putting consecutive certain lengths, determined
with "din-don" of any periodic process, is TIME. The fact that time is
measured by us, certainly, reflects the features of this essence, however, this
essence - TIME - is not exhausted by them at all. If I put it differently, in
our notions of time it is necessary to look for such its property, which is not
connected with "measuring", that is, it reflects any other specific
quality of time.
We shall take such a property of time for a
basis, as well as its division onto the PAST, PRESENT and FUTURE. It is clear,
that this division does not concern the measurement of time, but it directly
concerns anisotropy, orientation of time. The novelty of my approach is, that I
offer to abstract from this "evidency". That is, for our analysis it
is not important, that the time " flows from the past – through present -
in the future". The important thig is that the uniform multitude of
instants of time is somehow divided into parts (subsets).
So, we shall begin with the obvious to us
all division "of a uniform flow of time" into PAST - PRESENT - FUTURE.
It is clear, that, if we want to advance a bit in scientific understanding of
essence of time, it is necessary once and for all to reject psychological
interpretations and to admit that the division LAST - PRESENT – FUTURE is an
objective property of TIME inherent in it, no matter, who perceives or
participates in this process: a person-thinker, a watch- dog or a spontaneously
breaking up elementary particle.
If we abstract from subjectivity, TIME will
be presented to you as quite a suitable subject for the analysis, and we shall
notice one of its fundamental features.
Here I want to show my respect to the past,
I want to reproduce a postulate from the work "The Studies of Space and
Time" by the Russian philosopher Alexander Suhovo-Kobylin, written in the
end of XIX-th century. This studies is a part of the unpublished book
"Vsemir", where the philosopher tried to formulate “Universe” with
the help of binomial decomposition of the multimember of an infinite degree.
Alexander Suhovo-Kobylin is know more as a Writer. I happened to study his
scientific works in 1990 in the archive ЦГАЛИ
USSR, where the unpublished manuscripts of this remarkable thinker are kept.
Converging numbers are shown as a symbol of processing of the Absolute Idea by
the author "Vsemir", here “the Philosophy of a spiral” is
developed, the final numbers are taken away from infinity etc. So, in
Suhovo-Kobylin’s work as some refrain it is repeated: "The Time is
divided into three times - present, past and future... Past passed, it is gone.
The future still will be, it does not exist yet. THERE IS only only present
".
In logic sense the division "of this
flow of instants" into three parts (three subsets) is of great interest.
And, only one subset EXISTS, the two other subsets DO NOT. Future and past are
NOT PRESENT because the link dividing them - the present - is supplied with
"predicate" IS. So there appear abstract objects, to which it is
possible to try to apply traditional for mathematics methods.
So. Let's consider TIME to be a multitude
of instants. Or otherwise:
1. There is some multitude, which we call
"time".
2. This multitude consists of an infinite
number of the individual elements which we call "instants".
3. The elements of THIS multitude possess
the original quality: if one element of the multitude IS, the other elements of
this multitude ARE NOT.
Not to be confused in sensual associations
connected with the words IS and IS NOT, we shall define this original property
more precisely. Let us say so. All the elements of the given multitude have such
a feature: if one (or some) elements are REAL, all other elements of the
multitude are UNREAL. And we shall call multitudes of such type – AREAL
MULTITUDES.
The term "areality" embodies two
senses: this is the connection of a negative prefix "а" to a
word "reality", and a reference to the biological term "natural
habitat" (“area”) - place of living of the certain kind of living
beings). The sign of Areality:
Picture 14.
What do we get as a result of such a
definition?
Firstly, we ascertain, that the TIME, as
such, suits this definition - if to consider an instant of the present the only
real, all other instants in the exactas sense are unreal: the past instants were
already real, the future ones will still play this role. Secondly, given the
GENERAL definition, we mean, that besides time there are also other prototypes,
which are not time at all. If we determined a certain unknown multitude, the
legitimacy of the definition could be confirmed only in case when besides time,
it would be possible to find others denotates for this nomination.
Areality is clearly visible during
introduction of a measure on the axis of the real numbers. Actually, for the
given axis it is naturally supposed, that the change of standard is possible:
taking 2 for a new unity, we transform the old unity into 1/2 etc. In other
words, the whole set of possible measures –standards is a typical areal
multitude: if one of measures is taken - becames real -, all others remain
non-realized - so to say, "stay in unreality". Taking into
consideration all unusual character of such estimations, the use of the
definition "areal multitude" appears lawful here.
But the most remarkable thing is, that
elementary areal ratio is nothing, but the logic law of the contradiction:
either A, or not - A, the other way is impossible. That is, if A is real, NOT A
is unreal. You see, this NOT A does
not disappear. Without it this A is simply
impossible, but we believe: if A exists, NOT A does NOT exist! That is, it
exists imaginarily, but exists somewhat "unreal". To put it briefly, A
and NOT A together form areal multitude of the two elements.
Aristotle, and all the logics after him,
constantly underlined, formulating the law of the contradiction: it cannot be A
and NOT-A in the same ratio, in the same TIME. Now it is important to rearrange
accents. We formulate the LOGIC RATIO, which models the time and we do not use
the empirical time for a reinforcement of logic evidence.
Introduced the principle of AREALITY, we
unexpectedly find out the special property in the empirical time itself. If we
identify temporal continuum with areal multitude of standards on a numerical
axis, it is necessary to make the strange conclusion: the temporal order is
carried out in such a way, that the realization of one of standards occurs only
in the case when only one point is realized, - becomes an instant. The
realization of concrete standard can occur in time only through the realization
of one of its points, otherwise the whole multitude of points appropriate to the
given standard should be real. In other words, in the given starting system any
REALLY FINISHED interval of time is formed by points, each of which is a point
of only one certain unique standard from the infinite multitude of those. If
"the arrow of
time" is linear, it is only because
with each instant in unreality the infinite multitude of other instants is
deduced, .forming together with the data an ordinary linear continuum of
material numbers.
The interpretation of this property will
require inclusion multitudes of systems of readout into consideration, but here
we shall limit ourselves by the above-said. At the given stage of CHRONOMETRICS
of the elementary qualitative description, I believe, it would be enough.
IV. EMPIRICAL SPACE. SYNCRETICAL GEOMETRY.
It is considered, that the geometry is a
first science created by the human being consistently and logically. The
geometry with its postulates, axioms and theorems became a paradygmal sample, by
which all scientists: physics, and mathematics, and even philosophers were
guided. To tell the truth, it remains not clear whether the idea applying for a
scientific rank can be embodied in any other form.
When Decart imagined three
interperpendicular straight lines crossing each other in one point, he imagined
emptiness around us, in which multitudes of various material bodies move. They
draw their trajectories in three-dimensional space, changing in each moment of
time their coordinates, creating the abstraction of a line (according to Camile
Jorden's definition). This notion of a ratio of the geometrical theory and the
real (empirical) space was indisputable for a long time.
If Nikolai Lobachevsky still tried to
answer a question: whether the real space corresponds "to its imaginary
geometry ", the non-Euclidean successors came to an unequivocal conclusion:
the space is only a formal model, a mathematical structure. So in the history of
the science a very interesting chain of ideologies was built: at first they
describe real space which surround us, then they understand, that
"space" is something more general (space as a mathematical structure),
and "the real space " appears to be just a particular case described
by this model.
Let us think over the sense of the last
statement. It appears that axiomatic mathematical structure, which is called
"space" by us, is only a MODEL, which can describe many different
situations, including that real emptiness, which surrounds us. Thus, the
geometry ceased to be a science about "the empirical space".
Describing space we use a MODEL, which is SUCH in itself, and not because the
space is such at all. The wide applicability of spatial models has obviously
revealed the division of a model and its prototype. In other words that
SOMETHING, which is around us is completely not the same, that we have got used
to express in a geometrical model of the 3 interperpendicular axes.
Maybe, the real “empirical space” that
surrounds us, that space-like SOMETHING is, as a matter of fact, much more
complex?
I am speaking here not about "the
other thin worlds", and not about the physical vacuum or any imaginary
ether. As Occam wrote: it is not necessary to invent essence beyond necessity.
It is necessary simply to see in the old "essence" what, as a matter
of fact, is probably necessary now. It is necessary to develop new fundamental
logic understanding, fundamental not in a less degree, than Euclidean points and
straight linees. 2300 years ago Euclid formulated the notion that the axiomatic
system of interrelations of such points and straight lines is space. Now we
should find the same "simple idea" - fixing the essence of SOMETHING,
that surrounds us.
When Richard Feynman declared: "The
Theory, according to which the space is continuous, seems wrong to me", he
rebelled not against geometry, but against the identification of geometrical
models and the empirical space. It means that it is necessary to use available
geometrical, mathematical and meta-mathematical models to create the uniform
theory, which describes SOMETHING that surrounds us more adequately.
Conventialist Poincare did the
naturalistic amendments to geometry. He tried to attract our attention to the
so-called "the latent axiom" - empirical fact, which is disguised
among Euclid’s axioms as a postulate about drawing of a circle with the help
of a compasses. The fact, that a turning half-straight line sooner or later
coincides with its continuation, does not coordinate logically with the axioms
about static points and straight lines, it does not result from them, and it is
not meant by them. This "empirical fact" itself is expressed in the
concrete irrational number π. The presence of such "empirical
constants" in mathematics (they are p,
natural logarithms е,
and j - the
bound of the Fibonacci numbers, and other remarkable ratios) are the marks
indicating a way to the uniform syncretic geometry. The Albert
Einstein’s idea that the world can be understood geometrically and by a
speculative way seems too courageous to me.
Publishing date: September 3, 2002
Source: SciTecLibrary.ru
Back
|  |