Let
be an involutive algebra over the field
of complex
numbers with involution
. Then
is a right Hilbert algebra if
has an inner product
satisfying:
1. For all ,
is bounded on
.
2. .
3. The involution
is closable.
4. The linear span of products
,
, is a dense subalgebra
of
.