Let $S \in \mathbb{R}^n$ be a subset of real points and $I(S)$ be the vanishing ideal of $S$ in $\mathbb{R}[x_1,...,x_n]$. Is $\dim V_{\mathbb{R}}(I(S)) = \dim V_{\mathbb{C}}(I(S))$? i.e., is the dimension of real zero set of $I(S)$ equal to the dimension of complex zero set of $I(S)$?
complex dimension of zeros of vanishing ideal vs real dimension
Pew
- 263
- 2
- 10