3
$\begingroup$

We say that a function $f$ is Baire Class $1$ if there is a sequence of functions $f_i \to f$ pointwise where each $f_i$ is continuous.

The set of discontinuities of a Baire Class $1$ function $f$ must be a first-category (meagre) set of points.

The Dirichlet function $f(x) = \begin{cases} 1 & x \in \mathbb Q \\ 0 & x \notin \mathbb Q \end{cases}$ is not Baire class $1$ since it is discontinuous everywhere.

But can't we write the function as $f_i(x) = \lim_{i\to\infty} \cos(i!\pi x)^{2i}$, each of which is a continuous function that converges pointwise to the Dirichlet function? What is wrong with this?

  • 0
    Vertainly, something like $e$, anyway. Not sure if $e$ works, but it is definitely possible to do something like it.2012-12-26

3 Answers 3

1

Let $0\le n_1 and define $x=2\sum_{j=1}^\infty \frac{1}{n_j!}$

Basically, we will pick $\{n_i\}$ to grow "fast enough" so that $\limsup_i \left(\cos n_i!\pi x\right)^{2n_i}>0$

Now $n_i!x = 2K + 2\sum_{j>i} \frac{n_i!}{n_j!}$ for some integer $K$. And:$0\leq \sum_{j>i} \frac{n_i!}{n_j!} < \frac{2}{n_i^{n_j-n_i}}(1+\frac{1}{n_j}+\frac{1}{n_j^2}+..) = \frac{2}{n_i^{n_j-n_i}}\frac{n_j}{n_j-1}$

So $n_i!x\pi = 2K\pi + z$ where $0\leq z < \frac{2\pi}{n_i^{n_j-n_i}}\frac{n_j}{n_j-1}$.

It's gonna be a little messy, but if you choose a reasonable sequence of $n_i$, then you'll be able to show that $\limsup_{i\to\infty}\left(\cos n_i!\pi x\right)^{2n_i}>0 $

In particular then, $\left(\cos j!\pi x\right)^{2j}$ cannot converge to zero.

0

I think there may be some confusion here. The sequence of functions you've proposed don't actually depend on the index (and, as people have pointed out, the limit doesn't converge everywhere.)

Do you instead mean to write $f_k(x) = \lim_{i \to \infty} \cos(k!\pi x)^{2i}$

If this is what you mean, then certainly, $\forall x \in \mathbb{R}$, $f(x) = \lim_{k \to \infty} f_k(x) = \lim_{k \to \infty} \lim_{i \to \infty} \cos(k!\pi x)^{2i} $

but the individual $f_k(x)$ are not continuous.

Added to elaborate:

What's continuous here are each $\cos(k! \pi x)$. This makes each $f_k(x)$ above of Baire class 1, but not continuous themselves: each $f_k(x)$ is $0$ on all the irrationals and rationals with sufficiently large denominators, and $1$ on the others (where "sufficiently large denominators" depends on $k$; as $k \to \infty$, we 'sweep out' all the rationals.) So what you have here is a sequence $f_k(x)$ of Baire class 1 functions converging pointwise to the Dirichlet function, where each of those $f_k(x)$ are themselves pointwise limits of a sequence of continuous functions.

  • 0
    Ah, ok, that would make more se$n$se. But then, yes, as you pointed out, it doesn't converge to the Dirichlet function.2012-12-26
-1

The set of discontinuities of a Baire Class 1 function f must be a first-category (meagre) set of points. Hence Dirichlet is not Baire 1
$f(x)=\lim_{i\to\infty} \lim_{j\to\infty} (\cos(i!πx)^{2j})$. This proves Dirichlet function is Baire 2 function.

  • 0
    For some basic information about writing math at this site see e.g. [here](http://meta.math.stackexchange.com/questions/5020/), [here](http://meta.stackexchange.com/a/70559/155238), [here](http://meta.math.stackexchange.com/questions/1773/) and [here](http://math.stackexchange.com/editing-help#latex).2012-12-26