I try to prove that,
For any integer $k$, the graphs with treewidth at most $k$ define a minor-closed family.
At first the idea of the proof doesn't seem to be complicated.
Let's say we have a graph $G$ with treewidth $k$ and graph's tree decomposition $T$. Let's apply edge contraction to the edge $uv$ in the graph $G$. The vertices $w$ we get by merging $u$ and $v$. Obviously, we've changed the structure of the graph, as well as the structure of it's minor(very awkward conclusion, can be improved?). Have changed the structure of the graph, we should modify the tree decomposition $T$ by replacing every occurrence of $uv$ by $w$(also not strong sentence, the treewidth might have changed and might not).
Unfortunately, I have a problem with formulation of this proof, it looks like, at least for me, that idea behind the proof is very clear. Please, can you help me, to show me my mistakes.
Thanks!
Addendum: I just want to add few thoughts about the proof. Let's rephrase the statement, treewidth of the minor of the graph $G$ cannot be greater than treewidth of $G$. But, by edge contraction we can either make the treewidth smaller or don't change it at all. Therefore, it looks like we really have a closed family of graph with treewidth at most $k$.