직교행렬: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
편집 요약 없음
10번째 줄:
* 임의의 벡터 <math>\mathbf x,\mathbf y\in\mathbb R^n</math>에 대하여, <math>(Q\mathbf x)\cdot(Q\mathbf y)=\mathbf x\cdot\mathbf y</math>
* 임의의 벡터 <math>\mathbf x\in\mathbb R^n</math>에 대하여, <math>(Q\mathbf x)\cdot(Q\mathbf x)=\mathbf x\cdot\mathbf x</math>
 
== 성질 ==
모든 직교 행렬은 [[가역 행렬]]이며, 직교 행렬의 곱은 항상 직교 행렬이므로, <math>n\times n</math> [[직교 행렬]]의 집합은 [[직교군]] <math>\operatorname O(n;\mathbb R)</math>이라는 [[군 (수학)|군]]을 이룬다. 행렬식이 1인 직교 행렬의 집합은 [[특수직교군]] <math>\operatorname{SO}(n;\mathbb R)</math>이라는 [[부분군]]을 이룬다.
 
== 예 ==