539 B
539 B
up, tags, aliases
up | tags | aliases | |||
---|---|---|---|---|---|
|
|
[!definition] convergence d'un filtre Soit
X
un structure de topologie (ou un espace métrique ou une partie de\mathbb{R}^{n}
) Un filtre\mathscr{F}
surX
converge vers $a \in X$ si\mathscr{F} \supset \mathcal{V}_{a}
(voisinage dea
) ^definition
Propriétés
[!proposition]+ Si un filtre
\mathscr{F}
est non trivial etX
est espace séparé