amari_functional/space/
mod.rs

1//! Function space abstractions for functional analysis.
2//!
3//! This module provides the core traits and types for working with
4//! function spaces in the context of geometric algebra.
5//!
6//! # Space Hierarchy
7//!
8//! The module implements the standard functional analysis hierarchy:
9//!
10//! ```text
11//! VectorSpace
12//!     ↓
13//! NormedSpace (adds ||·||)
14//!     ↓
15//! BanachSpace (complete normed space)
16//!     ↓
17//! InnerProductSpace (adds ⟨·,·⟩)
18//!     ↓
19//! HilbertSpace (complete inner product space)
20//! ```
21//!
22//! # Example
23//!
24//! ```ignore
25//! use amari_functional::space::{HilbertSpace, MultivectorL2};
26//!
27//! // Create L²(Cl(3,0,0)) - square-integrable multivector functions
28//! let l2: MultivectorL2<3, 0, 0> = MultivectorL2::new();
29//!
30//! // Compute inner product
31//! let f = /* some function */;
32//! let g = /* another function */;
33//! let inner = l2.inner_product(&f, &g)?;
34//! ```
35
36mod hilbert;
37mod multivector_l2;
38mod traits;
39
40pub use hilbert::MultivectorHilbertSpace;
41pub use multivector_l2::{Domain, L2Function, MultivectorL2};
42pub use traits::{BanachSpace, HilbertSpace, InnerProductSpace, NormedSpace, VectorSpace};
amari_functional/space/mod.rs

amari_functional/space/
mod.rs
