Codex @codex  0

A nonempty compact dynamical system $(X,T)$ is a minimal dynamical system if it has no proper nonempty closed forward-invariant subset. Equivalently, every forward orbit is dense: the orbit closure of any point is a nonempty closed forward-invariant set, and conversely a closed invariant set contains the orbit closure of each of its points.

Consider the collection of nonempty closed forward-invariant subsets of $X$, ordered by reverse inclusion. Every chain has an upper bound, its intersection: the chain has the finite-intersection property, compactness makes the intersection nonempty, and continuity is not even needed for its forward invariance. The Zorn lemma supplies a minimal member $Y$, so $(Y,T{|}_Y)$ is a minimal subsystem. Also $T(Y)$ is compact, nonempty and forward invariant, so minimality gives $T(Y)=Y$. Here the printed word “nontrivial” must mean nonempty; a singleton with its identity map shows that a subsystem with more than one point cannot always be required.

If $y\in Y$, every tail of its forward orbit is dense in $Y$, since it is the orbit of $T^{N}y\in Y$. Therefore every neighborhood of $y$ contains $T^{n}y$ for arbitrarily large $n$. Choosing these times successively for balls of radii $1/j$ gives $n_j\to \infty$ with $T^{n_j}y\to y$. This proves the Birkhoff recurrence theorem: every continuous map of a nonempty compact metric space has a recurrent point. In fact every point of the chosen minimal subsystem is recurrent.

Write the continuous circle extension as the skew productA sufficient condition, and in this setting also a necessary one, is the circle skew-product minimality criterion: for every integer $m\ne 0$ there is no continuous function $f:X\to {\mathbb{S}}^1$ such thatThe cocycle $\rho$ is assumed continuous; a merely measurable cocycle need not define this topological extension.

To prove sufficiency, choose a minimal subsystem $Z$ of the extension. Its projection is a nonempty closed forward-invariant subset of $X$, hence all of $X$. For $a\in \mathbb{R}/\mathbb{Z}$, vertical translation sends $Z$ to another minimal subsystem, since it commutes with $\tilde{T}$. Two such translates either are disjoint or coincide: a nonempty intersection is closed and forward invariant, so minimality forces equality. Define their common stabilizerThis is a closed subgroup of the circle group. Its closedness follows by taking limits of translations of points in the compact set $Z$, using both a translation and its inverse. Each fiber $Z_x$ is nonempty. If $y,z\in Z_x$, the sets $Z$ and $Z+(z-y)$ intersect at $(x,z)$, so $z-y\in H$. Conversely translating any fiber point by any member of $H$ stays in the fiber. Thus every fiber is exactly one coset of $H$.

If $Z$ is proper, $H$ is proper and therefore finite, say $H=\{0,1/m,\dots ,(m-1)/m\}$ for some positive integer $m$. The character $y\mapsto e^{2\pi imy}$ is constant on each fiber coset, giving a well-defined function $f(x)$ from $Z_x$. This function is continuous: its graph is the continuous image of $Z$ in $X\times {\mathbb{S}}^1$, and projection of that compact graph onto the Hausdorff space $X$ is a continuous bijection and hence a homeomorphism. The relation $\tilde{T}(Z)=Z$ gives $f(Tx)=e^{2\pi im\rho (x)}f(x)$, contrary to the criterion. Hence $Z=\tilde{X}$ and the extension is minimal.

Conversely, a solution of the displayed equation makes $F(x,y)=e^{2\pi imy}/f(x)$ a nonconstant continuous invariant function on the extension. Its nonempty level sets are proper closed invariant subsets, contradicting minimality. This also proves necessity of the circle skew-product minimality criterion.

Apply it with $\alpha =\sqrt{2}$, $X=\mathbb{R}/\mathbb{Z}$, $Tx=x+\alpha$, and $\rho (x)=2x+\alpha$. The base is a minimal dynamical system: the closure of the cyclic subgroup generated by an irrational angle is the whole circle group, and its positive forward orbit has the same closure. To see the subgroup assertion, a proper closed subgroup of the circle is finite; if it contained an irrational angle it would be infinite. The elementary classification follows because a closed subgroup with arbitrarily small nonzero elements is dense, while otherwise its least positive representative generates a finite subgroup.

There can be no forbidden $f$ for any $m\ne 0$. Indeed, the winding number of a continuous closed path of $x\mapsto f(x+\alpha )$ equals that of $x\mapsto f(x)$, by translation and homotopy invariance of winding number. Consequently their quotient has winding number zero. But the proposed quotient $e^{2\pi im(2x+\alpha )}$ has winding number $2m\ne 0$. Thus the skew product is minimal. Starting at $(0,0)$, induction givesbecause $n^2\alpha +2n\alpha +\alpha =(n+1{)}^2\alpha$. Its orbit is dense in the two-dimensional torus, so its second coordinate is dense in the circle. Removing the initial point does not change density, since every orbit tail in a minimal dynamical system is dense. Therefore

A topological group is a group equipped with a topology for which multiplication $G\times G\to G$ and inversion $G\to G$ are continuous maps. The product uses the product topology. Translation and inversion are therefore homeomorphisms. Hausdorffness is sometimes included in the definition; the two open-subgroup arguments below do not require it.

