Let $X$ be a metric space. Suppose a real-valued function $f:X\rightarrow \mathbb{R}$ is upper semicontinuous class $2$ if for all $c \in \mathbb{R},$ its preimage $f^{-1}(-\infty,c)$ is $F_{\sigma}$.
In this post, I asked whether we can approximate upper semicontinuous class $2$ by class of upper semicontinuous functions. The answer is negative.
Question: Suppose $f$ is upper semicontinuous class $2$. Does there exist a sequence $(f_n)_{n \in \mathbb{N}}$ of upper semicontinuous class $2$ such that $f(x) = \inf_{n \in \mathbb{N}}f_n(x)$ for all $x \in X?$ In other words, does there exists a strictly decreasing sequence $(f_n)_{n \in \mathbb{N}}$ such that it decreases pointwise to $f$?
UPDATE: As mentioned in comment, one can simply take $f_n(x) = f(x) + \frac{1}{n}$ for all $n \in \mathbb{N},$ and $f$ still remains upper semicontinuous class $2$.
Denote the class of upper semicontinuous class 2 as $SB(2).$
Question: For any bounded function $f$ on $X$, define regularization of $f$ as $\hat{f}=\inf\{ g: g \in SB(2),g \geq f \}$. Is $\hat{f} \in SB(2)?$
For any real number $c$, one has $(\hat{f})^{-1}(-\infty,c) = \cup_{g \in SB(2)}g^{-1}(-\infty,c)$. If $SB(2)$ is uncountable (which I believe it is), then one cannot conclude that $\hat{f} \in SB(2).$ However, this does not disprove that $f \in SB(2).$
