Main page     About author               <<     Chapter1      Chapter2     Chapter3     Chapter4     Chapter5     >>


2. Which Concepts and Ideas of STR Need to Be Perfected?

Classical mechanics is acting (or is geometrically interpreted) in a three-dimensional conventional Euclidean space  which fully corresponds to physiological ability of thinking creatures from planet Earth to geometrical imagination. The STR, having rejected the classical idea of absolute (surgeometrical) time t, has immediately been "immersed” into the four-dimensional space  each point of which is characterised by coordinates . Here the constant  m/s may be regarded as a universal (i.e. independent of the choice of a frame of reference) "transforming constant", which transforms quantities of x, y, z type, possessing the dimension of length (m) into quantities , each having the dimension of the first coordinate t. This version has no principal distinction from a four-dimensional space with four coordinates x, y, z, ct in use.

But the four-dimensional world of STR is not a conventional Euclidean space  (possessing index k=0) but, actually, it is pseudoeuclidean space possessing negative index k=3 (or an isomorphic to it space  possessing index k=1). This conclusion follows from the fact, that the only numerical invariant  (space-time interval) in R4, k=3 is determined by a contravariant tensor xs, where s=0, 1, 2, 3 (x0=t, x1=tx, x2=ty, x3=tz) and by a diagonal metric tensor of the second rank gss through expression

. (2.1)

Note that in the space  all the three numbers gss have magnitudes 1, and there exist two independent numerical invariants:

1) the contraction  or the contraction of the type

;

2) surgeometrical invariant t (absolute time).

But "our" space  is characterised not only by its being a tensor space but also by its being a vector space in the sense that in space  there exist vectorial invariants of the  type. These invariants , ... are existing in the space even before we introduced there the concept of basis unit vectors , i.e. even before our introducing there the concept of a tensor of the first rank.

Together with a linear transformation of the three coordinates of the type

in the vector space  there takes place the analogous co-transformation of the corresponding unit vectors : if the column of three coordinates is multiplied by the orthogonal matrix of rotation  then the string of the three unit vectors is multiplied by the inverse matrix . As a result, nothing changes in the resulting expression for the vector :

(2.2)

So we ohght to regard vector  in (2.2) as a special invariant contraction of one “numerical tensor”  and one “basis tensor” , i.e. the contraction .

In this case one must not speak about the transformation only of the coordinate tensor xs – ys , if the new coordinates  are set off upon the same unit vectors  . Even more prohibited is to say, for instance, that a two component vector  in plane , regarded as “a part of the tensor xs - ys, s=1, 2, 3“, when this “part” is transferred by transformation into "another vector"  referred to the same unit vectors  and . Actually, the vector  is a quite different from the vector : in the system of unit vectors () it is a two-component one, but it becomes a three-component vector in the new system of unit vectors (), so as the contraction (convolution)  remains invariant. .

But just these incorrect actions are employed in STR while transforming all the four components of the tensor  using the Lorentz transformation and dealing afterwards with the so changed three-component "vector"  set off upon unchanged unit vectors . This new "vector" , that depends on the transformation of a four-component tensor , is regarded in a new mooving inertial frame of reference  possessing its own time  and the axes  parallel to the axes Oxyz of the former "immovable" frame of reference K possessing its own time t.

The tensor space R4, k=3, in which STR is realised, may be turned into a vector space R4, k=3 in which vectors  exist even before we introduce the concept of a usual four-component numerical (coordinate) tensor. To do so one has to generalise the concept of a scalar product of two arbitrary vectors  and  from the space R4, k=3: the scalar product of two vectors  and  is such a symmetrical and bilinear function  which to each pair of vector arguments  and  puts into correspondence the real number s which is not necessarily positive in case of  =.

In this pseudoeuclidian vector space R4, k=3 consisting of real fourdimensional vectors with real coordinates, the index k=3 indicates that there exist three linearly independent fourdimensional vectors  , such that . This is why in R4,k=3 as a system of basis unit vectors it is convenient to choose the system of vectors  such that  and  and with condition , when . By this, only real quantities (here ) are permitted as multipliers for unit vectors .

