I don't get the formal way of proving the following cases:
Suppose I have a minimum spanning tree $T$ in a graph $G(V, E)$, with positive edge weights $w$, I want to prove the following:
1) If I increase the edge weight of an edge that is not in $T$, then my resulting tree is still the minimum spanning tree.
This obviously makes sense since none of the edges of $T$ have been modified, and even so, the new edges will only have weights higher than $T$. Is there a way I could put this in a formal way?
2) If I decrease the edge weight of an edge that is in $T$, then my resulting tree is still the MST.
Again, this is very intuitive since the minimum weight of my MST is already the minimum, any reduced amount will still make it minimum. Again, the problem is putting this into formal proof.
3) After adding a new edge $e$ with a unique weight $w(e)$ in $G$, the tree will still be an MST.