Caractéristique d'Euler – Wikipedia pierre énergétique

En mathématiques, et plus particulièrement en topologie algébrique et en combinatoire polyhédrique, Caractéristique d'Euler (ou Numéro d'Eulerou Caractéristique d'Euler-Poincaré) est un invariant topologique, un nombre qui décrit la forme ou la structure d’une pièce topologique, quelle que soit sa courbure. Il est souvent noté par

χstyle chi

(Chi minuscule grecque).

La caractéristique d'Euler a été définie à l'origine pour le polyèdre et utilisée pour démontrer divers théorèmes à leur sujet, notamment la classification des solides platoniques. Leonhard Euler, pour qui le concept est appelé, l'a introduit au polyèdre, mais n'a pas réussi à prouver de manière stricte qu'il s'agit d'un invariant. En mathématiques modernes, Euler est caractéristique de l'homologie et de l'algèbre homologue plus abstraite.

polyèdres(éditer)

ils Caractéristique d'Euler

χstyle chi

Classiquement défini pour les surfaces de polyèdre, selon la formule

V, Eet fa sont les nombres respectivement coins, arêtes et faces du polyèdre donné. Toute surface de polyèdre convexe a la caractéristique d’Euler

Cette équation est connue sous le nom de Formule polyèdre d'Euler.(1) Il correspond à la caractéristique d'Euler de la sphère (x = 2) et est identique au polyèdre sphérique. Une illustration de la formule sur certains polyèdres est donnée ci-dessous.

Les surfaces des polyèdres non convexes peuvent avoir différentes propriétés d'Euler:

Pour le polyèdre ordinaire, Arthur Cayley a dérivé une forme modifiée de la formule d'Euler en utilisant la densité , densité maximale vet densité du visage

fad_ f

:

Cette version contient des polyèdres convexes (où les densités sont toutes égales à 1) et des non-convexes Polyeder de Kepler-Poinsot.

Les polyèdres en projection ont tous la caractéristique d'Euler 1, véritable plan projectif, tandis que les surfaces des polyèdres toroïdaux ont toutes la caractéristique d'Euler 0, en tant que tore.

Flydiagrammer(éditer)

La caractéristique d'Euler peut être définie immédiatement pour les cartes de vol connectées

VE+fastyle d'affichage V-E + F}

formule comme pour les surfaces polyédriques, où fa est le nombre de faces dans le graphique, y compris la face externe.

La caractéristique d'Euler de tout graphe G lié à un plan est 2. Cela est facile à prouver par induction du nombre de faces déterminées par G, en commençant par un arbre comme l'ensemble de base. Pour les arbres,

E=V1style d'affichage E = V-1}

et

fa=1style d'affichage F = 1

. Si G a des composantes C (graphes déconnectés), le même argument apparaît par induction de F it

VE+faC=1style d'affichage V-E + F-C = 1}

. Une des rares théories de graphes de Cauchy montre également ce résultat.

Par le biais de projections stéréographiques, la planète mappe la sphère à deux dimensions, de sorte qu’un graphe connexe mappe une dégradation polygonale de la sphère, qui a la caractéristique d’Euler 2. Cette vue est implicite dans la preuve de Cauchy de la formule d’Euler donnée ci-dessous.

Formule d'Euler(éditer)

Première étape dans la preuve d'un dé

Il y a beaucoup de preuves de la formule d'Euler. L'une a été donnée par Cauchy en 1811, comme suit. Elle s'applique à tout polyèdre convexe, et plus généralement à tout polyèdre dont la limite est topologiquement équivalente à une sphère et dont les faces sont topologiquement équivalentes à des disques.

Retirez une face de la surface polyédrique. En séparant les bords de la face manquante, tout le reste se déforme en un graphique plat de points et de courbes, de sorte que le périmètre de la face manquante soit placé à l'extérieur, entourant le graphique obtenu, comme illustré par le Premier des trois graphiques de cube. cas particulier. (La prémisse selon laquelle la surface polyhédrique est homomorphe à la sphère au début est ce qui rend cela possible.) Après cette déformation, les faces communes ne sont généralement plus communes. Le nombre de croix et d'arêtes est resté le même, mais le nombre de faces est réduit de 1. Par conséquent, la formule d'Euler pour le polyèdre montre VE + fa = 1 pour cet objet plan déformé.

