Consider a weighted graph . Given a subgraph , we define is said to be a minimal spanning tree if
Of course, minimal spanning tree exists if is a connected graph. A set of edges is said to be a cut33 3 Sometimes this is called a minimal cut and a cut is if . if and for any , .
Let be a connected graph with edge-weights.
Uniqueness : If is an injective function, then is unique.
Cut property : If is a MST and is a cut in , then one of the minimal weight edges in should be in the .
Cycle property : If is a MST and is a cycle in , then one of the maximal weight edges in will not be in .
(i) : Let be MSTs such that . Since have the same vertex set, there exists an edge in . Choose the edge with the least weight and WLOG let . Since is a spanning tree, has a cycle . Since , there exists and also . Thus as has the least weight in . As in the proof of insertion property for spanning trees (Lemma 4.15), we can show that is a tree. Thus, we have that and hence contradicting the minimality of .
(ii) : Let in non-decreasing order of weights. If , then has a cycle. Since there exists a path in from to and is a cut, this path must pass through for some . This gives that is a spanning tree(since it has no cycles and has edges). But since is a MST, . By choice of , and so . Thus is a minimal weight edge and as required.
(iii) : One can argue as above for this case too. ∎
Prove (iii) in the above proposition.