Return to Question

Definitions: Let $X$ be a Polish space (separable completely metrizable topological space). A function $f:X\to\mathbb{R}$ is Baire Class $1$ if it is a pointwlise limit of a sequence of continuous functions.

Baire proved that $f$ is Baire Class $1$ if and only if for every nonempty closed set $P\subseteq X,$ there exists a point of continuity of $f$ in $P.$ To measure the 'quantitative discontinuities' of $f,$ the oscillation rank is introduced, whose definitions are recalled below.

Fix $\varepsilon>0$ and a Baire Class $1$ function $f:X\to\mathbb{R}.$ All ordinals considered below are countable. Recall that oscillation of $f$ at $x\in X$ on $P\subseteq X$ is defined by $$\omega(f,x,P) = \inf\{ \sup_{y,z\in U\cap P}|f(y)-f(z)| : U\text{ is open}, U\ni x \}.$$ Define iterative derivatives as follows: \begin{align*} D^0(f,\varepsilon,X) & = X \\ D^{\alpha+1}(f,\varepsilon,X) & = \{x\in D^\alpha(f,\varepsilon, X): \omega(f,x, D^\alpha(f,\varepsilon,X)\geq \varepsilon) \} \\ D^\alpha(f,\varepsilon,X) & = \bigcap_{\theta<\alpha}D^\theta(f,\varepsilon,X) \quad \alpha \text{ is a limit ordinal}. \end{align*} One interpretation of the iterative sets is that, we start with the whole space $X.$ Then we collect those discontinuities in $X$ where $f$ 'jump' more than $\varepsilon.$ Among those discontinuities, we do the same for transfinitely many steps.

Let $\beta(f,\varepsilon) = \min\{\eta: D^\eta(f,\varepsilon,X)=\emptyset\}$ and oscillation rank of $f$ be $$\beta(f) = \sup_{\varepsilon>0} \beta(f,\varepsilon).$$

Note that the rank $\beta$ is investigated by Kechris and Denny and Tang.

Question: Does there exist a Baire Class $1$ function $f:X\to\mathbb{R}$ such that $\omega\cdot n<\beta(f)\leq \omega\cdot (n+1)$ for some natural number $n\geq 1.$

We know that $\beta(f)=1$ if $f$ is continuous, $\beta(f)<\omega_1$ (the first uncountable ordinal) if $f$ is Baire Class $1.$ However, I am unable to construct a Baire Class $1$ function whose oscillation rank falls between $\omega$ and $\omega\cdot 2,$ which is $n=1$ in my question.

Definitions: Let $X$ be a Polish space (separable completely metrizable topological space). A function $f:X\to\mathbb{R}$ is Baire Class $1$ if it is a pointwlise limit of a sequence of continuous functions.

Baire proved that $f$ is Baire Class $1$ if and only if for every nonempty closed set $P\subseteq X,$ there exists a point of continuity of $f$ in $P.$ To measure the 'quantitative discontinuities' of $f,$ the oscillation rank is introduced, whose definitions are recalled below.

Fix $\varepsilon>0$ and a Baire Class $1$ function $f:X\to\mathbb{R}.$ All ordinals considered below are countable. Recall that oscillation of $f$ at $x\in X$ on $P\subseteq X$ is defined by $$\omega(f,x,P) = \inf\{ \sup_{y,z\in U\cap P}|f(y)-f(z)| : U\text{ is open}, U\ni x \}.$$ Define iterative derivatives as follows: \begin{align*} D^0(f,\varepsilon,X) & = X \\ D^{\alpha+1}(f,\varepsilon,X) & = \{x\in D^\alpha(f,\varepsilon, X): \omega(f,x, D^\alpha(f,\varepsilon,X)\geq \varepsilon) \} \\ D^\alpha(f,\varepsilon,X) & = \bigcap_{\theta<\alpha}D^\theta(f,\varepsilon,X) \quad \alpha \text{ is a limit ordinal}. \end{align*} One interpretation of the iterative sets is that, we start with the whole space $X.$ Then we collect those discontinuities in $X$ where $f$ 'jump' more than $\varepsilon.$ Among those discontinuities, we do the same for transfinitely many steps.

Let $\beta(f,\varepsilon) = \min\{\eta: D^\eta(f,\varepsilon,X)=\emptyset\}$ and oscillation rank of $f$ be $$\beta(f) = \sup_{\varepsilon>0} \beta(f,\varepsilon).$$

Note that the rank $\beta$ is investigated by Kechris and Denny and Tang.

Question: Does there exist a Baire Class $1$ function $f:X\to\mathbb{R}$ such that $\omega\cdot n<\beta(f)\leq \omega\cdot (n+1)$ for some natural number $n\geq 1.$

We know that $\beta(f)=1$ if $f$ is continuous, $\beta(f)<\omega_1$ (the first uncountable ordinal) if $f$ is Baire Class $1.$ However, I am unable to construct a Baire Class $1$ function whose oscillation rank falls between $\omega$ and $\omega\cdot 2,$ which is $n=1$ in my question. When $n=0,$ I can construct a function $f$ such that $\beta(f)=m$ where $m$ is a given natural number.

