Dados enteros positivosm,n∈Z+ y cualquier matrizA=(aij)∈Fm×n, definimos la transposiciónAT=((aT)ij)∈Fn×m y la c...Dados enteros positivosm,n∈Z+ y cualquier matrizA=(aij)∈Fm×n, definimos la transposiciónAT=((aT)ij)∈Fn×m y la conjugada transposiciónA∗=((a∗)ij)∈Fn×m por es ortogonal siA∈GL(n,R) yA−1=AT. Además, definimos que el grupo ortogonal (real) es el conjuntoO(n)={A∈GL(n,R)|A−1=AT}.