Un ensemble de K-ev
Un ensemble de K-ev
Bonjour,
Merci d'avance à celui ou celle qui me dira pourquoi il n'existe pas d'ensemble de tous les K-ev.
Merci d'avance à celui ou celle qui me dira pourquoi il n'existe pas d'ensemble de tous les K-ev.
Re: Un ensemble de K-ev
Hum c'est lié au fait qu'il n'existe pas d'ensemble de tous les ensembles, d'après le théorème de Cantor. Par exemple, on peut voir qu'il n'existe pas d'ensemble de tous les groupes, car on peut donner une structure de groupe à l'ensemble des parties d'un ensemble avec la loi de différence symétrique. Un argument similaire montre qu'il n'existe pas d'ensemble de tous les K-ev.
Pour plus d'informations : http://les-mathematiques.u-strasbg.fr/p ... p?7,433027
Pour plus d'informations : http://les-mathematiques.u-strasbg.fr/p ... p?7,433027
Re: Un ensemble de K-ev
Sauf erreur de ma part, l'argument le plus simple consiste a remarquer que pour tout ensemble $A$, l'ensemble $\{A\}$ peut trivialement etre muni d'une structure d'espace vectoriel, de groupe, ou de à peu pres ce que tu veux, en fait... Donc l'ensemble des espaces vectoriels, s'il existe, contient l'ensemble de tous les ensembles -> contradiction.
Mais il faut comprendre que ceci tient a la definition mathematique d'ensemble, en fait on peut tout a fait considerer "le truc qui contient tous les K-e.v." sauf qu'on a pas le droit d'appeller ca un ensemble (meme si intuitivement ca y ressemble). En general on appelle ca une collection, ou une classe.
Pour manipuler ces collections, on se place dans le cadre de la theorie des categories qui est extremement puissante. On peut ensuite definir des structures sur ces categories, qui ressemble a ce qu'on connait : par exemple au lieu d'avoir des monoides, on a des categories monoidales, au lieu des monoides commutatifs des categories monoidales tressées, etc... Ces structures sont en general bien plus complexes que leurs copains ensemblistes, il y a beaucoup plus de precautions a prendre.
Mais il faut comprendre que ceci tient a la definition mathematique d'ensemble, en fait on peut tout a fait considerer "le truc qui contient tous les K-e.v." sauf qu'on a pas le droit d'appeller ca un ensemble (meme si intuitivement ca y ressemble). En general on appelle ca une collection, ou une classe.
Pour manipuler ces collections, on se place dans le cadre de la theorie des categories qui est extremement puissante. On peut ensuite definir des structures sur ces categories, qui ressemble a ce qu'on connait : par exemple au lieu d'avoir des monoides, on a des categories monoidales, au lieu des monoides commutatifs des categories monoidales tressées, etc... Ces structures sont en general bien plus complexes que leurs copains ensemblistes, il y a beaucoup plus de precautions a prendre.
-
- Utilisateur éprouvé
- Messages : 856
- Inscription : jeudi 21 septembre 2006, 00:14
- Localisation : Antony
- Contact :
Re: Un ensemble de K-ev
Attention, il n'y a pas de définition mathématique de la notion d'ensemble (ni même de la notion d'appartenance). Ce sont des notions primitives. Les seules choses définies mathématiquement, ce sont les axiomes vérifiés par la relation $x \in y$.jobherzt a écrit :Mais il faut comprendre que ceci tient a la definition mathematique d'ensemble, en fait on peut tout a fait considerer "le truc qui contient tous les K-e.v." sauf qu'on a pas le droit d'appeller ca un ensemble (meme si intuitivement ca y ressemble). En general on appelle ca une collection, ou une classe.
François Lafont
Re: Un ensemble de K-ev
Oui, je sais, je voulais rester vague, mais tu as raison de le rappeller.
-
- Utilisateur éprouvé
- Messages : 856
- Inscription : jeudi 21 septembre 2006, 00:14
- Localisation : Antony
- Contact :
Re: Un ensemble de K-ev
Ah d'accord, il me semblait bien.
Les limites entre le langage intuitif et le langage mathématique sont assez floues en théorie des ensembles je trouve.
Les limites entre le langage intuitif et le langage mathématique sont assez floues en théorie des ensembles je trouve.
François Lafont
Re: Un ensemble de K-ev
Oui, je voulais attirer l'attention sur le fait que c'est un probleme de consistance logique qui fait qu'on ne peut pas mettre ca au "meme niveau" que les ensemble, mais qu'il existe bien un "truc qui contient tous les espaces vectoriels", ce qui est quand meme rassurant :)
-
- Utilisateur éprouvé
- Messages : 856
- Inscription : jeudi 21 septembre 2006, 00:14
- Localisation : Antony
- Contact :
Re: Un ensemble de K-ev
Oui, tu as raison de dire que c'est une histoire de niveau de langage. Mais il y a combien de niveaux ? Où commencent les maths, où s'arrêtent-elles (dans les niveaux) ? Moi, tout ça ne me rassure pas.
François Lafont
-
- Sujets similaires
- Réponses
- Vues
- Dernier message