부분 아핀 공간

아핀 기하학에서 부분 아핀 공간(部分空間, )은 새로운 아핀 공간을 이루는 주어진 아핀 공간의 부분 집합이다. 즉, 이는 부분 벡터 공간이 주어진 아핀 공간 위에 평행 이동으로 작용하는 데 대한 궤도이며, 벡터 공간의 부분 아핀 공간은 평행 이동에 대한 부분 벡터 공간의 상이다.

정의 
체  위의 아핀 공간 의 부분 집합 에 대하여, 다음 두 조건이 서로 동치이며, 이를 만족시키는 를 의 부분 아핀 공간이라고 한다.
 가 의 부분 벡터 공간이 되는 가 존재한다. (여기서 이며, 는 평행 이동의 벡터 공간이다.)
 임의의 에 대하여, 는 의 부분 벡터 공간이다.
부분 아핀 공간 에 대하여, 는 의 선택과 무관하며, 이는 의 평행 이동들로 구성된다. 또한, 임의의 에 대하여,

이다.

생성된 부분 공간 
체  위의 아핀 공간 의 부분 집합 가 공집합이 아니라고 하자. 로 생성된 부분 아핀 공간() 는 를 포함하는 의 가장 작은 부분 아핀 공간이다. 이는 를 포함하는 의 모든 부분 아핀 공간의 교집합과 같다. 또한, 임의의 에 대하여,

이다. 여기서 는 주어진 부분 집합으로 생성된 부분 벡터 공간이다.

평행 
체  위의 아핀 공간 의 두 부분 아핀 공간 에 대하여, 다음 두 조건이 서로 동치이며, 이를 만족시키는 를 평행한다고 하고, 이를 로 표기한다.
 
 인 가 존재한다.

체  위의 아핀 공간 의 두 부분 아핀 공간 에 대하여, 다음 두 조건이 서로 동치이며, 이를 만족시키는 를 에 약하게 평행()한다고 한다.
 
 인 부분 아핀 공간 가 존재한다.

성질 
체  위의 아핀 공간 의 부분 집합 가 공집합이 아니며, 의 표수가 2가 아니라고 하자. 그렇다면, 다음 두 조건이 서로 동치이다.
 는 의 부분 아핀 공간이다.
 임의의 에 대하여, 이다.
즉, 체의 표수가 2가 아닐 경우, 주어진 부분 집합이 부분 아핀 공간일 필요충분조건은 아핀 직선에 대하여 닫혀있는 것이다. 표수 2의 체의 경우 이는 일반적으로 성립하지 않는다. 예를 들어, 크기 2의 유한체  위의 아핀 공간의 모든 부분 집합은 아핀 직선에 대하여 닫혀있다.

주어진 아핀 공간의 부분 아핀 공간의 평행은 동치 관계를 이루며, 약한 평행은 부분 순서를 이룬다. 평행은 약한 평행을 함의한다. 체  위의 아핀 공간 의 두 부분 아핀 공간 가 약하게 평행한다면, 이거나 이다. 또한, 임의의 부분 아핀 공간  및 이에 포함되지 않는 점 에 대하여, 이며 인 유일한 부분 아핀 공간 가 존재한다. 이는 에우클레이데스의 평행선 공준의 내용과 일치한다.

체  위의 아핀 공간 의 부분 아핀 공간 에 대하여, 다음이 성립한다.

해석기하학적 성질 
체  위의 유한 차원 아핀 공간 와 음이 아닌 정수 가 주어졌다고 하자. 그렇다면, 부분 집합 에 대하여, 다음 두 조건이 서로 동치이다.
 는 의 차원 부분 아핀 공간이다.
 다음을 만족시키는 차원 부분 벡터 공간 가 존재한다. (여기서 는 아핀 형식들로 구성된 벡터 공간이다.)
 
  (여기서 는 직교 여공간이다.)
이에 따라, 직교 여공간은 의 차원 부분 아핀 공간들과 상수 함수를 포함하지 않는 의 차원 부분 벡터 공간들 사이의 일대일 대응이며, 후자의 기저를 통해 전자를 연립 일차 방정식의 해의 공간으로 나타낼 수 있다. 즉, 의 기저

가 주어졌을 때, 다음이 성립한다.

이 경우, 주어진 의 직교 여공간 는 유일하나, 이를 해의 공간으로 하는 연립 일차 방정식은 의 기저의 선택에 의존하므로 유일하지 않다.

예 
주어진 아핀 공간의 0차원 부분 아핀 공간은 한원소 집합들이며, 유한 차원 아핀 공간의 차원 부분 아핀 공간은 자기 자신으로 유일하다. 체  위의 아핀 공간 의 두 점 로 생성된 부분 아핀 공간은 일 경우 , 를 지나는 아핀 직선이다.

3차원 공간의 부분 공간 
체  위의 3차원 아핀 공간 의 아핀 기저 이 주어졌다고 하자. 의 2차원 부분 아핀 공간은 다음과 같은 꼴로 나타낼 수 있는 부분 집합들이다.

여기서 이다. 이는 다음과 같은 꼴로 나타낼 수 있는 부분 집합과 동치이다.

여기서 이며 는 선형 독립 집합이다. 이 경우 는 이 부분 아핀 공간의 아핀 기저이다. 1차원 부분 아핀 공간은 다음과 같은 꼴로 나타낼 수 있는 부분 집합들이다.

여기서 은 선형 독립 집합이다. 이는 다음과 같은 꼴로 나타낼 수 있는 부분 집합과 동치이다.

여기서 이며 이다. 이 경우 는 이 부분 아핀 공간의 아핀 기저이다.

참고 문헌 
 
 
 

아핀기하학
선형대수학