Word Metric is Metric
 | This article needs to be linked to other articles. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{MissingLinks}} from the code. |
Theorem
Let $\struct {G, \circ}$ be a group.
Let $S$ be a generating set for $G$ which is closed under inverses (that is, $x^{-1} \in S \iff x \in S$).
Let $d_S$ be the associated word metric.
Then $d_S$ is a metric on $G$.
Proof
Let $g, h \in G$.
It is given that $S$ is a generating set for $G$.
It follows that there exist $s_1, \ldots, s_n \in S$ such that $g^{-1} \circ h = s_1 \circ \cdots \circ s_n$.
Therefore $\map {d_S} {g, h} \le n$, establishing that $\R$ is a valid codomain for the mapping $d_S$ with domain $G \times G$.
This is the form a mapping must have to be able to be a metric.
Now checking the other defining properties for a metric in turn:
Metric Space Axiom $\text M 1$
Clearly the empty sequence can be formed with elements from $S$.
It also has length zero.
Therefore, we have for any $g \in G$ that $\map {d_S} {g, g} = 0$.
Thus Metric Space Axiom $\text M 1$ is seen to be fulfilled.
$\Box$
Metric Space Axiom $\text M 2$
Let $g, h, k \in G$.
Let $\map {d_S} {g, h} = n, \map {d_S} {h, k} = m$.
Let $s_1, \ldots, s_n, r_1, \ldots, r_m \in S$ be such that:
- $g^{-1} \circ h = s_1 \circ \cdots \circ s_n$
- $h^{-1} \circ k = r_1 \circ \cdots \circ r_m$
From these equations, obtain:
| \(\ds g^{-1} \circ k\) | \(=\) | \(\ds \paren {g^{-1} \circ h} \circ \paren {h^{-1} \circ k}\) | ||||||||||||
| \(\ds \) | \(=\) | \(\ds \paren {s_1 \circ \cdots \circ s_n} \circ \paren {r_1 \circ \cdots \circ r_m}\) | ||||||||||||
| \(\ds \leadsto \ \ \) | \(\ds g \circ s_1 \circ \cdots s_n \circ r_1 \circ \cdots r_n\) | \(=\) | \(\ds k\) |
Therefore, $\map {d_S} {g, k} \le m + n = \map {d_S} {g, h} + \map {d_S} {h, k}$.
Thus Metric Space Axiom $\text M 2$ is seen to be fulfilled.
$\Box$
Metric Space Axiom $\text M 3$
Let $g, h \in G$.
Let $\map {d_S} {g, h} = n$.
Furthermore, let $s_1, \ldots, s_n \in S$ be such that:
- $g^{-1} \circ h = s_1 \circ \cdots \circ s_n$
From Inverse of Group Product, obtain:
| \(\ds \paren {g^{-1} \circ h}^{-1}\) | \(=\) | \(\ds \paren {s_1 \circ \cdots \circ s_n}^{-1}\) | ||||||||||||
| \(\ds h^{-1} \circ g\) | \(=\) | \(\ds s_n^{-1} \circ \cdots \circ s_1^{-1}\) |
By assumption $S$ is closed under taking inverses, and hence the latter expression yields a valid sequence for the metric $d_S$.
It follows that $\map {d_S} {h, g} \le \map {d_S} {g, h}$.
Switching the roles of $g$ and $h$ in the above, we obtain the converse inequality, and hence equality.
Thus Metric Space Axiom $\text M 3$ is seen to be fulfilled.
$\Box$
Metric Space Axiom $\text M 4$
There is only one word of length zero, namely the empty word.
However, the empty word sends an element $g$ to itself.
Hence $g, h \in G, g \ne h \implies \map {d_S} {g, h} > 0$.
Thus Metric Space Axiom $\text M 4$ is seen to be fulfilled.
$\Box$
Thus $d_S$ is a metric.
$\blacksquare$