Si, cet axiome est indipensable : dans la théorie des ensembles privé de l'axiome du choix, il n'est pas possible de montrer que "tout sous espace vectoriel d'un ev quelconque admet au moins un supplementaire dans l'ev".Envoyé par jenny66
Il est donc nécessaire d'utiliser l'axiome du choix quelquepart dans la démonstration.
Ce qu'il faut trouver, c'est :
Qu'est ce que tu va prendre comme X ?
Quelle relation d'ordre mettra tu sur X ?


