해석적 집합

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요
2. 정의
3. 성질
4. 사영 위계
5. 역사
6. 예시
참조

1. 개요

해석적 집합은 폴란드 공간의 부분 집합으로, 폴란드 공간에서 연속 함수의 상, 보렐 집합의 연속적인 상 등으로 정의될 수 있다. 해석적 집합들은 가산 합집합, 교집합, 연속 이미지 및 역 이미지에 대해 닫혀 있으며, 여집합은 해석적일 필요는 없다. 해석적 집합의 여집합이 해석적이면 그 집합은 보렐 집합이다. 해석적 집합은 항상 르베그 가측이며, 베어 성질과 완비 집합 성질을 갖는다. 사영 위계에서 $\boldsymbol{\Sigma}^1_1$ 집합으로 불리며, 그 여집합은 공해석적 집합( $\boldsymbol{\Pi}^1_1$ )이다. 보렐 집합족은 $\boldsymbol{\Delta}^1_1$ 로 표기된다. 해석적 집합은 루진과 수슬린에 의해 1917년에 정의되었다.

더 읽어볼만한 페이지

집합론 - 퍼지 집합
퍼지 집합은 각 원소가 0과 1 사이의 소속도를 가지며, 소속 함수를 통해 정의되고, 여집합, 합집합, 교집합 등의 연산을 수행하며, 퍼지 논리, 퍼지 수, 엔트로피 등의 개념과 L-퍼지 집합, 직관적 퍼지 집합 등으로 확장된다.
집합론 - 무한 집합
무한 집합은 유한 집합이 아니며, 자연수보다 큰 크기를 가지고 자신의 진부분집합과 일대일 대응을 가지며, 가산 무한 집합과 비가산 무한 집합으로 나뉜다.

해석적 집합
기본 정보
정의
유형	집합론
성질
관련 개념	보렐 집합 사영 집합
역사
이름	루신 집합 수슬린 집합
발견자	니콜라이 루신 미하일 수슬린
발표년도	1917년

2. 정의

폴란드 공간 $X$ 의 부분 집합 $A\subseteq X$ 에 대하여, 다음 조건들이 서로 동치이며, 이 조건을 만족시키는 부분 집합을 '''해석적 집합'''이라고 한다.

$f(Y)=A$ 인 폴란드 공간 $Y$ 및 연속 함수 $f\colon Y\to X$ 가 존재한다.^[3]
$f(S)=A$ 인 폴란드 공간 $Y$ 및 보렐 집합 $S\subseteq Y$ 및 연속 함수 $f\colon Y\to X$ 가 존재한다.
$A$ 는 공집합이거나, 아니면 $f(\mathbb N^{\aleph_0})=A$ 인 연속 함수 $f\colon\mathbb N^{\aleph_0}\to X$ 가 존재한다.^[4]
$\operatorname{proj}_1(S)=A$ 인 보렐 집합 $S\subseteq X\times X$ 가 존재한다.^[4]
$\operatorname{proj}_X(S)=A$ 인 폴란드 공간 $Y$ 및 보렐 집합 $S\subseteq X\times Y$ 가 존재한다.^[3]^[4]
$\operatorname{proj}_X(S)=A$ 인 닫힌집합 $S\subseteq X\times\mathbb N^{\aleph_0}$ 가 존재한다.^[3]^[4]
$\operatorname{proj}_X(S)=A$ 인 G_δ 집합 $S\subseteq X\times\{0,1\}^{\aleph_0}$ 가 존재한다.^[3]

X

의 해석적 집합들의 족은

\boldsymbol\Sigma^1_1(X)

로 표기한다. (여기서 첨자들은 사영 위계의 일부이기 때문이다.)

폴란드 공간 ''X''의 부분 공간 ''A''에 대한 다음 조건은 서로 동등하다.

''A''는 해석적 집합이다.
''A''는 공집합이거나 베어 공간 ω^ω의 연속적인 상이다.
''A''는 수슬린 공간이다. 즉, ''A''는 폴란드 공간을 연속 사상으로 사영한 것이다.
''A''는 폴란드 공간에서 보렐 집합의 연속적인 상이다.
''A''는 수슬린 집합이며, 수슬린 연산의 상이다.
폴란드 공간 $Y$ 와 보렐 대수 집합 $B\subseteq X\times Y$ 가 존재하여 $A$ 가 $B$ 를 $X$ 로 사영한 것이 된다. 즉,

:

A=\{x\in X|(\exists y\in Y)\langle x,y \rangle\in B\}.

''A''는 ''X''와 베어 공간의 데카르트 곱에서의 닫힌 집합을 사영한 것이다.
''A''는 ''X''와 칸토어 공간 2^ω의 데카르트 곱에서의 G_δ 집합을 사영한 것이다.

