Множина першої категорії

У таких галузях математики як загальна топологія, описова теорія множин, множиною першої категорії називається зліченне об'єднання ніде не щільних множин.

Доповнення множини першої категорії називається залишковою множиною.

Означення ред.

Для топологічного простору X, підмножина A в X називається худою (множиною першої категорії), якщо вона може бути зображена у вигляді зліченного об'єднання ніде не щільних підмножин X. Аналогічно, залишкова множина та, чиє доповнення є множиною першої категорії, або, що еквівалентно, зліченний перетин множин із щільними внутрішностями.

Нагадаємо, що підмножина B із X ніде не щільна, якщо немає околу, на якому B щільна: для будь-якої непорожньої відкритої множини U в X існує непорожня відкрита множина V, що міститься в U така, що V і B не перетинаються.

Зверніть увагу, що доповнення ніде не щільної множини щільна множина, але не кожна щільна множина має такий вигляд. Точніше, доповнення ніде не щільної множини — множина з щільною внутрішністю.

Відношення до ієрархії Бореля ред.

Так само, як ніде не щільна підмножина не обов'язково замкнена, але завжди міститься у замкнутій ніде не щільній підмножині (а саме, її замиканні), множина першої категорії не мусить бути множиною типу F_σ (зліченним об'єднанням замкнутих множин), але завжди міститься в F_σ множині з ніде не щільних множин (шляхом взяття замикання кожної множини).

Аналогічно, як доповнення ніде не щільної множини не мусить бути відкритим, але має щільну внутрішність (містить щільну відкриту множину), залишкова множина не мусить бути множиною типу G_δ (зліченним перетином відкритих множин), але містить щільну G_δ множину, що складається з щільних відкритих множин.

Властивості ред.

Будь-яка підмножина множини першої категорії множина першої категорії; будь-яка множина, що містить залишкову множину, є залишковою множиною.
Зліченне об'єднання множин першої категорії також є множиною першої категорії; зліченний перетин множин другої категорії є залишковою множиною.

Приклади ред.

Підмножини дійсних чисел ред.

Раціональні числа множина першої категорії як підмножина дійсних чисел і як простір — вони не берівський простір.
Множина Кантора є множиною першої категорії як підмножина дійсних чисел, але не як простір, тому що ця множина повний метричний простір --- таким чином, берівський простір, за теоремою Бера про категорії.

Функціональні простори ред.

Множина функцій, які мають похідну в деякій точці множина першої категорії в просторі всіх неперервних функцій.^[1]

Примітки ред.

↑ Banach, S. (1931). Über die Baire'sche Kategorie gewisser Funktionenmengen. Studia. Math. (3): pp. 174–179. {{cite journal}}: |pages= має зайвий текст (довідка)

Див. також ред.

Посилання ред.

Is there a measure zero set which isn’t meagre? [Архівовано 25 листопада 2010 у Wayback Machine.]

[1] Banach, S. (1931). Über die Baire'sche Kategorie gewisser Funktionenmengen. Studia. Math. (3): pp. 174–179. {{cite journal}}: |pages= має зайвий текст (довідка)

[1]