Revision as of 12:41, 6 April 2005 editMpatel (talk | contribs)Autopatrolled, Extended confirmed users, Pending changes reviewers13,500 editsNo edit summary← Previous edit | Revision as of 13:36, 6 April 2005 edit undoMpatel (talk | contribs)Autopatrolled, Extended confirmed users, Pending changes reviewers13,500 editsNo edit summaryNext edit → | ||
Line 1: | Line 1: | ||
In ], a '''four-vector''' is a ] in a four-dimensional real ], called ], whose components transform like the ] and ] coordinates ( |
In ], a '''four-vector''' is a ] in a four-dimensional real ], called ], whose components transform like the ] and ] coordinates <math>\left(x, y, z, t \right)</math> under spatial rotations and ''boosts'' (a change by a constant velocity to another ]). The set of all such rotations and boosts, called ] and described by 4×4 ], forms the Lorentz group. | ||
== Mathematics of four-vectors == | |||
A point in ] is called an "event" and is described by the ] defined as: | A point in ] is called an "event" and is described by the ] defined as: | ||
:<math> x^a = \left(x, y, z, ct \right) </math> | :<math> x^a = \left(x, y, z, ct \right) </math> (<math>a= 1, 2, 3, 4</math>) | ||
where ''c'' is the ] |
where ''c'' is the ]. | ||
When considering physical phenomena, differential equations arise naturally; however, when considering space and time derivatives of functions, it is unclear which reference frame these derivatives are taken with respect to. It is agreed that time derivatives are taken with respect to the proper time (<math>\tau</math>) in the given reference frame. It is then important to find a relation between this time derivative and another time derivative (taken in another inertial reference frame). This relation is provided by the time transformation in the Lorentz transformations and is: | |||
⚫ | Other examples of four-vectors include the ] <math>J^a= \left( j, \rho c \right)</math> formed from the current and charge densities (<math>j</math> and <math>\rho</math>, respectively), the ] <math>\left( A, \phi \right)</math> formed from the vector and scalar potentials (<math>A</math> and <math>\phi</math>, respectively) and the ] (''E''/''c'', '''p''') formed from the (relativistic) energy ''E'' and momentum '''p'''. |
||
<math>\frac{d \tau}{dt}=\frac{1}{\gamma}</math> | |||
⚫ | The ] of two four-vectors '' |
||
where <math>\gamma</math> is the gamma factor of relativity. # | |||
⚫ | The ] of two four-vectors ''x'' and ''y'' is defined as: | ||
:<math> | :<math> | ||
x \cdot y = x^a\eta_{ab} y^b | |||
⚫ | \left( \begin{matrix}x^1 & x^2 & x^3 & x^4 \end{matrix} \right) | ||
⚫ | \left( \begin{matrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & -1 \end{matrix} \right) | ||
⚫ | \left( \begin{matrix}y_1 \\ y_2 \\ y_3 \\ y_4 \end{matrix} \right) | ||
= | = | ||
x^1y_1+x^2y_2+x^3y_3-x^4y_4</math> | |||
⚫ | \left( \begin{matrix} |
||
⚫ | \left( \begin{matrix} |
||
where <math>\eta</math> is the ]. | |||
⚫ | \left( \begin{matrix} |
||
= | |||
== Examples of four-vectors == | |||
-a_0 b_0 + a_1 b_1 + a_2 b_2 + a_3 b_3 | |||
</math> | |||
Important four-vectors in the relativity theory can now be defined, such as the ] defined by: | |||
<math>U^a := \frac{dx^a}{d \tau}= \frac{dx^a}{dt}\frac{dt}{d \tau}= \gamma \left(\mathbf{u}, c \right)</math> | |||
where <math>u^i = \frac{dx^i}{dt}</math> (<math>i=1, 2, 3</math>) are the components of the three-velocity of a measured object in this frame. Note that <math>U^aU_a=-c^2</math>. The ] is defined by: | |||
<math>A^a := \frac{dU^a}{d \tau} = \gamma \left(\dot{\gamma} \mathbf{u} + \gamma \mathbf{a}, \dot{\gamma} c \right)</math> | |||
where <math>\mathbf{a}=\dot{\mathbf{u}}</math> is the three-acceleration. Note that by direct calculation, '''it is always true that <math>A^aU_a=0</math>'''. The ] is defined by: | |||
<math>P^a=m_o U^a = \left( \mathbf{p}, mc \right)</math> | |||
where <math>m_o</math> is the rest mass of the particlem <math>m =\gamma m_o</math> and <math>\mathbf{p}=m_0 \mathbf{u}</math> is the three-momentum. | |||
An important relation can be obtained by calculating the inner product of the four-momentum with itself in two different ways: | |||
<math>p^2-m^2c^2=P^aP_a=m_o^2U^aU_a=-m_o^2 c^2</math> | |||
⚫ | Other examples of four-vectors include the ] defined by<math>J^a= \left( j, \rho c \right)</math> formed from the current and charge densities (<math>j</math> and <math>\rho</math>, respectively), the ] <math>\left( A, \frac{\phi}{c} \right)</math> formed from the vector and scalar potentials (<math>A</math> and <math>\phi</math>, respectively) and the ] (''E''/''c'', '''p''') formed from the (relativistic) energy ''E'' and momentum '''p'''. | ||
Strictly speaking, this is not a proper ] because ''x'' · ''x'' < 0 for some ''x''. Like the ordinary ] of three-vectors, however, the result of this scalar product is a ]: it is ] under any Lorentz transformation. (This property is sometimes used to ''define'' the Lorentz group.) The 4×4 matrix in the above definition is called the ''metric tensor'', sometimes denoted by '''g'''; its sign is a matter of convention, and some authors multiply it by −1. See ]. | Strictly speaking, this is not a proper ] because ''x'' · ''x'' < 0 for some ''x''. Like the ordinary ] of three-vectors, however, the result of this scalar product is a ]: it is ] under any Lorentz transformation. (This property is sometimes used to ''define'' the Lorentz group.) The 4×4 matrix in the above definition is called the ''metric tensor'', sometimes denoted by '''g'''; its sign is a matter of convention, and some authors multiply it by −1. See ]. |
Revision as of 13:36, 6 April 2005
In relativity, a four-vector is a vector in a four-dimensional real vector space, called Minkowski space, whose components transform like the space and time coordinates under spatial rotations and boosts (a change by a constant velocity to another inertial reference frame). The set of all such rotations and boosts, called Lorentz transformations and described by 4×4 matrices, forms the Lorentz group.
Mathematics of four-vectors
A point in Minkowski space is called an "event" and is described by the position four-vector defined as:
- ()
where c is the speed of light.
When considering physical phenomena, differential equations arise naturally; however, when considering space and time derivatives of functions, it is unclear which reference frame these derivatives are taken with respect to. It is agreed that time derivatives are taken with respect to the proper time () in the given reference frame. It is then important to find a relation between this time derivative and another time derivative (taken in another inertial reference frame). This relation is provided by the time transformation in the Lorentz transformations and is:
where is the gamma factor of relativity. #
The inner product of two four-vectors x and y is defined as:
where is the Minkowski metric.
Examples of four-vectors
Important four-vectors in the relativity theory can now be defined, such as the four-velocity defined by:
where () are the components of the three-velocity of a measured object in this frame. Note that . The four-acceleration is defined by:
where is the three-acceleration. Note that by direct calculation, it is always true that . The four-momentum is defined by:
where is the rest mass of the particlem and is the three-momentum.
An important relation can be obtained by calculating the inner product of the four-momentum with itself in two different ways:
Other examples of four-vectors include the four-current defined by formed from the current and charge densities ( and , respectively), the electromagnetic four-potential formed from the vector and scalar potentials ( and , respectively) and the four-momentum (E/c, p) formed from the (relativistic) energy E and momentum p.
Strictly speaking, this is not a proper inner product because x · x < 0 for some x. Like the ordinary dot product of three-vectors, however, the result of this scalar product is a scalar: it is invariant under any Lorentz transformation. (This property is sometimes used to define the Lorentz group.) The 4×4 matrix in the above definition is called the metric tensor, sometimes denoted by g; its sign is a matter of convention, and some authors multiply it by −1. See Sign convention.
The laws of physics are also postulated to be invariant under Lorentz transformations. An object in an inertial reference frame will perceive the universe as if the universe were Lorentz-transformed so that the perceiving object is stationary.