[논문 리뷰] Cardinal invariants concerning functions whose sum is almost continuous

Krzysztof Ciesielski, Arnold W. Miller|arXiv (Cornell University)|1994. 10. 26.

Advanced Topology and Set Theory참고 문헌 3인용 수 6

한 줄 요약

이 논문은 거의 연속 함수와 그 합과 관련된 기수 불변량을 조사한다. 이는 어떤 단일 함수 g가 주어진 함수 집합의 모든 f에 대해 f+g가 거의 연속이 되게 할 수 없는 실함수의 집합의 최소 크기로 정의된 기수 불변량 AA에 대해, 그 cofinality가 연속체보다 크며, 2^c 사이의 임의의 정칙 기수일 수 있음을 보여주며, 이는 ZFC에 대해 독립적임을 보인다. 또한 이는 다르부 함수에 대한 유사한 불변량인 AD와 AA가 같음을 증명하여 분야 내 문제를 해결한다.

ABSTRACT

A function f from reals to reals (f:R->R) is almost continuous (in the sense of Stallings) iff every open set in the plane which contains the graph of f contains the graph of a continuous function. Natkaniec showed that for any family F of continuum many real functions there exists g:R->R such that f+g is almost continuous for every f in F. Let AA be the smallest cardinality of a family F of real functions for which there is no g:R->R with the property that f+g is almost continuous for every f in F. Thus Natkaniec showed that AA is strictly greater than the continuum. He asked if anything more could be said. We show that the cofinality of AA is greater than the continuum, c. Moreover, we show that it is pretty much all that can be said about AA in ZFC, by showing that AA can be equal to any regular cardinal between c^+ and 2^c (with 2^c arbitrarily large). We also show that AA = AD where AD is defined similarly to AA but for the class of Darboux functions. This solves another problem of Maliszewski and Natkaniec.

연구 동기 및 목표

• AA라는 기수 불변량의 cofinality와 가능한 값들을 규명하는 것. 여기서 AA는 어떤 단일 함수 g가 주어진 함수 집합의 모든 f에 대해 f+g가 거의 연속이 되게 할 수 없는 실함수의 집합의 최소 크기로 정의된다.
• AA와 AD 간의 관계를 조사하는 것. 여기서 AD는 다르부 함수에 대한 유사한 불변량이다.
• Natkaniec가 이전에 AA > c 를 보여주었기 때문에, ZFC 내에서 AA의 값이 어느 정도 결정될 수 있는지 탐색하는 것.
• Maliszewski와 Natkaniec가 제기한 AA와 AD의 등식 문제를 해결하는 것.

제안 방법

• 저자들은 평면에서의 그래프 위상에 중점을 두어, 거의 연속 함수의 구조를 위상수학적 및 집합론적 방법으로 분석한다.
• 강제법과 독립성 기법을 사용하여, AA가 c^+와 2^c 사이의 임의의 정칙 기수일 수 있음을 보이며, 2^c 가 임의로 클 수 있을 때조차도 이를 일관되게 유지함을 보인다.
• AA = AD의 증명은 적절한 함수를 구성하고, 거의 연속성 위상에서 조밀한 성질을 갖는 다르부 함수의 성질을 이용한다.
• 저자들은 스탤링스의 정의에 기반하여, 평면에서의 '그래프 조밀 집합' 개념을 사용하여 거의 연속 함수를 특성화한다.
• AA의 cofinality를 분석하기 위해, 기수 불변량이 크도록 만드는 함수의 가족을 구성함으로써 분석한다.
• 실수의 조합적 성질을 사용하여, 고정된 g와의 합이 거의 연속이 되는 함수의 아이디얼을 정교하게 분석한다.

실험 결과

연구 질문

• RQ1 AA라는 기수 불변량의 cofinality는 무엇인가? 여기서 AA는 어떤 단일 함수 g가 주어진 함수 집합의 모든 f에 대해 f+g가 거의 연속이 되게 할 수 없는 실함수의 집합의 최소 크기로 정의된다.
• RQ2 AA는 c^+와 2^c 사이의 임의의 정칙 기수일 수 있으며, 만약 그렇다면 ZFC와 일관된가?
• RQ3 AA는 다르부 함수에 대한 유사한 불변량인 AD와 같은가?
• RQ4 Natkaniec가 AA > c 를 보여주었기 때문에, ZFC 내에서 AA의 값이 어느 정도 결정될 수 있는가?
• RQ5 거의 연속 함수와 그 합의 어떤 구조적 성질이 이러한 독립성 결과를 가능하게 하는가?

주요 결과

• AA의 cofinality는 연속체보다 크며, 이는 AA가 2^c 미만의 크기의 집합들의 합집합으로 표현될 수 없다는 것을 의미한다.
• AA는 c^+와 2^c 사이의 임의의 정칙 기수일 수 있으며, 이는 ZFC와 일관되며, 2^c 가 임의로 클 수 있을 때조차도 성립한다.
• AA = AD가 성립하며, 이는 어떤 단일 함수 g가 주어진 함수 집합의 모든 f에 대해 f+g가 거의 연속이 되게 할 수 없는 집합의 최소 크기가 다르부 함수에 대한 유사한 불변량과 같다는 것을 의미한다.
• 이 결과는 Maliszewski와 Natkaniec가 제기한 AA와 AD의 등식 문제를 해결한다.
• 논문은 AA가 ZFC만으로는 결정되지 않음을 확인하며, 주어진 범위 내에서 값이 넓게 변할 수 있음을 보여준다.
• 분석은 거의 연속 함수의 클래스가 충분히 풍부하여 이러한 독립성 결과를 가능하게 하며, AA > c 는 ZFC에서 증명 가능하므로 이를 확인한다.