Фільтр (порядок)

Фільтр — в теорії порядку, це підмножина $\ F$ частково впорядкованої множини $(P,\leq ),$ яка задовольняє певним умовам. Також фільтри можна знайти в топології, де вони власне, і виникли.

Два фільтри, позначені синім та зеленим кольором,
та ультрафільтр в який вони входять, позначено голубим.

Фільтр — поняття двоїсте до ідеалу.

Формальне визначення

Підмножина F частково впорядкованої множини (P,≤) є фільтром, якщо виконуються такі умови:

$\forall x,y\in F:\exists z\in F:\;(z\leq x)\land (z\leq y)$ . (F є базою фільтру)
$\forall x\in F,y\in P:x\leq y\Rightarrow y\in F$ (F є верхньою множиною)
Фільтр є правильним, якщо він не дорівнює всій множині P. Часто це вважають частиною поняття фільтру.

Спочатку поняття фільтру виникло для решіток. У випадку решіток, вищенаведене означення еквівалентне наступному твердженню:

Підмножина F решітки (P,≤) є фільтром, тоді і тільки тоді, коли це верхня множина, замкнена щодо застосування операції інфімуму скінченну кількість разів.

Тобто, для будь-яких x, y з F, x ∧ y також належить F.

Поняття двоїсте до фільтру, тобто, те що ми отримаємо, замінивши для фільтру всі ≤ на обернені і ∧ на ∨, це — ідеал.

Найменший фільтр, що містить елемент p називається головним фільтром породженим цим елементом. Формально $\{x\in P:\;p\leq x\},$ позначається $~\uparrow p.$

Простий фільтр — фільтр, доповненням якого є ідеал.

Максимальний фільтр чи ультрафільтр — фільтр, для якого не існує більшого фільтра.

Фільтри на множині

Для довільної множини, її булеан є частково-впорядкованою множиною за включенням, таким чином можна вводити поняття фільтра та ідеала для множини.

База фільтра

Нехай ${\mathfrak {F}}$ - фільтр на множині $X$ . Сімейство підмножин ${\mathfrak {B}}\subset {\mathfrak {F}}$ називається базою (базисом) фільтра ${\mathfrak {F}}$ , якщо кожний елемент фільтра ${\mathfrak {F}}$ містить деякий елемент бази ${\mathfrak {B}}$ , тобто для кожного $Y\in {\mathfrak {F}}$ існує $B\in {\mathfrak {B}}$ таке, що $B\subset Y$ . При цьому фільтр ${\mathfrak {F}}$ збігається з сімейством усіх можливих надмножин множин з ${\mathfrak {B}}$ . Зокрема, фільтри, які мають спільну базу, збігаються. Кажуть також, що база ${\mathfrak {B}}$ породжує фільтр ${\mathfrak {F}}$

Дві бази ${\mathfrak {B}}$ та ${\mathfrak {B}}'$ називаються еквівалентними, якщо будь-який елемент $B\in {\mathfrak {B}}$ містить у собі деякий елемент $B'\in {\mathfrak {B}}'$ , і навпаки, будь-який елемент $B'\in {\mathfrak {B}}'$ містить у собі деякий елемент $B\in {\mathfrak {B}}$

Еквівалентні бази породжують один і той самий фільтр. Серед усіх баз, еквівалентних даній базі ${\mathfrak {B}}$ існує максимальна за включенням база, а саме, породжений цією базою фільтр ${\mathfrak {F}}$ . Таким чином, між класами еквівалентних баз і фільтрами існує природна бієкція.

Порівняння фільтрів

Нехай на множині $X$ задані два фільтра ${\mathfrak {F}}$ і ${\mathfrak {F}}'$ . Кажуть, що фільтр ${\mathfrak {F}}'$ мажорує фільтр ${\mathfrak {F}}$ ( ${\mathfrak {F}}'$ сильніший ${\mathfrak {F}}$ , ${\mathfrak {F}}'$ тонший ${\mathfrak {F}}$ ), якщо ${\mathfrak {F}}'\supset {\mathfrak {F}}$ . У цьому випадку також говорять, що фільтр ${\mathfrak {F}}$ мажорується фільтром ${\mathfrak {F}}'$ ( ${\mathfrak {F}}$ слабший ${\mathfrak {F}}'$ , ${\mathfrak {F}}$ грубіший ${\mathfrak {F}}'$ ).

Говорять, що база ${\mathfrak {B}}'$ сильніше бази ${\mathfrak {B}}$ , і записують ${\mathfrak {B}}'\geqslant {\mathfrak {B}}$ , якщо кожний елемент $B\in {\mathfrak {B}}$ містить у собі деякий елемент $B'\in {\mathfrak {B}}'$ . База ${\mathfrak {B}}'$ сильніша бази ${\mathfrak {B}}$ тоді і тільки тоді, коли фільтр ${\mathfrak {F}}'$ , породжений базою ${\mathfrak {B}}'$ , сильніший фільтра ${\mathfrak {F}}$ , породженого базою ${\mathfrak {B}}$ .

Бази ${\mathfrak {B}}$ та ${\mathfrak {B}}'$ еквівалентні тоді і тільки тоді, коли одночасно ${\mathfrak {B}}'\geqslant {\mathfrak {B}}$ та ${\mathfrak {B}}\geqslant {\mathfrak {B}}'$ .

Фільтри у топологічних просторах

Нехай $(X,{\mathcal {T}})$ -- топологічний простір і ${\mathfrak {F}}$ --- фільтр на множині $X$ . Точка $a\in X$ називається границею фільтра ${\mathfrak {F}}$ , якщо кожний окіл $V(a)$ точки $a$ належить фільтру ${\mathfrak {F}}$ . Позначення: $\lim {\mathfrak {F}}=a$ . Для фільтра ${\mathfrak {F}}$ , породженого базою ${\mathfrak {B}}$ , рівність $\lim {\mathfrak {F}}=a$ виконується тоді і тільки тоді, коли для кожного околу $V(a)$ повністю вміщає деяку множину з ${\mathfrak {B}}$ .

У гаусдорфовому топологічному просторі фільтр може мати не більше однієї границі.

Точка $a\in X$ називається граничною точкою (точкою дотику, частковою границею) фільтра ${\mathfrak {F}}$ , якщо $a$ належить замиканню кожної множини з ${\mathfrak {F}}$ , тобто $a\in {\overline {Y}}$ для всіх $Y\in {\mathfrak {F}}$ . Рівносильно, для кожного околу $V(a)$ точки $a$ і для кожної $Y\in {\mathfrak {F}}$ виконується $V(a)\cap Y\neq \varnothing$ . Кожна гранична точка ультрафільтра є його границею.

В компактному топологічному просторі кожен фільтр має граничну точку, а кожен ультрафільтр має границю.

Дивись також

Джерела

Биркгоф Г. Теория решёток / пер. с англ. В. Н. Салий ; под ред. Л. А. Скорнякова. — 3-е изд. — Москва : Наука, 1984. — 568 с.(рос.)

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.