Fill in the response. Read the following conversation:
 -does a u2 function have a finite dimensional representation.
 -However something like this does work for almost periodic functions on the group which do have a mean value, though this is not given with respect to Haar measure..
 -how is the measure defined on an n dimensional lie group.
 -
On an "n"-dimensional Lie group, Haar measure can be constructed easily as the measure induced by a left-invariant "n"-form.