Local injection

Every fibre of a local injection is discrete

Let be a local injection. Then is a discrete subspace of for every . topology

Proof

Let and , so that and have open neighbourhoods and respectively such that and are injections: Thus and . Since and are open in , the singletons and are open in the subspace topology of the fibre . The selection of was arbitrary, therefore carries a discrete topology for any .

---

tidy | en | sembr