# Dimension for proper subvarieties

Let $X$ be a closed irreducible subvariety of projective $n$ space. Let $k$ be the dimension of a maximal linear subspace not intersecting $X$. Then one can define $dim(X)=n-k-1$ (see Harris page 134). Why is $dim(Y) < dim(X)$ for two properly contained such varieties?

-

This is also mentioned in Shafarevich (p.71), but the development may be different. The dimension of an irreducible quasi-projective variety $X$ is defined as the transcendence degree of the function field of $X$. Then the fact that one can equivalently define dimension as you mention is proved as a corollary of the following theorem: If a form $F$ is not $0$ on an irreducible projective variety $X,$ then $\operatorname{dim}(X_F)=\operatorname{dim}(X)-1.$ This is a bit of a work-around though, maybe you prefer a direct geometric proof!