# Semi-Algebraic Set of Dimension Zero is Finite

Could someone lend me assistance by explaining why

a semi-algebraic set has dimension zero $\Leftrightarrow$ it is finite or empty

is true or by giving a reference?

-

You can find it all in Bochnak,Coste,Roy: Real Algebraic Geometry:

(1) up to semi-algebraic homeomorphism, every semi-algebraic subset is a disjoint union of finitely many (open) hypercubes (i.e. sets of the form $]0,1[^d$ for some $d\in\mathbf{N}$). This is Theorem 2.3.6

(2) a nonempty open semi-algebraic subset of $R^n$ has dimension $n$. This is Proposition 2.8.4

(3) the dimension of a finite union of semialgebraic sets $A_1,\ldots,A_p$ is $\max(\dim(A_1),\ldots,\dim(A_p))$. This is Proposition 2.8.5(i)

(4) dimension is invariant under semialgebraic homeomorphism. This is included in Theorem 2.8.8

Therefore, if a semi-algebraic set is zero-dimensional, its decompositon as in (1) can only be made up from hypercubes of the form $]0,1[^0$, i.e. points.

-

Wikipedia says that "it is not hard to see that a semialgebraic set lies inside an algebraic subvariety of the same dimension". That should suffice.

-