사영 집합

집합론에서 사영 집합(射影集合, )은 보렐 집합으로부터 사영과 여집합을 여러 번 취하여 얻을 수 있는, 폴란드 공간의 부분 집합이다.

정의 
폴란드 공간  및 양의 정수 에 대하여, 의  집합과  집합 및  집합은 다음과 같이 재귀적으로 정의된다.
  집합은 의 해석적 집합이다.
  집합은 의  집합의 여집합이다.
 의 부분 집합 에 대하여, 다음 두 조건이 서로 동치이며,  집합은 이를 만족시키는 집합이다.
 가 되는 폴란드 공간  및  집합 가 존재한다. 여기서 는 사영 함수이다.
 모든 비가산 폴란드 공간 에 대하여, 가 되는  집합 가 존재한다.
  집합은  집합이며  집합인 집합이다.
폴란드 공간 의 부분 집합 에 대하여, 사영 집합은 적어도 하나의 정수 에 대하여  집합인 부분 집합이다.

수슬린 정리(Суслин定理, )에 따르면, 폴란드 공간 속에서  집합의 개념은 보렐 집합의 개념과 일치한다.

표준 보렐 가측 공간의 경우 
임의의 두 폴란드 공간 ,  사이의, 보렐 가측 공간 구조의 동형 가 주어졌다고 하자. 그렇다면,  아래 와 가 일치하며, 사영 위계의 나머지 단계들의 정의는 위상 공간 구조에 직접적으로 의존하지 않으므로 마찬가지로 일치한다. 즉, 사영 위계는 오직 표준 보렐 가측 공간 구조에만 의존한다.

성질

연산에 대한 닫힘 
임의의 폴란드 공간에 대하여, 다음이 성립한다.

위 표에서, "연속 (원)상에 대해 닫힘"은 정의역과 공역을 폴란드 공간으로 하는 연속 함수에 대한 상 및 원상을 뜻한다.

포함 관계 
보렐 위계와 유사하게, 다음과 같은 포함 관계가 성립하며, 이를 사영 위계()라고 한다.

여기서 는 모든  집합이  집합임을 뜻한다.

다음과 같은 함의 관계가 성립한다.
열린집합 → 보렐 집합 → 사영 집합

실수의 모든 사영 집합은 실수 구성 가능 전체 에 속한다.

만약 사영 결정 공리가 성립한다면, 실수의 모든 사영 집합들은 다음 조건을 만족시킨다.
 르베그 가측 집합이다.
 준열린집합이다.
 완전 집합 성질을 가진다.

참고 문헌

외부 링크 
 

집합론