S'il existe une face de plus de trois pages, tracez une diagonale, c'est-à-dire une courbe à travers la face qui relie deux coins non encore connectés. Cela ajoute un bord et une face et ne change pas le nombre de croix, donc cela ne change pas la quantité VE + fa. (Il est nécessaire ici de supposer que toutes les faces sont des disques pour montrer à travers la déclaration de la courbe de Jordan que cette opération augmente le nombre de faces de un.) Continuez à ajouter des arêtes de cette manière jusqu'à ce que toutes les faces soient triangulaires.

Répétant l’une des deux transformations suivantes à plusieurs reprises, l’invariant maintient que la limite extérieure correspond toujours à un seul cycle:

  1. Supprimez un triangle avec un seul bord à côté de l'extérieur, comme illustré par l'autre graphique. Cela réduit le nombre d'arêtes et de faces avec une seule et ne modifie pas le nombre de croisements pour qu'il soit maintenu VE + fa.
  2. Supprimez un triangle à deux bords divisé par l'extérieur du réseau, comme illustré par le troisième graphique. Chaque suppression de triangle supprime un sommet, deux arêtes et une face, de sorte qu'elle soit maintenue VE + fa.

Ces transformations réduisent finalement le graphe en un seul triangle. (Sans le cycle simple, la suppression d'un triangle peut déconnecter les autres triangles et invalider le reste de l'argument. Un ordre de suppression valide est un exemple élémentaire de rognage.)

A ce point a le triangle solitaire V = 3, E = 3 et fa = 1 pour que VE + fa = 1. Puisque chacune des deux étapes de transformation ci-dessus a conservé cette quantité, nous avons montré VE + fa = 1 pour l'objet plat et déformé qui illustre VE + fa = 2 pour le polyèdre. Cela montre le théorème.

Pour plus de preuves, voir Vingt preuves de la formule d'Euler par David Eppstein.(2) Plus de preuves, y compris des erreurs et des limitations, sont utilisées comme exemples Preuves et réfutations par Imre Lakatos.(3)

Définition topologique(éditer)

Les surfaces polyhédrales mentionnées ci-dessus sont, dans les langages modernes, des complexes CW finis en deux dimensions. (Lorsque seules des faces triangulaires sont utilisées, il s'agit de complexes simplicial finis à deux dimensions.) En général, pour tout complexe CW final, Caractéristique d'Euler peut être défini comme somme alternante

kn indique le nombre de cellules de dimension n dans le complexe.

De même, pour un complexe simpliste, Caractéristique d'Euler correspond au montant d'échange

kn indique le nombre n-complexes dans le complexe.

Plus généralement, pour certains espaces topologiques, on peut définir nnuméro de Betti bn comme le classement de nun groupe d'homologues singulier. ils Caractéristique d'Euler peut alors être défini comme somme alternante

Ce montant est bien défini si les nombres de Betti sont tous finaux et s’ils sont nuls au-delà d’un indice particulier n0. Pour les complexes simples, ce n'est pas la même définition que dans le paragraphe précédent, mais un calcul d'homologie montre que les deux définitions donneront la même valeur pour

χstyle chi

.

propriétés(éditer)

La caractéristique d'Euler se comporte comme suit pour de nombreuses opérations de base sur les espaces topologiques.

Invariance de l'homotopie(éditer)

L'homologie est un invariant topologique et, en outre, un invariant d'homotopie: Deux compartiments topologiques équivalents d'homotopie possèdent des groupes homologues isomorphes. Il s'ensuit que la caractéristique d'Euler est également un invariant d'homotopie.

Par exemple, tout espace contractible (c’est-à-dire une homotopie correspondant à un point) a une homologie triviale, ce qui signifie que le nombre 0 Betti est 1 et l’autre 0. La caractéristique d’Euler est donc 1. Cette matière inclut l’espace euclidien.

Rnstyle mathbb R ^ n}

de toute dimension, ainsi que la boule unitaire fixe de tout espace euclidien – l’intervalle unidimensionnel, le disque bidimensionnel, la balle tridimensionnelle, etc.

