| • Manipulations sur le sev engendré par une famille de vecteurs : vidéo |
| • Familles génératrices : vidéo |
| • Familles libres : vidéo sauf minutes 29 à 33 |
| • Bases : vidéo jusqu'à la minute 33. |
| • Polynômes échelonnés en degrés : vidéo |
| • Notion de dimension et le "résultat fondamental" : vidéo |
| • Existence de bases : vidéo |
| • Existence de la dimension : vidéo sauf minutes 25 à 35. |
| • Exemples avancés : vidéo |
| • Sev en dimension finie, existence de supplémentaires : vidéo |
| • Dimension d'une somme de sev : vidéo |