| Line 1: |
Line 1: |
| − | The '''Poincaré Group''' consists of 10 [[Mathematics|mathematical]] transformations that can be applied to different coordinates of the [[space]]-[[time]] graph (x, y, z, ct), but do not affect the "spacetime interval". The "spacetime interval" is roughly the 4-D equivalent of 3-D "distance". | + | 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]]. |
| | | | |
| − | The Poincaré Group is a "symmetry group" because the spacetime interval remains invariant. | + | 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. |
| | | | |
| − | These transformations are:
| + | 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|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=== | | ===Spatial translations=== |
| Line 22: |
Line 24: |
| | *<math>L_y : (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> | | *<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:Physics]] |
| | [[Category:Mathematics]] | | [[Category:Mathematics]] |