Every fibre of a local injection is discrete

Let be a local injection. Then is a discrete subspace of for every . #m/thm/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 .

#state/tidy | #lang/en | #SemBr