Cardinal invariants concerning functions whose sum is almost continuous

Krzysztof Ciesielski,Arnold W. Miller

DOI: https://doi.org/10.48550/arXiv.math/9410201

1994-10-26

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.

Logic

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on the cardinal invariants of almost continuous functions and functions with the Darboux property. Specifically:

1. **Definition and Background**:
- The paper first defines almost continuous functions and Darboux functions. An almost continuous function refers to a function that contains a continuous function within any open set. A Darboux function is a function that satisfies the Intermediate Value Theorem.
- The cardinal \( A(\mathcal{F}) \) is defined, which represents the cardinality of the smallest family \( \mathcal{F} \subseteq \mathbb{R}^\mathbb{R} \) such that for any function \( g: \mathbb{R} \to \mathbb{R} \), there exists \( f \in \mathcal{F} \) such that \( f + g \notin \mathcal{F} \).

2. **Main Problems**:
- The paper explores the properties of the cardinals \( A(A) \) and \( A(D) \), where \( A \) represents the class of all almost continuous functions and \( D \) represents the class of all functions with the Darboux property.
- In particular, the paper attempts to answer the following questions:
- What is the relationship between the cardinals \( A(A) \) and \( A(D) \)?
- What values can the cardinals \( A(A) \) and \( A(D) \) take in the ZFC framework?
- Can the properties of these cardinals be further determined in the ZFC framework?

3. **Known Results**:
- It is known that \( c < A(A) \leq 2^c \), where \( c \) is the cardinality of the set of real numbers.
- The paper further proves that the cofinality of \( A(A) \) is greater than \( c \).

4. **New Results**:
- The paper proves that \( A(A)=A(D) \), that is, the cardinal invariants of almost continuous functions and functions with the Darboux property are equal.
- The characteristics of these cardinals are given by combinatorial methods.
- The paper also proves that in the ZFC framework, \( A(A) \) can be equal to any regular cardinal \( \kappa \) (where \( c^+ \leq \kappa \leq 2^c \)), and \( A(A) \) can be equal to \( 2^c \) without depending on the cofinality of \( 2^c \).

5. **Methods and Techniques**:
- The paper uses forcing techniques in set theory to prove these results.
- By constructing specific partially ordered sets and functional filters, the paper shows how to achieve specific values of these cardinals in different models.

In conclusion, the main objective of this paper is to deeply study the cardinal invariants of almost continuous functions and functions with the Darboux property, and explore the possible values and properties of these cardinals in the ZFC framework.