Then in R4,k=3 by analogy with (2.2) one obtains invariant vectors (invariant convolutions) in space R4,k=3 of the form

, (2.3)

Here  are four new basis unit orthogonal vectors which are obtained as the result of linear and homogenous transformation of the four former unit vectors . The coefficients of these four equalities (realizing the transformation) make some symmetrical matrix  , which is the reverse matrix to the well known matrix  , describing the transformation of the four coordinates and using the most general expressions of Lorentz transformation in the Gerglotz version.

If  denote an element of the  - matrix  then new basis  in (2.3) we have as a four contractions of type . So, define by , two 4-columns from basis vectors , one will have , which denotes four homogeneous equalities. One can satisfy himself that  if  and  if , but . It means that new basis  (contrary to STR!) is not deformed, but only “pseudorotated in ”. And more: the Poincore group is representate by means of matrixes , where , because for two matrixes  we have:  and .

If all the orthogonal transformations of type  to combine afterwards with conventional rotations of the last three unit vectors  (under the condition that ) by using the orthogonal matrix , then the group of Poincare transformations (all matrixes of [D]4,4 type) for four basis unit vectors in case when the origin O of this basis does not change will be obtained. The matrixes [D]4,4 of co-transformations of four coordinates also belong to this group.

In the real vector space  as independent on each other there exist three types of "abstract things": 1) points, 2) vectors, 3)real numbers. These "things" are interconnected by a system of axioms. By this, the coordinates  have principally changed their sense comparatively with the space , because now each of the vectors , observing that , where s = x, y, z , has no length or no modulus. The same may be said about the vector . The concept of a distance between points A and B, belonging to , is valid not for all the points A and B is space  but only for those, for which the vector

(here  and ) possesses the modulus, i.e. if . No other approach to the concept of a distance in the vector space  is existing. If  then one reaches the cone of isotropy. Each vector belonging to this cone is orthogonal to itself or it has the zero length.

This is how the metric of  looks like. Naturally, we will consider only those physical directions of motion in , which correspond to vectors  satisfying the condition , or to vectors  if . Let us emphasize: above mentioned representation of the fourdimensional vector  is a more general case of contraction (convolution), which gives in space , a new and more general (vectorial) invariant than (2.1). Only such invariant – vectors in space  one can name as “vector”.

That is why considering the three-component part of the vector  of the form  in the given fixed frame of reference  is permitted only in that sense, that in another frame of reference  which is pseudorotated in the space  the same vector , will posses four components. Of course, the negative numerical invariant  must be observed. Prohibited is, though, to speak about the three-component vector  as of the transformed former three-component vector , because the vector  is just another vector in both frames of reference, actually being a four-component vector in the first frame of reference. Quite analogous is the situation with a one-component vector  which in the new system will become the same but now a four-component invariant vector  with the numerical invariant  kept.

On the basis of this we can state that geometrical interpretation of the Lorentz transformation  in the space  is not identical to purely mechanical presentation of this transformation in the space  with its two classical three-dimensional frames of reference K and K' moving relatively to each other with the velocity  and each having their own times t and t'. Yes, indeed, each of the abovesaid matrixes  or  descibing the transformation  is completely determined if three arbitrary numbers vx, vy, vz are given under the condition , but all matrix operations of mutual multiplying of such matrixes  (altogether with all matrixes of pure rotation ) cannot be reduced to vectorial algebra in the space  even by adding the concept of different times t and t' in each system K and K` (New wine should not be poured into old wine skins). The very idea of three-dimensional system K mooving in “our” space , is the “old wine skin” from classical mechanics.

This is why we are going to deal with a neorelativistic inertial frame of reference  which is only pseudorotated (without usual “mooving”!) in relation to another system  (pure rotation of the three last unit vectors  with the vector  remaining unchanged may be here included). In this case the sense of a position vector  fixing the point A in the space , is that the arrow end of this vector is drawing a four-dimensional space curve and that the four coordinates  of this vector  are functions of the invariant argument t , which denotes "the time length" of an arc of this curve, laid off from the initial point , under the condition  , i.e.

