# Base

**Thème :** Maths · Algèbre  
**Page :** https://curium.ctopass.com/c/base  
**Mise à jour :** 2026-09-13

## Les trois niveaux

### Débutant — Combien de vecteurs faut-il pour décrire n'importe quel vecteur du plan ?

Deux, pourvu qu'ils ne soient pas colinéaires. Avec i = (1 ; 0) et j = (0 ; 1), le vecteur u = (−2 ; 1) s'écrit −2i + j, et c'est la seule façon de l'écrire ainsi. Une base est une famille de vecteurs sur laquelle chaque vecteur se décompose d'une manière unique ; les coefficients sont ses coordonnées.

### Intermédiaire — Comment passer des coordonnées d'un vecteur d'une base à une autre ?

En exprimant l'ancienne base dans la nouvelle, puis en substituant. Dans ℝ², e'1 = (1 ; 1) = e1 + e2 et e'2 = (1 ; −1) = e1 − e2, d'où e1 = (e'1 + e'2)/2 et e2 = (e'1 − e'2)/2. Un vecteur de coordonnées (λ1 ; λ2) dans la base canonique a donc pour coordonnées (λ1 + λ2)/2 et (λ1 − λ2)/2 dans la nouvelle base : (3 ; 1) devient (2 ; 1).

### Expert — Tout espace vectoriel a-t-il une base, même sans famille génératrice finie ?

Oui, mais la preuve passe par le lemme de Zorn, et ce n'est pas un détail technique : Andreas Blass a montré en 1984 que, dans la théorie des ensembles ZF avec axiome de fondation, l'existence d'une base pour tout espace vectoriel équivaut à l'axiome du choix. Dès qu'une famille génératrice finie existe, en revanche, une base se construit sans lui.

## À explorer ensuite

- [Sous-espace vectoriel](https://curium.ctopass.com/c/sous-espace-vectoriel.md)
- [Dimension](https://curium.ctopass.com/c/dimension.md)
- [Coordonnées cartésiennes](https://curium.ctopass.com/c/coordonnees-cartesiennes.md)
- [Identité remarquable](https://curium.ctopass.com/c/identite-remarquable.md)
- [Matrice](https://curium.ctopass.com/c/matrice.md)
- [Nombre complexe](https://curium.ctopass.com/c/nombre-complexe.md)
- [Permutation](https://curium.ctopass.com/c/permutation.md)
- [Polynôme](https://curium.ctopass.com/c/polynome.md)
- [Racine de l'unité](https://curium.ctopass.com/c/racine-de-l-unite.md)
- [Rang](https://curium.ctopass.com/c/rang.md)

---

Curium — La connaissance, une question à la fois.

App Store : https://apps.apple.com/fr/app/curium/id6793886587
Google Play : https://play.google.com/store/apps/details?id=com.ctopass.curium