Un ensemble de K-ev

Discussions générales concernant les mathématiques.
[forum modéré par les modérateurs globaux du site]
Règles du forum
Merci de soigner la rédaction de vos messages et de consulter ce sujet avant de poster. Pensez également à utiliser la fonction recherche du forum.
M Tevuac
Utilisateur confirmé
Utilisateur confirmé
Messages : 27
Inscription : mardi 25 mars 2008, 18:39

Un ensemble de K-ev

Message par M Tevuac »

Bonjour,
Merci d'avance à celui ou celle qui me dira pourquoi il n'existe pas d'ensemble de tous les K-ev.

Valvino
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 921
Inscription : mercredi 21 mars 2007, 10:59

Re: Un ensemble de K-ev

Message par Valvino »

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

jobherzt
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 433
Inscription : vendredi 13 janvier 2006, 13:13

Re: Un ensemble de K-ev

Message par jobherzt »

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.

francois
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 856
Inscription : jeudi 21 septembre 2006, 00:14
Localisation : Antony

Re: Un ensemble de K-ev

Message par francois »

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.
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$.
François Lafont

jobherzt
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 433
Inscription : vendredi 13 janvier 2006, 13:13

Re: Un ensemble de K-ev

Message par jobherzt »

Oui, je sais, je voulais rester vague, mais tu as raison de le rappeller.

francois
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 856
Inscription : jeudi 21 septembre 2006, 00:14
Localisation : Antony

Re: Un ensemble de K-ev

Message par francois »

Ah d'accord, il me semblait bien. :wink:

Les limites entre le langage intuitif et le langage mathématique sont assez floues en théorie des ensembles je trouve.
François Lafont

jobherzt
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 433
Inscription : vendredi 13 janvier 2006, 13:13

Re: Un ensemble de K-ev

Message par jobherzt »

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 :)

francois
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 856
Inscription : jeudi 21 septembre 2006, 00:14
Localisation : Antony

Re: Un ensemble de K-ev

Message par francois »

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. :wink:
François Lafont