Completing the finite-dimensional prerequisites

These arguments fill explicit steps used by the existing lesson. They do not replace the earlier programme proofs that are already present. The exact earlier files and proof fragments are recorded in prerequisite-bindings.json. The selected P1–P5 dependency chains are closed relative to their explicit axioms. This companion does not certify the whole lesson for publication.

The freely accessible human source is Jiří Lebl, Basic Analysis, volumes I and II, version 6.3 (15 May 2026), author edition. In particular, §§7.4, 8.2 and 8.5 have been read for the claims below. The programme contains their mathematical text and proofs in its Lebl reading collection. This companion is marked as an adaptation and extension of those open notes, licensed under CC BY-SA 4.0. It supplies the omitted finite-dimensional induction, smooth-regularity argument, and algebraic steps needed in the stationary-phase lesson. It does not reproduce the book's unrelated further-reading references.

P1. The finite-dimensional step in Heine–Borel

Statement. If $K\subset\mathbb R^n$ is closed and bounded, then every sequence in $K$ has a subsequence converging to a point of $K$. Consequently $K$ is compact in the open-cover sense.

Earlier programme inputs. The real Bolzano–Weierstrass theorem; preservation of a convergent sequence's limit by a subsequence; the sequential characterization of closed sets; and Lebl's Theorem 7.4.11, including its proof that sequential compactness is equivalent to open-cover compactness. These proofs and their transitive inputs have now been read and bound in topology-proof-chain.json. P6 fills the specific omitted exercises in that chain; P8 supplies the positive-root facts used by the Euclidean metric. This does not obtain the arbitrary-dimensional case from an unproved invocation of Theorem 7.4.14.

Proof. If $n=0$, the Euclidean space consists of the single empty tuple. Its only subsets are empty or singletons. The empty set is compact; for a singleton choose one member of any open cover containing its point. Every sequence in the singleton is constant. This proves the assertion in dimension 0. Now let $n\geq1$, and let $x_j=(x_j^1,\ldots,x_j^n)$ be a sequence in $K$. Boundedness gives a number $R$ with $|x_j^k|\leq R$ for every $j,k$. Construct nested subsequences, one coordinate at a time. At stage one, real Bolzano–Weierstrass gives a subsequence on which $x_j^1$ converges. Suppose after stage $k<n$ there is a subsequence on which all the first $k$ coordinates converge. Its $(k+1)$st coordinate is still a bounded real sequence. Extract a further subsequence on which this coordinate converges. Each of the first $k$ coordinates retains its limit. Finite induction gives a single subsequence, indexed by $j_\ell$, with $x_{j_\ell}^k\to x^k$ for all $1\leq k\leq n$.

Put $x=(x^1,\ldots,x^n)$. Given $\varepsilon>0$, for each coordinate choose $L_k$ such that $|x_{j_\ell}^k-x^k|<\varepsilon/\sqrt n$ when $\ell\geq L_k$. For $\ell\geq\max_kL_k$,

Thus the subsequence converges in the Euclidean metric. Since $K$ is closed and every term belongs to $K$, its limit belongs to $K$. The proved equivalence in Theorem 7.4.11 now supplies the finite-subcover property. This completes the arbitrary-dimensional step left as an exercise after the two-dimensional argument in Theorem 7.4.14. $\square$

P2. Cofactors and smooth dependence of an inverse

Statement. For a square real matrix $A$, the cofactor matrix gives

Consequently, on the open set $\det A\ne0$,

The entries of $A^{-1}$ are smooth functions of the entries of $A$.

Earlier programme inputs. The permutation definition and multilinearity of the determinant from §8.2.3, the sign change under a row or column interchange, the product rule for derivatives, and smoothness of the scalar reciprocal away from zero. Its difference quotient is $(1/(t+h)-1/t)/h=-1/(t(t+h))$, which tends to $-t^{-2}$. Repeated product rules then give its $k$th derivative $(-1)^k k!t^{-k-1}$. Indeed the derivative of the product of $k+1$ reciprocal factors is the sum of $k+1$ equal terms, giving $(t^{-k-1})'=-(k+1)t^{-k-2}$. Multiplication by $(-1)^k k!$ proves the induction step, starting with the displayed first derivative. Its continuity follows from $|u^{-1}-v^{-1}|=|u-v|/|uv|$ on an interval separated from zero.

