19. 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. 19.1. General topological vector spaces
2. 19.2. Continuous Linear Maps
3. 19.3. Locally convex spaces
4. 19.4. Banach and Hilbert spaces
5. 19.5. Notable results