よって、(g,v) → ψ(g)vで与えられる写像g×v → vは、連続である。