Plane Rotations Preserve Independent Standard Normal Families
lemmaProbabilitylem:plane-rotation-normal-family-2026aLet be a natural number with , let be independent standard normal random variables on a probability space , let , and let be real numbers with . Define
equivalently, for every , where is the plane rotation of in coordinates with parameters .
Then are independent standard normal random variables on .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.