若函数$f:[a,b]\to\mathbb{R}$为第一类函数，是否在$[a,b]$上除可数点外处处连续？

嘿，这个问题刚好是Baire范畴理论里的经典讨论点，我来给你拆解清楚：

首先明确核心问题：已知「若函数在$[a,b]$上除可数个点外处处连续，则它是第一类函数」，反过来，第一类函数是否一定在$[a,b]$上除可数个点外处处连续？

答案是否定的——存在第一类函数，它的不连续点集是不可数的，但这个集合属于「第一纲集」（即可数个无处稠密集的并）。

经典反例：Cantor集上的特征函数 #

我们拿$[0,1]$区间来构造例子：

• 先定义Cantor集$C$：这是$[0,1]$上一个不可数的、无处稠密的闭集（构造方式是不断挖去区间中间1/3的开区间）。
• 定义函数$f:[0,1]\to\mathbb{R}$：
  $$
  f(x) =
  \begin{cases}
  1, & x \in C \
  0, & x \notin C
  \end{cases}
  $$
• 构造连续函数序列$(f_n)$来逼近$f$：对每个$n$，$f_n$在Cantor集第$n$步构造后保留的所有闭区间上取值为1，在被挖去的开区间上做线性插值（让函数值从1平滑过渡到0）。这个序列的逐点极限就是$f$，所以$f$是第一类函数。
• 但$f$的不连续点集恰好就是Cantor集$C$——而$C$是不可数的，这就直接推翻了「第一类函数必除可数点外连续」的猜想。

补充关键结论（Baire定理推论） #

这里要明确第一类函数的本质特征：

• 一个函数是第一类函数，当且仅当它的不连续点集是$\boldsymbol{F_\sigma}$集（即可数个闭集的并），并且是第一纲集。
• 「除可数点外处处连续」只是第一类函数的一种特殊情况（可数集一定是第一纲的$F_\sigma$集），但不是全部情况——像Cantor集这种不可数的第一纲集，也可以成为第一类函数的不连续点集。

内容的提问来源于stack exchange，提问作者Idonknow