Proof. Write $A_{\widehat i,\widehat j}$ for the matrix obtained by removing row $i$ and column $j$, with the determinant of the empty matrix defined to be 1. Group the permutation formula by the entry chosen in row $i$. Removing that row and its chosen column leaves a permutation of the other indices. Moving row $i$ and column $j$ to the first positions uses $(i-1)+(j-1)$ interchanges, of parity $i+j$. Thus grouping gives the row expansion

Define $C_{ij}=(-1)^{i+j}\det A_{\widehat i,\widehat j}$ and $\operatorname{adj}A=C^T$. The $(i,k)$ entry of $A\operatorname{adj}A$ is $\sum_j a_{ij}C_{kj}$. For $i=k$ this is $\det A$ by (P2.3). For $i\ne k$, it is the row-$k$ expansion of the matrix obtained by replacing row $k$ with row $i$: the minors omitting row $k$ have not changed. That matrix has two equal rows, so its determinant is zero. This proves the first identity in (P2.1). Column expansion gives the second identity by the same argument.

If $\det A\ne0$, division proves the first formula in (P2.2). The determinant and every cofactor are finite polynomials in matrix entries. Polynomial smoothness and the scalar reciprocal calculation prove smoothness of the inverse. Differentiating $A^{-1}A=I$ in the direction $E$ yields $d(A^{-1})[E]A+A^{-1}E=0$; multiplication by $A^{-1}$ on the right gives the second formula. This argument proves smoothness rather than assuming it in order to differentiate the inverse. $\square$

P3. Upgrading the inverse and implicit theorems to smooth maps

Statement. In Lebl's inverse function theorem, if $f$ is $C^r$, for an integer $r\geq1$, then its local inverse is $C^r$. If $f$ is smooth, its inverse is smooth. The corresponding assertions hold for the implicit function theorem, jointly in all the parameter variables.

Earlier programme inputs. The $C^1$ inverse and implicit proofs of Theorems 8.5.1 and 8.5.6, with the product-neighbourhood choice made explicit in P10.6; the chain and product rules; and P2. The regularity assertion in Remark 8.5.8 is not used as a proof.

Proof. Write $g=f^{-1}$ on the open neighbourhood supplied by the $C^1$ theorem. That theorem already proves

Suppose $f\in C^r$, and start with the established fact $g\in C^1$. For $1\leq k<r$, assume $g\in C^k$. Then $Df\in C^{r-1}$, so repeated chain and product rules show $Df\circ g\in C^k$, since $k\leq r-1$. P2 shows that matrix inversion preserves $C^k$ where the determinant is nonzero. Hence (P3.1) says $Dg\in C^k$, which is the definition of $g\in C^{k+1}$. Induction proves the finite $r$ assertion; applying it for every $r$ proves the smooth one.

For an implicit equation $F(s,x)=0$, the earlier proof applies the inverse theorem to $\mathcal F(s,x)=(s,F(s,x))$. Its derivative is the block matrix

When $D_xF$ is invertible this block matrix has inverse $\left(\begin{smallmatrix}I&0\\-(D_xF)^{-1}D_sF&(D_xF)^{-1}\end{smallmatrix}\right)$, as direct multiplication verifies. The inverse $\mathcal G$ is $C^r$ by the assertion just proved. The solution is the last coordinate block of $\mathcal G(s,0)$, so it is $C^r$ jointly in $s$. No uniform size of a neighbourhood across an unbounded parameter family is asserted. $\square$

P4. The Schur-complement step in the parameter Morse proof