(2.4)

If the point A is a free material point then all the four coordinates are the linear functions of the argument t . It is very important to realize here as follows: in a geometrical approach to the space  (and no other point of view we must have), having eliminated the parameter t from the four parametrically given functions , we will get, for instance, three functions x=f1(t), y=f2(t), z=f3(t) or three other functions , which represent (in space !) the path (trajectory) of the point A . Now the information about how the point A is moving along this path is lost. For example, if all the three functions x=f1(t), y=f2(t), z=f3(t) have happened to be linear, then it is not, though, an evidence of uniform motion of the point A in , but it only characterises the path in  as a rectilinear one. Along this rectilinear path the point A may perform non-linear motion when related to the argument t .

So, we have come to the conclusion about the relative character of the very idea of the uniformity: the motion is uniform but in relation to what? In relation to t, or in relation to t ? In STR every local time t or  is satisfying the evident conditions , i.e. time t or  changes “iniformly in relation to itself“. But noninvariant coordinate t (or ) of the invariant vector  may be changing nonlinearly in relation to the invariant argument t . And let us remind that any process  take place as a uniform relatively to itself, because . The idea of “absolutely uniform” time t (changing only its “tempo” ), -this idea is a relic of the classical mechanics.

If the point A is moving nonuniformly with respect to argument t along a rectilinear path  in the space  then it is the evidence that in  there is a field interacting with the point A. This motion of the point A must be “immersed”, though, not into a pseudoeucledean rectilinear space  but into some pseudoriemannean space V4, for which every tangent in its point M space  is a pseudoeucledean one with k=3. Such a space V4 has natural metrics which compensates,or replaces, the existence of a field in .

And only in that case when all the four coordinates of the point A are linear functions of t , we may select such a neorelativistic inertial frame of reference  in which the vector  is parallel to , i.e.  and . Nevertheless, it doesn’t mean that the point A is resting in this frame of reference: it continues to move along the invariant vector  exactly as it did earlier when the vector  possessed nonzero pseudoprojections  upon the unit vectors .

This way we have reached the sort of agreement (upon the neo-relativistic level) between the Friedmann - Hubble idea of the spreading Universe and the classical idea of the Newton first low. So the free material point is mooving uniformly (to invariant time ) along some invariant vector  in all neorelativistic inertial frames of reference. As one can see now it would be more correct to speak not about the spreading Universe but about natural four-dimensional flow of time tin the space . The flow of pseudotime t (first coordinat of ) appears to us to be different in different neorelativistic frames of reference  and . This is explained by the fact, that inhabitants of our planet posses senses, which distort the real picture of the Universe, because these our senses "reflect" the three coordinates x = ctx , y = cty , z = =ctz from space , upon “our” basis unit vectors  in the space , and the coordinate t is the same way reflected upon our "clock"; at the same time the invariant magnitude t is left unnoticed as an extrasensoric one, and it can only theoretically be computed on the grounds of our direct measurements of each of the four coordinates of the vector

in every moment t . Of course, it is very difficult to agree with such “fantastical idea”, that “in reality” (what is “reality”?) we live in pseudoeuclidean space, but let us try to believe more the most important sensation of formal logic, then we believe our usual physiological sensations, because it is a new ordinary sacrifice in the name of the Great Idea of Relativity. Let us remember that our physiological sensations had put us in an awkward situation. In the whole history of science, begining from Euclid, Ptolemaios, Kopernik, Bruno, Galilei, Newton, Lobachevsky, Einstein, Heisenberg the humanity had this perpetual question: what is “reality” and what is only a theoretical, mathematical (“wild and fantastical”) formal scheme. Outstanding academician Leo Landau was shure, that the reason of crisis in some modern problems in pure physics and mechanics is just the deficiency of humane fantasy, because real Universe is more fantastical and more intricate than any our fantasy and imagination.

