| Property |
Value |
| dbo:abstract
|
- En mathématiques, un vecteur de Killing, ou champ de Killing, est un champ vectoriel sur une variété (pseudo-)riemannienne qui conserve la métrique de cette variété et met en évidence les symétries continues de celle-ci. Intuitivement un vecteur de Killing peut être vu comme un « champ de déplacement » , c'est-à-dire associant à un point M de la variété le point M' défini par le déplacement de M le long de la courbe passant par M dont est le vecteur tangent. Sa propriété fondamentale est que ce champ représente une isométrie, c'est-à-dire qu'il conserve les distances. Ainsi, la distance entre deux points M et N est égale à la distance entre leurs images M' et N' par l'action de . Appliqué à une surface (variété de dimension 2) vue comme étant plongée dans un espace à trois dimensions, un tel champ permet par exemple de la faire « glisser » sur elle-même, sans qu'elle ne se déchire ni se plisse. La formulation mathématique de cette propriété est appelée équation de Killing. Elle stipule que la dérivée de Lie de la métrique riemannienne par rapport au vecteur de Killing est nulle, soit, dans un système de coordonnées quelconque, , D étant la dérivée covariante associée à la métrique. À partir de celle-ci, on en déduit un certain nombre de propriétés associées aux vecteurs de Killing. (fr)
- En mathématiques, un vecteur de Killing, ou champ de Killing, est un champ vectoriel sur une variété (pseudo-)riemannienne qui conserve la métrique de cette variété et met en évidence les symétries continues de celle-ci. Intuitivement un vecteur de Killing peut être vu comme un « champ de déplacement » , c'est-à-dire associant à un point M de la variété le point M' défini par le déplacement de M le long de la courbe passant par M dont est le vecteur tangent. Sa propriété fondamentale est que ce champ représente une isométrie, c'est-à-dire qu'il conserve les distances. Ainsi, la distance entre deux points M et N est égale à la distance entre leurs images M' et N' par l'action de . Appliqué à une surface (variété de dimension 2) vue comme étant plongée dans un espace à trois dimensions, un tel champ permet par exemple de la faire « glisser » sur elle-même, sans qu'elle ne se déchire ni se plisse. La formulation mathématique de cette propriété est appelée équation de Killing. Elle stipule que la dérivée de Lie de la métrique riemannienne par rapport au vecteur de Killing est nulle, soit, dans un système de coordonnées quelconque, , D étant la dérivée covariante associée à la métrique. À partir de celle-ci, on en déduit un certain nombre de propriétés associées aux vecteurs de Killing. (fr)
|
| dbo:namedAfter
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 32383 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:align
| |
| prop-fr:année
|
- 1892 (xsd:integer)
- 1973 (xsd:integer)
- 1995 (xsd:integer)
- 2000 (xsd:integer)
- 2006 (xsd:integer)
- 2007 (xsd:integer)
- 2012 (xsd:integer)
- 2016 (xsd:integer)
- 2018 (xsd:integer)
- 2019 (xsd:integer)
|
| prop-fr:auteurOuvrage
|
- Hazewinkel (fr)
- Lachièze-Rey (fr)
- Hazewinkel (fr)
- Lachièze-Rey (fr)
|
| prop-fr:bibcode
|
- 1892 (xsd:integer)
- 1973 (xsd:integer)
|
| prop-fr:bnf
|
- 42740481 (xsd:integer)
- 373910557 (xsd:integer)
- 400347767 (xsd:integer)
- 426165015 (xsd:integer)
- 457568769 (xsd:integer)
- 4.5101424E7
- 3.7358308E7
- 1.358425008E11
- b41131526q (fr)
|
| prop-fr:collection
|
- Sciences (fr)
- Échelles (fr)
- Penser avec les sciences (fr)
- Sciences (fr)
- Échelles (fr)
- Penser avec les sciences (fr)
|
| prop-fr:consultéLe
|
- 2019-12-07 (xsd:date)
- 2019-12-08 (xsd:date)
- 2019-12-09 (xsd:date)
|
| prop-fr:contenu
|
- Le crochet de Lie de par s'écrit, en termes de composantes,
:.
Pour que ce vecteur soit un vecteur de Killing, il faut et il suffit qu'il satisfasse à l'équation de Killing. On calcule donc
:
:.
Les termes comprenant des produits de deux dérivées premières peuvent être manipulés en utilisant l'équation de Killing pour et , de sorte que l'indice c ne porte pas sur la dérivée covariante, mais sur le vecteur. Ainsi, on a
:,
car les termes s'annulent deux à deux. Pour les termes comprenant des dérivées seconde, on utilise également les équations de Killing pour chasser l'indice c des dérivées covariantes. On a
:
On reconnaît le commutateur des dérivées covariantes, que l'on peut réécrire à l'aide du tenseur de Riemann :
:.
En utilisant enfin les relations d'antisymétrie sur les deux paires d'indices du tenseur de Riemann et en intervertissant les indices muets c et d sur un des deux membres du résultat, on obtient
:.
Ainsi donc, le crochet de Lie de deux vecteurs de Killing est également un vecteur de Killing. (fr)
- En effet, la divergence de la quantité donne
:.
Le premier terme est nul, car il est la contraction d'un tenseur symétrique et d'un tenseur antisymétrique . Le second terme est également nul car le tenseur énergie impulsion est par définition de divergence nulle .
On a donc
:. (fr)
- À partir de l'équation de Killing, on effectue une dérivation supplémentaire. On obtient donc :
:.
Les dérivées covariantes ne commutent pas en général, mais peuvent être commutées si on leur adjoint un terme supplémentaire faisant appel au tenseur de Riemann :
: .
On obtient ainsi
: .
On peut réécrire cette équation en effectuant des permutations sur les indices a, b et c :
: .
: .
En effectuant la somme de ces trois égalités, on obtient
: .
En vertu de la première identité de Bianchi, les termes du membre de droite s'annulent. On a donc
: .
En soustrayant ceci à la première égalité faisant intervenir le tenseur de Riemann, il vient alors
: . (fr)
- L'opérateur peut se réécrire, d'après la définition d'une géodésique,
:.
On a donc
:.
En utilisant la règle de Leibniz des dérivées, on obtient alors
:.
Le second terme de l'égalité est nul. En effet, la définition même d'une géodésique est que son vecteur tangent est conservé le long de la géodésique, soit
:.
Le premier terme de l'égalité est également nul. En effet, l'équation de Killing indique que le tenseur est antisymétrique. Sa contraction avec un tenseur symétrique est donc nulle. Ainsi, on a bien
:. (fr)
- Le crochet de Lie de par s'écrit, en termes de composantes,
:.
Pour que ce vecteur soit un vecteur de Killing, il faut et il suffit qu'il satisfasse à l'équation de Killing. On calcule donc
:
:.
Les termes comprenant des produits de deux dérivées premières peuvent être manipulés en utilisant l'équation de Killing pour et , de sorte que l'indice c ne porte pas sur la dérivée covariante, mais sur le vecteur. Ainsi, on a
:,
car les termes s'annulent deux à deux. Pour les termes comprenant des dérivées seconde, on utilise également les équations de Killing pour chasser l'indice c des dérivées covariantes. On a
:
On reconnaît le commutateur des dérivées covariantes, que l'on peut réécrire à l'aide du tenseur de Riemann :
:.
En utilisant enfin les relations d'antisymétrie sur les deux paires d'indices du tenseur de Riemann et en intervertissant les indices muets c et d sur un des deux membres du résultat, on obtient
:.
Ainsi donc, le crochet de Lie de deux vecteurs de Killing est également un vecteur de Killing. (fr)
- En effet, la divergence de la quantité donne
:.
Le premier terme est nul, car il est la contraction d'un tenseur symétrique et d'un tenseur antisymétrique . Le second terme est également nul car le tenseur énergie impulsion est par définition de divergence nulle .
On a donc
:. (fr)
- À partir de l'équation de Killing, on effectue une dérivation supplémentaire. On obtient donc :
:.
Les dérivées covariantes ne commutent pas en général, mais peuvent être commutées si on leur adjoint un terme supplémentaire faisant appel au tenseur de Riemann :
: .
On obtient ainsi
: .
On peut réécrire cette équation en effectuant des permutations sur les indices a, b et c :
: .
: .
En effectuant la somme de ces trois égalités, on obtient
: .
En vertu de la première identité de Bianchi, les termes du membre de droite s'annulent. On a donc
: .
En soustrayant ceci à la première égalité faisant intervenir le tenseur de Riemann, il vient alors
: . (fr)
- L'opérateur peut se réécrire, d'après la définition d'une géodésique,
:.
On a donc
:.
En utilisant la règle de Leibniz des dérivées, on obtient alors
:.
Le second terme de l'égalité est nul. En effet, la définition même d'une géodésique est que son vecteur tangent est conservé le long de la géodésique, soit
:.
Le premier terme de l'égalité est également nul. En effet, l'équation de Killing indique que le tenseur est antisymétrique. Sa contraction avec un tenseur symétrique est donc nulle. Ainsi, on a bien
:. (fr)
|
| prop-fr:doi
|
- 10.100700 (xsd:double)
- 10.101700 (xsd:double)
|
| prop-fr:ean
|
- 9780387989631 (xsd:decimal)
- 9780521099066 (xsd:decimal)
- 9780716703440 (xsd:decimal)
- 9781108488396 (xsd:decimal)
- 9781556080104 (xsd:decimal)
- 9782100582693 (xsd:decimal)
- 9782100747375 (xsd:decimal)
- 9782701162447 (xsd:decimal)
- 9782738118400 (xsd:decimal)
- 9782807307445 (xsd:decimal)
|
| prop-fr:format
|
- , (fr)
- et , (fr)
- , (fr)
- et , (fr)
|
| prop-fr:groupe
| |
| prop-fr:isbn
|
- 0 (xsd:integer)
- 1 (xsd:integer)
- 2 (xsd:integer)
- 978 (xsd:integer)
- 0978-02-10 (xsd:date)
|
| prop-fr:langue
|
- de (fr)
- en (fr)
- fr (fr)
- de (fr)
- en (fr)
- fr (fr)
|
| prop-fr:libellé
|
- Taillet, Villain et Febvre 2018 (fr)
- Peter et Uzan 2012 (fr)
- Misner, Thorne et Wheeler 1973 (fr)
- Barrau et Grain 2016 (fr)
- Heyvaerts 2012 (fr)
- Penrose 2007 (fr)
- Hawking et Ellis 1973 (fr)
- Alkseevskiĭ 1995 (fr)
- Carroll 2019 (fr)
- Hawkins 2000 (fr)
- Killing 1892 (fr)
- Lachièze-Rey 2006 (fr)
- Taillet, Villain et Febvre 2018 (fr)
- Peter et Uzan 2012 (fr)
- Misner, Thorne et Wheeler 1973 (fr)
- Barrau et Grain 2016 (fr)
- Heyvaerts 2012 (fr)
- Penrose 2007 (fr)
- Hawking et Ellis 1973 (fr)
- Alkseevskiĭ 1995 (fr)
- Carroll 2019 (fr)
- Hawkins 2000 (fr)
- Killing 1892 (fr)
- Lachièze-Rey 2006 (fr)
|
| prop-fr:lienAuteur
|
- Kip Thorne (fr)
- Aurélien Barrau (fr)
- Sean Carroll (fr)
- Jean-Philippe Uzan (fr)
- Charles W. Misner (fr)
- John Wheeler (fr)
- Roger Penrose (fr)
- Marc Lachièze-Rey (fr)
- Thomas Hawkins (fr)
- Stephen Hawking (fr)
- George F. R. Ellis (fr)
- Wilhelm Killing (fr)
- Kip Thorne (fr)
- Aurélien Barrau (fr)
- Sean Carroll (fr)
- Jean-Philippe Uzan (fr)
- Charles W. Misner (fr)
- John Wheeler (fr)
- Roger Penrose (fr)
- Marc Lachièze-Rey (fr)
- Thomas Hawkins (fr)
- Stephen Hawking (fr)
- George F. R. Ellis (fr)
- Wilhelm Killing (fr)
|
| prop-fr:lieu
|
- Cambridge (fr)
- Louvain-la-Neuve (fr)
- New York (fr)
- Paris (fr)
- San Francisco (fr)
- Les Ulis (fr)
- Malakoff (fr)
- Dordrecht et Boston (fr)
- Cambridge (fr)
- Louvain-la-Neuve (fr)
- New York (fr)
- Paris (fr)
- San Francisco (fr)
- Les Ulis (fr)
- Malakoff (fr)
- Dordrecht et Boston (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:mois
|
- mars (fr)
- août (fr)
- mars (fr)
- août (fr)
|
| prop-fr:natureOuvrage
|
- cours et exercices corrigés (fr)
- cours et exercices corrigés (fr)
|
| prop-fr:nom
|
- Peter (fr)
- Ellis (fr)
- Hawking (fr)
- Barrau (fr)
- Wheeler (fr)
- Carroll (fr)
- Febvre (fr)
- Taillet (fr)
- Villain (fr)
- Hawkins (fr)
- Penrose (fr)
- Thorne (fr)
- Killing (fr)
- Uzan (fr)
- Misner (fr)
- Grain (fr)
- Heyvaerts (fr)
- Lachièze-Rey (fr)
- Alkseevskiĭ (fr)
- Peter (fr)
- Ellis (fr)
- Hawking (fr)
- Barrau (fr)
- Wheeler (fr)
- Carroll (fr)
- Febvre (fr)
- Taillet (fr)
- Villain (fr)
- Hawkins (fr)
- Penrose (fr)
- Thorne (fr)
- Killing (fr)
- Uzan (fr)
- Misner (fr)
- Grain (fr)
- Heyvaerts (fr)
- Lachièze-Rey (fr)
- Alkseevskiĭ (fr)
|
| prop-fr:numéroD'édition
|
- 1 (xsd:integer)
- 2 (xsd:integer)
- 3 (xsd:integer)
- 4 (xsd:integer)
|
| prop-fr:oclc
|
- 36916612 (xsd:integer)
- 209307388 (xsd:integer)
- 299342801 (xsd:integer)
- 300307879 (xsd:integer)
- 468567740 (xsd:integer)
- 469695981 (xsd:integer)
- 793482816 (xsd:integer)
- 816556703 (xsd:integer)
- 958388884 (xsd:integer)
- 1022951339 (xsd:integer)
- 1101387240 (xsd:integer)
|
| prop-fr:pages
| |
| prop-fr:pagesTotales
|
- , -956 (fr)
- , 816 (fr)
- , -1279 (fr)
- , -231 (fr)
- , -384 (fr)
- , -1061 (fr)
- , 950 (fr)
- , 362 (fr)
- , -391 (fr)
- , -513 (fr)
- , -564 (fr)
- , -956 (fr)
- , 816 (fr)
- , -1279 (fr)
- , -231 (fr)
- , -384 (fr)
- , -1061 (fr)
- , 950 (fr)
- , 362 (fr)
- , -391 (fr)
- , -513 (fr)
- , -564 (fr)
|
| prop-fr:partie
|
- Killing (fr)
- [« vecteur de Killing »] (fr)
- Killing (fr)
- [« vecteur de Killing »] (fr)
|
| prop-fr:passage
|
- 325 (xsd:integer)
- 391 (xsd:integer)
- 411 (xsd:integer)
|
| prop-fr:préface
|
- de Damour (fr)
- de Damour (fr)
|
| prop-fr:prénom
| |
| prop-fr:présentationEnLigne
| |
| prop-fr:périodique
| |
| prop-fr:sousTitre
|
- étoiles, univers et relativité (fr)
- la prodigieuse histoire des mathématiques et de la physique (fr)
- étoiles, univers et relativité (fr)
- la prodigieuse histoire des mathématiques et de la physique (fr)
|
| prop-fr:sudoc
|
- 4735110 (xsd:integer)
- 4830148 (xsd:integer)
- 30252288 (xsd:integer)
- 58886435 (xsd:integer)
- 103231013 (xsd:integer)
- 118177311 (xsd:integer)
- 158540697 (xsd:integer)
- 163817030 (xsd:integer)
- 195038134 (xsd:integer)
- 224228161 (xsd:integer)
- 237699117 (xsd:integer)
|
| prop-fr:texte
|
- La quantité conservée est le facteur de Lorentz γ, qui a une constante près est égal dans la limite non relativiste à la somme de l'énergie de masse et de l'énergie cinétique. (fr)
- Le terme vecteur est un abus de langage classique en physique, qui assimile par facilité élément et ensemble, vecteur et champ de vecteurs. (fr)
- Dans le cas relativiste, la quantité conservée est la position multipliée par le facteur de Lorentz, qui lui-même est une quantité conservée du fait que est un vecteur de Killing . (fr)
- La quantité conservée est le facteur de Lorentz γ, qui a une constante près est égal dans la limite non relativiste à la somme de l'énergie de masse et de l'énergie cinétique. (fr)
- Le terme vecteur est un abus de langage classique en physique, qui assimile par facilité élément et ensemble, vecteur et champ de vecteurs. (fr)
- Dans le cas relativiste, la quantité conservée est la position multipliée par le facteur de Lorentz, qui lui-même est une quantité conservée du fait que est un vecteur de Killing . (fr)
|
| prop-fr:titre
|
- Astrophysique (fr)
- Relativité générale (fr)
- Démonstration (fr)
- Dictionnaire de physique (fr)
- Cosmologie primordiale (fr)
- À la découverte des lois de l'Univers (fr)
- Espace et observateurs en cosmologie (fr)
- Astrophysique (fr)
- Relativité générale (fr)
- Démonstration (fr)
- Dictionnaire de physique (fr)
- Cosmologie primordiale (fr)
- À la découverte des lois de l'Univers (fr)
- Espace et observateurs en cosmologie (fr)
|
| prop-fr:titreOuvrage
|
- Encyclopaedia of mathematics (fr)
- L'espace physique entre mathématiques et philosophie (fr)
- Encyclopaedia of mathematics (fr)
- L'espace physique entre mathématiques et philosophie (fr)
|
| prop-fr:titreTome
| |
| prop-fr:traduction
|
- (fr)
- Laroche (fr)
- de l' par (fr)
- (fr)
- Laroche (fr)
- de l' par (fr)
|
| prop-fr:traductionTitre
|
- Gravitation (fr)
- Espace-temps et géométrie : une introduction à la relativité générale (fr)
- La structure à grande échelle de l'espace-temps (fr)
- Émergence de la théorie des groupes de Lie : un essai en histoire des mathématiques, - (fr)
- Gravitation (fr)
- Espace-temps et géométrie : une introduction à la relativité générale (fr)
- La structure à grande échelle de l'espace-temps (fr)
- Émergence de la théorie des groupes de Lie : un essai en histoire des mathématiques, - (fr)
|
| prop-fr:volume
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- En mathématiques, un vecteur de Killing, ou champ de Killing, est un champ vectoriel sur une variété (pseudo-)riemannienne qui conserve la métrique de cette variété et met en évidence les symétries continues de celle-ci. Appliqué à une surface (variété de dimension 2) vue comme étant plongée dans un espace à trois dimensions, un tel champ permet par exemple de la faire « glisser » sur elle-même, sans qu'elle ne se déchire ni se plisse. , D étant la dérivée covariante associée à la métrique. À partir de celle-ci, on en déduit un certain nombre de propriétés associées aux vecteurs de Killing. (fr)
- En mathématiques, un vecteur de Killing, ou champ de Killing, est un champ vectoriel sur une variété (pseudo-)riemannienne qui conserve la métrique de cette variété et met en évidence les symétries continues de celle-ci. Appliqué à une surface (variété de dimension 2) vue comme étant plongée dans un espace à trois dimensions, un tel champ permet par exemple de la faire « glisser » sur elle-même, sans qu'elle ne se déchire ni se plisse. , D étant la dérivée covariante associée à la métrique. À partir de celle-ci, on en déduit un certain nombre de propriétés associées aux vecteurs de Killing. (fr)
|
| rdfs:label
|
- Campo vetorial de Killing (pt)
- Killing-Vektorfeld (de)
- Killing-vectorveld (nl)
- Vecteur de Killing (fr)
- Поле Кіллінга (uk)
- キリングベクトル場 (ja)
- Campo vetorial de Killing (pt)
- Killing-Vektorfeld (de)
- Killing-vectorveld (nl)
- Vecteur de Killing (fr)
- Поле Кіллінга (uk)
- キリングベクトル場 (ja)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:knownFor
of | |
| is dbo:namedAfter
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:renomméPour
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
