Next, let us define
and also define
as the mapping
. With
, one can now define the
measure induced operator
as an operator being defined on
by the formula:
Remark:
One can readily verify that :
,
and also that
is a proper representation
of
, in the sense that the latter is usually defined for groupoids.
As of this snapshot date, this entry was owned by bci1.