Proof That a Topology Determined by a Basis is Unique


Ifis a basis of a topologythen the topologyis unique.


Letrepresent any set and letrepresent a collection of subsets ofSuppose is a basis for distinct topologiesand

Sinceandare distinct, at least one subsetexists such thatbutor vice versa. Since alsois a basis forandwhere

Sinceis a basis forany union of elements ofmust be a member of

This is a contradiction sinceandare distinct, henceand a basis determines a unique topology.