# example of a proof using nets

In this entry we will give a simple example of how nets can be used to prove topological theorems. The proof will make use of some of the basic properties of nets listed in the parent entry (http://planetmath.org/Net).

###### Theorem.

The centre (http://planetmath.org/GroupCentre) of a Hausdorff topological group is closed.

Proof. Let $Z$ be the centre of a Hausdorff topological group $G$. Let $x\in\overline{Z}$. Then there is a net $(x_{\delta})$ in $Z$ such that $x_{\delta}\to x$. Let $g\in G$. By continuity we have $gx_{\delta}g^{-1}\to gxg^{-1}$. But $gx_{\delta}g^{-1}=x_{\delta}$, so $gx_{\delta}g^{-1}\to x$. As $G$ is Hausdorff, these two limits must be the same. So $gxg^{-1}=x$, that is, $gx=xg$. Thus $x\in Z$, and we have shown that $\overline{Z}=Z$, as required.

Title example of a proof using nets ExampleOfAProofUsingNets 2013-03-22 17:11:25 2013-03-22 17:11:25 yark (2760) yark (2760) 4 yark (2760) Example msc 22A05