Filtrilo de Fréchet

En matematiko, filtrilo de Fréchet aŭ kunfinia filtrilo estas koncepto en ordoteorio.

Se X estas nefinia aro, la filtrilo de Fréchet sur X, estas la aro de ĉiuj subaroj de X havantaj finian komplementon en X.

Ekzemple, sur la aro N de naturaj nombroj, la aro

 B = {(n, ∞) : n∈N}

kio estas aro B = {An : n∈N} konsistanta el aroj de naturaj nombroj pli grandaj ol donita natura nombro An = {m : m∈N, m>n}, estas filtrila bazo de Fréchet, kio estas ke la filtrilo de Fréchet sur N konsistas el ĉiuj superaroj de eroj de B.

 Vidu ankaŭ 

 Filtrilo (matematiko)

Kategorio:Ordoteorio