Let be a graph.
Show that if is not connected then is connected.
Let be a graph.
Show that if is not connected then is connected.
Let be a non-connected graph.
Then it has at least two connected components, and in particular there exists a coloring of with two colors (for example, blue and green) such that no vertex of one color is in the same connected component as a vertex of another color (and that both colors appear).
Given two vertices and , we proceed by case analysis.
- If and are of different colors, they are not in a common connected component, in particular they are not adjacent in and therefore are adjacent in and thus in particular in the same connected component in .
- If and are of the same color. Without loss of generality, assume they are both blue.
Let be a green vertex (which exists by hypothesis).
Then, as before, and are adjacent in and and are adjacent in . Consequently, is a path from to in .
Thus, in all cases, there exists a path between and .
We note that we have in fact shown much more: not only does a path exist, but we can arrange for this path to have length 1 or 2 (depending on whether and are or are not in the same connected component of ).