ベールの範疇定理とは？わかりやすく解説

数学におけるベールの範疇定理（ベールのはんちゅうていり、英: Baire category theorem）、あるいはベールのカテゴリー定理^[1]は、位相空間論および関数解析学で重要な道具で、ルネ＝ルイ・ベールが1899年の博士学位論文において証明した。この定理には二つの形があり、何れも位相空間がベール空間であるための十分条件を与えるものになっている。