Discussion:Cobordisme

Dernier commentaire : il y a 15 ans par Ambigraphe dans le sujet Ensemble des variétés différentielles
Autres discussions [liste]
  • Admissibilité
  • Neutralité
  • Droit d'auteur
  • Article de qualité
  • Bon article
  • Lumière sur
  • À faire
  • Archives
  • Commons

Ensemble des variétés différentielles

modifier

"À proprement parler, le cobordisme n'est pas une relation d'équivalence car la classe des variétés différenielles d'une dimension donnée n n'est pas un ensemble." Pourquoi au juste, les variétés différentielles d'une dimension donnée n n'est pas un ensemble? J'essaye de comprendre le truc mais je vois pas le problème, si quelqu'un pouvait m'éclairer ce serait sympa! Bongilles 8 octobre 2007 à 21:18 (CEST)Répondre

La classe des sous-variétés d'une variété différentielle (par exemple d'un espace euclidien de grande dimension) forme bien un ensemble et d'ailleurs dès que la codimension est assez importante par rapport à la dimension, on y trouve n'importe quelle variété à difféomorphisme près. Mais la classe des variétés différentielles ne forme pas plus un ensemble que, par exemple, la classe des groupes finis, quand bien même l'ensemble des sous-groupes finis des permutations sur N contient tous les groupes finis à isomorphisme près. La nuance est une subtilité de la théorie des ensembles, que Proz (d · c · b) saurait sans doute mieux expliquer que moi. Ambigraphe, le 2 février 2009 à 21:38 (CET)Répondre
Revenir à la page « Cobordisme ».