structural:summarization, structural:scholar_edition
Linear functions of orthogonal matrices

A random orthogonal matrix is said to be distributed uniformly, if its distribution is the normalized Haar measure on the orthogonal group O(n, R); see Rotation matrix#Uniform random rotation matrices.