Definitions: Let $X$ be a Polish space (separable completely metrizable topological space). A function $f:X\to\mathbb{R}$ is Baire Class $1$ if it is a pointwlise limit of a sequence of continuous functions.

Baire proved that $f$ is Baire Class $1$ if and only if for every nonempty closed set $P\subseteq X,$ there exists a point of continuity of $f$ in $P.$ To measure the 'quantitative discontinuities' of $f,$ the oscillation rank is introduced, whose definitions are recalled below.

Fix $\varepsilon>0$ and a Baire Class $1$ function $f:X\to\mathbb{R}.$ All ordinals considered below are countable. Recall that oscillation of $f$ at $x\in X$ on $P\subseteq X$ is defined by $$\omega(f,x,P) = \inf\{ \sup_{y,z\in U\cap P}|f(y)-f(z)| : U\text{ is open}, U\ni x \}.$$ Define iterative derivatives as follows: \begin{align*} D^0(f,\varepsilon,X) & = X \\ D^{\alpha+1}(f,\varepsilon,X) & = \{x\in D^\alpha(f,\varepsilon, X): \omega(f,x, D^\alpha(f,\varepsilon,X)\geq \varepsilon) \} \, , \alpha \text{ is a successor ordinal}\\ D^\alpha(f,\varepsilon,X) & = \bigcap_{\theta<\alpha}D^\theta(f,\varepsilon,X) \quad \alpha \text{ is a limit ordinal}. \end{align*} One interpretation of the iterative sets is that, we start with the whole space $X.$ Then we collect those discontinuities in $X$ where $f$ 'jump' more than $\varepsilon.$ Among those discontinuities, we do the same for transfinitely many steps.

Let $\beta(f,\varepsilon) = \min\{\eta: D^\eta(f,\varepsilon,X)=\emptyset\}$ and oscillation rank of $f$ be $$\beta(f) = \sup_{\varepsilon>0} \beta(f,\varepsilon).$$

Note that the rank $\beta$ is investigated by Kechris and Denny and Tang.

Question: Does there exist a Baire Class $1$ function $f:X\to\mathbb{R}$ such that $\omega\cdot n<\beta(f)\leq \omega\cdot (n+1)$ for some natural number $n\geq 1.$

We know that $\beta(f)=1$ if $f$ is continuous, $\beta(f)<\omega_1$ (the first uncountable ordinal) if $f$ is Baire Class $1.$ However, I am unable to construct a Baire Class $1$ function whose oscillation rank falls between $\omega$ and $\omega\cdot 2,$ which is $n=1$ in my question.

Definitions: Let $X$ be a Polish space (separable completely metrizable topological space). A function $f:X\to\mathbb{R}$ is Baire Class $1$ if it is a pointwlise limit of a sequence of continuous functions.

Baire proved that $f$ is Baire Class $1$ if and only if for every nonempty closed set $P\subseteq X,$ there exists a point of continuity of $f$ in $P.$ To measure the 'quantitative discontinuities' of $f,$ the oscillation rank is introduced, whose definitions are recalled below.

Fix $\varepsilon>0$ and a Baire Class $1$ function $f:X\to\mathbb{R}.$ All ordinals considered below are countable. Recall that oscillation of $f$ at $x\in X$ on $P\subseteq X$ is defined by $$\omega(f,x,P) = \inf\{ \sup_{y,z\in U\cap P}|f(y)-f(z)| : U\text{ is open}, U\ni x \}.$$ Define iterative derivatives as follows: \begin{align*} D^0(f,\varepsilon,X) & = X \\ D^{\alpha+1}(f,\varepsilon,X) & = \{x\in D^\alpha(f,\varepsilon, X): \omega(f,x, D^\alpha(f,\varepsilon,X)\geq \varepsilon) \} \\ D^\alpha(f,\varepsilon,X) & = \bigcap_{\theta<\alpha}D^\theta(f,\varepsilon,X) \quad \alpha \text{ is a limit ordinal}. \end{align*} One interpretation of the iterative sets is that, we start with the whole space $X.$ Then we collect those discontinuities in $X$ where $f$ 'jump' more than $\varepsilon.$ Among those discontinuities, we do the same for transfinitely many steps.

Let $\beta(f,\varepsilon) = \min\{\eta: D^\eta(f,\varepsilon,X)=\emptyset\}$ and oscillation rank of $f$ be $$\beta(f) = \sup_{\varepsilon>0} \beta(f,\varepsilon).$$

Note that the rank $\beta$ is investigated by Kechris and Denny and Tang.

Question: Does there exist a Baire Class $1$ function $f:X\to\mathbb{R}$ such that $\omega\cdot n<\beta(f)\leq \omega\cdot (n+1)$ for some natural number $n\geq 1.$

We know that $\beta(f)=1$ if $f$ is continuous, $\beta(f)<\omega_1$ (the first uncountable ordinal) if $f$ is Baire Class $1.$ However, I am unable to construct a Baire Class $1$ function whose oscillation rank falls between $\omega$ and $\omega\cdot 2,$ which is $n=1$ in my question.

