ベール関数
提供: miniwiki
数学において、ベール関数（ベールかんすう、英: Baire function）とは、以下に記すある種の性質を有する関数を指し、実解析、位相幾何学等様々な数学の分野で研究されている。
定義
距離空間 X で定義された実数値関数 f : X → R が連続のとき、これをベールの 0 階級の関数（英: Baire function of class 0）という。 超限帰納法により、任意の順序数 ξ に対して η を ξ より小さい順序数とし、高々 η 階級の関数列 fn の各点収束の極限として表される関数を、高々 ξ 階級（英: class ξ）の関数と言う。 高々 ξ 階級であって、ξ より小さい任意の順序数 η に関し、高々 η 階級でない関数を、ξ 階級の関数と言う。 これらを総称して、ベール関数（英: Baire function）と言う。 ただし、実際には、可算な順序より大きい順序数に対する階級の関数は存在しない。 従って、階級は常に自然数（非負整数）であるとして良い。
性質
アンリ・ルベーグは、X がユークリッド空間の完全集合 [1] ならば、全ての高々可算な順序数を階級とする関数が存在することを示した。 以下、特に断らない限り、この場合だけを考える。
- X が連続体濃度を持てば、X 上の全てのベール関数の集合も連続体濃度を持つ。 特に、X 上の全ての関数の濃度は連続体濃度より大きいから、ベール関数でない X 上の関数は、関数体の濃度 (2ℵ) だけ存在する（ルベーグ）。
- ベール関数であることとボレル可測関数であることは、同値である（ルベーグ）。
例
有理数体の特性関数 [math]\chi_{\mathbb Q}[/math] を、ディリクレ関数という。 ディリクレ関数は、至る所で不連続で、[math]\lim_{n \to \infin} \lim_{k \to \infin} \cos^{2k} (n! \pi x)[/math] と表せることから、2 階級の関数である。
一般に、n が増加すればする程、n 階級の関数は連続性を失う。