Singleton Graph is Unique
Jump to navigation
Jump to search
Theorem
The singleton graph $N_1$ is unique (up to isomorphism).
Proof
$N_1$ can be expressed as:
- $N_1 := \struct {\set v, \O}$
where:
Suppose there exists another singleton graph $N_1' = \struct {\set v', \O}$.
Let $\phi: \set v \to \set {v'}$ be the mapping from $N_1$ to $N_1'$ defined as:
- $\map \phi v = v'$
From Mapping from Singleton is Injection, $\phi$ is an injection.
From Mapping to Singleton is Surjection, $\phi$ is an surjection.
Hence $\phi$ is a bijection by definition.
Finally it is noted that:
- for each edge $\set {u, v} \in \map E {N_1}$, there exists an edge $\set {\map \phi u, \map \phi v} \in \map E {N_1'}$
holds vacuously
and:
- for each edge $\set {u, v} \in \map E {N_1'}$, there exists an edge $\set {\map {\phi^{-1} } u, \map {\phi^{-1} } v} \in \map E {N_1}$
also holds vacuously.
Hence $N_1$ is isomorphic to $N_1'$ by definition.
Hence the result.
$\blacksquare$