Fork me on GitHub
Math for the people, by the people.

User login

field arising from special relativity

% this is the default PlanetMath preamble.  as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.

% almost certainly you want these

% need this for including graphics (\includegraphics)
% for neatly defining theorems and propositions

% making logically defined graphics
% used for TeXing text within eps files

% there are many more packages, add them here as you need them

% define commands here

The velocities $u$ and $v$ of two bodies moving along a line 
obey, by the special theory of relativity, the addition rule
u\oplus v \;:=\; \frac{u+v}{1+\frac{uv}{c^2}},
  where $c$ is the velocity of light.\, As $c$ is unreachable for any material body, it 
  plays for the velocities of the bodies the role of the infinity.\, These velocities $v$
  thus satisfy always
      $$|v| \;<\; c.$$
 By (1) we get
 $$c\oplus c \;=\; c, \quad c \oplus v \;=\; c$$
  for $|v| < c$;\, so $c$ behaves like the infinity.
  One can define the \PMlinkname{mapping}{mapping}\,  $f:\; \mathbb{R} \to (-c,\,c) = S$\; by setting
  f(x) \;:=\; c\;\tanh{x}
  which is easily seen to be a bijection.
  Define also the \PMlinkname{binary operation}{binaryoperation} $\odot$  
  for the \PMlinkname{numbers}{number} $u,\,v$ of the 
  \PMlinkname{open interval}{interval}\, 
  $(-c,\,c)$ by
  u \odot v \;=\; c\; 
  Then the system $(S,\oplus,\odot)$ may be checked to be a ring 
  and the bijective mapping (2) to be 
  $$f(x+y) \;=\; f(x)\oplus f(y), \quad 
  f(xy) \;=\; f(x)\odot f(y)$$
  Consequently, the system $(S,\oplus,\odot)$, as the 
  \PMlinkname{isomorphic image}{homomorphicimageofgroup} of 
  the field   $(\mathbb{R},+,\cdot)$, also itself is a field.
  Baker [1] calls the numbers of the set $S$, i.e. $(-c,\,c)$, 
  the {\it Einstein numbers}.\\
\bibitem{baker}{\sc G. A. Baker, Jr.}: ``Einstein numbers''. --\emph{Amer. Math. Monthly} \textbf{61} 
(1954), 39--41.
\bibitem{davis}{\sc H. T. Davis}: \emph{College algebra}. Prentice-Hall, N.Y. (1940), 351.
\bibitem{gregor}{\sc T. Gregor \& J. Halu\v{s}ka}: \emph{Two-dimensional Einstein 
numbers and associativity}.  
\PMlinkexternal{arXiv}{} (2013)