Discussion:Espace vectoriel/Dimension
Cette page est liée sur Wikipédia[modifier le wikicode]
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[modifier le wikicode]
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)