# Complete fixed-support test spaces This separate component retains the full used arguments from AN03-P004, *Banach estimates, quotient spaces and compact parameter arguments*, as selected in the earlier AN-01 programme. Original numbering and mathematical text are unchanged. The omitted Hahn–Banach and general smooth-space paragraphs are not used by the tangent lesson. Its scalar, finite-dimensional and compact calculus inputs are the already proved [stationary prerequisite chain](../../20261004-free-stationary-phase/quadratic-stationary-phase.md#f0-the-exact-earlier-programme-proofs). The [notation and foundational axioms](../../20261004-free-stationary-phase/provider-context.md) are retained; Section 19 below additionally declares Zorn's principle and proves the choice consequence used in the Baire recursion. No norm-extension theorem is needed here. Original principal author and publisher: AN-03 course-writing task / AN-03 local course project, 2026. Earlier modification: AN-03 course-writing task and OpenAI Codex. AN-01 selection and this narrower AN-04 selection: GPT-6 Astra (OpenAI), Ultra, 4 October 2026. Original text: CC0. ## 6. Baire's theorem for complete metric spaces **Complete-metric Baire theorem.** Every countable intersection of dense open subsets of a complete metric space is dense. Here is its full nested-ball proof. Let \(Z\) be complete, let \(U_j\subset Z\), \(j\geq1\), be dense and open, and let \(V\subset Z\) be nonempty and open. Since \(U_1\) is dense, \(V\cap U_1\) contains a point \(z_1\). Openness supplies \(r_1>0\), chosen also with \(r_1\leq2^{-1}\), such that \[ \overline B(z_1,r_1)\subset V\cap U_1. \tag{B12} \] Indeed choose a ball contained in the open set and take a smaller radius, so its closed ball is contained in that original ball. Suppose \(z_j,r_j>0\) have been chosen. The nonempty open ball \(B(z_j,r_j)\) meets dense \(U_{j+1}\). Choose \(z_{j+1}\) in that intersection and a positive radius \(r_{j+1}\leq2^{-j-1}\) whose closed ball lies in the intersection. Thus \[ \overline B(z_{j+1},r_{j+1}) \subset B(z_j,r_j)\cap U_{j+1},\qquad 00\). Translates are neighborhoods at other points. The separating property makes this topology Hausdorff: if \(p_j(x-y)>0\), disjoint sufficiently small translates of a \(p_j\)-ball separate \(x,y\). Each seminorm is continuous, since \(|p_j(x)-p_j(y)|\leq p_j(x-y)\). Addition is continuous by the triangle inequalities. Scalar multiplication is continuous by \[ p_j(ax-a_0x_0) \leq |a|p_j(x-x_0)+|a-a_0|p_j(x_0). \tag{BF1} \] The original family is retained in every estimate. The following auxiliary metric measures the same topology: \[ d_E(x,y)=\sum_{j=1}^{\infty}2^{-j} \min\{1,p_j(x-y)\}. \tag{BF2} \] The series converges, is symmetric, vanishes exactly at equality, and satisfies the triangle inequality because \(\min(1,a+b)\leq\min(1,a)+\min(1,b)\) for \(a,b\geq0\). Given finitely many seminorm tolerances, choose \(0<\delta<\min_j 2^{-j}\min(1,a_j)\) over their indices. Then \(d_E(x,y)<\delta\) implies every requested \(p_j(x-y)0\), take \(J\) with \(\sum_{j>J}2^{-j}<\varepsilon/2\), and require \(p_j(x-y)<\varepsilon/2\) for \(1\leq j\leq J\). Their weighted contributions sum to less than \(\varepsilon/2\); with the tail this gives \(d_E(x,y)<\varepsilon\). Thus the two topologies agree. The same two arguments show that a sequence is metric Cauchy exactly when it is Cauchy for each original seminorm, and converges in this metric exactly when it converges for every seminorm. A Fréchet space here means such a space complete for (BF2). The definition is unchanged if another countable separating family gives the same topology: the identity in both directions is linear and continuous, so each target seminorm is bounded by a constant times a finite maximum of source seminorms. To prove that bound, continuity gives a finite intersection on which the target seminorm is less than one; rescale a vector into half that intersection, and use arbitrary rescaling when its finite maximum is zero. The bound transfers Cauchy sequences and convergence in both directions. This proves the completeness comparison instead of replacing the original family. A Banach space is a Fréchet space by taking \(p_j(x)=\|x\|\) for every \(j\). Finite products of Fréchet spaces are Fréchet: use all the coordinate seminorms and interleave their countable lists. A sequence Cauchy in each product seminorm is Cauchy in each factor, and its factor limits give a product limit. A closed subspace is Fréchet with the restricted seminorms, since an ambient limit remains in the closed subspace. These conclusions include zero spaces. Section 6 therefore applies to these spaces with their actual complete metrics. ### 14.2. Completeness of the smooth spaces Let \(\Omega\subset\mathbb R^n\) be open and let \(K\subset\Omega\) be compact. Define \[ \mathcal D_K(\Omega) =\{f\in C^\infty(\Omega):\operatorname{supp}f\subset K\}, \qquad p_N(f)=\max_{|\alpha|\leq N}\sup_{x\in\Omega} |\partial^\alpha f(x)|, \quad N=0,1,2,\ldots . \tag{BF3} \] These are finite seminorms, in fact norms on this vector space, and \(p_0\) separates points. A function supported in \(K\) extends by zero to a smooth function on \(\mathbb R^n\): near every point outside \(K\) the extension is zero, and near a point of \(K\) it agrees with its smooth expression inside \(\Omega\). Its derivatives also vanish outside \(K\). No regularity of the boundary of \(K\) is required. If \(f_l\) is Cauchy for every \(p_N\), each \(\partial^\alpha f_l\) converges uniformly on \(\mathbb R^n\) to a continuous function \(g_\alpha\). Scalar completeness gives the pointwise limit; the uniform Cauchy estimate gives uniform convergence, and the usual three-term estimate proves continuity of the limit. Each \(g_\alpha\) vanishes off \(K\). On a coordinate segment the scalar fundamental theorem gives, for every \(l\), \[ \partial^\alpha f_l(x+h e_i)-\partial^\alpha f_l(x) =\int_0^h\partial^{\alpha+e_i}f_l(x+t e_i)\,dt. \tag{BF4} \] Uniform convergence passes through this integral, with error at most \(|h|\sup|\partial^{\alpha+e_i}f_l-g_{\alpha+e_i}|\). Hence (BF4) holds with the corresponding \(g\)'s. Dividing by \(h\) and using continuity shows \(\partial_i g_\alpha=g_{\alpha+e_i}\). Continuous coordinate partial derivatives give a full derivative: telescope the change along the finitely many coordinate segments and bound the differences of these continuous partial derivatives. Repeating this argument shows that \(g_0\) is smooth and \(\partial^\alpha g_0=g_\alpha\) for every \(\alpha\). It is supported in \(K\), and the original uniform estimates give \(p_N(f_l-g_0)\to0\). Thus \(\mathcal D_K(\Omega)\) is Fréchet for its exact smooth topology, including \(K=\varnothing\) and compact sets with empty interior. ## 19. The selected Zorn entry and the original Baire recursion The course chooses Zorn's maximality principle as an explicit logical axiom. Here is the exact selection map needed in the original complete-metric Baire argument. For any set-indexed family of nonempty sets \((A_i)_{i\in I}\), consider partial functions \(c\) with domain a subset of \(I\) and \(c(i)\in A_i\), ordered by extension. The empty function belongs to the poset. Every chain has an upper bound: its union is a function, since any two partial functions in the chain agree wherever both are defined, and every union value remains in its specified \(A_i\). Zorn gives a maximal partial function. If its domain omits \(i\), choose one element of that nonempty \(A_i\); adjoining that one pair extends the function, a contradiction. Consequently \[ c:I\longrightarrow\bigcup_{i\in I}A_i,\qquad c(i)\in A_i \text{ for every }i\in I. \tag{BZ1} \] This proves the required choice consequence from the chosen axiom, without adding an unannounced sequence-selection hypothesis. For the original metric space \(Z\), form the set-indexed family of all nonempty subsets of \(Z\times(0,\infty)\), and fix its selector from (BZ1). For a nonempty open \(W\subset Z\) and an integer \(j\geq1\), the set \[ A(W,j)=\{(z,r):z\in W,\ 0