Let denote a simple and connected undirected graph with a vertex set and an edge set such that each edge is weighted by a real value .
For a spanning tree of , let denote the fundamental cycle containing an edge , and denote the fundamental cut-set containing an edge .
Answer the following questions.
(i) Prove that every minimum spanning tree of satisfies the next condition (C).
(C): For every edge each edge satisfies .
(ii) Prove that any spanning tree satisfying condition (C) also satisfies the next condition (K).
(K): For every edge , each edge satisfies .
(iii) Prove that any spanning tree of satisfying condition (K) is a minimum spanning tree.
(iv) Prove or disprove the next proposition, giving a proof or a counterexample.
"When has two minimum spanning trees, some two edges in have the same weight."
Assume that for an edge , there exists an edge such that .
Let be a tree constructed by substituting edge with edge .
By definition of fundamental cut-set we know that the removal of disconnects into exactly two components and and edge connects the two components.
Thus is a spanning tree and
which is contradictory to the fact that is a minimum spanning tree.