22 Nov
2012
22 Nov
'12
10:01 a.m.
On Thu, Nov 22, 2012 at 11:41 AM, Warren Smith <warren.wds@gmail.com> wrote:
As Andy pointed out, the probability measure should be invariant under arbitrary unitary transformations, i.e. M -> U M U^(-1).
No, I'm saying something much stronger. The probability measure should be invariant under arbitrary translations, M -> MN, with N hermitian. This, together with the requirements that the entire group has measure 1 and that open sets are measureable, uniquely determines a measure. Andy