Pour un autre exemple, tout polyèdre convexe est homomorphe à la sphère tridimensionnelle, la surface est donc homomorphe (donc son équivalent homotope) à la sphère bidimensionnelle possédant la caractéristique d'Euler 2. Ceci explique pourquoi le polyèdre convexe a la caractéristique d'Euler 2.

principe d'inclusion-exclusion(éditer)

si M et N Il existe deux espaces topologiques. Euler se caractérise donc par la somme de leurs propriétés d’Euler, car leur homologie est additive lors d’une union disjointe:

Plus généralement, si M et N fait partie d'un espace plus grand Xil en va de même de leur union et de leur intersection. Dans certains cas, la caractéristique d'Euler obéit à une version de principe d'inclusion-exclusion:

Ceci s'applique dans les cas suivants:

En général, le principe d'exclusion d'inclusion est faux. Un exemple de mode est donné en prenant X être la vraie ligne, M un sous-ensemble constitué d'un point et N complément à M.

Somme associée(éditer)

Pour deux n-collecteurs fermés connectés

M,Nstyle d'affichage M, N}

on peut obtenir un nouveau collecteur connecté

M#Ndisplaystyle M

via l'opération de somme connectée.
Euler est typiquement lié à la formule (6)

caractéristiques du produit(éditer)

Aussi les caractéristiques d'Euler pour les domaines de produits M x N est

Ces fonctionnalités supplémentaires et de diffusion sont également appréciées par cardinalité des ensembles. De cette manière, la caractéristique d'Euler peut être considérée comme une généralisation de la cardinalité; voir (1).

Couvre les espaces(éditer)

De même, pour un kespace de pont durci

M~M,style M à M,}

et a

Plus généralement, pour un zone de pont ramifié, la caractéristique d'Euler de la couverture peut être calculée à partir de ce qui précède, avec un facteur de correction pour les points de ramification, donnant la formule de Riemann-Hurwitz.

Attributs Anneau fibre(éditer)

La caractéristique du produit est beaucoup plus générale, pour les fibrilles avec certaines conditions.

si

p:EBstyle d'affichage sur la colonne E ou B}

est une fibre de vibration F, avec la base B Web lié et le fibrage est orientable sur un champ K, vu Euler caractéristique des coefficients sur le terrain K satisfaire les caractéristiques du produit:(7)

Cela inclut les salles de produits et les aires de pont en tant que cas particuliers,
et peut être détecté par la séquence spectrale de Serre sur l'homologie d'une fibration.

Pour les faisceaux de fibres, cela peut également être compris sous la forme d’une carte de transmission.

τ:H*(B)H*(E)style stylistique deux points H _ * (B) à H _ * (E)}

– Notez qu'il s'agit d'un lifting et va "dans le mauvais sens" – dont la composition avec la carte de projection

p*:H*(E)H*(B)style d'affichage p _ * deux points H _ * (E) à H _ * (B)

est la multiplication de la classe Euler de la fibre:(8)

exemples(éditer)

surfaces(éditer)

La caractéristique d'Euler peut facilement être calculée pour les surfaces générales en trouvant une polygonisation de la surface (c'est-à-dire une description en tant que complexe CW) et par les définitions ci-dessus.

football(éditer)

Il est courant de construire des ballons de football en assemblant des pièces pentagonales et hexagonales, avec trois pièces qui se rejoignent à chaque sommet (voir, par exemple, Adidas Telstar). si P pentagones et H Les hexagones sont utilisés, donc c'est fa = P + H visages, V = (5 P + 6 H) / 3 coins, et E = (5 P + 6 H) / 2 bords. La caractéristique d'Euler est donc

Comme la balle a la caractéristique Euler 2, elle suit P = 12. C’est un ballon de football construit de cette façon, qui a toujours 12 pentagones. En principe, le nombre d'hexagones est illimité. Ce résultat s'applique également à fullerènes.

Dimensions aléatoires(éditer)

ils nsphère tridimensionnelle a des groupes homologues singuliers semblables

Betti a donc le numéro 1 en dimensions 0 et n, et tous les autres nombres de Betti sont 0. La caractéristique d’Euler est alors 1 + (-1)n – soit 0 ou 2.

