Functional analysis

Content created by Louis Wasserman.

Created on 2025-12-27.
Last modified on 2026-01-09.

module functional-analysis where

open import functional-analysis.absolute-convergence-series-real-banach-spaces public
open import functional-analysis.additive-complete-metric-abelian-groups-real-banach-spaces public
open import functional-analysis.convergent-series-real-banach-spaces public
open import functional-analysis.ratio-test-series-real-banach-spaces public
open import functional-analysis.real-banach-spaces public
open import functional-analysis.real-hilbert-spaces public
open import functional-analysis.series-real-banach-spaces public
open import functional-analysis.standard-euclidean-hilbert-spaces public
open import functional-analysis.sums-of-finite-sequences-of-elements-real-banach-spaces public

External links

• Functional analysis on Wikipedia

Recent changes

• 2026-01-09. Louis Wasserman. The standard Euclidean spaces ℝⁿ (#1756).
• 2025-12-30. Louis Wasserman. The ratio test for convergence in real Banach spaces (#1716).
• 2025-12-27. Louis Wasserman. Split out functional analysis as its own module (#1766).