[논문 리뷰] An undecidable case of lineability in R^R

José L. Gámez-Merino, Juan B. Seoane‐Sepúlveda|arXiv (Cornell University)|2012. 07. 12.

Advanced Banach Space Theory참고 문헌 10인용 수 5

한 줄 요약

이 논문은 ℝ^ℝ 내의 Sierpiński-Zygmund 함수의 집합의 최대 선형성(lineability)이 2^𝔠-lineability임을 ZFC 집합론 내에서 결정할 수 없다는 것을 입증한다. Sierpiński-Zygmund 클래스의 2^𝔠-강한 대수성(algebrability)과 𝔠 내에서 크기가 2^𝔠인 거의 서로소 가족의 존재 사이의 동치성을 증명함으로써, 저자들은 이 성질이 표준 공리로부터 증명되거나 반증될 수 없다는 것을 보이며, 이는 선형성 이론 및 공간성 이론에서 처음으로 결정 불가능한 결과임을 나타낸다.

ABSTRACT

Recently it has been proved that, assuming that there is an almost disjoint family of cardinality (2^{\mathfrak c}) in (\mathfrak c) (which is assured, for instance, by either Martin's Axiom, or CH, or even $2^{

연구 동기 및 목표

• ℝ^ℝ 내의 Sierpiński-Zygmund 함수 집합의 최대 선형성(즉, 2^𝔠-lineability)이 ZFC 내에서 결정 가능한지 여부를 규명하는 것.
• Sierpiński-Zygmund 클래스가 2^𝔠-강하게 대수화 가능한데 필요한 집합론적 조건을 조사하는 것.
• 𝔠 내에서 크기가 2^𝔠인 거의 서로소 가족의 존재와 Sierpiński-Zygmund 클래스의 2^𝔠-강한 대수성 사이의 동치성을 확립하는 것.
• Sierpiński-Zygmund 함수의 2^𝔠-lineability가 ZFC와 독립적이며, 따라서 선형성 이론에서 처음으로 알려진 결정 불가능한 문장임을 보여주는 것.

제안 방법

• 저자들은 특정한 색인 함수가 ℵ₀에 ℵ₂, ℵ₁에 ℵ₄를 할당하는 Easton forcing를 사용하여, 2^𝔠 = ℵ₄인 ZFC의 모델을 구성한다.
• GCH 하에서 Erdős-Rado 분할 정리의 형태 ℵ₄ → (ℵ₃)_{ℵ₂}²를 적용하여, ℵ₂ 내에서 크기가 ℵ₄인 거의 서로소 가족의 존재로부터 모순을 이끌어낸다.
• 이 모델에서 𝔠 내에 크기가 2^𝔠인 거의 서로소 가족이 존재하지 않음을 보임으로써, Sierpiński-Zygmund 클래스의 2^𝔠-lineability가 ZFC에서 증명될 수 없음을 증명한다.
• 이전 연구 결과(BGPS_PAMS, 정리 2.6)를 활용하여, 𝔠 내에서 크기가 2^𝔠인 거의 서로소 가족의 존재와 Sierpiński-Zygmund 클래스의 2^𝔠-강한 대수성 사이의 논리적 동치성을 확립한다.
• 강제화 포지션의 ℵ₂-cc 성질과 ℙ-이름을 사용하여 일반적 확장을 형식화하고, 서로소 조건을 강제하는 데 의존한다.
• 집합론적 독립 기법과 Sierpiński-Zygmund 함수의 구조적 성질(특히 크기가 𝔠인 어떤 집합에서도 연속적이지 않음)을 결합한 논증을 수행한다.

실험 결과

연구 질문

• RQ1 Sierpiński-Zygmund 함수의 2^𝔠-lineability는 ZFC 집합론 내에서 결정 가능한가?
• RQ2 Sierpiński-Zygmund 클래스가 2^𝔠-강하게 대수화 가능한데 필요한 집합론적 조건은 무엇인가?
• RQ3 𝔠파 내에서 크기가 2^𝔠인 거의 서로소 집합의 가족 존재는 Sierpiński-Zygmund 함수의 최대 대수화를 특성화하는 데 사용될 수 있는가?
• RQ4 Sierpiński-Zygmund 함수의 2^𝔠-lineability는 ZFC와 독립적이며, 따라서 선형성 이론에서 처음으로 결정 불가능한 문장인가?
• RQ5 𝔠파 내에서 크기가 2^𝔠인 거의 서로소 집합의 가족 존재는 Sierpiński-Zygmund 클래스의 2^𝔠-강한 대수화를 함의하는가?

주요 결과

• ℝ^ℝ 내의 Sierpiński-Zygmund 함수 집합의 2^𝔠-lineability는 ZFC와 독립적이며, 이는 표준 집합론 공리로부터 증명되거나 반증될 수 없다는 뜻이다.
• 𝔠파 내에서 크기가 2^𝔠인 거의 서로소 가족의 존재는 Sierpiński-Zygmund 클래스의 2^𝔠-강한 대수성과 논리적으로 동치이다.
• Easton 강제화를 통한 일반적 확장에서, 𝔠 내에 크기가 2^𝔠인 거의 서로소 가족이 존재하지 않으며, 이는 Sierpiński-Zygmund 함수의 2^𝔠-lineability가 ZFC에서 증명될 수 없다는 것을 의미한다.
• 논문은 Sierpiński-Zygmund 함수의 2^𝔠-lineability가 결정 불가능하다는 것을 입증하며, 이는 선형성 및 공간성 이론에서 처음으로 그러한 결과임을 나타낸다.
• Erdős-Rado 분할 정리를 사용하여, ℵ₂ 내에서 큰 거의 서로소 가족의 존재로부터 모순을 이끌어내어, 이러한 가족이 특정 ZFC 모델에서는 존재할 수 없음을 보였다.
• 결과적으로, Sierpiński-Zygmund 클래스의 최대 선형성은 CH, Martin의 공리, 또는 2^{<𝔠} = 𝔠와 같은 표준 집합론적 가정의 결과가 아니며, 오히려 독립적인 문장임을 보여준다.