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

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

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

Означення

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

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

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

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

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

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

Властивості

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

Приклади

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

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

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

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

Примітки

Banach, S. (1931). Über die Baire'sche Kategorie gewisser Funktionenmengen. Studia. Math. (3): pp. 174–179. {{}}: |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. {{}}: |pages= має зайвий текст ()