Revision #566 → #1280 · back to history
addedBorel algebra and Borel setbc009ca08d11
addedLeft and right translates02ddf0e670ab
addedTranslates map Borel sets to Borel sets5145e314d533
addedLeft-translation-invariant measuredc0efebdeac9
addedRight-translation-invariant measurecac1cc9d6e97
addedHaar's theorem (existence and uniqueness of left Haar measure)06071c4ced4b
addedLeft Haar measured1a5f0cfa73d
addedNontriviality characterization of Haar measureaa953013101b
addedExistence and uniqueness of right Haar measure0f3a46fdd571
addedFailure of inner regularity for closed setsbe4eb3159510
addedHaar measure on a discrete group is the counting measure03cfa6822038
addedHaar measure on the reals is Lebesgue measuredcd631dd9711
addedHaar measure on the circle group3bbb0737fa04
addedHaar measure on positive reals under multiplicationae27cc43b715
addedHaar measure on nonzero reals under multiplicationbe56aafec98e
addedHaar measure on the general linear group3e34d4e0c2b6
addedHaar measure on open submanifolds via Jacobianf3865a78b3fb
addedHaar measure on the orthogonal group0bcc810e5be5
addedHaar measure on unitary and special unitary groups1b2abaca1106
addedHaar measures on the affine group of the line53ba427755a3
addedHaar measure on Lie groups via left-invariant formsbbe7182e6c44
addedHaar measure on positive reals via hyperbolic areab69559ddb383
addedHaar measure on nonzero quaternions7412e3fba9e4
addedHaar measure on p-adic numbers1186bb86ac52
addedCovering number for left translatesdefe7d426b89
addedAdditivity of mu_A on disjoint compact subsets483dc3419808
addedCartan's functional construction of Haar measure7672d5e17824
addedMean value of a function via convex combinations of translates6cf9bd8e819c
addedHaar measure on Lie groups from a left-invariant n-formc4e37b77aa53
addedExistence and uniqueness of right Haar measureb9d5e4cd343f
addedRelationship between left and right Haar measures via inversion2a00082dcbef
addedLeft translate of a right Haar measure is right invariant4a04e79a2df6
addedModular function (Haar modulus)7d03d7dc72af
addedModular function is a continuous homomorphism15894486a13b
addedUnimodular groupe8b60ea721eb
addedNon-unimodular affine group of the line3411dadc1f40
addedExistence of semi-invariant measures on homogeneous spaces1fcb5550aa81
addedGL_2 modulo upper triangular matrices has no semi-invariant measure2968748f47ae
addedHaar integraleeaef08b8b36
addedLeft invariance of the Haar integral0a1556b43575
addedNon-existence of countably additive invariant measure on all subsets9f107982ffec
addedSufficiency of a left-invariant Radon measure2c2d65f0b15f
addedWeil's converse theorem27e831d91db5