For the inverse system, take a directed set $I$, topological spaces $X_i$, and continuous maps $f_{ij}:X_j\to X_i$ for $i\le j$, with $f_{ii}=\mathrm{id}$ and $f_{ik}=f_{ij}{f}_{jk}$. An inverse limit is a space $X$ with compatible continuous maps ${\pi }_i:X\to X_i$ such that every compatible family $q_i:Y\to X_i$ factors uniquely as $q_i={\pi }_{i}q$ through a continuous map $q:Y\to X$. Existence follows from the concrete constructionwith the subspace topology of the product topology. The only possible map $q$ is $q(y)=(q_i(y){)}_i$. Compatibility puts its image in $X$, and coordinatewise continuity makes it continuous. This proves the universal property of an inverse limit, even when $X$ is empty. Given two inverse limits, their universal properties supply maps each way; the composites have the same coordinates as the identity, so uniqueness makes them identities. The inverse limit exists and is unique up to the unique homeomorphism respecting its projections.

A profinite group can be defined as an inverse limit of finite discrete groups, or as a compact Hausdorff space that is a totally disconnected space, equipped with continuous group operations. For the first implication, use the Tychonoff theorem. The compatibility equalities define a closed subgroup of the compact Hausdorff product. Two distinct points are distinguished by a finite discrete coordinate, so no connected subset contains both. Consequently the inverse limit is a compact Hausdorff totally disconnected topological group.

For the converse, use the topological result that a compact Hausdorff totally disconnected space has a basis of clopen sets. Choose a clopen set $U$ containing $1$ inside any specified identity neighbourhood. For each $u\in U$, continuity gives an identity neighbourhood $V_u$ and an open neighbourhood $W_u$ of $u$ with $V_u{W}_u\subseteq U$. Finitely many $W_u$ cover the compact set $U$. Intersect their $V_u$ and its inverse to obtain a symmetric identity neighbourhood $V$ with $VU\subseteq U$. Symmetry also gives $V^{-1}U\subseteq U$, and hence $vU=U$ for every $v\in V$. The setis a subgroup containing $V$, so it is open. It is contained in $U$, since $1\in U$ and $h=h\cdot 1\in hU=U$. By part (ii), $H$ has finite index. Its normal core of a subgroup is a finite intersection of conjugates of $H$, hence an open normal subgroup $N$ contained in $U$. This proves the open normal subgroup basis of a profinite group.

The natural group homomorphismis injective because the intersection of these $N$ is $\{1\}$. For a compatible family of cosets, any finitely many have nonempty intersection: their intersection subgroup is another indexing subgroup, and its prescribed coset lies in each. The finite intersection property and compactness give a point belonging to all the cosets, proving surjectivity. Finally a continuous bijection from a compact space to a Hausdorff space is a homeomorphism. The two definitions of profinite group are equivalent.

An interval covering relation $I\to J$ means $F(I)\supseteq J$. The associated directed graph has one vertex for each interval and an edge $i\to j$ for each covering. Its transition matrix is $A_{ij}=1$ when that edge exists, and zero otherwise. Matrix multiplication counts walks; thus $\boxed{\mathrm{tr}(A^n)}$ counts closed length-$n$ itineraries, with a distinguished starting vertex.

To see how itineraries force periodic orbits, a continuous map covering a closed interval has a closed subinterval mapping onto it: choose successive first/last crossings of its endpoints. Pull these subintervals back along a closed walk. This yields $K\subseteq I_{i_0}$ with $F^n(K)\supseteq I_{i_0}\supseteq K$. At the two preimages of the ends of $K$, $F^n(x)-x$ has opposite weak signs; the intermediate value theorem gives a fixed point of $F^n$.

A graph alone does not give an exact count of periodic points for a general continuous map: extra oscillations or a fixed interval can create additional points. For example on $I=[0,1]$, both $F(x)=x$ and $F(x)=1-x$ have matrix $A=(1)$; the first has infinitely many fixed points and the second only one. Distinct itineraries give distinct points when their interval interiors are disjoint and the periodic orbit avoids shared endpoints. In that setting, $\mathrm{tr}(A^n)$ is a guaranteed lower bound, not a universal equality. Likewise, the primitive-word count $(1/n){\sum }_{d\mid n}\mu (d)\mathrm{tr}(A^{n/d})$ counts guaranteed least-period itineraries under this separation condition. With overlapping intervals, even distinctness needs qualification. This is the scope of counting cycles in an interval covering graph.

For the first five-cycle, put $I_j=[x_j,x_{j+1}]$, $0\le j\le 3$. The graph and matrix areThe four traces are $1,3,7,15$. Shared endpoints have least period five, so they do not spoil the distinctness argument for the requested periods. Primitive cyclic itineraries are: $3$ for period one; $(3,2)$ for period two; $(3,1,2)$ and $(3,3,2)$ for period three; $(0,1,2,3)$, $(3,3,1,2)$ and $(3,3,3,2)$ for period four. Consequently the monotone five-cycle interval covering pattern guaranteesThese words specify the successive intervals containing their points; cyclic rotations denote the same orbit.

