For and , Fourier inversion and Cauchy--Schwarz give
The last integral is finite exactly when . Thus the sobolev embedding theorem gives
To see why the endpoint relevant to fails, choose a smooth cutoff supported near the origin and equal to one there, and set
Near zero, contributes , while contributes a constant multiple of . Both are finite, so , but is unbounded.
The real Stone-Weierstrass theorem says that if is compact Hausdorff and is a subalgebra containing the constants and separating points, then is uniformly dense in .
Let be the uniform closure. Polynomial approximation to on a bounded interval shows that whenever . Hence is closed under
Given , separation and the constants provide, for each , a function in agreeing with at and . Compactness first combines finitely many such functions by minima to obtain one that agrees at and lies below everywhere; a second finite cover and maxima produces with . Thus .
The space is Banach because a uniform Cauchy sequence converges uniformly to a bounded continuous function. Compactness is essential: the algebra of bounded continuous functions having finite limits at both and contains constants and separates points, for example using , but its uniform closure has the same limiting property. It cannot uniformly approximate , so it is not dense in .
Because is a subcomplex, , so
is well defined and squares to zero. The short exact sequence of chain complexes
gives the long exact sequence
Taking and using the contractibility of gives
For , exactness makes a quotient of a subgroup of , whose rank is at most
The same stated inequality for follows from . Finally, an -cycle in the boundary sphere has equal signed coefficients on all -faces. A proper subcomplex omits an -face, so that coefficient and hence every coefficient is zero. Therefore .
Write with odd primes . The Jacobi symbol is
where each factor on the right is a Legendre symbol. The supplementary law is
For coprime positive odd , quadratic reciprocity gives
Applying this with gives
Finally, factor with odd. The supplementary laws for and , followed by reciprocity on every odd prime factor of , express solely in terms of the residue class of the positive odd integer modulo when or . If , all those factors, including the zero cases, agree; hence

There are unlisted articles, also show them or only show them.