hilbert.cppm File Reference

Hilbert spaces — Cauchy-complete inner-product spaces. More...

#include <concepts>
import dedekind.morphologies;
import dedekind.sequences;
import dedekind.order;
import dedekind.algebra;
import dedekind.geometry:inner_product;

Include dependency graph for hilbert.cppm:

Concepts
concept	dedekind::geometry::IsFiniteDimensionalInnerProductSpace
	A finite-dimensional real inner-product space.
concept	dedekind::geometry::IsHilbertSpace
	An Inner Product Space where every Cauchy sequence converges.

Detailed Description

Hilbert spaces — Cauchy-complete inner-product spaces.

@partition :hilbert

Copyright

2026 The Dedekind Authors Licensed under the Apache License, Version 2.0.

Note

"Symmetry is a vast subject, significant in art and nature. Mathematics lies at its root." – Hermann Weyl, Symmetry (1952)