ils n– L'espace projectif réel à trois dimensions est le quotient de nsphère sur la carte des antipodes. Il s'ensuit que la caractéristique d'Euler correspond exactement à la moitié de la sphère correspondante – 0 ou 1.

ils ntore tridimensionnel est la salle des produits pour n cercles. La caractéristique d'Euler est 0, en fonction de la caractéristique du produit. Plus généralement, toute variété compacte parallélisable, y compris tout groupe de Lie compact, a généralement Euler 0.(9)

La caractéristique d'Euler de toute variété de dimension impaire fermée est également 0.(10) Le cas des exemples orientables est une conséquence de la dualité de Poincaré. Cette caractéristique s’applique plus généralement à tous les espaces stratifiés compacts, dont les strates ont des dimensions différentes. Cela s'applique également aux collecteurs fermés, de dimension impaire et non orientables, via le double capot orientable deux à un.

Relation avec d'autres invariants(éditer)

La caractéristique d'Euler d'une surface orientable fermée peut être calculée à partir de son genre g (nombre de tores dans une somme interconnectée de décomposition de la surface, intuitif, nombre de "poignées") en tant que

La caractéristique d'Euler d'une surface fermée non orientable peut être calculée à partir de son genre non orientable k (nombre avion projectif réel dans une décomposition totale connectée de la surface)

Pour les variétés lisses fermées, Euler coïncide avec la caractéristique Numéro d'Eulerc'est-à-dire que la classe d'Euler de son faisceau tangent est évaluée sur la classe fondamentale d'une variété. La classe Euler est à son tour liée à toutes les autres classes distinctives de clusters de vecteurs.

Pour les variétés riemanniennes fermées, la caractéristique d'Euler peut également être trouvée en intégrant la courbure; voir la phrase de Gauss-Bonnet pour le cas à deux dimensions et la phrase générale de Gauss-Bonnet pour le cas général.

Un analogue discret du théorème de Gauss-Bonnet est le théorème de Descartes selon lequel le "défaut total" d'un polyèdre, mesuré en cercles entiers, est caractéristique d'Euler du polyèdre; voir les erreurs (géométrie).

La théorie de Hadwiger caractérise Euler de manière caractéristique unique (jusqu'à la multiplication scalaire) invariante à la conversion, additif final, fonction de jeu non nécessairement négative définie dans les compacts finaux des jeux convexes compacts de Rn il est "homogène de grade 0".

généralisations(éditer)

Pour chaque complexe de cellules combinatoires, la caractéristique d'Euler est définie comme le nombre de cellules 0, moins le nombre de cellules 1, plus le nombre de 2 cellules, etc., si cette somme alternative est finale. En particulier, la caractéristique d'Euler d'un ensemble limité est simplement sa cardinalité et la caractéristique d'Euler d'un graphe est le nombre de croix moins le nombre d'arêtes.(11)

Plus généralement, la caractéristique d'Euler de tout complexe de chaîne peut être définie comme étant la somme alternative des lignes des groupes homologues dans le complexe de chaîne, à condition que toutes ces lignes soient limitées.(12)

Voici une version d’Euler généralement utilisée en géométrie algébrique. Pour toute tranche continue

fa

de manière appropriée plan X, on définit sa caractéristique d'Euler comme étant

hJe(X,fa)displaystyle h ^ i (X, est égal à F)

est la dimension de Jee groupe de cohomologie gerbe de

fa

. Dans ce cas, les dimensions sont toutes finales Grothendiecks fininnesseteorem. C’est une occurrence d’Euler caractéristique d’un complexe de chaîne, où le complexe de chaîne est une résolution finale de

fa{{}}

de tranches acycliques.

Une autre généralisation du terme caractéristique d'Euler des variétés provient des orbifolds (voir Euler qui est caractéristique d'une orbifold). Bien que chaque variété possède une caractéristique d'Euler entière, un orbifold peut avoir une fraction de la caractéristique d'Euler. Par exemple, Teardrop orbifold Euler a généralement 1 + 1 /pp est un nombre primaire qui correspond à l'angle du cône 2π / p.

Le terme Euler caractéristique d'une position finale limitée est une autre généralisation importante en combinatoire. Un sac est "limité" s'il contient les articles les plus petits et les plus gros; appelez-les 0 et 1. Euler caractéristique d'un tel sac est défini comme l'entier μ(0,1), où μ est la fonction de Möbius dans l'algèbre des occurrences de cette instance.

