Can someone please verify my proof or offer suggestions for improvement? I am aware that there is a similar question elsewhere, but I want help with my proof in particular.
Let $T_1, \ldots, T_k$ be subtrees of a tree $T$ such that for all $1 \leq i < j \leq k$, the trees $T_i$ and $T_j$ have a vertex in common. Show that $T$ has a vertex which is in all of the $T_i$.
Suppose, for the sake of contradiction, that for every vertex $v \in V(T)$, there is a subtree $T'$ in the list $T_1, T_2, \ldots, T_k$ such that $v \notin V(T')$.
Pick $v_1 \in T_1$. There is a subtree $T^{(1)}$ such that $v_1 \notin T^{(1)}$. $T_1$ and $T^{(1)}$ have a vertex $y_1$ in common. Now, there exists a tree $T^{(2)}$ such that $y_1 \notin T^{(2)}$. But now, $T^{(2)}$ and $T^{(1)}$ have a vertex $y_2$ in common. Also, $T_1$ and $T^{(2)}$ have a vertex $y_3$ in common.
There exists a path $p_1$ in $T_1$ from $y_3$ to $y_1$. Also, there is a path $p_2$ in $T^{(1)}$ from $y_1$ to $y_2$ and a path $p_3$ in $T^{(2)}$ from $y_2$ to $y_3$. Note that the path formed by the union of $p_1$ and $p_2$ passes through $y_1$, while $p_3$ does not, since $y_1 \notin T^{(2)}$. Therefore, the union of $p_1, p_2$, and $p_3$ forms a cycle, contradicting the fact that $T$ is a tree. Therefore, it must be the case that there is a vertex $x$ in all of the $T_i$.
Best Answer
Let $T_1'$ be a minimal subtree of $T_1$ such that $V(T_1')\cap V(T_j)\ne\emptyset$ for all $j\in\{1,\dots,n\}$. If $T_1'$ has only one vertex, we're done. Assume for a contradiction that $T_1'$ has more than one vertex. Then $T_1'$ has at least two leaves; let $x$ and $y$ be two distinct leaves of $T_1'$. By the minimality of $T_1'$, there are indices $i$ and $j$ such that $V(T_i)\cap V(T_1')=\{x\}$ and $V(T_j)\cap V(T_1')=\{y\}$. Since $T_i$ and $T_j$ have a common vertex, their union $T_i\cup T_j$ is connected. Let $P$ be the path from $x$ to $y$ in $T_i\cup T_j$, and let $Q$ be the path from $x$ to $y$ in $T_1'$. Since $V(P)\cap V(Q)=\{x,y\}$ and $E(P)\cap E(Q)=\emptyset$, $P\cup Q$ is a cycle in $T$, contradicting the assumption that $T$ is a tree.
P.S. In the question and answer above, trees are assumed to be finite. In a comment SK19 suggested generalizing the result to infinite trees. SK19 pointed out that the result fails if $T_1,T_2,\dots$ is an infinite decreasing sequence of rays (one-way infinite paths) with empty intersection. This is essentially the only counterexample.
In what follows, trees may be finite or infinite. A tree is rayless if it does not contain a sequence of distinct vertices $v_n$ ($n\in\mathbb N$) with $v_n$ adjacent to $v_{n+1}$ for each $n$.
Lemma. A chain of rayless trees has a nonempty intersection. (The intersection, of course, is a tree.)
Proof. Assume for a contradiction that $\mathcal C$ is a chain of rayless trees whose intersection is empty. Choose a tree $T_0\in\mathcal C$ and a vertex $x_0\in V(T_0)$. Having chosen a tree $T_n\in\mathcal C$ and a vertex $x_n\in V(T_n)$, next choose a tree $T_{n+1}\in\mathcal C$ not containing $x_n$ (so $T_{n+1}$ is a subtree of $T_n$ since $\mathcal C$ is a chain), and let $P_n$ be the path in $T_n$ from $x_n$ to $x_{n+1}$. As the paths $P_0,P_1,P_2,\dots$ are internally disjoint, by concatenating them we get a ray in $T_0$, contradicting the fact that $T_0$ is rayless.
Theorem. Let $(T_i:i\in I)$ be a family of subtrees of a tree $T$. The intersection $\bigcap_{i\in I}V(T_i)$ is nonempty if and only if both of the following statements hold:
(a) $V(T_i)\cap V(T_j)\ne\emptyset$ for all $i,j\in I$;
(b) there is a rayless subtree $S$ of $T$ such that $V(S)\cap V(T_i)\ne\emptyset$ for all $i\in I$.
Proof. The "only if" is clear; we prove the "if". Suppose (a) and (b) hold; we have to show that $\bigcap_{i\in I}V(T_i)\ne\emptyset$.
Let $\mathcal P$ be the set of all subtrees $S'$ of $S$ such that $V(S')\cap V(T_i)\ne\emptyset$ for all $i\in I$. Then $\mathcal P$ is nonempty because $S\in\mathcal P$. Moreover, it follows from our lemma that every chain $\mathcal C\subseteq\mathcal P$ has a lower bound in $\mathcal P$, namely its intersection. (For $i\in I$, $\{S'\cap T_i:S'\in\mathcal C\}$ is a chain of rayless trees.) Therefore, by Zorn's lemma, $\mathcal P$ has a minimal element. Let $S_0$ be a minimal element of $\mathcal P$.
If $S_0$ has only one vertex, we're done. Assume for a contradiction that $S_0$ has more than one vertex. Then, since $S_0$ is rayless, it has at least two leaves (the endpoints of any maximal path in $S_0$); let $x$ and $y$ be two distinct leaves of $S_0$. By the minimality of $S_0$, there are indices $i,j\in I$ such that $V(T_i)\cap V(S_0)=\{x\}$ and $V(T_j)\cap V(S_0)=\{y\}$. Since $T_i$ and $T_j$ have a common vertex, their union $T_i\cup T_j$ is connected. Let $P$ be the path from $x$ to $y$ in $T_i\cup T_j$, and let $Q$ be the path from $x$ to $y$ in $S_0$. Since $V(P)\cap V(Q)=\{x,y\}$ and $E(P)\cap E(Q)=\emptyset$, $P\cup Q$ is a cycle in $T$, contradicting the assumption that $T$ is a tree.
Corollary. Let $(T_i:i\in I)$ be a family of subtrees of a tree $T$ such that $V(T_i)\cap V(T_j)\ne\emptyset$ for all $i,j\in I$. If $I$ is finite, or if $T_i$ is rayless for some $i\in I$, then $\bigcap_{i\in I}V(T_i)\ne\emptyset$.