위키백과

기술적 집합론: 두 판 사이의 차이

입체적으로 역사 찾아보기
← 이전 편집다음 편집 →
내용 삭제됨 내용 추가됨
시각위키텍스트
편집 요약 없음
태그: 구식 태그
편집 요약 없음
19번째 줄:
*모든 열린 집합은 <math>\mathbf{\Sigma}^0_1</math>로 분류된다.
*여집합이 <math>\mathbf{\Sigma}^0_\alpha</math>인 집합은 <math>\mathbf{\Pi}^0_\alpha</math>로 분류된다.
*어떤 집합 A에 대해 집합열 (A<sub>i</sub>)가 존재하여 <math>A = \bigcup A_i</math>이되, 이때 각 A<sub>i</sub>이에 모두대해 순서수 <math>\lambda(i)</math>가 존재하여 A<sub>i</sub>가 <math>\mathbf{\Pi}^0_{\alphalambda(i)}</math> (<math>\alphalambda(i) < \betaalpha</math>)에 속하면 A는 <math>\mathbf{\Sigma}^0_\betaalpha</math>로 분류된다.
*<math>\mathbf{\Sigma}^0_\alpha</math>와 <math>\mathbf{\Pi}^0_\alpha</math> 모두에 속하는 집합은 <math>\mathbf{\Delta}^0_\alpha</math>로 분류된다.
 
원본 주소 "https://ko.wikipedia.org/wiki/기술적_집합론"