6
$\begingroup$

The statement of Baire grand theorem gives a characterization of Baire class 1 functions between a completely metrizable separable space (aka Polish space) and a separable metrizable space. The statement is the following:

Let $X$ be a Polish space, $Y$ separable metric space and $f:X\rightarrow Y$. Then the following are equivalent:

  1. $f$ is Baire class $1$, i.e. the preimages of open sets are $F_\sigma$ sets.
  2. $f\upharpoonright F$ (the restriction of $f$ on $F$) has a point of continuity for every non-empty closed set $F\subseteq X$.
  3. $\inf\{\text{osc}_{f\upharpoonright F}(x) \mid x \in F\} = 0$ for every non-empty closed set $F\subseteq X$.

I recall that $\text{osc}_f(x) = \inf\{\text{diam}(f(U))\mid x \in \text{dom(f)}, U \text{ open nbhd of }x\}$.
The equivalence $2 \Leftrightarrow 3$ is not that interesting and is a straightforward application of Baire category theorem (which guarantees us that every Polish space is hereditary Baire). Also $1\Leftrightarrow 2$ relies on Baire category theorem.
But if we drop the assumption that $X$ is completely metrizable (hence denying us to invoke Baire category theorem) then the equivalence of the statement above no longer holds. Fix for example a bijection $\varphi:\mathbb{Q}\rightarrow \mathbb{N}$, this function is nowhere continuous and its oscillation is infinite at every point, but it's still Baire class $1$, as every function with domain $\mathbb{Q}$ is Baire class 1.

Now I was wondering if we could get also a counterexample for the directions $2\Rightarrow 1$ and $3\Rightarrow 1$. Are there separable metrizable spaces $X,Y$ and a function $f:X\rightarrow Y$ such that $f\upharpoonright F$ has a point of continuity (resp. has arbitrarily small oscillations) for every closed $F\subseteq X$ but $f$ is not Baire class 1?
Do we need to assume some form of Choice to produce such counterexamples? Any ideas, suggetions?

Thanks!

EDIT 1: looking at the proof of Grand Baire theorem in Kechris' book (Kechris, Classical Descriptive Set Theory, p. 193 Thm 24.15 and p. 177 Exercise 22.30) then we have that $2\Rightarrow 1$ really does not use Baire category theorem, hence it goes through even if we don't assume $X$ completely metrizable. Therefore we cannot find a counterexample for $2\Rightarrow 1$, yet $3\Rightarrow 1$ is still unclear.

EDIT 2: We have that also $3\Rightarrow 1$: Take an open $U\subseteq Y$ and find $(F_n)_{n\in\mathbb{N}}$ a sequence of closed subsets of $Y$ such that

  1. $\bigcup_{n\in\mathbb{N}} F_n = U$
  2. $\inf\{d_Y(x,x')\mid x\in Y\setminus U, x' \in F_n\} = \epsilon_n > 0$ for every $n$

If $f^{-1}(Y\setminus U)$ and $f^{-1}(F_n)$ are not separated by a $\boldsymbol{\Delta}_2^0$ set for some $n$, then by Exercise 22.30 of Kechris' book we have that there exists a closed set $F\subseteq X$ such that both $f^{-1}(Y\setminus U),f^{-1}(F_n)$ are dense in $F$. Take $x \in F$ such that $\text{osc}_{f\upharpoonright F}(x) < \epsilon_n$, we end up in a contradiction.

$\endgroup$
2
  • $\begingroup$ What's the reason for the downvote? $\endgroup$
    – Lorenzo
    Mar 28, 2022 at 9:32
  • $\begingroup$ I clarified the title. Perhaps the downvoter was misled by it. $\endgroup$ Mar 28, 2022 at 11:55

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.