Separation axioms

Fréchet space

A Fréchet space or space is a topological space where any two points are separable, i.e. for any with there exists an open neighbourhood of and of such that and . topology Equivalent conditions include

1. for every , the singleton is closed

Proof of equivalence

Let . For each , let be an open neighbourhood of not containing . Then

is open, thus is closed.

---

tidy | en | sembr