Explore la distance, la géodésique et les collecteurs complets, mettant l'accent sur l'existence de minimiser la géodésique et le concept d'exhaustivité métrique.
Explore l'équivalence dans les espaces vectoriels, couvrant les conditions pour que les déclarations soient considérées comme équivalentes et les propriétés des bases algébriques.