Filtrilo de Fréchet

El Vikipedio, la libera enciklopedio

En matematiko, filtrilo de Fréchetkunfinia 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ŭ[redakti | redakti fonton]