Proposition 0.1. Let V be an irreducible, finite type scheme over Spec R.

Also
assume that V (R) has at least one smooth point. Then V (R) is dense in V .
Enough to take V to be affine. Take x V (R) smooth, and take V 0 V
Zariski open, containing x, and an tale map f : V 0 AnR defined over R, where
n = dim(V ). By inverse function theorem, one has an open subset in Euclidean
topology U 0 V 0 (R) containing x and an open subset in Eucl. top. U Rn
U . Indeed, V is given by m
containing f (x) such that f induces isomorphism U 0
equations in N variables, say. Since x is smooth, the jacobian has full rank near
x, and by implicit function theorem, V (R) contains a real open ball of dimension n
centered at x. Now use that f is a local homeomorphism in Eucl. top.
By Zariskis main theorem there is an open inclusion V 0 V 00 and a finite map
f 0 : V 00 AnR which restricts to f on V 0 . If possible let there be proper, closed
Z V 0 such that U 0 Z. Then if Z is the closure of Z in V 00 then Z is a proper
closed subset of V 00 . By finiteness of f 0 , f 0 (Z) is a proper closed subset of AnR . But
U = f (U 0 ) f 0 (Z) ; on the other hand, the open ball U = f (U 0 ) is Zariski dense in

AnR .