The whole subject of non-commutative geometry arises from extending to non-commutative algebras the isomorphism that exists between commutative $\mathrm{C}^*$-algebras and locally compact Hausdorff topological spaces.