X

가 베어 공간 ω^ω인 구체적이고 중요한 경우에 대한 다른 특징은, 해석적 집합이

\omega\times\omega

상의 트리의 사영과 정확히 일치한다는 것이다. 마찬가지로, 칸토어 공간 2^ω의 해석적 부분 집합은

2\times\omega

상의 트리의 사영과 정확히 일치한다.

3. 성질

폴란드 공간의 해석적 집합은 가산 합집합과 교집합, 연속 이미지 및 역 이미지에 대해 닫혀 있다.

해석적 집합의 여집합은 해석적일 필요가 없다. 수슬린은 해석적 집합의 여집합이 해석적이면 그 집합은 보렐 집합임을 증명했다.^[1] 반대로 모든 보렐 집합은 해석적이며, 보렐 집합은 여집합에 대해 닫혀 있다. 루진은 더 일반적으로 두 개의 상호소별 해석적 집합은 보렐 집합에 의해 분리된다는 것을 증명했다.^[1] 즉, 하나를 포함하고 다른 집합과는 상호소별인 보렐 집합이 존재한다. 이것은 때때로 "루진 분리 원리"라고 불린다(수슬린의 정리 증명에 암묵적으로 포함되어 있지만).^[1]

해석적 집합은 항상 르베그 가측이며 (실제로, 보편 가측) 베어 성질과 완비 집합 성질을 갖는다.^[1]

3. 1. 연산에 대한 닫힘

해석적 집합은 다음 연산들에 대하여 닫혀 있다.

폴란드 공간 $X$ 에서 가산 개의 해석적 집합들의 합집합은 해석적 집합이다.^[3]
폴란드 공간 $X$ 에서 가산 개의 해석적 집합들의 교집합은 해석적 집합이다.^[3]
두 폴란드 공간 $X$ , $Y$ 사이의 보렐 가측 함수 $f\colon X\to Y$ 및 해석적 집합 $A\subseteq X$ 에 대하여, 그 상 $f(A)$ 역시 해석적 집합이다.^[3]
두 폴란드 공간 $X$ , $Y$ 사이의 보렐 가측 함수 $f\colon X\to Y$ 및 해석적 집합 $B\subseteq Y$ 에 대하여, 그 원상 $f^{-1}(B)$ 역시 해석적 집합이다.^[3]

폴란드 공간

X

의 부분 집합

A\subset X

에 대하여, 다음 두 조건은 서로 동치이다.

$A$ 는 보렐 집합이다.
$A$ 와 $X\setminus A$ 둘 다 해석적 집합이다.

해석적 집합의 여집합은 해석적 집합일 필요는 없다. 수슬린은 해석적 집합의 여집합이 해석적 집합이면 그 집합은 보렐 집합임을 증명했다. 루진은 더 일반적으로, 두 개의 상호소별 해석적 집합은 보렐 집합에 의해 분리된다는 것을 증명했다.

해석적 집합은 항상 르베그 가측이며, 베어 성질과 완비 집합 성질을 갖는다.

3. 2. 보렐 집합과의 관계

폴란드 공간의 해석적 집합은 가산 합집합과 교집합, 연속 이미지 및 역 이미지에 대해 닫혀 있다.

해석적 집합의 여집합은 해석적일 필요가 없다. 수슬린(Suslin)은 해석적 집합의 여집합이 해석적이면 그 집합은 보렐 집합임을 증명했다.^[1] (반대로 모든 보렐 집합은 해석적이며, 보렐 집합은 여집합에 대해 닫혀 있다.) 루진(Luzin)은 더 일반적으로 두 개의 상호소별 해석적 집합은 보렐 집합에 의해 분리된다는 것을 증명했다.^[1] 즉, 하나를 포함하고 다른 집합과는 상호소별인 보렐 집합이 존재한다. 이것은 때때로 "루진 분리 원리"라고 불린다(수슬린의 정리 증명에 암묵적으로 포함되어 있지만).^[1]

해석적 집합은 항상 르베그 가측 (실제로, 보편 가측)이며, 베어 성질과 완비 집합 성질을 갖는다.^[1]

3. 3. 분리 정리

'''루진-노비코프 분리 정리'''(Lusin–Novikoff separation theorem^영어)에 따르면, 임의의 폴란드 공간

X

속의 가산 개의 해석적 집합들의 집합족

\{A_i\}_{i\in I}\subseteq\boldsymbol\Sigma^1_1(X)

,

|I|\le\aleph_0

에 대하여, 만약

\textstyle\bigcap_{i\in I}A_i=\varnothing

