Using the general theory of Lebesgue integration, one can then define an integral for all Borel measurable functions f on G. This integral is called the Haar integral. If μ is a left Haar measure, then
for any integrable function f. This is immediate for indicator functions, being essentially the definition of left invariance.
Read more about this topic: Haar Measure
Famous quotes containing the word integral:
“... no one who has not been an integral part of a slaveholding community, can have any idea of its abominations.... even were slavery no curse to its victims, the exercise of arbitrary power works such fearful ruin upon the hearts of slaveholders, that I should feel impelled to labor and pray for its overthrow with my last energies and latest breath.”
—Angelina Grimké (1805–1879)