Suppose $V$ is an affine algebraic set defined by real polynomials. Let $\mathbb{A}_{\mathbb{R}}^n$ be $\mathbb{R}^n$ endowed with Zariski topology where the closed sets are algebraic sets (in $\mathbb{R}^n$) defined by real polynomials. Let $\mathbb{A}_{\mathbb{C}}^n$ be the usual affine $n$ space. Suppose $V(\mathbb{R})$ has at least one non-singular point. Then I think it should be that $$\dim_{\mathbb{A}_{\mathbb{R}}^n} V(\mathbb{R}) = \dim_{\mathbb{A}_{\mathbb{C}}^n} V(\mathbb{C}).$$

I was wondering how I can prove this... Any comments are appreciated. Thank you very much.