정규연산자

• 벡터공간 $V$의 연산자가 대각화가능하기 위한 필요충분조건은 ‘이 연산자의 고유벡터로 이루어진 ($V$의) ==기저==가 존재한다’이다.
• (유한차원 복소내적공간 $V$의 선형연산자 $T$에 대하여) $T$가 정규연산자일 필요충분조건은 $T$의 고유벡터들로 이루어진 ($V$의) ==정규직교기저==가 존재한다는 것이다.