§3.5, p. 27 — a linear G-invariant f satisfies f(x) = (1/μ(G))∫f(g.x)dμ(g) = f(Ax): it sees x only through its G-average

Initializing...

§3.5, p. 27 — a linear G-invariant f satisfies f(x) = (1/μ(G))∫f(g.x)dμ(g) = f(Ax): it sees x only through its G-average · Prove2Me