**Option 1: The number of vertices with odd degrees in
G is always an even number.**
**Step 1:** Apply the Handshaking Lemma.
The Handshaking Lemma states that the sum of the degrees of all vertices in a graph is equal to twice the number of edges:
v∈V∑deg(v)=2∣E∣=2m
Since
2m is always an even number, the sum of degrees must be even.
**Step 2:** Analyze the sum of degrees based on parity.
Let
Vodd be the set of vertices with odd degrees and
Veven be the set of vertices with even degrees.
v∈V∑deg(v)=v∈Vodd∑deg(v)+v∈Veven∑deg(v)
The sum of even numbers is always even. Thus,
∑v∈Vevendeg(v) is even.
Since
∑v∈Vdeg(v) is even, it implies that
∑v∈Vodddeg(v) must also be even.
For a sum of odd numbers to be even, the number of terms in the sum must be even. Therefore, the number of vertices with odd degrees (
∣Vodd∣) must be an even number.
**Conclusion:** Statement 1 is necessarily true.
**Option 2: If
G has
k connected components, then
m≥n−k.**
**Step 1:** Consider the properties of connected components.
Let
G1,G2,…,Gk be the
k connected components of
G. Let
ni be the number of vertices in component
Gi and
mi be the number of edges in component
Gi.
We know that
∑i=1kni=n and
∑i=1kmi=m.
**Step 2:** Apply the minimum edge property for connected graphs.
For any connected graph with
ni vertices, it must have at least
ni−1 edges. This is because a tree on
ni vertices has
ni−1 edges, and a connected graph must contain a spanning tree.
So, for each component
Gi, we have
mi≥ni−1.
**Step 3:** Sum the inequalities over all components.
i=1∑kmi≥i=1∑k(ni−1)
m≥(i=1∑kni)−(i=1∑k1)
**Conclusion:** Statement 2 is necessarily true.
**Option 3: If every vertex in
G has degree at least 2, then
G must contain a cycle.**
**Step 1:** Assume the contrapositive.
Suppose
G does not contain a cycle. Then
G must be a forest (a collection of disjoint trees).
**Step 2:** Analyze properties of trees/forests.
Every tree with at least two vertices has at least two leaves (vertices of degree 1). If a component of
G is a single vertex (
K1), its degree is 0. If
n=1,
deg(v)=0, which violates the condition
deg(v)≥2.
If
G is a forest and every vertex has degree at least 2, this means no component can be
K1 (since
deg(K1)=0). Also, no component can be a tree with at least 2 vertices, because such a tree would have at least two leaves (vertices of degree 1), which contradicts the condition that every vertex has degree at least 2.
**Step 3:** Conclude by contradiction.
Since
G cannot be a forest if all vertices have degree at least 2, our initial assumption must be false. Therefore,
G must contain a cycle.
**Conclusion:** Statement 3 is necessarily true.
**Option 4: If
m>2(n−1)(n−2), then
G must be connected.**
**Step 1:** Determine the maximum number of edges in a disconnected graph.
A simple undirected graph on
n vertices is disconnected if and only if it can be partitioned into at least two non-empty sets of vertices such that there are no edges between these sets. The maximum number of edges a disconnected graph on
n vertices can have occurs when it consists of two complete components, one being
Kn−1 and the other being
K1 (an isolated vertex).
**Step 2:** Calculate the number of edges for this maximum disconnected case.
The number of edges in
Kn−1 is
(2n−1)=2(n−1)(n−2). The number of edges in
K1 is
0.
So, the maximum number of edges in a disconnected graph on
n vertices is
2(n−1)(n−2).
**Step 3:** Apply the condition.
If
G has
m edges and
m>2(n−1)(n−2), then
G must have more edges than any disconnected graph on
n vertices can possibly have. Therefore,
G cannot be disconnected; it must be connected.
**Conclusion:** Statement 4 is necessarily true.
All four statements are necessarily true.
Answer:
All four statements are necessarily true.