[논문 리뷰] Sums of Darboux and continuous functions

Juris Steprāns|ArXiv.org|1993. 04. 27.

Differential Equations and Boundary Problems참고 문헌 7인용 수 8

한 줄 요약

이 논문은 다르부 함수와 연속 함수의 합을 조사하며, 임의의 다르부 함수 $ F $에 대해 $ F + f $가 여전히 다르부 함수가 되는 비상수 연속 함수 $ f $가 존재함을 증명한다. 반복적인 새크스 포스팅을 통해, $ f $가 어디서도 상수 함수가 아니라는 조건 하에서도 이러한 합이 다르부 성질을 유지할 수 있음을 보이며, 킬히무이와 나트카네틱의 보편적으로 나쁜 다르부 함수에 관한 열린 문제를 해결한다.

ABSTRACT

It is shown that that for every Darboux function $F$ there is a non-constant continuous function $f$ such that $F+f$ is still Darboux. It is shown to be consistent --- the model used is iterated Sacks forcing --- that for every Darboux function $F$ there is a nowhere constant continuous function $f$ such that $F+f$ is still Darboux. This answers questions raised by B.~Kirchiem and T.~Natkaniec who have shown that in various models of set theory there are universally bad Darboux functions, Darboux functions whose sum with any nowhere constant, continuous function fails to be Darboux.

연구 동기 및 목표

• 다르부 함수와 연속 함수의 합이 여전히 다르부 성질을 유지할 수 있는지 조사하기.
• 킬히무이와 나트카네틱이 제기한 보편적으로 나쁜 다르부 함수에 관한 열린 문제를 해결하기.
• 연속 함수가 어디서도 상수 함수가 아닐 때와 같은 더 강한 조건 하에서도 이러한 합이 다르부 성질을 유지할 수 있는 일치성을 탐색하기.
• 포스팅 기법을 사용하여 이러한 함수의 존재가 ZFC와 일치함을 보여주기.

제안 방법

• 논문은 반복적인 새크스 포스팅을 활용하여, 원하는 성질이 성립하는 체계 모델을 구성한다.
• 모든 다르부 함수 $ F $에 대해, $ F + f $가 다르부가 되는 비상수 연속 함수 $ f $가 존재함을 증명한다.
• 구성 과정에서 $ f $가 포스팅 모델 내에서 어디서도 상수 함수가 아니게 선택될 수 있음을 보장한다.
• 논증은 다르부 함수의 성질과 특정 집합론적 모델에서의 덧셈에 따른 다르부 성질의 유지에 기반한다.
• 포스팅 모델은 필요한 위상적 및 함수적 성질을 유지하도록 철저히 설계된다.
• 수학 논리학과 집합론의 기법, 특히 이상 확장과 카테고리 논증의 맥락에서 증명 기법을 사용한다.

실험 결과

연구 질문

• RQ1 다르부 함수와 비상수 연속 함수의 합이 여전히 다르부 성질을 유지할 수 있는가?
• RQ2 다르부 함수와 어디서도 상수 함수가 아닌 연속 함수의 합이 여전히 다르부 성질을 유지할 수 있다는 것이 일치하는가?
• RQ3 모든 어디서도 상수 함수가 아닌 연속 함수와의 합이 다르부 성질을 잃는 보편적으로 나쁜 다르부 함수가 존재하는가?
• RQ4 포스팅 기법을 통해 이러한 함수의 존재가 ZFC와 일치함을 보일 수 있는가?
• RQ5 어떤 집합론적 모델이 다르부 성질이 연속 함수와의 덧셈에서도 유지될 수 있도록 허용하는가?

주요 결과

• 모든 다르부 함수 $ F $에 대해, $ F + f $가 여전히 다르부가 되는 비상수 연속 함수 $ f $가 존재한다.
• 반복적인 새크스 포스팅을 통해 얻은 모델에서, 모든 다르부 함수 $ F $에 대해 어디서도 상수 함수가 아닌 연속 함수 $ f $가 존재하여 $ F + f $가 여전히 다르부 성질을 유지할 수 있음이 일치함을 보였다.
• 이 결과는 보편적으로 나쁜 다르부 함수—모든 어디서도 상수 함수가 아닌 연속 함수와의 합이 다르부 성질을 잃는 함수—의 존재는 ZFC에서 증명될 수 없다는 것을 시사한다.
• 논문은 이러한 합이 특정 집합론적 가정 하에서 다르부 성질을 유지할 수 있음을 확립한다.
• 포스팅 구성은 결과 모델에서 다르부 성질이 유지됨을 보장한다.
• 이러한 발견은 다르부 함수가 연속 함수와의 덧셈에서 가지는 한계에 관한 오랜 숙제를 해결한다.