Mathematics — Graph Theory · connectedness-equivalent-characterization
Problem
Let G be a simple graph with V(G)=∅. Show that the following two statements are equivalent:
• Statement 1: The graph G is connected.
• Statement 2: For every two nonempty subsets A and B of V(G) satisfying A∩B=∅ and A∪B=V(G), there exist a∈A and b∈B such that ab∈E(G). (In other words: Whenever we subdivide the vertex set V(G) of G into two nonempty subsets, there will be at least one edge of G connecting a vertex in one subset to a vertex in another.)