Logo MTL4
Public Member Functions
math::HilbertSpace< I, Vector, Scalar, N > Struct Template Reference

Concept HilbertSpace. More...

#include <vector_concepts.hpp>

Inheritance diagram for math::HilbertSpace< I, Vector, Scalar, N >:
Inheritance graph
[legend]
Collaboration diagram for math::HilbertSpace< I, Vector, Scalar, N >:
Collaboration graph
[legend]

List of all members.

Public Member Functions

axiom Consistency (Vector v)
 Consistency between norm and induced norm.

Detailed Description

template<typename I, typename Vector, typename Scalar = typename Vector::value_type, typename N = induced_norm_t<I, Vector, Scalar>>
struct math::HilbertSpace< I, Vector, Scalar, N >

Concept HilbertSpace.

A Hilbert space is a vector space with an inner product that induces a norm

Parameters:
IInner product functor
VectorThe the type of a vector or a collection
ScalarThe scalar over which the vector field is defined
NNorm functor
Refinement of:
Note:
  • The (expressible) requirements of Banach Space are already given in InnerProduct (besides consistency of the functors).
  • A difference is that InnerProduct is not a refinement of Vectorspace

Member Function Documentation

template<typename I , typename Vector , typename Scalar = typename Vector::value_type, typename N = induced_norm_t<I, Vector, Scalar>>
axiom math::HilbertSpace< I, Vector, Scalar, N >::Consistency ( Vector  v) [inline]

Consistency between norm and induced norm.

math::induced_norm_t<I, Vector, Scalar>()(v) == N()(v);


The documentation for this struct was generated from the following file:


math::HilbertSpace< I, Vector, Scalar, N > Struct Template Reference -- MTL 4 -- Peter Gottschling and Andrew Lumsdaine -- Gen. with rev. 7542 on Sat Aug 11 2012 by doxygen 1.7.6.1 -- © 2010 by SimuNova UG.