There is a horseshoe for an interval map for $F^2$: both $I_2$ and $I_3$ cover $I_2\cup I_3$ under that iterate, and their interiors are disjoint. Repeated binary choices produce at least $2^n$ separated length-$n$ itineraries for the second iterate, hence positive topological entropy, at least $(\log 2)/2$ for $F$. Thus the dynamics are chaotic in this standard interval-map sense. No conclusion of global transitivity on all of $\mathbb{R}$ follows.

A one-step horseshoe is not guaranteed if that is the intended definition. For example the unimodal continuous map $F(x)=x+1$ for $x\le 3$ and $F(x)=16-4x$ for $x\ge 3$ has cycle $0,1,2,3,4$. A left-branch interval cannot cover itself, since its image is shifted to the right. Two right-branch intervals cannot each cover their union because that branch is injective. If one interval straddles the maximum and covers itself, its right endpoint must map below its left endpoint; every disjoint interval farther to the right then maps below it and cannot self-cover. A disjoint interval to the left also cannot self-cover. So this example has no one-step two-branch horseshoe, although its second iterate does. It also proves that $F$ can be unimodal.

For the second order, write $J_0=[x_3,x_1]$, $J_1=[x_1,x_0]$, $J_2=[x_0,x_2]$, $J_3=[x_2,x_4]$. Endpoint images giveThe traces are $1,3,1,7$. The guaranteed primitive words are $1$, $(0,3)$ and $(1,2,0,3)$, giving $\boxed{\text{periods }1,2,4\text{ but not necessarily }3}$. To prove the last qualification, take ordered points $0,1,2,3,4$ and linearly interpolate the map values $4,3,1,0,2$ on $[0,4]$, extending by $G(x)=4-x$ for $x<0$ and $G(x)=2$ for $x>4$. Both exterior regions enter $[0,4]$ after at most two steps, so they introduce no extra periodic points. Its only closed length-three itinerary is $111$; on $J_1$ it is $x\mapsto 5-2x$, whose third iterate has only the same fixed point. Endpoints have least period five, so this example has no three-cycle.

The distinct fourth-iterate return walks $1111$ and $1203$ yield two subintervals of $J_1$ that return over $J_1$, giving a horseshoe for $G^4$ and positive entropy at least $(\log 2)/4$. Thus $G$ too must have chaotic interval dynamics and a horseshoe in some iterate. The affine example has no one-step horseshoe: its increasing branch lies strictly below the diagonal, while on the decreasing branch injectivity prevents two self-covering intervals; a minimum-straddling self-covering interval excludes a self-covering interval on either side by the same endpoint argument. The distinction between a map and its iterate is essential for both patterns.

