Statement

For d≥1d\geq1, a real linear map TQ(x)=QxT_Q(x)=Qx preserves standard Gaussian probability γd\gamma_d if and only if Q∈O(d)Q\in O(d). None of these transformations is on the full Gaussian probability space. An affine map x↦Qx+bx\mapsto Qx+b preserves γd\gamma_d exactly when b=0b=0 and Q∈O(d)Q\in O(d).

Proof

Preserving mean and covariance forces b=0b=0 and QQT=IdQQ^{\mathsf T}=I_d. Conversely, an orthogonal map preserves the norm, the Gaussian density, and Lebesgue measure. Every such map fixes the ball {∥x∥<1}\{\|x\|<1\}, whose Gaussian probability lies strictly between zero and one. Hence ergodicity fails.

Koopman interpretation

For linear observables fv(x)=vTxf_v(x)=v^{\mathsf T}x, forward composition gives UQfv=fQTvU_Qf_v=f_{Q^{\mathsf T}v}. This finite-dimensional subrepresentation can have no fixed vectors while the full Koopman representation has one: r(x)=∥x∥2−dr(x)=\|x\|^2-d is a nonzero mean-zero fixed vector. The bounded function e−∥x∥2e^{-\|x\|^2} also witnesses a nontrivial fixed-point algebra.

Thus studying only coordinate observables can miss an invariant nonlinear quantity.