In this section we collect some algebraic and analytical technical preliminaries, standard facts which will be used in the proofs of the statements contained in the previous sections.
We begin with a series of basic algebraic properties.
Definition 1.3.1. Given an algebraic subvariety V ⊂ RN and a subfield F ⊂ R we say that F is a field of definition of V if there is a set S of polynomials with coefficients in F such that V ={x∈RN :P(x) = 0∀P ∈S}.
Proposition 1.3.2(Cf. [94, Corollary 3 p. 73 and Proposition 5 p. 76]). For any algebraic subvariety V ⊂ RN there is a unique minimal field F ⊂ R of definition, namely a field of definition of V which does not contain any smaller field of definition. F is, moreover, finitely generated over Q.
Definition 1.3.3. We will say that a certain collection of coordinates {xi1, . . . , xim} is algebraically independent over a fieldFat a point p= (p1, . . . , pN) if there is no nontrivial polynomial P with coefficients in Fsuch that P(pi1, . . . , pim) = 0.
Given a point p in an algebraic subvariety V ⊂ Rn with minimal field of definition F we define the algebraic dimension dimV(p) of pwith respect to V as the maximal number of coordinates which are algebraically independent over F at p. The algebraic dimension of V is dim (V) = max{divV(p) : p∈ V} and a point p∈V is called a general point of V if dimV(p) = dim (V).
Proposition 1.3.4. Let V ⊂RN be an algebraic subvariety of algebraic dimensionn with minimal field of definition F. Then the following holds.
(a) Any collection of n+ 1 coordinates satisfy a nontrivial polynomial relation (as real functions with domain V);
(b) For any general pointp of V there is a neighborhoodU where V is an n-dimensional (real analytic) submanifold and where any collection of coordinates which are alge-braically independent at p over F give a (real analytic) parametrization of V.
(c) If dimV(p) =m, then there is an algebraic subvariety W ⊂V of algebraic dimension m which containsp and whose minimal field of definition is contained in F.
The proofs of the statements (a), (b) and (c) can be found in [94, Chapter II and Chapter IV], more precisely see the discussion at [94, Page 72] and [94, Theorem 3].
We state here a simple corollary of the above proposition, for which we give the ele-mentary proof.
Corollary 1.3.5. The algebraic dimension of a subvariety V coincides with its Hausdorff dimension as a subset of RN. In fact, for any j ≤ dim (V), the subset Vj := {v ∈ V : dimV(p) =j} is a set of Hausdorff dimension j.
Proof. The second part of the statement obviously implies the first. We focus therefore on the second, which we prove by induction over dim (V). The 0-dimensional case is obvious:
if V is a 0-dimensional subvariety ofRN, then V0 = V must be contained in FN, which is necessarily a countable set (F denotes the minimal field of definition of V and recall that it is finitely generated over Q).
Assume therefore that the statement holds when the dimension of the variety is no larger than n −1: we now want to show that the claim holds when dim (V) = n. By Proposition 1.3.4, the subset Vn of points p ∈ V with maximal algebraic dimension is covered by countably many real analyticn-dimensional manifolds. HenceVnhas Hausdorff dimension at most n (cf. [29, Section 3.3]). On the other hand by Proposition 1.3.4(b) the Hausdorff dimension must be at least n. Next, let j < n. By Proposition 1.3.4(c) any point p∈Vj is contained in an algebraic subvariety W of algebraic dimension j with minimal field of definition contained in F. Each such W has Hausdorff dimension j, by inductive assumption. On the other hand, since any such W is defined through a finite set of polynomials with coefficient inF, the set of such W is countable. We have therefore shown that Vj has Hausdorff dimension at most j.
Next, fix a pointp= (p1, . . . , pN)∈V of maximal dimension and assume that the first ncoordinates x1, . . . , xnare algebraically independent over Fatp. By Proposition 1.3.4(b) in a suitable neighborhood U of p the variety V is a graph over a suitable domain Ω of the plane {xn+1 = . . . = xN = 0}: if q1, . . . , qn−j are elements of F sufficiently close to p1, . . . , pn−j, it follows thatW =V∩{x1 =q1, . . . , xn−j =qn−j}contains a piece of a smooth j-dimensional submanifold and thus has Hausdorff dimension at leastj. On the other hand it is obvious that W ⊂Vj∪Vj−1∪. . .∪V0 and so the dimension of Vj∪Vj−1. . .∪V0 must be at least j. Given the upper bound on the dimensions of V0, . . . , Vj−1, Vj, we conclude that the Hausdorff dimension of Vj is j.
We are now ready to state the two technical facts in analysis needed in the rest of the chapter. The first is a standard consequence of the implicit function theorem for real ana-lytic mappings, see for instance [55, Theorem 1.8.3]). As usual, the tubular neighborhood of sizeδ of a subset S ⊂RN is the open set consisting of those points whose distance from S is smaller than δ. In this chapter we will denote it by Uδ(S).
Proposition 1.3.6. If Σ⊂RN is a closed real analytic submanifold, then there is a δ >0 with the following two properties:
(a) For any x∈Uδ(Σ) there is a unique point u(x)∈Σ of least distance to x.
(b) The map x7→u(x) is real analytic.
The first statement needs in fact only the C2 regularity of Σ, cf. [46]: the proof therein using the implicit function theorem to give that u is smooth when Σ is smooth, the real analyticity follows then directly from [55, Theorem 1.8.3].
The following is a classical Weierstrass type result. As usual, given a smooth function g defined in a neighborhood of a compact set K ⊂Rm we denote bykgkC0(K) the number max{|u(x)|:x∈K} and we let
kgkCj(K) := X
|I|≤j
k∂IgkC0(K),
where, given a multiindex I = (i1, . . . , im)∈Nm, we let|I|=i1+· · ·+im and
∂If = ∂|I|f
∂xi11∂xi22· · ·∂ximm .
Proposition 1.3.7. Let U ⊂ RN be an open set, K ⊂ U a compact set and f : U → R a smooth function. Given any j ∈ N and any ε > 0 there is a polynomial P such that kf −PkCj(K) ≤ε.
Proof. Using a partition of unity subordinate to a finite cover ofK we can assume, without loss of generality, that f ∈Cc∞(U). The classical Weierstrass theorem corresponds to the case j = 0, see for instance [82]: however the proof given in the latter reference, which regularizes f by convolution with suitable polynomials, gives easily the statement above for generalj. Nash in [68] provides instead the following elegant argument. Consider first a box [−M/2, M/2]N ⊂RN containing the support off and let ˜f be theM-periodic function which coincides with f on the box. If we expand ˜f in Fourier series as
f˜(x) = X
λ∈ZN
aλe2πM λ·x
and consider the partial sums
Sm(x) := X
|λ|≤m
aλe2πM λ·x,
then clearly kSm −fkCj(K) = kSm −f˜kCj(K) ≤ ε/2 for m large enough. On the other hand Sm is an entire analytic function and thus for a sufficiently large degree dthe Taylor polynomial Tmd of Sm at 0 satisfies kSm−TmdkCj(K) ≤ε/2.