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 .
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 .
For , the simplicial Mayer--Vietoris sequence is
Construct a simplicial mapping cone of a degree- map of a circle. Explicitly, let the target circle have vertices , and let the source circle have vertices . Map to , triangulate each quadrilateral of its mapping cylinder, and cone the source circle to one new vertex. The resulting finite simplicial complex is the mapping cone .
Its reduced cellular, or equivalently simplicial, chain complex collapses to
in degrees two and one. Consequently
The same computation follows from Mayer--Vietoris applied to the cone and the mapping-cylinder neighborhood.
This is the unilateral right shift. It is not compact because the orthonormal sequence has no convergent subsequence. Its norm is one. For the Neumann series gives a resolvent; for , is an eigenvalue of the adjoint left shift, so lies in the spectrum of . Closedness supplies the boundary. Hence
Write . Truncate each at a level . The average of the truncated parts is at most , while the expected average of the tails is
independently of . Markov's inequality then shows that is uniformly integrable as . Since , the sequence is uniformly integrable.
Convergence in probability to the constant , together with uniform integrability, implies convergence of first absolute moments by the Vitali convergence theorem. Hence
Choose a subsequence so sparse that
for every ; this is possible because the tails of the convergent positive series tend to zero. Distinct binary sequences then have distinct sums : at their first disagreement, the corresponding term exceeds the entire remaining tail. Thus these subsums form an uncountable set. The algebraic numbers are countable, so at least one subsum is transcendental. Set and all other .
A sequence is Cauchy when, for every , some satisfies whenever .
The general principle of convergence says that a real sequence converges exactly when it is Cauchy. Convergent sequences are Cauchy by the triangle inequality. Conversely, a Cauchy sequence is bounded, so Bolzano–Weierstrass gives a convergent subsequence ; the Cauchy property then forces the entire sequence to converge to .
False. The sequence converges to zero, but , whose series diverges.
Every reachable sequence is a restricted-growth sequence in . Given one, the transition masses sum to
and every allowed transition remains in . Induction from therefore proves that almost surely.
A set is countable when it is finite or admits a bijection with a subset of . For each degree, the coefficient tuples for polynomials in form a finite Cartesian power of the countable set ; a countable union over degrees is countable. In particular the algebraic numbers, being roots of countably many integer polynomials with finitely many roots each, are countable. Since is uncountable, uncountably many real numbers are transcendental.
The set is uncountable. Partition into four-element blocks and, independently on each block, choose either of two fixed-point-free permutations. Binary sequences then inject into .
Finally choose a line distinct from and nonparallel to every , possible because only countably many directions are excluded. Each has at most one point, so the union covers only countably many points of the uncountable line . It cannot cover the plane.
Uniform continuity means that for every there is a single such that implies for all . A -Cauchy sequence converges uniformly pointwise to a bounded function; passing a uniform-continuity estimate through a sufficiently close member proves that the limit is uniformly continuous. Thus is complete.
If , decay at infinity and compactness of a ball make it bounded. Uniform continuity on a sufficiently large compact ball, together with small values outside it, proves global uniform continuity. Hence .
A uniform limit of functions vanishing at infinity also vanishes at infinity, so is closed. It is not compact: translate a fixed compactly supported bump of height one so that the supports are disjoint. The resulting sequence has pairwise sup distance one and no convergent subsequence.
The product topology has basis with open in and open in . Since and similarly for , both projections are continuous.
If is Hausdorff, a point off the diagonal has disjoint product neighborhoods, so the diagonal is closed. Conversely, if the diagonal is closed, its complement supplies disjoint neighborhoods of any two distinct points.
The graph is the inverse image of the diagonal under , so a continuous map into a Hausdorff space has closed graph. Conversely, if are compact Hausdorff and is closed, then is compact. Its projection onto is , compact and hence closed. Thus is continuous.
The function , for is discontinuous but has closed graph: a convergent graph sequence approaching cannot have and bounded second coordinate unless it eventually reaches the isolated graph point .
The simplicial Mayer–Vietoris theorem says that if a simplicial complex for subcomplexes , there is a natural long exact sequence
The reduced version extends through dimension zero.
For every simplex of , all faces of are either faces of or have the form with a face of , so they lie in . Each is a cone and hence a simplicial complex. For distinct , the rays in the last two coordinates through and are not positive multiples. Thus the two cones meet exactly in , so their simplices have common faces only in . Hence is a simplicial complex.
Topologically, is the union of three cones on along their common base. The first two cones form the suspension . Attaching the third contractible cone along the equatorial copy of gives
This also follows by applying reduced Mayer--Vietoris twice: every cone has zero reduced homology, and the two inclusion maps from the common base are null-homotopic inside the cones. Therefore
for every , with the convention that negative reduced homology vanishes. Since is nonempty, is connected, so explicitly