이라면,

\forall i\in I\colon B_i\supseteq A_i

이자

\textstyle\bigcap_{i\in I}B_i=\varnothing

인 보렐 집합들의 집합족

\{B_i\}_{i\in I}\subseteq\boldsymbol\Delta^1_1(X)

이 존재한다.^[3]

'''쿠라토프스키 분리 정리'''에 따르면, 폴란드 공간

X

속의 가산 개의 해석적 집합들의 집합족

\{A_i\}_{i\in I}\subseteq\boldsymbol\Sigma^1_1(X)

,

|I|\le\aleph_0

에 대하여, 다음 조건을 만족시키는 집합족

\{C_i\}_{i\in I}\subseteq\boldsymbol\Pi^1_1(X)

가 존재한다.^[4]

임의의 $i\in I$ 에 대하여, $\textstyle A_i\setminus\bigcup_{j\ne i}A_j\subseteq C_i$
임의의 $i,j\in I$ 에 대하여, $i\ne j$ 라면 $C_i\cap C_j=\varnothing$

루진은 교차하지 않는 두 해석적 집합은 보렐 집합으로 분리할 수 있음을 증명했다. 즉, 한쪽 해석적 집합을 포함하고, 다른 한쪽 해석적 집합과 교차하지 않는 보렐 집합을 취할 수 있다.

3. 4. 가측성

실수선

\mathbb R

의 해석적 집합은 보편 가측 집합이며, 준열린집합이며, 완전 집합 성질을 갖는다.^[1]

해석적 집합의 여집합은 해석적일 필요가 없다. 수슬린(Suslin)은 해석적 집합의 여집합이 해석적이면 그 집합은 보렐 집합임을 증명했다. (반대로 모든 보렐 집합은 해석적이며, 보렐 집합은 여집합에 대해 닫혀 있다.) 루진(Luzin)은 더 일반적으로 두 개의 상호소별 해석적 집합은 보렐 집합에 의해 분리된다는 것을 증명했다. 즉, 하나를 포함하고 다른 집합과는 상호소별인 보렐 집합이 존재한다. 이것은 때때로 "루진 분리 원리"라고 불린다(수슬린의 정리 증명에 암묵적으로 포함되어 있지만).^[1]

해석적 집합은 항상 르베그 가측 (실제로, 보편 가측)이며, 베어 성질과 완비 집합 성질을 갖는다.^[1]

4. 사영 위계

해석적 집합은 사영 계층의 용어를 사용하여 $\boldsymbol{\Sigma}^1_1$ 집합이라고도 한다. 이 굵은 글씨는 단순한 장식이 아니라, 해석적 계층에서의 일반 글꼴 $\Sigma^1_1$ 과는 다름을 나타낸다. 해석적 집합의 여집합은 공해석적 집합이라 불리며, $\boldsymbol{\Pi}^1_1$ 로 표기한다. $\boldsymbol{\Delta}^1_1=\boldsymbol{\Sigma}^1_1\cap \boldsymbol{\Pi}^1_1$ 교집합은 보렐 집합족과 같다.

5. 역사

니콜라이 루진^[5]과 미하일 수슬린^[6]이 1917년에 해석적 집합을 정의하였다.^[7]

니콜라이 루진은 1927년에 루진-노비코프 분리 정리에서 두 개의 집합에 대한 경우를 증명하였고,^[8] 1931년에 표트르 세르게예비치 노비코프가 이를 가산 개의 집합에 대하여 일반화하였다.^[9]

6. 예시

자연수의 집합 $A$ 가 주어질 때, 집합 $\{x-y\mid y\leq x\land x,y\in A\}$ 를 $A$ 의 차집합이라고 한다. 자연수의 차집합 집합은 해석적 집합이며, 해석적 집합에 대해 완전하다.^[2]

참조

_[1] 논문 Who discovered analytic sets? http://link.springer[...] 2001
_[2] 간행물 What's the difference? https://www.scienced[...] J. H. Schmerl 1998
_[3] 서적 Classical descriptive set theory Springer-Verlag 1995
_[4] 서적 A course on Borel sets Springer-Verlag 1991
_[5] 저널 Sur la classification de M. Baire http://gallica.bnf.f[...] 1917
_[6] 저널 Sur une définition des ensembles mesurables ''B'' sans nombres transfinis http://gallica.bnf.f[...] 1917
_[7] 저널 Who discovered analytic sets? http://math.nsc.ru/L[...] 2001-09
_[8] 저널 Sur les ensembles analytiques http://matwbn.icm.ed[...]
_[9] 저널 Sur les fonctions implicites mesurables ''B'' http://matwbn.icm.ed[...] 1931

본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com