We begin by defining self-adjoint and positive operators.
Definition:
Let
be an operator, then
is said to be:
Definition: For any function
and any real number
, the dilation, translation, and
modulation operators are defined, respectively, as
It is easy to prove that the dilation, translation, and modulation
operators are unitary from
onto
.