Ceci peut être encore généralisé en définissant un Q– Sélection de la caractéristique Euler de certaines catégories limitées, terme compatible avec les caractéristiques d'Euler des graphes, des orbifolds et de la pose susmentionnées. Dans ce contexte, Euler est caractéristique d’un groupe final ou d’un monoïde. sol est 1 / |sol|, et Euler caractéristique d'un dernier groupe est la somme de 1 / |solJe|, où nous avons choisi un groupe représentatif solJe pour chaque composant connecté du Groupoid.(1. 3)

Voir aussi(éditer)

références(éditer)

remarques(éditer)

  1. ^ Richeson 2008
  2. ^ Eppstein, David. "Vingt preuves de la formule d'Euler: V-E + F = 2". récupéré 3 juin 2013.
  3. ^ Imre Lakatos: preuves et réfutations, Cambridge Technology Press, 1976
  4. ^ Edwin Spanier: Topologie algébrique, Springer 1966, p.
  5. ^ William Fulton: Introduction aux variantes toriques, 1993, Princeton University Press, p.
  6. ^ "Homologie de la somme connectée". récupéré 13/07/2016.
  7. ^ Espagnol, Edwin Henry (1982), Topologie algébrique, Springer, ISBN 978-0-387-94426-5, Applications of Homology Spectral Sequence, page 481.
  8. ^ Gottlieb, Daniel Henry (1975), "Le chasseur de fibres et la caractéristique d'Euler" (PDF), Journal de géométrie différentielle, 10 (1): 39-48
  9. ^ Milnor, John W. et Stasheff, James D .: Characteristic Classes, Princeton University Press, 1974
  10. ^ Richeson 2008, page 261
  11. ^ Olaf Post appelle cela une "formule bien connue": Post, Olaf (2009), "Analyse spectrale de graphes métriques et d’espaces connexes", Limites pour les graphes en théorie des groupes et en informatique, Lausanne, Suisse: EPFL Press, pp. 109-140, arXiv:0712.1507, Bibkode: 2007arXiv0712.1507P.
  12. ^ nLab, "caractéristique d'Euler"
  13. ^ Tom Leinster, "La caractéristique d'Euler d'une catégorie", Documenta Mathematica, 13 (2008), pp. 21-49

bibliographie(éditer)

  • Richeson, David S .; Perle d'Euler: formule polyèdre et naissance de la topologie. Princeton University Press 2008.

Lectures complémentaires(éditer)

  • Flegg, H. Graham; De la géométrie à la topologie, Dover 2001, page 40.

Liens externes(éditer)

Les robustes platoniques fonctionnent comme des cellules unitaires qui se répètent sur elles-mêmes afin de maintenir l’intégrité de leur forme insolite. Chaque cellule unitaire a un espace particulier de conscience, ou lien énergétique, qu’elle exprime par sa géométrie unique. Les cellules unitaires se développent les unes à côté des autres et se soutiennent les unes les autres. c’est la raison pour laquelle certaines cellules deviennent des nerfs, d’autres des groupes musculaires, d’autres encore des organes. Chacun suit une directive qui se répète sur lui-même tout en dorénavant l’intégrité d’un corps humain de troisième dimension. Drunvalo Melchizédek note que l’icosaèdre et le dodécaèdre tournent microscopiquement à l’intérieur de la double hélice de notre ADN qui transmet et maintient la conscience humaine dans la troisième superficie. C’est aussi la raison pour laquelle l’humanité, en tant que forme de vie de troisième surface, ne peut pas voir physiquement des êtres dimensionnels supérieurs. Nos yeux physiques ne peuvent pas reconnaître la signature énergétique des êtres de la septième surface. Cependant, à mesure que notre planète avance vers la cinquième surface, le monde avance vers notre prochaine expression physique en tant qu’êtres de cinquième surface sur Terre. A travers nos yeux de cinquième surface, nous ferons l’expérience de nous-mêmes dans notre nouveau monde dans une perspective d’amour incontournable, de pardon compatissant et de grande paix. Travaillez avec ces voitures de la conception pour célébrer tout ce que vous soyez

Laisser un commentaire