Injective morphism and dimension of varieties Inspired by MSE/95760 I'm wondering whether the following is true: Let $\varphi : V \to W$ be an injective morphism between (affine) varieties. Does it follow that $\dim{V} \leq \dim{W}$?
I am not able to construct any counterexamples and I cannot see a way to translate chains of irreducible varieties in $V$ to $W$.

Let $f\colon X\to Y$ be an injective continuous map of sober topological spaces. Then $\dim(X)\leq\dim(Y)$, for it maps a sequence of non-trivial specialisations $x_n\leadsto x_{n-1}\leadsto\dots\leadsto x_0$ in $ X$, i.e., a sequence of distinct points such that $x_{i-1}\in\overline{\{x_i\}}$ for all $i=1,\dots,n$, to a sequence of non-trivial specialisations $f(x_n)\leadsto f(x_{n-1})\leadsto\dots\leadsto f(x_0)$ in $Y$.
In a bit more detail and without that terminology, if $X_0\subsetneq X_1\subsetneq \dots\subsetneq X_n$ is a chain of proper inclusions of irreducible closed sub-sets, then we get a corresponding sequence of generic points $x_i\in X_i$—i.e., $X_i=\overline{\{x_i\}}$ for all $i=0,\dots,n$—and so $x_{i-1}\in X_{i-1}\subsetneq X_i = \overline{\{x_i\}}$ for all $i=1,\dots,n$. Clearly, the $x_i$ are pair-wise distinct; in fact, $x_i\not\in X_{i-1}$. Consider $y_i:=f(x_i)$. Since $f$ is injective, those points are pair-wise distinct as well and since $Y$ is sober, so are their corresponding components $Y_i:=\overline{\{y_i\}}\subset Y$. Therefore, $Y_0\subsetneq Y_1\subsetneq \dots\subsetneq Y_n$. This is what's been missing to complete the proof attempted in the other answer.
Towards the follow up question in the OPs answer, cf. Stacks Project Tag 02JF.
