Considere o espaço com o seu produto interno usual:
Seja um subespaço de .
Determine uma base para , o complemento ortogonal de .
Passo 1
Sabemos que é formado pelas matrizes ortogonais às de . Então para achar basta resolvermos:
Então a matriz genérica de é:
Pronto, achamos uma base para :