Discussion:Espace vectoriel/Dimension

Cette page est liée sur Wikipédia

dans w:Théorème de la base incomplète. Merci d'en tenir compte en cas de renommage. Anne, 19/03/2017

Double emploi avec un exercice

J'ai donné une démonstration de l'équipotence des bases d'un même espace vectoriel sans m'être aperçu qu'Anne avait déjà donné une démonstration dans les exercices Espace vectoriel/Exercices/Rang, dimension. Il faudra essayer d'harmoniser ça, mais pour l'instant, je voudrais montrer comment on peut déduire de l'équipotence des bases d'un même espace vectoriel l'équipotence des bases d'un même module sur un anneau commutatif non nul. Marvoir (discuter) 24 mars 2022 à 09:49 (UTC)

Je propose de laisser le lemme "n+1 vecteurs engendrés par n vecteurs sont toujours liés" dans le chapitre théorique et de dire qu'on trouvera un résultat un peu plus précis à l'exercice 2-1 (lemme de Steinitz). Une autre proposition ? Marvoir (discuter) 25 mars 2022 à 07:12 (UTC)