Ore Graph is Connected

Theorem
Let $G = \left({V, E}\right)$ be an Ore graph.

Then $G$ is connected.

Proof
Let $G$ be an Ore graph.

$G$ is not connected.

Then it has at least two components.

Call these components $C_1$ and $C_2$.

Thus, there exist non-adjacent vertices $u$ and $v$ such that $u$ is in $C_1$ and $v$ is in $C_2$.

Let $m_1$ and $m_2$ be the number of vertices in $C_1$ and $C_2$ respectively.

It is clear that:
 * $m_1 + m_2 \le n$

By definition of Ore graph, $G$ is simple.

Thus it follows that:
 * $\deg_G \left({u}\right) \le m_1 - 1$ and $\deg_G \left({v}\right) \le m_2 - 1$

Thus:

That is:
 * $\deg_G \left({u}\right) + \deg_G \left({v}\right) < n$

But by definition of Ore graph:
 * $\deg_G \left({u}\right) + \deg_G \left({v}\right) \ge n$

By Proof by Contradiction, it follows that our assumption that $G$ is not connected was false.

Hence the result.

Also see

 * Ore's Theorem