## 414/514 Simple examples of Baire class one functions

October 6, 2014

Recall that a real-valued function $f$ defined on an interval $I$ is (in) Baire class one ( $\mathcal B_1$) iff it is the pointwise limit of continuous functions.

Examples are continuous functions, of course, but functions in $\mathcal B_1$ do not need to be continuous. An easy example is the function $f:[0,1]\to\mathbb R$ given by $f(x)=0$ if $x\ne 1$ and $f(x)=1$ if $x=1$. This is the pointwise limit of the functions $f_n(x)=x^n$. By the way, an easy modification of this example shows that any function that is zero except at finitely many points is in $\mathcal B_1$.

Step functions are another source of examples. Suppose that $a=x_0 and that $s:[a,b]\to\mathbb R$ is constant on each $(x_i,x_{i+1})$. Then $s$ is the pointwise limit of the functions $s_k$, defined as follows: Fix a decreasing sequence $\epsilon_k$ converging to $0$, with $\epsilon_k\le 1/k$ and $2\epsilon_k for all $i$. Now define $\hat s_k$ as the restriction of $f$ to $\displaystyle \{x_0,x_1,\dots,x_n\}\cup\bigcup_{i=0}^{n-1}[x_i+\epsilon_k,x_{i+1}-\epsilon_k]$,

and let $s_k:[a,b]\to\mathbb R$ extend $\hat s_k$ by joining consecutive endpoints of the components of its domain with straight segments.

An important source of additional examples is the class of derivatives. Suppose $f:\mathbb R\to\mathbb R$ and $f(x)=g'(x)$ for all $x$. This is the pointwise limit of the functions $f_n(x)$ given by $f_n(x)=\displaystyle\frac{g\left(x+\frac1n\right)-g(x)}{\frac1n}.$

This simple construction does not quite work if $f$ is defined on a bounded interval (as $x+1/n$ may fall outside the interval for some values of $x$). We can modify this easily by using straight segments as in the case of step functions: Say $f:[a,b]\to\mathbb R$. For $n$ large enough so $1/n, define $f_n(x)$ as above for $x\in[a,b-1/n]$, and now set $f_n(b)=f(b)$ and extend $f_n$ linearly in the interval ${}[b-1/n,b]$.

Additional examples can be obtained by observing, first, that $\mathcal B_1$ is a real vector space, and second, that it is closed under uniform limits (the latter is not quite obvious). This gives us, for instance, that all monotone functions are in $\mathcal B_1$, since monotone functions are the uniform limit of step functions on bounded intervals: Given an increasing $f:[a,b]\to\mathbb R$, let $f_n(x)=\lfloor nf(x)\rfloor/n$. It follows that all functions of bounded variation are in $\mathcal B_1$, since any such function is the difference of two increasing functions.

Another interesting source of examples is characteristic functions. Given $X\subseteq\mathbb R$, the function $\chi_X$ is in $\mathcal B_1$ iff $X$ is both an $\mathbf F_\sigma$ and a $\mathbf G_\delta$ set.

On the other hand, $\chi_{\mathbb Q}$ is not in $\mathcal B_1$, since it is discontinuous everywhere while Baire class one functions are continuous on a comeager set.
{"ft_lang_label":"__label__en","ft_lang_prob":0.94182986,"math_prob":0.99998176,"size":2029,"snap":"2020-24-2020-29","text_gpt3_token_len":410,"char_repetition_ratio":0.15851852,"word_repetition_ratio":0.03888889,"special_character_ratio":0.20453425,"punctuation_ratio":0.11111111,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000087,"pos_list":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110],"im_url_duplicate_count":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-06-03T00:00:47Z\",\"WARC-Record-ID\":\"<urn:uuid:afdbc6a9-409d-4bf9-8fe4-35fa6a89a7e9>\",\"Content-Length\":\"96144\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:03e452e8-6028-479b-939e-fe6ec4426123>\",\"WARC-Concurrent-To\":\"<urn:uuid:faaa9267-2304-4b27-8738-2c31178436e2>\",\"WARC-IP-Address\":\"192.0.78.13\",\"WARC-Target-URI\":\"https://andrescaicedo.wordpress.com/2014/10/06/\",\"WARC-Payload-Digest\":\"sha1:6IQ7F4LNPYADT7F6YVW2QVGHBBVJ4QDK\",\"WARC-Block-Digest\":\"sha1:CVWU7VYVFAOXIPBBTYUPBTRASV2DERLD\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-24/CC-MAIN-2020-24_segments_1590347426956.82_warc_CC-MAIN-20200602224517-20200603014517-00341.warc.gz\"}"}