부분 아핀 공간: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
편집 요약 없음
26번째 줄:
** <math>1\not\in V</math>
** <math>B=V^\perp</math> (여기서 <math>(-)^\perp</math>는 [[직교 여공간]]이다.)
이에 따라, 직교 여공간은 <math>A</math>의 <math>d'</math>차원 부분 아핀 공간들과공간 <math>B</math>들과 [[상수 함수]]를 포함하지 않는 <math>\operatorname{Hom}_K(A,K)</math>의 <math>d-d'</math>차원 부분 벡터 공간들공간 <math>V</math>들 사이의 일대일 대응이며, 후자의 [[기저 (선형대수학)|기저]]를기저를 통해 전자를 (일차항 계수의 벡터들이 [[선형 독립 집합]]을 이루는) <math>(d-d')</math>개의 [[연립 일차 방정식]]의 해의 공간으로 나타낼 수 있다. 즉, <math>V</math>의 [[기저 (선형대수학)|기저]]
:<math>(f_1,\dots,f_{d-d'})\subseteq V</math>
가 주어졌을 때, 다음이 성립한다.
:<math>B=\ker f_1\cap\cdots\cap\ker f_{d-d'}</math>
이 경우, 주어진 <math>B</math>의 직교 여공간 <math>V</math>는 유일하나, 이를 해의 공간으로 하는 연립 일차 방정식은 <math>V</math>의 기저의 선택에 의존하므로 유일하지 않다.
 
== 예 ==