414/514 Homework 2 – Monotone and Baire one functions

This set is due in three weeks, on Monday, November 3, at the beginning of lecture.

1. Let be increasing. We know that and exist for all , and that has at most countably many points of discontinuity, say For each let be the intervals and . Some of these intervals may be empty, but for each at least one of them is not. (Here we follow the convention that and .) Let denote the length of the interval , and say that an interval precedes a point iff .

Verify that and, more generally, for any ,

precedes precedes .

Define a function by setting . Show that is increasing and continuous.

Now, for each , define so that , , and for all . Show that each is increasing, and its only discontinuity points are .

Prove that uniformly.

Use this to provide a (new) proof that increasing functions are in Baire class one.

2. Solve exercise 3.Q in the van Rooij-Schikhof book: If is such that for all , we have that and exist, then is the uniform limit of a sequence of step functions. The approach suggested in the book is the following:

Show that it suffices to argue that for every there is a step function such that for all .

To do this, consider the set there is a step function on such that for all .

Show that is non-empty. Show that if and , then also . This shows that is an interval or , with . Show that in fact the second possibility occurs, that is, . For this, the assumption that exists is useful. Finally, show that . For this, use now the assumption that exists.

3.(This problem is optional.) Find a counterexample to the following statement: If is the pointwise limit of a sequence of functions , then there is a dense subset where the convergence is in fact uniform. What if and the functions are continuous? Can you find a (reasonable) weakening of the statement that is true?

4. (This is example 1.1 in Andrew Bruckner’s Differentiation of real functions, CRM monograph series, AMS, 1994. MR1274044(94m:26001).) We want to define a function . Let be the Cantor set in . Whenever is one of the components of the complement of , we define for . For not covered by this case, we define . Verify that is a Darboux continuous function, and that it is discontinuous at every point of .

Verify that is not of Baire class one, but that there is a Baire class one function that coincides with except at (some of) the endpoints of intervals as above.

Verify that is in Baire class two.

Advertisements

Like this:

LikeLoading...

Related

This entry was posted on Friday, October 10th, 2014 at 12:45 pm and is filed under 414/514: Analysis I. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.

3 Responses to 414/514 Homework 2 – Monotone and Baire one functions

I have corrected the definition of the function in problem 1. Thanks to Jeremy Siegert for noticing the typo in the original version, and for noting that an should be .

Thanks to Stuart Nygard for noticing a further typo in question 2 (some should have been s). Fixed now.

In problem 1 we are supposed to show that each is discontinuous on the points . There is no based on how we indexed ‘s points of discontinuity, but it looks as though is discontinuous at . Should it be that each is discontinuous on ?

Let $C$ be the standard Cantor middle-third set. As a consequence of the Baire category theorem, there are numbers $r$ such that $C+r$ consists solely of irrational numbers, see here. What would be an explicit example of a number $r$ with this property? Short of an explicit example, are there any references addressing this question? A natural approach would […]

Suppose $M$ is an inner model (of $\mathsf{ZF}$) with the same reals as $V$, and let $A\subseteq \mathbb R$ be a set of reals in $M$. Suppose further that $A$ is determined in $M$. Under these assumptions, $A$ is also determined in $V$. The point is that since winning strategies are coded by reals, and any possible run of the game for $A$ is coded by a real, […]

Yes. This is obvious if there are no such cardinals. (I assume that the natural numbers of the universe of sets are the true natural numbers. Otherwise, the answer is no, and there is not much else to do.) Assume now that there are such cardinals, and that "large cardinal axiom" is something reasonable (so, provably in $\mathsf{ZFC}$, the relevant […]

Please send an email to mathrev@ams.org, explaining the issue. (This is our all-purpose email address; any mistakes you discover, not just regarding references, you can let us know there.) Give us some time, I promise we'll get to it. However, if it seems as if the request somehow fell through the cracks, you can always contact one of your friendly edit […]

The characterization mentioned by Mohammad in his answer really dates back to Lev Bukovský in the early 70s, and, as Ralf and Fabiana recognize in their note, has nothing to do with $L$ or with reals (in their note, they indicate that after proving their result, they realized they had essentially rediscovered Bukovský's theorem). See MR0332477 (48 #1080 […]

The paper MR1029909 (91b:03090). Mekler, Alan H.; Shelah, Saharon. The consistency strength of "every stationary set reflects". Israel J. Math. 67 (1989), no. 3, 353–366, that you mention in the question actually provides the relevant references and explains the key idea of the argument. Note first that $\kappa$ is assumed regular. They refer to MR […]

Start with Conway's base 13 function $c $ (whose range on any interval is all of $\mathbb R $), which is everywhere discontinuous, and note that if $f $ only takes values $0$ and $1$, then $c+f $ is again everywhere discontinuous (since its range on any interval is unbounded). Now note that there are $2^\mathfrak c $ such functions $f $: the characteris […]

Yes, there are such sets. To describe an example, let's start with simpler tasks. If we just want $P\ne\emptyset$ with $P^1=\emptyset$, take $P$ to be a singleton. If we want $P^1\ne\emptyset$ and $P^2=\emptyset$, take $P$ to be a strictly increasing sequence together with its limit $a$. Then $P^1=\{a\}$. If we want $P^2\ne\emptyset$ and $P^3=\emptyset$ […]

The result was proved by Kenneth J. Falconer. The reference is MR0629593 (82m:05031). Falconer, K. J. The realization of distances in measurable subsets covering $R^n$. J. Combin. Theory Ser. A 31 (1981), no. 2, 184–189. The argument is relatively simple, you need a decent understanding of the Lebesgue density theorem, and some basic properties of Lebesgue m […]

No, not even $\mathsf{DC}$ suffices for this. Here, $\mathsf{DC}$ is the axiom of dependent choice, which is strictly stronger than countable choice. For instance, it is a theorem of $\mathsf{ZF}$ that for any set $X$, the set $\mathcal{WO}(X)$ of subsets of $X$ that are well-orderable has size strictly larger than the size of $X$. This is a result of Tarski […]

I have corrected the definition of the function in problem 1. Thanks to Jeremy Siegert for noticing the typo in the original version, and for noting that an should be .

Thanks to Stuart Nygard for noticing a further typo in question 2 (some should have been s). Fixed now.

In problem 1 we are supposed to show that each is discontinuous on the points . There is no based on how we indexed ‘s points of discontinuity, but it looks as though is discontinuous at . Should it be that each is discontinuous on ?

Yes, exactly.