The Right Haar Measure
It can also be proved that there exists a unique (up to multiplication by a positive constant) right-translation-invariant Borel measure ν satisfying the above regularity conditions and being finite on compact sets, but it need not coincide with the left-translation-invariant measure μ. The left and right Haar measures are the same only for so-called unimodular groups (see below). It is quite simple, though, to find a relationship between μ and ν.
Indeed, for a Borel set S, let us denote by the set of inverses of elements of S. If we define
then this is a right Haar measure. To show right invariance, apply the definition:
Because the right measure is unique, it follows that μ-1 is a multiple of ν and so
for all Borel sets S, where k is some positive constant.
Read more about this topic: Haar Measure
Famous quotes containing the word measure:
“Who can measure the advantages that would result if the magnificent abilities of these women could be devoted to the needs of government, society and home, instead of being consumed in the struggle to obtain their birthright of individual freedom? Until this be gained we can never know, we can not even prophesy the capacity and power of women for the uplifting of humanity.”
—Susan B. Anthony (1820–1906)