특이 기수 가설

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

1. 개요
2. 정의
3. 성질
- 3.1. 무모순성
- 3.2. 특이 기수 가설을 함의하는 명제
참조

1. 개요

특이 기수 가설(SCH)은 모든 무한 기수 κ에 대해 기멜 함수 g(κ)가 max{κ+, 2cfκ}와 같다는 가설이다. 무한 정칙 기수의 경우 자명하게 성립하며, 강콤팩트 기수보다 큰 특이 기수에 대해서도 성립한다. 체르멜로-프렝켈 집합론이 무모순적이라면, 선택 공리를 추가한 체르멜로-프렝켈 집합론과 특이 기수 가설은 무모순적이다. 일반화 연속체 가설(GCH)과 고유 강제법 공리(PFA)는 특이 기수 가설을 함의한다.

더 읽어볼만한 페이지

기수 - 초한수
초한수는 게오르크 칸토어가 도입한 무한 개념을 확장한 수로, 집합의 크기를 나타내는 기수와 정렬된 집합 내의 위치를 나타내는 서수로 나뉘며, 무한에도 여러 종류가 있음을 밝혀 현대 수학의 기초를 다졌다.
기수 - 칸토어의 정리
칸토어의 정리는 집합 X의 멱집합의 크기가 X의 크기보다 항상 크다는 것을 나타내며, 임의의 기수 κ에 대해 2^κ > κ가 성립한다는 내용으로, 칸토어의 대각선 논법으로 증명되고 집합론의 역설과 관련되어 전체 집합의 존재를 가정할 때 칸토어의 역설을 유발한다.

특이 기수 가설

2. 정의

'''특이 기수 가설''' ( $\mathsf{SCH}$ )에 따르면, 모든 무한 기수 $\kappa$ 에 대하여 다음이 성립한다.

: $\gimel(\kappa)=\max\{\kappa^+,2^{\operatorname{cf}\kappa}\}$

여기서 $\gimel$ 은 기멜 함수이며, $\operatorname{cf}$ 는 공종도이다.

3. 성질

(특이 기수 가설의 성질에 대한 내용이 하위 섹션 "무모순성"에 이미 자세히 기술되어 있으므로, 중복을 피하기 위해 생략한다.)

3. 1. 무모순성

무한 정칙 기수의 경우 특이 기수 가설은 자명하게 성립한다. 또한, 적어도 하나 이상의 강콤팩트 기수보다 더 큰 특이 기수에 대하여, 특이 기수 가설이 성립한다. 이는 로버트 솔로베이(Robert Solovay)가 증명하였다. 즉, 특이 기수 가설은 "대부분의" 기수에 대하여 참이다.

만약 체르멜로-프렝켈 집합론이 무모순적이라면, 특이 기수 가설은 선택 공리를 추가한 체르멜로-프렝켈 집합론과 무모순적이다.

만약 미첼 순서(Mitchell order^영어)가

\kappa^{++}

인 가측 기수

\kappa

가 존재한다면, 특이 기수 가설의 부정 역시 선택 공리를 추가한 체르멜로-프렝켈 집합론과 무모순적이다. (이는 초콤팩트 기수의 존재보다 약한 가정이다.)

3. 2. 특이 기수 가설을 함의하는 명제

일반화 연속체 가설

\mathsf{GCH}

은 특이 기수 가설을 함의한다. 일반화 연속체 가설을 가정하면 모든 무한 기수에 대하여

:

\gimel(\kappa)=\kappa^+\ge2^{\operatorname{cf}\kappa}

가 성립한다.

고유 강제법 공리(proper forcing axiom|프로퍼 포싱 액시엄^영어)

\mathsf{PFA}

또한 특이 기수 가설을 함의한다. 고유 강제법 공리는

2^{\aleph_0}=\aleph_2

를 함의하므로, 연속체 가설과 모순된다.

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

문의하기 : help@durumis.com