Difference between revisions of "Poincare group"
DavidB4-bot (talk | contribs) (clean up & uniformity) |
|||
| (10 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
| − | The Poincaré Group is | + | The '''Poincaré Group''' is the [[group]] of transformations of four-dimensional spacetime whose action does not affect the "spacetime interval". The "spacetime interval" is the analogue of the familiar, three-dimensional notional of distance in the four-dimensional "spacetime" of [[special relativity]]. The spacetime interval between two points <math>(x_1,y_1,z_1,ct_1)</math> and <math>(x_2,y_2,z_2,ct_2)</math> is spacetime is given by |
| − | < | + | ::<math>s^2 = (x_1-x_2)^2+(y_1-y_2)^2+(z_1-z_2)^2-c^2(t_1-t_2)^2</math>. |
| − | + | The first three terms in this expression are the familiar Euclidean distance on the space coordinates, while the difference in time is introduced with a minus sign. Thus, in contrast to the usual notion of distance, the "spacetime interval" between two points may be negative! Such points are said to be [[special relativity|timelike separated]]. | |
| − | < | + | |
| − | Spatial translations | + | The Poincaré Group is the full set of transformations which leave the spacetime interval invariant. Just as in 3-dimensional space distance is preserved by translations and rotations, so in Minkowski space the transformations of the Poincaré Group preserve the spacetime interval. |
| − | + | ||
| − | + | There are ten basic transformations in the Poincaré Group, and all other transformations may be written as combinations of these (for example, a translation followed by a rotation). In the language of [[group theory]], these ten elements are said to be [[generator]]s of the Poincaré Group, which thus has the structure of a ten-dimensional [[Lie group]]. Six of these are the familiar translations and rotations of space. In additional to translations of time, the Poincaré Group has three additional generators, corresponding to the Lorentz transformations. | |
| − | + | ||
| − | + | ==Spatial translations== | |
| − | Time Translations | + | *<math>T_x : (x, y, z, ct) = (x + \epsilon , y, z, ct)</math> |
| − | + | *<math>T_y : (x, y, z, ct) = (x, y + \epsilon , z, ct)</math> | |
| − | + | *<math>T_z : (x, y, z, ct) = (x, y, z + \epsilon , ct)</math> | |
| − | Spatial Rotations | + | |
| − | + | ==Time Translations== | |
| − | + | *<math>T_t : (x, y, z, ct) = (x, y, z, ct + \epsilon )</math> | |
| − | + | ||
| − | + | ==Spatial Rotations== | |
| − | Lorentzian Transformations | + | *<math>R_x : (x, y, z, ct) = (x, cos \theta y + sin \theta z, - sin \theta y + cos \theta y, ct)</math> |
| − | + | *<math>R_y : (x, y, z, ct) = (cos \theta x + sin \theta z, y, - sin \theta x + cos \theta z, ct)</math> | |
| − | + | *<math>R_z : (x, y, z, ct) = (cos \theta x + sin \theta y, - sin \theta x + sin \theta y, z, ct)</math> | |
| − | + | ||
| + | ==Lorentzian Transformations== | ||
| + | *<math>L_x : (x, y, z, ct) = (x', y, z, ct')</math> | ||
| + | *<math>L_y : (x, y, z, ct) = (x, y', z, ct')</math> | ||
| + | *<math>L_z : (x, y, z, ct) = (x, y, z', ct')</math> | ||
| + | |||
| + | Mathematically, the Poincaré Group may be described as the semidirect product of the translations with the Lorentz transformations. It is the full isometry group of the [[Riemannian geometry|pseudoriemannian manifold]] <math>\mathbb R^4</math> with the Lorentz metric. | ||
| + | |||
| + | [[Category:Physics]] | ||
| + | [[Category:Mathematics]] | ||
Latest revision as of 17:38, July 13, 2016
The Poincaré Group is the group of transformations of four-dimensional spacetime whose action does not affect the "spacetime interval". The "spacetime interval" is the analogue of the familiar, three-dimensional notional of distance in the four-dimensional "spacetime" of special relativity. The spacetime interval between two points Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (x_1,y_1,z_1,ct_1)} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (x_2,y_2,z_2,ct_2)} is spacetime is given by
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle s^2 = (x_1-x_2)^2+(y_1-y_2)^2+(z_1-z_2)^2-c^2(t_1-t_2)^2} .
The first three terms in this expression are the familiar Euclidean distance on the space coordinates, while the difference in time is introduced with a minus sign. Thus, in contrast to the usual notion of distance, the "spacetime interval" between two points may be negative! Such points are said to be timelike separated.
The Poincaré Group is the full set of transformations which leave the spacetime interval invariant. Just as in 3-dimensional space distance is preserved by translations and rotations, so in Minkowski space the transformations of the Poincaré Group preserve the spacetime interval.
There are ten basic transformations in the Poincaré Group, and all other transformations may be written as combinations of these (for example, a translation followed by a rotation). In the language of group theory, these ten elements are said to be generators of the Poincaré Group, which thus has the structure of a ten-dimensional Lie group. Six of these are the familiar translations and rotations of space. In additional to translations of time, the Poincaré Group has three additional generators, corresponding to the Lorentz transformations.
Spatial translations
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle T_x : (x, y, z, ct) = (x + \epsilon , y, z, ct)}
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle T_y : (x, y, z, ct) = (x, y + \epsilon , z, ct)}
Time Translations
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle T_t : (x, y, z, ct) = (x, y, z, ct + \epsilon )}
Spatial Rotations
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle R_x : (x, y, z, ct) = (x, cos \theta y + sin \theta z, - sin \theta y + cos \theta y, ct)}
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle R_y : (x, y, z, ct) = (cos \theta x + sin \theta z, y, - sin \theta x + cos \theta z, ct)}
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle R_z : (x, y, z, ct) = (cos \theta x + sin \theta y, - sin \theta x + sin \theta y, z, ct)}
Lorentzian Transformations
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle L_x : (x, y, z, ct) = (x', y, z, ct')}
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle L_y : (x, y, z, ct) = (x, y', z, ct')}
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle L_z : (x, y, z, ct) = (x, y, z', ct')}
Mathematically, the Poincaré Group may be described as the semidirect product of the translations with the Lorentz transformations. It is the full isometry group of the pseudoriemannian manifold Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb R^4} with the Lorentz metric.