And something else: when we speak about the velocity of the point A in the space , we only mean a four-coordinate vector  having components . The magnitude of scalar product  is always equals to one, and the components of  are transformed by one of the transformations belonging to Poincare group.

If the point A is a free one and if in some inertial frame of reference  the three of its coordinates  do not change, then the three numbers , which are obtained as a result of division of the last three components of the vector  (in system ) by its first component, fully characterise the transformation matrix  transforming the system into the system . But these three numbers  make neither a vector nor even a formal tensor, as they are transformed by non-linear formulae and this is in contradiction with the rules of tensor algebra. The same case we have in “our” space : three coordinates , of the vector  make true tensor but two “fractions” , give not a tensor and not a vector, when relatively to usual rotation  in  (because two unit vectors  in expression  are not co-transformed relatively to non-linear transformation of numbers ). Naturally, the same three numbers  do make a vector in the space  by a compulsory condition that  is absolute time. From the point of view of the space , though, these three numbers  characterise the direction of the vector . By this, the condition  leads to the condition  which, actually, is a restriction set upon the choice of the direction in the space , or, in other words, the vector  must not coincide with an isotropic vector.

Consequently, in the space  there exist such directions  of motion from the point A to the point B for which the length of the vector , i.e. the neorelativistic distance from A to B , tends to zero, though the noninvariant (in space !) magnitude  may be at the same time fantastically great. This is how metrics of the space  looks like. Let us emphasize once more: the fourdimensional Lorentz’s transformations in space  are in fact formulae of the analitical geometry in this space; but classical STR is attempt to use the analitical geometry from  for generalization of the kinematics in quite another space ; but in , there exist its own fourdimensional kinematics, which we use in our neorelativistic mechanics.

And, finally, there is the last and maybe the most important question about the urgent necessity of making the relativistic principle of relativity more accurate. In STR the definition of this principle sounds approximately as follows: all the inertial frames of reference (classical three-dimentional frames of reference in the space  provided by their own local "clocks" are meant here) cannot be told from one another on the grounds of their physical properties ( no experiment can distinguish any of them as a preferable one).

But the point is that side by side to physical measuring devices in different inertial frames of reference there exist our theoretical equations of motion together with their solutions having, for example, the form , in which neither a function dAB nor the argument t are invariant ones. These solutions, or these functions, we "measure", or analyze, using a "device" called a human eye, and this device does finds a difference! Now, is it possible indeed to construct an invariant function, describing some invariant physical or mechanical process, using noninvariant magnitudes dAB and t. More of that, for each invariant vector considered in the space  there exists only one numerical invariant which can not simultaneously be a function and an argument of some function as well.

Let two material particles A and B be connected by an ideal elastic

"spring" and let them be vibrating in the space  along the vector . It is known that the equations of motion of these two points, derived by using methods of STR, first in the frame of reference K moving in the direction perpendicular to  and then in the frame of reference K' moving along , are different. And here anyone can say: "Let me analyze the both sets of equations of motion (in system K and in system K'), using the device called a human eye, and I will get quite a concrete information about the inertial frames of reference used". This statement is in deep contradiction with the whole idea of relativity.

Now we mean that the relativistic principle of relativity should not be declared at the very beginning of this theory but it must logically flow out from the solution of corresponding equations of motion as a consequence, i.e. everything must be approximately that way as it was with the classical Galileian principle of relativity until when physicists have discovered "forces" depending on velocities.

Such a neorelativistic principle of relativity may be made real only in the case, when we will utilize a more general method of "immersing” mechanics into geometry, using more general orthogonal transformations of coordinates and basis unit vectors in the more general pseudoeuclidean space  when n>4. In such space Rn there may exist a number (not less than two) of independent numerical invariants, giving us a chance to construct invariant functional relationships between independent invariants, which will describe real invariant physical processes.


Main page     About author               <<     Chapter1      Chapter2     Chapter3     Chapter4     Chapter5     >>
Hosted by www.Geocities.ws

1