Volume 51, Number 1, August 1975
ON THE SUM OF DARBOUX FUNCTIONS
A. M. BRUCKNERl AND j. CEDER
ABSTRACT. The main purpose is to indicate how badly the sum of a continuous function with a Darboux function can fail to be a Darboux function.
1. Introduction. In recent years a number of articles have dealt with questions concerning the possible outcomes of adding two real functions with the Darboux property (i.e. the intermediate value property). For example, Sierpinski [8] (see also Fast [4]) showed that in the absence of further conditions on the functions, every function is the sum of two such (Darboux) functions. If one imposes certain additional conditions on the functions, this imposes restrictions on the possible sums, but the only func- tions / such that f + d is a Darboux function for each Darboux function d, ate the constant functions. A survey of results involving sums of Darboux functions can be found in §7 of [lj. Some more recent work on the subject can be found in [2], [5], and 16].
Since the sum of a nonconstant continuous function and a Darboux func- tion might fail to be a Darboux function, it is natural to ask just how badly it can fail. Not every function is such a sum. In fact, such a sum must be the uniform limit of a sequence of Darboux functions, and this imposes severe restrictions which are analyzed in [3]. On the other hand, Svarc 19]
has recently obtained two theorems that show that to certain continuous functions / and sets M there correspond Darboux functions d such that / + d is unbounded in every interval yet the range of f + d misses M. The main purpose of the present paper is to obtain in §3 a result, Theorem 1, which extends Svarc's two theorems by placing almost no restrictions on the set M except the obviously necessary condition that M have a dense complement and almost no restriction on the continuous function. In §4 we obtain a
Received by the editors April 27, 1974.
AMS (MOS) subject classifications (1970). Primary 26A15; Secondary 26A21, 26 A 24.
Key words and phrases. Darboux functions.
1 This author was supported in part by NSF grant GP 18968.
Copyright © 1975. American Mathematical Society License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use97
general theorem related to the types of sums under consideration. This theo- rem also contains the two theorems of Svarc.
2. Preliminaries. In the sequel we shall be concerned entirely with real functions defined on the real line R. We shall let -ß denote the class of Darboux functions, ~D denote the class of functions which take on every real value in every interval, and JJ denote the class of functions which take on every real value c times in every interval, where c denotes the cardinality of the continuum. It is clear that .V C Ju C D. If A is a set of real numbers we shall denote its cardinality by |A|, its Lebesgue measure (if it is measurable) by XA. If ß is a planar set, we shall denote its x- projection by dorn B and its y-projection by rng B. We shall denote the set of natural numbers by CJ0. Finally, where convenient, we shall not dis- tinguish a function from its graph.
3. The main result. We are now ready to obtain the result mentioned in the Introduction. Actually, we obtain a bit more, as we assume only that / have the Darboux property rather than that / be continuous.
Theorem 1. Let f be a Darboux function which is constant on no sub- interval of R and let M be a set of real numbers whose complement is dense.
Then, for each countable dense subset D of R\M there exists a function
d £ 9) such that the range of f + d is D.
Proof. Let D be a countable dense subset of R\M and let B =
\(x, r - f(x)): r £ D\. We shall define a function d £ 3) such that d C B.
This will guarantee that f(x) + d(x) £ D for all x.
Let K consist of all horizontal lines and U consist of all vertical lines.
If z e R , then H(z) or V(z) will denote that member of K or ü containing z.
It is clear that for each V £ U, V n ß is NQ-dense in V.
For H £ H and / any open subinterval of R there exist x and x in / for which f(x.) 4 f(x.), since / is not constant on any subinterval. Now D is dense in R, so there exists an r £ D such that X = rng H lies between r - f(x.) and r — ¡(xA). Since / is Darboux there exists an x £ J for which t - f(x) = X. Therefore, H n ß is dense in H.
For each planar set A, let M(A) = ¡ß Pi H: there exists z £ A such that
V(z) n B n H A0\. Let GQ(A) = M(A) and define
oo
G ,(A) = M(G (A)) and G(A) = U G (A).
n +1 n n
n = 0
Let Jl = \G(H): H £ K}. In order to define the desired function d, we need
License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use
the following facts:
(1) |rng N\ = N0 for all Neîl;
(2) UK=ß;
(3) N is dense in/VnJV for all H £ K and N £ Jl;
(A) if Nv N2 £ Jl and dom Nj n dom N2 ¿0, then Nj = Nr
Parts (2), (3) and (4) can be verified without difficulty. For the proof of (1) it suffices to show that |rng G ,.(H)\ = NQ whenever |rng G (H)\ = Nn. To show this let r £ D and K £ K and put A(K, r) = iy: there exists x such that (x, r - f(x)) £ K and (x, y) £ B\. The set A(K, r) is easily seen to have cardinality Nn. Putting A(K)= {J\A(K, r): r £ D\ we have |Á(K)| =
NQ for each K £ J(. Then for H £ K and |rng Gn(H)\ = KQ we have rng Gn + 1(H)= \J\A(K): rng K Ç rng G„(H)i so that rng G„ + 1(H) is a count- able union of countable sets and hence |rng G AH)\ = N. finishing the proof of (1).
We can now define the function d. First we define for each N £ Ji a function dN C N such that «^ is dense in any nonempty H n N foi H £ SX.
To do this let Í0 } „ be an enumeration of all horizontal rational open
n n — u *■
intervals which intersect N. Pick wQ £ O n N and z^n + j £ 0n C\N- U ■_n^(M'P" ^ut ^N ~ 'u;': z e ^nl' Then rfw is easily seen to be a func- tion dense in each nonempty H H N.
Next enumerate the countable family of uncountable sets of the form i(x, y): x £ J, y = r - /(x)|, where J is a rational open interval and r £ D, as
|C¿S¿_0. By induction pick a sequence of points íe¿i°l0 such that eQ £ CQ and e. 6 C¿\(JÍ/V e Tî: there exists / < i with e . e N\. This choice is pos- sible because the range of C . is an interval whereas the range of the other set is countable.
Define the function e by c = \e¿: z e ûj0I. Then |e n /V| < 1 for any
N £ Jl so that |e n ¿N| < 1 for any N £ Ti.
Now define a function ¿ on ü as follows:
e(x) if x £ dom e,
d(x) = / «\,(x) if x e dom ii .Adorn e,
any point in V((x, 0)) n ß if x /Uidom ¿N: ;V £ îi! u dom e.
It is clear that d C B. Since each horizontal open interval 0 hits some N and 0 n dN\e is dense in 0, it follows that ^ takes on each value in- finitely License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-useoften over each subinterval. Therefore, d e J.) .
For any open interval / and r £ D the function e and hence d hits the set \(x, y): x £ I, y = r - f(x)\. Hence, rng(/ + d)~\ I = D.
This finishes the proof.
Remark 1. It is easy to verify that we cannot drop the requirements that R\M be dense or that / be constant from our hypotheses without falsifying the conclusion in general. Svarc assumed in his two theorems that / and/or M meet certain additional conditions namely, that the level sets of / are countable and M is countable, or / is nowhere constant and M is nowhere dense. Theorem 1 now shows these assumptions are unnecessary.
It follows from Theorem 1 that to each continuous function / which is constant on no interval there corresponds a function d £ I) such that the range of / + d is countable. Thus, the graph of the sum of a continuous / and a d £ D can miss all but a countable number of horizontal lines. Now a function in JJ is already somewhat pathological because it takes on every value in every interval. But such functions can be well behaved in other respects, for example, there exist such functions in the second class of Baire. One might suppose that if / is sufficiently well behaved, then d can be chosen to be reasonably well behaved, but this does not seem to be true.
Theorem 2 below shows in particular that if R\M is countable and / is absolutely continuous, then d cannot even be Lebesgue measurable.
Theorem 2. // / is defined on R and absolutely continuous on an interval I, and if d £ S) is measurable, then f + d must have an uncountable range.
Proof. We note first that since / is absolutely continuous, it satisfies Lusin's condition (N) and Banach's condition (T.). Suppose that the range of / + d were a countable set. Without loss of generality we may suppose this set is infinite and enumerated as \miXi_ • Let E^ - \x: d(x) + f(x) = m, S. Then / = U,_.£,, and E, n E, = 0 if k /= I. Since d is measurable, each of the sets E is measurable. Now d(Ek) = (mk - j)(Ek) tot each k, and this set is measurable because / satisfies Lusin's condition (N). It follows that
Xd(Ek) = Xf(Ek) for each k.
Now let
A = Sx: / has no finite or infinite derivative at x\, B = \x: f'(x) is finite!,
and
C = \x: f'(x) is infinite!.
Then (1) Xf(A)= 0 because / satisfies Banach's condition (Tj) (see Saks
[7, p. 278]), (2) Xf(B) < ¡B\f'\dX (see [7, p. 272]), and (3) Xf(C) = 0 because
License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use
XC = 0 and / satisfies Lusin's condition (N). Thus
oo oo oo
~ = Xd(l) < £ Xd(Ek) = Z Xf(Ek n B) < £ fE nB l/'l dX = f l/'l dX < -,
¿1 = 1 fe=l k=l k
a contradiction. Thus the range of d + / cannot be countable.
Remark 2. We have been unable to determine whether Theorem 2 remains valid if we weaken absolute continuity of / to continuity of /.
4. A general result. We now turn to the question of characterizing those functions / which, for a given set M, admit a d £ S) such that the range of f + d misses M. Theorem 3 below gives such a characterization, and we observe that Svarc's results follow readily from this theorem.
Theorem 3. Let M be any proper subset of R and f be a real function on R. Then there exists a d £ T) such that the range of f + d misses M if and only if \\x £ I: X + f(x) ¿ Mi| = c ¡or every X £ R and every interval I.
Proof. («=) Suppose that |ix £ I: X + f(x) ¿ M\\ = c for each interval / and real number X. Let (l be the set of all nonvoid open intervals in R.
Well-order the set (R x Q) U (â x (R - M)) as \z¿a<c- Note that R x â and Cl x R\M ate disjoint. We shall define the required function d through the use of transfinite induction. The product ii xd will be used to guarantee that d £ JÔ and the product (f x (R\ M) will be used to guarantee that the range of / + d over each interval equals R\M. Suppose that a point
ix o> y a) e nas Deen chosen for all a < ß. We wish to define (x ß, y ß).
We have two cases:
Case I. z ߣ&x (R\M) and z „= (I, X) where / £ <2 and X £ r\m.
Since \\x : a < ß\\ < c we may pick x „ £ l\\x : a < ß\. Then put yß-
A - f(xß).
Case IL z „ £ R x d and z „= (A, /) where I £ d and A £ P.. Since
|{x e /: A + f(x) i Mi| = c, we may pick xß £ /\l*a: a < /3i so that A +
f(xB) i M. Then put yß~ X.
Our construction thus far defines a function d on the set E = \x : a < c\, namely d(x ) = y . We now extend this function to all of R. Thus, if x is not in E, choose a\x) in R so that d(x) + f(x) Í M. This is possible because M £ R.
We now show that the function d has the desired properties. First of all, for any nonvoid subinterval / and X £ R the cardinality of all open sub- intervals of J is c so that \\ß: z „= (A, /) where / £ U and / C /!| = c. But for each /3 in this set y „= A so that |i* £ J: d(x) = A!| = c. Hence, License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use / e 3) .
Secondly, for any A £ R\ M and any interval / we have d(x A) + f(x A) = A when zß= (I, X) by Case I. Hence, rng(/ + d) | / D R\M. On the other hand, we have f(x „) + d(x A) = X £ R\M whenever z „ £ U x R\M and we have d(x A) + f(x „) ¿ M whenever z „ £ R x (Í. Moreover, for x ff dom E, d(x) + f(x) i M. Hence, in any case rng(/ + d) | / C P\ M. Therefore
rng(/ + d) j /= R\M fot all subintervals /.
(=») Suppose there exists a Darboux function d with the properties stated in the statement of the theorem.
Suppose there exists X £ R and an open interval / for which |{* £ I:
X + f(x) i Mi| < c. Since ||x £ I: d'x) = X\\ = c there exists x £ I such that d(x) = X and A + f(x) £ M. Therefore, d(x) + f(x) £ M, a contradiction. Hence,
\{x £ I: X + f(x) ¿ MÍ| = c for all A £ R and intervals /. This completes the proof of Theorem 3.
Theorem 3 does not hold if we replace S) with S) . For example, suppose M = Í0! and f(x) = 0 if x is irrational and f(x) = 1 when x is rational.
Let d £ 3) with d(x) = 0 when x is rational. Then rng(/ + d) | / = R - \0\
fot each /. Moreover |ix £ I: d(x) = X\\ < c and in fact |!x £ /: d(x) = 0!| < c.
However, \\x £ l: 0+/(x)¿Í0}}| - Kn-
We have been unable to find a necessary and sufficient condition for the existence of a d £ 3) having the property that rng(/ + d)\ I D R\M fot each interval I.
REFERENCES
1. A. M. Bruckner and J. G. Ceder, Darboux continuity, Jber. Deutsch. Math.-
Verein. 67 (1964/65), Abt. 1, 93-117. MR 32 #4217.
2. A. M. Bruckner, J. G. Ceder and R. Keston, Representations and approxima- tions by Darboux functions in the first class of Baire, Rev. Roumaine Math. Pures
Appl. 13 (1968), 1246-1254. MR 39 #4333.
3. A. M. Bruckner, J. G. Ceder and M. Weiss, Uniform limits of Darboux func-
tions, Colloq. Math. 15 (1966), 65-77. MR 33 #5794.
4. H. Fast, Une remarque sur la propriété de Weierstrasse, Colloq. Math. 7
(1959), 75-77. MR 22 #11087.
5. A. B. Gurevic, D-continuous Sierpinski components, Dokl. Akad. Nauk BSSR 10 (1966), 539-541. (Russian) MR 34 #4424
6. L. Misik, Zu zwei Sätzen von W. Sierpinski, Rev. Roumaine Math. Pures
Appl. 12 (1967), 849-860. MR 36 #6557.
7. S. Saks, Theory of the integral, 2nd rev. ed., Monografie Math., vol. VII, PWN, Warsaw, 1937; reprint, Dover, New York, 1964. MR 29 #4850.
8. W. Sierpinski, Sur une propriété de fonctions reelles quelconques, Mate-
matiche (Catania) 8 (1953), no. 2, 43-48. MR 16, 229.
9. R. Svarc, On the range of values of the sum of a continuous and a Darboux
function, Casopis Pest. Mat. 98 (1973), 178-180, 213. MR 48 #470.
DEPARTMENT OF MATHEMATICS, UNIVERSITY OF CALIFORNIA, SANTA BARBARA, CALIFORNIA 93106
License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use