1
$\begingroup$

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?

1 Answers 1