Tree
Let be a tree then
is an acyclic connected graph
Equivalence of Tree and Minimal Connected Graph lemma
Let be a graph then
is a tree is a minimal connected graph
Proof
Suppose is a tree then is connected by definition
If is connected where then exists pathAs as then
forms cycle in contradicting being cyclicConversely suppose is a minimal connected graph
If contains cycle with edge then
As is connected then exists path for
If path uses then replace withHence there is a walk in thus is connected
This contradicts being minimal connected so is acyclic and hence a tree
Uniqueness of a Path in a Tree lemma
Let and be vertices of tree then
contains unique path
Property of Tree with at least Two Vertices lemma
Let be a tree with at least two vertices then
has at least two leaves
Proof
Let be a longest path in (existence as is finite)
As then has at least one edge
Suppose has neighbour then
would be a longer path which is a contradictionSuppose has neighbour on where then
would form a cycle in which is a contradiction thenhas exactly one neighbour which is so is a leaf
Similarly is a leaf
Removing Leaf from Tree lemma
Let be a tree with leaf then
is a tree
Proof
As is acyclic then any subgraph of is also acyclic so is acyclic
Let
As is connected then exists - pathAs is not an endpoint of path as and
for as is a leaf (as it would have two distinct neighbours in ) thenis a path in so is connected
Hence is a tree
Number of Edges in a Tree lemma
Let be a tree with vertices then
Proof
Induction on so
For then has no edgesSuppose then has a leaf
Hence
Hence by induction then has edges
As one edge is removed then has edges
Spanning Tree
Let be a graph
Let be a subgraph of thenis a spanning tree of if is a spanning subgraph and a tree
Connected Graph contains Spanning Tree
Let be a connected graph then
contains at least one spanning tree
Note that this can be found by removing edges one at a time until it is connected (and so minimally connected)
Relation of Connectivity and Edges to a Tree lemma
Let be a graph where then
is a tree
is connected
Proof
If is a tree then
- Connected by definition
- edges by Number of edges in a tree
Suppose is connected and has spanning tree
As is a tree with vertices then it has edges
HenceThus is a subgraph with al vertices and all edges of hence is a tree
Relation between Maximal Acyclic and Trees
Let be a graph then
is a tree is maximal acyclic
Relation between Acyclic and Edges to Tree
Let be a graph with vertices then
is a tree
is acyclic