Skip to main content
2 of 3
deleted 3 characters in body

Is this a known compactification of graphs?

Let $G$ be a locally finite, connected, and infinite graph. Let $\Omega(G)$ its set of ends. Let $|G|$ be the Freudenthal compactification of $|G|$. Let $P_{\Omega}$ be a partition of $\Omega(G)$. Consider the partition $P_{|G|}$ of $|G|$ defined as follows. $P_{|G|}$ is the partition of singletons on $|G|\setminus\Omega$ and $P_{|G|}$ agrees with $P_{\Omega}$ on $\Omega$ . Then $P_{|G|}$ induces an equivalence relation $\sim$ on $|G|$ . Consider the quotient space $|G|/\sim$. It is compact because it's the quotient of a compact space. It adds $|P_{\Omega}|$ points at infinite to $G$ instead of $|\Omega|$ points.

Has this kind of construction been considered with ends in topological spaces?