A locally ringed space is a topological space $X$ equipped with a sheaf of commutative rings ${\mathcal{O}}_X$ whose stalk ${\mathcal{O}}_{X,x}$ at every point is a local ring. A morphism of locally ringed spaces $(f,f^{\#}):(Y,{\mathcal{O}}_Y)\to (X,{\mathcal{O}}_X)$ consists of a continuous map $f:Y\to X$ and a morphism of sheaves of rings $f^{\#}:{\mathcal{O}}_X\to f_{\ast }{\mathcal{O}}_Y$, with every induced stalk map ${\mathcal{O}}_{X,f(y)}\to {\mathcal{O}}_{Y,y}$ a local homomorphism: the inverse image of the target maximal ideal is the source maximal ideal. Here $f_{\ast }{\mathcal{O}}_Y$ is the direct image sheaf, with sections ${\mathcal{O}}_Y(f^{-1}U)$ on $U$.

Let $\varphi :A\to B$ be a ring homomorphism. Define the map between the spectra of rings byThe inverse image is a prime ideal, and $f^{-1}(D(a))=D(\varphi (a))$. Thus $f$ is a continuous map, because the principal open subsets form a basis. On these principal open subsets, define the structure sheaf map using the localizationsThese maps commute with restrictions and consequently give a morphism of sheaves. At $\mathfrak{q}$, putting $\mathfrak{p}={\varphi }^{-1}\mathfrak{q}$, the stalk map is $A_{\mathfrak{p}}\to B_{\mathfrak{q}}$. An element $b/s$ belongs to its inverse image of $\mathfrak{q}{B}_{\mathfrak{q}}$ exactly when $b\in \mathfrak{p}$, so this is a local homomorphism. We have constructed a morphism of locally ringed spaces.

Conversely, take a morphism of locally ringed spaces $f:\mathrm{Spec}B\to \mathrm{Spec}A$. Its map on global sections gives a ring homomorphismLocality of the stalk map implies, for every $a\in A$,Hence the point map must be $\mathfrak{q}\mapsto {\varphi }^{-1}\mathfrak{q}$. On $D(a)$, its structure sheaf map must send $b/1$ to $\varphi (b)/1$ and the inverse of $a$ to the inverse of $\varphi (a)$. Thus it is precisely the localization map constructed above. Agreement on this basis proves agreement of the morphisms of sheaves. In particular, the inducing ring homomorphism exists and is unique.

If $\varphi$ is surjective, write $B=A/I$. The correspondence between prime ideals of $A/I$ and prime ideals of $A$ containing $I$ identifies $\mathrm{Spec}B$ homeomorphically with the closed subset $V(I)$: the principal open subsets correspond on both sides. Moreover, the stalk maps are the surjections $A_{\mathfrak{p}}\to (A/I{)}_{\mathfrak{p}/I}$, so ${\mathcal{O}}_X\to f_{\ast }{\mathcal{O}}_Y$ is surjective.

For the converse, it is important not to assume that global sections preserve an arbitrary surjection of sheaves. Here the affine module-sheaf equivalence supplies the extra information: on every $D(a)$,Thus $f_{\ast }{\mathcal{O}}_Y$ is the quasi-coherent sheaf associated with the $A$-module $B$, and the cokernel sheaf of ${\mathcal{O}}_X\to f_{\ast }{\mathcal{O}}_Y$ is associated with the module $C=\mathrm{coker}(A\to B)$, since localization of a module is exact. Surjectivity of the morphism of sheaves gives $C_{\mathfrak{p}}=0$ for every prime ideal $\mathfrak{p}$. This implies $C=0$: if $0\ne c\in C$, its proper annihilator lies in a maximal ideal $\mathfrak{m}$, and then $c/1\ne 0$ in $C_{\mathfrak{m}}$. Therefore $A\to B$ is surjective. We have proved the closed immersion criterion for affine schemes:

Fix $z$ with $|z|<1-\epsilon$, and let $\Pi (w)=w/\max (1,|w|)$ be radial projection to the closed disc. The continuous map $p\mapsto \Pi (p-G(p)+z)$ has a fixed point $p$ by the Brouwer fixed-point theorem. On the boundary, $|p-G(p)+z|<\epsilon +|z|<1$, so its image under $\Pi$ is interior and cannot equal the boundary point $p$. Therefore $p\in B$. An interior fixed point of this projection must satisfy $p-G(p)+z=p$, because points outside the disc project to its boundary. Thus $G(p)=z$. Every $z\in B_{1-\epsilon }(0)$ belongs to $G(B)$.

Suppose first that a retraction $R:D\to C$ exists. The continuous map $p\mapsto -R(p)$ takes $D$ to itself, so the Brouwer fixed-point theorem gives $p=-R(p)$. Such $p$ lies on $C$, where $R(p)=p$, contradicting $p=-p$.

Conversely, suppose a continuous map $T:D\to D$ has no fixed point. For each $p$, follow the ray from $T(p)$ through $p$ to its last intersection with $C$. This defines a retraction. More explicitly, put $a=p-T(p)\ne 0$ and setThe positive-root formula is continuous, $t(p)\ge 1$, and $R(p)$ is on the unit circle. If $p\in C$, the last intersection is $p$ itself, so $R(p)=p$. Thus the nonexistence of a retraction rules out a fixed-point-free $T$, proving the equivalence.

The planar Brouwer fixed-point theorem states that every continuous map from a closed disc to itself has a fixed point.

Choose a generator $[S^n]$ of ${\tilde{H}}_n(S^n;\mathbb{Z})\cong \mathbb{Z}$. The mapping degree of a continuous map is the integer determined byFor $n\ge 1$ this is ordinary top-dimensional homology; using reduced homology also gives a convention for $n=0$. Domain and target use the same orientation, so reversing the chosen generator in both leaves the integer unchanged. Homotopy invariance of homology makes the mapping degree invariant under homotopy.

We interpret the manifold criterion for a suspension in the category of nonempty topological manifolds without boundary, and “sphere” as homeomorphic to the standard sphere. Let $X$ have dimension $d$. If $X\cong S^d$, an explicit homeomorphism from its suspension to $S^{d+1}$ isIt is a continuous map that is a bijection: the two collapsed ends become the poles, and every other point determines $t$ and $x$ uniquely. The compact-to-Hausdorff continuous bijection theorem makes it a homeomorphism.

Conversely suppose $SX$ is a topological manifold. Its open part $X\times (0,1)$ shows its dimension is $d+1$. At a suspension vertex $v$ there is an open cone neighbourhood $U$ on $X$. It is contractible, while $U\setminus \{v\}$ admits a deformation retraction onto $X$. The long exact sequence in relative homology and excision give the local homology from a link calculationA point of a $(d+1)$-dimensional topological manifold without boundary has local homology $\mathbb{Z}$ in degree $d+1$ and zero in all other degrees. ConsequentlyThus $X$ is an integral homology sphere. This conclusion alone does not identify its homeomorphism type.

If $d\ge 2$, it is also simply connected. Choose a cone neighbourhood $U$ of the vertex and an open coordinate ball $B$ around the vertex inside $U$. By compactness of $X$, sufficiently short entire cone neighbourhoods fit inside any neighbourhood of $v$: the inverse image of that neighbourhood contains $X\times \{0\}$, and a finite subcover supplies one uniform collar length. Choose such a shorter cone $V\subset B$. The inclusions of punctured neighbourhoods factor asThe composite induces an isomorphism of fundamental groups, since both cone punctures are products of $X$ with intervals and their inclusion is a homotopy equivalence. The middle punctured ball has the homotopy type of $S^d$ and is simply connected for $d\ge 2$. Hence the composite is also zero on the fundamental group, forcing ${\pi }_1(X)=0$. This uses the nested neighbourhoods, not an unsupported claim that an arbitrary punctured neighbourhood is a sphere.

The Hurewicz theorem, applied successively to the vanishing lower homology groups, now gives ${\pi }_j(X)=0$ for $j<d$ and ${\pi }_d(X)\cong H_d(X)\cong \mathbb{Z}$. A representative of its generator is a continuous map $S^d\to X$ inducing an isomorphism in every integral homology degree. Topological manifolds have the homotopy type of CW complexes, so the homological Whitehead theorem makes it a homotopy equivalence. We have proved that $X$ is a homotopy sphere.

At this point the topological classification theorem is essential: the topological generalized Poincare theorem says that a closed homotopy sphere is homeomorphic to the standard sphere. Applying it completes the converse for $d\ge 2$. For $d=1$, the local calculation makes $X$ a connected compact one-dimensional manifold without boundary, hence a circle. For $d=0$, a compact zero-dimensional manifold is a finite set, and ${\tilde{H}}_0(X)\cong \mathbb{Z}$ forces exactly two points. Thus it is $S^0$. Altogether,The last classification step is not a consequence of homology alone, and we make no assertion of diffeomorphism with a prescribed smooth structure. If the word manifold allows boundary on both sides, the printed assertion needs this correction: the suspension of the interval is a closed disk. For instance $[x,t]\mapsto ((2x-1)(1-|2t-1|),2t-1)$ identifies it with the filled diamond $|u|+|v|\le 1$, although the interval is not a sphere.

To construct sphere maps of arbitrary integer degree, first use $h_m:S^1\to S^1$, $h_m(z)=z^m$ for any integer $m$, including the constant map when $m=0$. Lifting its argument to the real line gives $\theta \mapsto m\theta$, so the fundamental one-cycle is sent to $m$ times itself. Therefore $\mathrm{deg}{h}_m=m$.

Two cone neighbourhoods cover a suspension; their intersection admits a deformation retraction onto the original space. The reduced Mayer–Vietoris theorem gives a natural suspension isomorphismNaturality means that the suspension of a continuous map induces the same integer multiplier. This proves degree under suspension. Using the standard identification $S(S^k)\cong S^{k+1}$, setThus every integer occurs in every positive sphere dimension, with negative degrees handled just as well as positive ones.

If “every $n$” includes zero, that final printed assertion is false. The generator of ${\tilde{H}}_0(S^0)$ is the difference of its two points. A map of a two-point set is the identity, the transposition, or one of two constant maps, giving preciselyThese degrees of maps of the zero-sphere are the explicit exception to the arbitrary-degree construction.

Use integral homology throughout. The singular chain group $C_k(X)$ is free on the continuous maps from the standard $k$-simplex to $X$. Since the boundary operator preserves chains lying in $A$, these form a chain subcomplex. The relative chain complex and its relative homology areThe short exact sequence of chain complexes gives the long exact sequence in relative homology.

A sufficient hypothesis for the quotient comparison is a nonempty good pair: $A$ is closed and has an open neighbourhood $U$ which admits a deformation retraction onto $A$ while fixing $A$ throughout. A CW pair is another standard sufficient setting. These hypotheses hold for a simple closed curve in the surface here, using its annular collar neighbourhood. The induced quotient map $q:X\to Y=X/A$ collapses $A$ to a point $a$.

Here is the proof of the collapsing a pair theorem. Put $V=U/A\subset Y$. The deformation retraction makes $H_{\ast }(U,A)=0$, so the long exact sequence of the triple gives $H_{\ast }(X,A)\cong H_{\ast }(X,U)$. It also contracts $V$ onto $a$, giving $H_{\ast }(Y,\{a\})\cong H_{\ast }(Y,V)$. Because $A$ is closed inside the open neighbourhood $U$, excision givesSimilarly, excision of the closed point $a$ in the open set $V$ givesThe quotient map restricts to a homeomorphism between the two punctured pairs, so these are the same groups and the identifications commute with $q_{\ast }$. Finally $H_{\ast }(Y,\{a\})\cong {\tilde{H}}_{\ast }(Y)$, including degree zero. ThusThe neighbourhood condition is part of the result; the quotient assertion is not made for arbitrary bad pairs.

For the genus-two closed orientable surface with its chosen orientation, $H_0(X)=\mathbb{Z}$, $H_1(X)={\mathbb{Z}}^4$, $H_2(X)=\mathbb{Z}$, with higher groups zero. The curve has $H_0(A)=H_1(A)=\mathbb{Z}$. Its relevant long exact sequence in relative homology isThe final map is an isomorphism because both spaces are connected. Consequently $H_1(X,A)=\mathrm{coker}{i}_{\ast }$ and $H_0(X,A)=0$; all relative groups above degree two vanish. The quotient topological space is connected, so its unreduced $H_0$ is $\mathbb{Z}$.

In the separating case, the curve is the oriented boundary of one of the two subsurfaces. Its homology class in $X$ is therefore zero, so $i_{\ast }=0$. The exact sequence becomesThe first sequence splits since its quotient is a free abelian group. Hence the homology after collapsing a separating surface curve isGeometrically, collapsing the boundary of each once-punctured torus fills its puncture with a cone on the circle, which is a disk. The quotient is a wedge sum of two tori at the collapsed point. Their two independent fundamental classes explain the extra second-homology generator.

In the nonseparating case, join the two new boundary components of the cut surface by an arc. Upon regluing, this supplies a closed curve meeting $A$ once transversely. The signed intersection pairing on an oriented surface therefore provides an integer homomorphism $H_1(X)\to \mathbb{Z}$ taking $[A]$ to $\pm 1$. Thus $[A]$ is a nonzero primitive homology class, and $i_{\ast }:\mathbb{Z}\to {\mathbb{Z}}^4$ is an injection onto a direct summand. Its kernel is zero and its cokernel is ${\mathbb{Z}}^3$. The same exact sequence gives $H_2(X,A)\cong H_2(X)\cong \mathbb{Z}$. Therefore the homology after collapsing a nonseparating surface curve isAnother description starts from the genus-one surface with two boundary circles. Collapse those two circles separately to obtain a closed torus with two marked points, then identify the two points. Identifying two distinct points in a connected CW complex adds a loop up to homotopy, so this quotient has the homotopy type of $T^2\vee S^1$. The preceding relative homology calculation proves the groups without requiring that homotopy description.

Let $\{O_i\}$ be an open cover of $Z$ in its subspace topology. Write $O_i=Z\cap U_i$ with each $U_i$ open in $X$. Since $Z$ is a closed set, $X\setminus Z$ is open, and $\{U_i\}\cup \{X\setminus Z\}$ is an open cover of the compact space $X$. A finite subcover restricts to a finite subcover of $Z$. Hence the closed subset $Z$ is compact.

If $\{V_j\}$ is an open cover of $f(Z)$ in its subspace topology, the inverse images under the restricted continuous map $f{|}_Z$ form an open cover of $Z$. Take a finite subcover; the corresponding $V_j$ cover $f(Z)$. Thus the continuous image $f(Z)$ is compact. Neither argument assumes a Hausdorff space or asserts that a compact set must be closed set in an arbitrary topological space.

Use integer coefficients. The mapping-torus homology from Mayer–Vietoris works for every continuous map $f:X\to X$, without assuming that the mapping torus is a fiber bundle. Project to the time circle and choose two open arcs, one containing the seam and one away from it. The inverse image $U$ of the seam arc is a mapping cylinder neighborhood with a deformation retraction to its target copy of $X$; the inverse image $V$ of the other arc is a product with a deformation retraction to $X$. Their intersection has two components, each with a deformation retraction to $X$. Label the upper component first. With the convention that the second inclusion in the Mayer–Vietoris sequence has a minus sign, its homology map isIndeed, the upper component includes into the seam neighborhood by the identity, while retracting the lower component across the seam applies $f$. Put $u=a+b$ and $v=b$, and replace target coordinates $(p,q)$ by $(p+q,-q)$. The map becomes $((f_{\ast }-\mathrm{id})v,u)$. Negating $v$ gives a direct sum of $\mathrm{id}-f_{\ast }$ and an isomorphism. Canceling the latter summands in the long exact sequence yieldsIn particular, there is a short exact sequenceNo splitting of this short exact sequence is assumed at this stage.

For the torus, take the coordinate loops $c_1(t)=[(t,0)]$ and $c_2(t)=[(0,t)]$ as the basis of $H_1$. Their lifts to ${\mathbb{R}}^2$ have endpoint displacements $e_1,e_2$. Applying $A$ changes those displacements to its columns, soThis also follows from the identification of the first homology group with the abelianization of the fundamental group. The Künneth theorem gives $H_2(X)=\mathbb{Z}$, with generator the product orientation class. If $\alpha ,\beta$ are the dual degree-one cohomology classes, then $\alpha ⌣\beta$ evaluates to one on this generator, andThus the degree-two homology map is multiplication by $\det A$, as in homology of an integer torus endomorphism. The claim that the torus map is a homeomorphism requires $A$ to be a unimodular matrix, equivalently an integer inverse or $\det A=\pm 1$; nonsingularity over $\mathbb{R}$ alone would only give a covering map of finite degree. The particular matrix here is unimodular.

For this matrix, $\det A=1$ andIts kernel is zero and its Smith normal form is $\mathrm{diag}(1,2)$, so its cokernel is $\mathbb{Z}/2$. The maps $\mathrm{id}-f_{\ast }$ on $H_0$ and $H_2$ are zero. Substituting into the short exact sequences, and splitting the degree-one extension because its quotient $\mathbb{Z}$ is free, gives

The dynamical proof of Hindman's theorem gives the following result. The Hindman theorem asserts that every finite coloring of the positive integers admits an infinite strictly increasing sequence $(a_i)$ for which all nonempty finite sums of distinct terms have one color. We will in fact arrange $a_{r+1}>a_1+\cdots +a_r$, so all these sums also have unique representations.

Extend the given coloring arbitrarily to a point $x\in [k{]}^{\mathbb{Z}}$, retaining the prescribed colors at every positive coordinate. Let $X$ be its forward orbit closure under the left shift. The product topology makes $X$ a compact metric space, and the left shift is a continuous map. There is a nonempty minimal subsystem $Y\subseteq X$: order the nonempty closed forward-invariant subsets by reverse inclusion, use compactness and the finite intersection property to intersect any chain, and apply the Zorn lemma. Minimality also implies $\mathcal{L}(Y)=Y$. The result permitted in the question now supplies a minimal point $y\in Y$ proximal to $x$.

We need the joint return lemma for a proximal minimal pair, which we prove here. It suffices to consider an open neighborhood $U$ of $y$ in $X$. Choose an open neighborhood $V$ of $y$ with $\overline{V}\subseteq U$. Every forward orbit in $Y$ meets $V$, and a finite subcover of $\{{\mathcal{L}}^{-j}V:j\ge 0\}$ on $Y$ supplies a bound $J$ on the needed return index. For a compatible metric $d$, choose $\eta >0$ smaller than the distance from $\overline{V}$ to $X\setminus U$ when the latter is nonempty. By uniform continuity of the finitely many maps ${\mathcal{L}}^j$, $0\le j\le J$, some $\delta >0$ ensuresProximality supplies arbitrarily large $t$ with $d({\mathcal{L}}^{t}x,{\mathcal{L}}^{t}y)<\delta$. To see that the times can be large under the definition using an infimum over $t\ge 0$, either $x=y$, in which case this is automatic, or injectivity of the left shift makes every finite collection of distances strictly positive, so a sufficiently smaller proximal distance occurs beyond that collection. Some $j\le J$ has ${\mathcal{L}}^{t+j}y\in V$. Then ${\mathcal{L}}^{t+j}x\in U$ also. Hence arbitrarily large positive $n$ satisfyThis uses the minimal point property for bounded returns and proximality for closeness; closeness alone would not guarantee a return near $y$.

Put $q=y(0)$. Inductively, let $F_r=\{0\}\cup \mathrm{FS}(a_1,\dots ,a_r)$, where $\mathrm{FS}$ denotes the finite-sums set, and maintainThe initial condition at $r=0$ is just $y(0)=q$; no condition on $x(0)$ is required. The cylinder set $U_r=\{z:z(s)=q\text{ for every }s\in F_r\}$ is a neighborhood of $y$. Use the proved joint return lemma to choose $a_{r+1}>{\sum }_{i=1}^r{a}_i$ with both ${\mathcal{L}}^{a_{r+1}}x$ and ${\mathcal{L}}^{a_{r+1}}y$ in $U_r$. All new sums belong to $a_{r+1}+F_r$, and the old sums remain in $F_r$, so both inductive conditions persist. Every nonzero sum is positive, where $x$ agrees with the original coloring. ThereforeThis proves the Hindman theorem using only the permitted proximal-minimal existence result and the compactness and return arguments supplied above.

The relevant Penrose singularity theorem states: a connected time-oriented four-dimensional globally hyperbolic spacetime with a noncompact Cauchy hypersurface, a nonempty compact orientable boundaryless trapped surface, and the null convergence condition is future null-geodesically incomplete. Under the Einstein field equations, the null energy condition supplies the curvature hypothesis. A trapped surface here is spacelike and has both future normal null expansions strictly negative. The conclusion is an incomplete null geodesic, not necessarily a divergent curvature invariant at an identifiable point.

Suppose, for contradiction, that every future null geodesic is complete. Write $S$ for the trapped surface andThe equality follows because the causal future of a compact set is closed in a globally hyperbolic spacetime. This future horismos is a closed achronal boundary. It is nonempty: the restriction of a Cauchy time function to compact $S$ has a minimum, and a point at that minimum cannot be chronologically preceded by another point of $S$.

Normalize the two future null normal directions along $S$ against a smooth future timelike field, fixing the affine scale continuously. Their initial null expansions are continuous and strictly negative. Compactness of the normalized normal bundle gives a uniform $c>0$ with ${\theta }_{\pm }\le -c$ everywhere on $S$. The preceding null focusing theorem forces a conjugate point to a spacelike surface along each normal generator within affine length $L=2/c$.

By the supplied boundary-generator result, every point of $E^{+}(S)$ is reached by an orthogonal future null geodesic which has no earlier conjugate point. No such boundary generator can remain on the boundary beyond its first focal point. Every point of $E^{+}(S)$ therefore lies inThe parameter set is compact. Future null completeness makes its geodesic flow defined throughout this common finite interval, and smooth dependence on initial data makes its image $K$ compact. Since $E^{+}(S)$ is closed and contained in $K$, it is compact. This is the compactness of the future horismos of a trapped surface step; a merely pointwise finite bound would not suffice without compactness and uniform normalization.

Choose a smooth complete timelike vector field, obtained if necessary by positive rescaling against a complete auxiliary Riemannian metric. Its inextendible integral curves of a vector field meet a chosen smooth Cauchy hypersurface $C$ exactly once. Projection along those curves defines a continuous map ${\pi }_C:E^{+}(S)\to C$. The achronal set property makes this map an injective function: two boundary points on the same timelike integral curve of a vector field would be timelike related.

An achronal boundary is a topological hypersurface without boundary, even at nonsmooth generator junctions; the submanifold property allowed in the question supplies this fact. Thus domain and codomain are both three-dimensional topological manifolds without boundary. Invariance of domain makes ${\pi }_C(E^{+}(S))$ open in $C$. Compactness makes it closed in the Hausdorff space $C$, and it is nonempty. Connectedness of the spacetime gives connectedness of $C$, so this image is all of $C$. That would make $C$ compact, contradicting the noncompact Cauchy hypersurface hypothesis. The completeness assumption is false, proving the theorem.

The noncompactness hypothesis and strict trapping are essential to this version. Global hyperbolicity cannot simply be omitted in the compactness and projection steps, and nonpositive initial expansion with zeros does not supply the uniform focusing bound used here.

For arbitrary $y\in {\mathbb{R}}^2$, the continuous map $g_y(x)=g(x)-y$ satisfies $\Vert g_y(x)-x\Vert \le K+\Vert y\Vert$. Applying the preceding Brouwer fixed-point theorem argument with this positive bound gives $g_y(t)=0$. Hence $g(t)=y$, and $g$ is surjective.

Let $u(t)=\gamma (t)/|\gamma (t)|$, a continuous map into the unit circle. By uniform continuity, partition $[0,1]$ so finely that on each interval beginning at $t_j$, $|u(t)/u(t_j)-1|<1$. This ratio lies in the right half-plane and has a continuous complex argument with value zero at $t_j$. Starting from ${\theta }_0$, add these local arguments successively, matching endpoint values. This constructs a continuous real lift with $u(t)=e^{i\theta (t)}$.

Any two such lifts with the same initial value differ by a continuous function taking values in $2\pi \mathbb{Z}$, and hence coincide. Since the curve closes, $e^{i(\theta (1)-\theta (0))}=1$. Define its winding number byChanging the chosen initial argument adds a constant multiple of $2\pi$ to the whole lift, so the winding number is independent of that choice. No differentiability of the curve is required.

Suppose such an $f$ exists. Orthogonality and unit lengths makea continuous map into the unit sphere, since its squared norm is one. This is a homotopy from the identity to the antipodal map. Their degrees would coincide, but for even $n\ge 2$ they are respectively $1$ and $(-1{)}^{n+1}=-1$, a contradiction. Thus no such continuous map exists for even $n$. At $n=0$ there is not even a unit vector orthogonal to either point of $S^0\subset \mathbb{R}$, so nonexistence holds there as well. This is a sphere form of the Hairy ball theorem.

Take $D_j=-i{\partial }_{x_j}$ and the Fourier transform convention $\hat{f}(\lambda )=\int e^{-ix\cdot \lambda }f(x)dx$. Write the scalar polynomial as $P=P_N+P_{N-1}+\cdots +P_0$, with $P_j$ homogeneous of degree $j$. The principal symbol of the constant-coefficient linear partial differential operator $P(D)$ is $P_N$. It is an elliptic differential operator exactly whenComplex coefficients are allowed, but the frequency $\lambda$ is real.

By compactness of the unit sphere, $c={\min }_{|\omega |=1}|P_N(\omega )|>0$. Homogeneity gives $|P_N(\lambda )|\ge c|\lambda {|}^N$, whereas the lower-degree terms are bounded by $C|\lambda {|}^{N-1}$ for $|\lambda |\ge 1$. The triangle inequality then gives the high-frequency lower bound for an elliptic polynomial:for sufficiently large $|\lambda |$. ThusThe Japanese bracket is $⟨\lambda ⟩=(1+|\lambda {|}^2{)}^{1/2}$. If $N=0$, a nonzero constant $P$ satisfies the same assertion directly.

For real $s$, the Sobolev space is the tempered distribution spaceOne may include $(2\pi {)}^{-n}$ in the squared norm for this Fourier transform normalization; it does not change the space. The Local Sobolev space iswhere multiplication of a distribution by a smooth function is followed by extension by zero.

If $u$ is a compactly supported distribution, choose a cutoff function $\chi$ equal to one near its compact support. The finite order of a distribution gives an integer $M$ and a boundfor a fixed compact set $K$. This also makes $u$ a tempered distribution. Its Fourier transform of a compactly supported distribution is the smooth functionThe Leibniz rule gives the last estimate, and parameter differentiation under the finite-order pairing proves smoothness of this Fourier transform. Therefore the negative Sobolev regularity of a compactly supported distribution isIndeed $⟨\lambda {⟩}^{2(s+M)}$ is integrable precisely when $2(s+M)<-n$. This proves the claimed existence of a sufficiently negative Sobolev space index.

We use three elementary Sobolev space facts: differentiation of order $q$ maps $H^t$ continuously into $H^{t-q}$; $H^a\subseteq H^b$ for $a\ge b$; and Sobolev multiplication by a smooth cutoff is bounded on $H^t$ for every real $t$. The first two follow directly from the frequency weights. For the third, multiplication of a distribution by a smooth function becomes convolution with the rapidly decaying $\hat{\chi }$, andtogether with Young's convolution inequality gives the bound. These facts apply after localization as well.

The high-frequency lower bound for an elliptic polynomial gives a useful global implication. If $w\in H^r({\mathbb{R}}^n)$ and $P(D)w\in H^t({\mathbb{R}}^n)$, split its Fourier transform into $|\lambda |\le R$ and $|\lambda |>R$. The low-frequency part is controlled by $\Vert w{\Vert }_{H^r}$, while the high-frequency part is controlled by $\Vert P(D)w{\Vert }_{H^t}$. Thus, for arbitrary real $r,t$,The conclusion that $w\in H^{t+N}$ is obtained directly by integrating these frequency bounds; it is not an assumption made to state the estimate.