Definitions: Let $X$ be a Polish space (separable completely metrizable topological space). A function $f:X\to\mathbb{R}$ is Baire Class $1$ if it is a pointwlise limit of a sequence of continuous functions.

Baire proved that $f$ is Baire Class $1$ if and only if for every nonempty closed set $P\subseteq X,$ there exists a point of continuity of $f$ in $P.$ To measure the 'quantitative discontinuities' of $f,$ the oscillation rank is introduced, whose definitions are recalled below.

Fix $\varepsilon>0$ and a Baire Class $1$ function $f:X\to\mathbb{R}.$ All ordinals considered below are countable. Recall that oscillation of $f$ at $x\in X$ on $P\subseteq X$ is defined by $$\omega(f,x,P) = \inf\{ \sup_{y,z\in U\cap P}|f(y)-f(z)| : U\text{ is open}, U\ni x \}.$$ Define iterative derivatives as follows: \begin{align*} D^0(f,\varepsilon,X) & = X \\ D^{\alpha+1}(f,\varepsilon,X) & = \{x\in D^\alpha(f,\varepsilon, X): \omega(f,x, D^\alpha(f,\varepsilon,X)\geq \varepsilon) \} \, , \alpha \text{ is a successor ordinal}\\ D^\alpha(f,\varepsilon,X) & = \bigcap_{\theta<\alpha}D^\theta(f,\varepsilon,X) \quad \theta \text{ is a limit ordinal}. \end{align*} Let $\beta(f,\varepsilon) = \min\{\eta: D^\eta(f,\varepsilon,X)=\emptyset\}$ and oscillation rank of $f$ be $$\beta(f) = \sup_{\varepsilon>0} \beta(f,\varepsilon).$$ Note that the rank $\beta$ is investigated by Kechris and Denny and Tang.

Question: Does there exist a Baire Class $1$ function $f:X\to\mathbb{R}$ such that $\omega\cdot n<\beta(f)\leq \omega\cdot (n+1)$ for some natural number $n\geq 1.$

We know that $\beta(f)=1$ if $f$ is continuous, $\beta(f)<\omega_1$ (the first uncountable ordinal) if $f$ is Baire Class $1.$ However, I am unable to construct a Baire Class $1$ function whose oscillation rank falls between $\omega$ and $\omega\cdot 2,$ which is $n=1$ in my question.

Definitions: Let $X$ be a Polish space (separable completely metrizable topological space). A function $f:X\to\mathbb{R}$ is Baire Class $1$ if it is a pointwlise limit of a sequence of continuous functions.

Baire proved that $f$ is Baire Class $1$ if and only if for every nonempty closed set $P\subseteq X,$ there exists a point of continuity of $f$ in $P.$ To measure the 'quantitative discontinuities' of $f,$ the oscillation rank is introduced, whose definitions are recalled below.

Fix $\varepsilon>0$ and a Baire Class $1$ function $f:X\to\mathbb{R}.$ All ordinals considered below are countable. Recall that oscillation of $f$ at $x\in X$ on $P\subseteq X$ is defined by $$\omega(f,x,P) = \inf\{ \sup_{y,z\in U\cap P}|f(y)-f(z)| : U\text{ is open}, U\ni x \}.$$ Define iterative derivatives as follows: \begin{align*} D^0(f,\varepsilon,X) & = X \\ D^{\alpha+1}(f,\varepsilon,X) & = \{x\in D^\alpha(f,\varepsilon, X): \omega(f,x, D^\alpha(f,\varepsilon,X)\geq \varepsilon) \} \, , \alpha \text{ is a successor ordinal}\\ D^\alpha(f,\varepsilon,X) & = \bigcap_{\theta<\alpha}D^\theta(f,\varepsilon,X) \quad \alpha \text{ is a limit ordinal}. \end{align*} One interpretation of the iterative sets is that, we start with the whole space $X.$ Then we collect those discontinuities in $X$ where $f$ 'jump' more than $\varepsilon.$ Among those discontinuities, we do the same for transfinitely many steps.

Let $\beta(f,\varepsilon) = \min\{\eta: D^\eta(f,\varepsilon,X)=\emptyset\}$ and oscillation rank of $f$ be $$\beta(f) = \sup_{\varepsilon>0} \beta(f,\varepsilon).$$

Note that the rank $\beta$ is investigated by Kechris and Denny and Tang.

Question: Does there exist a Baire Class $1$ function $f:X\to\mathbb{R}$ such that $\omega\cdot n<\beta(f)\leq \omega\cdot (n+1)$ for some natural number $n\geq 1.$

We know that $\beta(f)=1$ if $f$ is continuous, $\beta(f)<\omega_1$ (the first uncountable ordinal) if $f$ is Baire Class $1.$ However, I am unable to construct a Baire Class $1$ function whose oscillation rank falls between $\omega$ and $\omega\cdot 2,$ which is $n=1$ in my question.