21. Topological vector spaces🔗

We describe Mathlib's theory of topological vector spaces in the sections below. The theory supports a broad class of coefficients, including ℝ, ℂ, ℚ_p (the p-adics).

1. 21.1. General topological vector spaces
2. 21.2. Continuous Linear Maps
3. 21.3. Locally convex spaces
4. 21.4. Banach and Hilbert spaces
5. 21.5. Notable results