ATLAS Ouvrir dans l'atlas →

Théorie

Algèbre linéaire ⋆

⋆ Axiome du choix

L'énoncé « tout espace vectoriel admet une base » équivaut à l'axiome du choix (Blass, 1984). En dimension finie, il est démontrable dans 𝖹𝖥\mathsf{ZF}.

Elle étudie les espaces vectoriels sur un corps KK quelconque et les applications linéaires entre eux. Elle repose sur les structures algébriques et sur ℕ{\mathbb N}, qui donne un sens aux combinaisons linéaires, sommes d'un nombre fini de termes, et à la dimension ; elle ne demande en revanche la construction d'aucun autre ensemble de nombres, le corps KK restant quelconque.

Contenu : Algèbre linéaire

Ouvrir dans l'atlas interactif →