Statement. Let $\phi(x_1,x',s)$ be smooth, with a critical point at $x=0$ for each nearby $s$, and suppose $a=\partial_1^2\phi(0,s)\ne0$. Write its Hessian at that point as

Let $x_1=u(x',s)$ be the local solution of $\partial_1\phi=0$, and put $g(x',s)=\phi(u(x',s),x',s)$. Then

In particular $S$ is invertible if $H$ is invertible.

Earlier programme inputs. P3, the chain rule, the mixed-partial proof bound and completed in P11, and the determinant multiplication theorem proved in Lebl's Proposition 8.2.9.

Proof. Differentiate $\partial_1\phi(u(x',s),x',s)=0$ in $x'$. At the critical point this gives $aD_{x'}u+b^T=0$, proving the first identity. The first derivative of $g$ is $\phi_{x'}$, evaluated on this graph, because the extra factor $\phi_1D_{x'}u$ vanishes identically there. Differentiating again and substituting the first identity gives $D_{x'}^2g=C+bD_{x'}u=C-a^{-1}bb^T$.

For the determinant identity use the explicit invertible matrix

Block multiplication proves the second formula. The permutation definition gives $\det T=1$: any nonzero permutation term must pick the diagonal entry in each lower row, then the first entry in the first row. It also gives $\det\operatorname{diag}(a,S)=a\det S$ by expanding the first column. Determinant multiplication and invariance under transpose now yield $\det H=a\det S$. Thus if $a\ne0$ and $\det H\ne0$, then $\det S\ne0$, as required for the next induction step. $\square$

P5. Why congruence preserves the signature

Statement. If $H$ is real symmetric and invertible, and $T$ is invertible, then $H$ and $T^THT$ have the same numbers of positive and negative eigenvalues. Consequently the Jacobian factor in Morse coordinates is $|\det H|^{-1/2}$ when the target Hessian has diagonal entries $\pm1$.

Earlier programme inputs. The orthogonal diagonalization proof Q5 in quadratic-stationary-phase.md, elementary finite-dimensional linear independence, and determinant multiplication. These selected inputs, including the explicit complement construction P9.4 and dimension argument P9.5, are now bound in differential-proof-chain.json.

Proof. In an orthogonal eigenbasis, suppose there are $p$ positive and $q$ negative diagonal entries. The span $E_+$ of the positive eigenvectors is a $p$-dimensional subspace on which the quadratic form is positive on every nonzero vector. No larger such subspace $V$ exists: the coordinate projection $V\to E_+$ would have a nonzero kernel if $\dim V>p$, by finite-dimensional linear independence. A nonzero vector in that kernel lies in the negative eigenspace and has a negative quadratic value, a contradiction. Thus $p$ is characterized without a basis as the largest possible dimension of a positive subspace. The identical argument for the negative form characterizes $q$.

The map $x\mapsto Tx$ sends subspaces bijectively to subspaces, preserves dimension, and satisfies $x^T(T^THT)x=(Tx)^TH(Tx)$. It therefore preserves both maximal dimensions, proving invariance of the signature. Finally if $T^THT=J$ with $J$ diagonal and entries $\pm1$, determinant multiplication gives $(\det T)^2\det H=\det J$. Taking absolute values, using $|\det J|=1$, and then the positive square root gives $|\det T|=|\det H|^{-1/2}$. $\square$

What these completions do and do not close

P1 supplies the general-dimensional induction missing from the cited Heine–Borel proof. P2 supplies the explicit inverse formula needed for smoothness; P3 supplies the regularity upgrade used when the phase is smooth. P4 expands the algebraic elimination in the existing Morse proof, and P5 proves the signature invariance used to identify its phase factor. All statements retain their full finite-dimensional and smooth-parameter scope. The exact topology and differential chains close P1, P2, P3 and P5 relative to their declared axioms. The mixed-partial input of P4 and the compact integration/Taylor inputs of the Morse construction are now supplied by P11–P12 and bound in integration-proof-chain.json. Neither a free external link nor this dependency declaration replaces any of those proofs.