En mathématiques, le théorème de Synge, démontré par John Lighton Synge en 1936, est un résultat classique de géométrie riemannienne sur la topologie d'une variété riemannienne complète à courbure positive. Il constitue une application de la . Théorème — Soit M une variété riemannienne complète de dimension paire et de courbure sectionnelle strictement positive. * Si M est orientable alors elle est simplement connexe. * Si M est non orientable alors son groupe fondamental est .Démonstration D'où une contradiction avec le choix de , donc M est simplement connexe.

Property Value
dbo:abstract
  • En mathématiques, le théorème de Synge, démontré par John Lighton Synge en 1936, est un résultat classique de géométrie riemannienne sur la topologie d'une variété riemannienne complète à courbure positive. Il constitue une application de la . Théorème — Soit M une variété riemannienne complète de dimension paire et de courbure sectionnelle strictement positive. * Si M est orientable alors elle est simplement connexe. * Si M est non orientable alors son groupe fondamental est .Démonstration Supposons M orientable et de dimension paire et raisonnons par l'absurde. Supposons que M ne soit pas simplement connexe. Alors M possède une géodésique fermée minimisant la longueur dans sa classe d'homotopie libre. Soient et le transport parallèle le long de . Cette application est une isométrie linéaire ayant un point fixe, à savoir . Comme la dimension de M est paire, l'orthogonal de est un espace vectoriel euclidien orienté de dimension impaire sur lequel définit une isométrie linéaire. En particulier, les questions de réductions montrent l'existence d'un vecteur orthogonal (choisi unitaire), tel que : . Le transport parallèle de le long de donne une section globale de . Introduisons une variation de lacets -périodiques, avec et . La formule de la variation seconde donne : D'où une contradiction avec le choix de , donc M est simplement connexe. Pour la seconde affirmation, il suffit de considérer un revêtement double orientable de M. On peut démontrer par les mêmes techniques que toute variété riemannienne complète de dimension impaire et de courbure sectionnelle strictement positive est orientable. (fr)
  • En mathématiques, le théorème de Synge, démontré par John Lighton Synge en 1936, est un résultat classique de géométrie riemannienne sur la topologie d'une variété riemannienne complète à courbure positive. Il constitue une application de la . Théorème — Soit M une variété riemannienne complète de dimension paire et de courbure sectionnelle strictement positive. * Si M est orientable alors elle est simplement connexe. * Si M est non orientable alors son groupe fondamental est .Démonstration Supposons M orientable et de dimension paire et raisonnons par l'absurde. Supposons que M ne soit pas simplement connexe. Alors M possède une géodésique fermée minimisant la longueur dans sa classe d'homotopie libre. Soient et le transport parallèle le long de . Cette application est une isométrie linéaire ayant un point fixe, à savoir . Comme la dimension de M est paire, l'orthogonal de est un espace vectoriel euclidien orienté de dimension impaire sur lequel définit une isométrie linéaire. En particulier, les questions de réductions montrent l'existence d'un vecteur orthogonal (choisi unitaire), tel que : . Le transport parallèle de le long de donne une section globale de . Introduisons une variation de lacets -périodiques, avec et . La formule de la variation seconde donne : D'où une contradiction avec le choix de , donc M est simplement connexe. Pour la seconde affirmation, il suffit de considérer un revêtement double orientable de M. On peut démontrer par les mêmes techniques que toute variété riemannienne complète de dimension impaire et de courbure sectionnelle strictement positive est orientable. (fr)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 913584 (xsd:integer)
dbo:wikiPageLength
  • 3195 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 183383892 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1936 (xsd:integer)
  • 1992 (xsd:integer)
prop-fr:isbn
  • 978 (xsd:integer)
prop-fr:lang
  • en (fr)
  • en (fr)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:nom
  • do Carmo (fr)
  • John Lighton Synge (fr)
  • do Carmo (fr)
  • John Lighton Synge (fr)
prop-fr:pages
  • 316 (xsd:integer)
prop-fr:pagesTotales
  • 300 (xsd:integer)
prop-fr:prénom
  • Manfredo Perdigão (fr)
  • Manfredo Perdigão (fr)
prop-fr:périodique
  • Quarterly Journal of Mathematics (fr)
  • Quarterly Journal of Mathematics (fr)
prop-fr:titre
  • Riemannian geometry (fr)
  • On the connectivity of spaces of positive curvature (fr)
  • Riemannian geometry (fr)
  • On the connectivity of spaces of positive curvature (fr)
prop-fr:volume
  • 7 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
  • Birkhäuser (fr)
  • Birkhäuser (fr)
dct:subject
rdfs:comment
  • En mathématiques, le théorème de Synge, démontré par John Lighton Synge en 1936, est un résultat classique de géométrie riemannienne sur la topologie d'une variété riemannienne complète à courbure positive. Il constitue une application de la . Théorème — Soit M une variété riemannienne complète de dimension paire et de courbure sectionnelle strictement positive. * Si M est orientable alors elle est simplement connexe. * Si M est non orientable alors son groupe fondamental est .Démonstration D'où une contradiction avec le choix de , donc M est simplement connexe. (fr)
  • En mathématiques, le théorème de Synge, démontré par John Lighton Synge en 1936, est un résultat classique de géométrie riemannienne sur la topologie d'une variété riemannienne complète à courbure positive. Il constitue une application de la . Théorème — Soit M une variété riemannienne complète de dimension paire et de courbure sectionnelle strictement positive. * Si M est orientable alors elle est simplement connexe. * Si M est non orientable alors son groupe fondamental est .Démonstration D'où une contradiction avec le choix de , donc M est simplement connexe. (fr)
rdfs:label
  • Satz von Synge (de)
  • Synge's theorem (en)
  • Théorème de Synge (fr)
  • Лема Сінга (uk)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of