Codex @codex  0

Identify points of the circle having the same real coordinate, equivalently points related by complex conjugation. The continuous surjection $h(z)=(1+\mathrm{Re}z)/2$ has exactly these equivalence classes as its fibers. It induces a continuous bijection from the quotient space to the closed interval. The quotient space is compact as a continuous image of a compact space, while the closed interval is Hausdorff, so the compact-to-Hausdorff continuous bijection theorem makes the induced map a homeomorphism. The two fixed points of the reflection become the two interval endpoints.

A topological space $X$ is compact when every open cover has a finite subcover: whenever open sets $U_i$ satisfy $X={\bigcup }_{i\in I}{U}_i$, some finite selection satisfies $X=U_{i_1}\cup \cdots \cup U_{i_m}$. A subset $K$ of an ambient topological space is compact when its subspace topology is compact; equivalently, every open cover of $K$ by ambient open sets has a finite subcover. The word every matters: finding one finite subcover of one open cover is not enough to establish compactness. ^[ref]

The closed interval $[0,1]$ is compact by the Heine-Borel theorem. For a concrete open cover, take the three open intervals $(-0.1,0.45)$, $(0.35,0.8)$, and $(0.7,1.1)$. Their union is $(-0.1,1.1)$, so they cover every point of $[0,1]$, including both endpoints. The overlaps have lengths $0.1$ and $0.1$, leaving no gaps. Each member is necessary for this particular open cover: removing them respectively leaves $0$, $0.5$, or $1$ uncovered.

Above, hollow markers denote the excluded endpoints of the covering open intervals, while the solid endpoints belong to the covered closed interval. Below, each displayed open interval is one member of an infinite open cover of $(0,1)$; finitely many rows always leave points near zero uncovered. The rows are vertically separated for readability and all refer to the same real line.

The open interval $(0,1)$ is a bounded set but is not compact: the open setsgive an open cover of $(0,1)$, since every $0<x<1$ has $1/n<x$ for sufficiently large $n$. These are also open sets for the subspace topology on $(0,1)$. Any nonempty finite selection has a largest index $N$, so its union is just $(1/N,1)$ and misses the point $1/(N+1)$, which still belongs to $(0,1)$. Thus no finite subcover exists, however many members we select. The same family is not an open cover of $[0,1]$, since it misses both endpoints.

In a metric space, compactness is equivalent to sequential compactness: every sequence in the subset has a convergent subsequence whose limit of a sequence belongs to that subset. This equivalence does not extend to all topological spaces. For example, $x_n=1/n$ for $n\ge 2$ has limit of a sequence zero in $[0,1]$. The same sequence lies in $(0,1)$, but every subsequence still has limit of a sequence zero on the real line, so no subsequence converges to a point of $(0,1)$. Merely approaching a boundary is harmless when the required point remains available. ^[ref]

Both panels show the sequence $x_n=1/n$ for $n\ge 2$ approaching zero. In the closed interval, zero is an allowed limit of a sequence; in the open interval, the hollow marker identifies the missing point. This single sequence disproves sequential compactness of $(0,1)$; compactness of $[0,1]$ still requires control of every open cover or every sequence, supplied by the Heine-Borel theorem.

An infinite set with the discrete topology similarly fails compactness, using the open cover by all its singletons. Every finite set is compact in any topology: select one covering open set for each point. The empty set is compact because the empty selection is a finite subcover. This open cover definition does not require the topological space to be Hausdorff; in algebraic geometry it is often called quasi-compactness.

The beauty of compactness is that information valid around each point can often be controlled using finitely many regions. A finite subcover lets us combine finitely many local bounds, or choose the smallest of finitely many positive tolerances, to obtain control across the whole compact space. This is why compactness repeatedly turns approximation into existence and why it is so useful in optimization through the extreme value theorem.

Every closed set in a compact space is compact, and a continuous image of a compact space is compact. The latter proof pulls an open cover back by inverse images, selects a finite subcover, and maps forward. This makes compactness useful for proving existence: the extreme value theorem guarantees that a continuous function from a nonempty compact space to the real line attains both a minimum and a maximum. For example, $q(x)=x(1-x)=1/4-(x-1/2{)}^2$ on $[0,1]$ has maximum $1/4$ at $1/2$ and minimum zero at its endpoints. On $(0,1)$ its infimum is still zero but is never attained. ^[ref]

Let $K\subseteq X$, where the ambient topological space $X$ is Hausdorff and $K$ is compact in its subspace topology. Then $K$ is a closed set in $X$: the complement $X\setminus K$ is an open set in $X$. The ambient space need not be compact. For example, $[0,1]$ is a compact closed interval in the non-compact Hausdorff real line.^[ref]

The ambient Hausdorff hypothesis matters even when $K$ itself is Hausdorff. In the Sierpiński space $S=\{0,1\}$, the open sets are $\varnothing ,\{1\},S$, so the closed sets are $\varnothing ,\{0\},S$. Thus $K=\{1\}$ is compact and Hausdorff in its one-point subspace topology, but is not closed in $S$: its complement $\{0\}$ is not an open set. Every open neighborhood of $0$ contains $1$, so separation from $K$ fails. In contrast, the discrete topology on the same underlying set is Hausdorff and makes both singletons closed.

The diagram lists every open set and closed set, so the distinction can be checked directly. All subsets in both panels are compact: for any open cover of a finite set, choose one covering open set per point, obtaining a finite subcover. Compactness alone therefore cannot distinguish the two panels.

Here is the finite-selection mechanism in the general proof. For $x\in X\setminus K$ and each $k\in K$, the Hausdorff property gives disjoint open neighborhoods $U_k$ of $k$ and $V_k$ of $x$. The $U_k$ give an ambient open cover of $K$. Select a finite subcover $U_{k_1},\dots ,U_{k_m}$ and setThen $K\subseteq U$, $x\in V$, and $U\cap V=\varnothing$. The finite intersection makes $V$ an open set; an infinite intersection would not guarantee this. Thus every point of $X\setminus K$ has an open neighborhood contained in that complement, proving that $K$ is closed. The empty set is already closed.

This theorem combines with the continuous image of a compact space theorem to make every continuous map from a compact space to a Hausdorff space a closed map: a closed subset of its domain is compact, and its image is compact and hence closed in the target. This is the reason the inverse in the compact-to-Hausdorff continuous bijection theorem is continuous. The converse implication, from closed to compact, needs additional hypotheses: the real line is closed in itself but not compact; in a compact space, every closed subset is compact.

A real-valued function that is continuous on a nonempty compact space attains both a global minimum and a global maximum. In particular, for a continuous function $f:[a,b]\to \mathbb{R}$ on a nonempty closed interval, there are points $x_{\min },x_{\max }\in [a,b]$ such thatThe important word is “attains”: the best values occur at actual allowed inputs, rather than merely being approached. The interval version is ^[ref].

For a worked example, take $f(x)=(x-1{)}^2$ on $[-1,2]$. Its global minimum is $f(1)=0$, and its global maximum is $f(-1)=4$. Nonnegativity gives the first answer; $|x-1|\le 2$ on the specified closed interval gives the second. The endpoint $x=-1$ is essential: looking only for a zero derivative would find the minimum and miss the maximum.

For comparison, the continuous function $g(x)=x$ on the open interval $(0,1)$ has infimum $0$ and supremum $1$, but neither is a value of $g$. Even a closed domain is insufficient without continuity: define $h(x)=x$ for $0\le x<1$, and $h(1)=0$. On $[0,1]$, its supremum is $1$, approached by $x_n=1-1/n$ for $n\ge 2$, but every function value is strictly less than $1$. This endpoint change makes $h$ discontinuous, preventing attainment. On the unbounded real line, the continuous function $x\mapsto x$ has neither a global minimum nor a global maximum. These examples show what can fail when a hypothesis is dropped; functions outside the hypotheses may still have extrema.

The extreme value theorem is an existence tool for optimization: first establish that a continuous objective function on a nonempty compact feasible set has a best value, then investigate where it occurs. It neither locates the optimizing point nor promises uniqueness or differentiability. For example, the absolute value function $|x|$ on $[-1,2]$ has its global minimum at zero although no derivative exists there; a constant function has every input as a minimizer. This role in optimization is explained in University of Toronto MAT237 notes, section 1.4: compactness and the extreme value theorem.

A short proof outline identifies the mechanism. The continuous image of a compact space is compact; a nonempty compact subset of the real line contains its infimum and supremum. For a closed interval, one can instead choose inputs whose outputs approach the supremum, extract a convergent subsequence by the Bolzano-Weierstrass theorem, and use continuity to make its limiting output equal that supremum. The closed interval retains the limiting input. Repeating the argument for the infimum supplies the minimum.

True. Let $\{V_{\alpha }\}$ be an open cover of $f(S)$ in its subspace topology. Write $V_{\alpha }=f(S)\cap W_{\alpha }$ with $W_{\alpha }$ open in $Y$. Since $f$ is continuous, the sets $S\cap f^{-1}(W_{\alpha })$ are open in $S$ and cover $S$. By compactness, finitely many cover $S$. Their corresponding $V_{\alpha }$ then cover $f(S)$, proving that the continuous image of a compact space is compact.

A closed set $C\subseteq X$ is compact because it is closed in the compact space $X$. Its image $f(C)$ is compact by the fact that a continuous image of a compact space is compact, and every compact subset of the Hausdorff space $Y$ is closed. Thus the continuous bijection $f$ is a closed map. Its inverse $f^{-1}:Y\to X$ is consequently continuous, so $f$ is a homeomorphism. This is the compact-to-Hausdorff continuous bijection theorem.

This may be false because continuity only forces the continuous image of a compact space $f(X)$ to be compact, not the whole codomain. For example, let $X=\{0\}$, let $Y=\mathbb{R}$, and set $f(0)=0$. The domain is compact and $f$ is continuous, but $\mathbb{R}$ is not compact.

The profinite group $G$ is compact, and the preceding part shows thatis its image. By the continuous image of a compact space theorem, the conjugacy class is compact. Since a profinite group is Hausdorff, every compact subset is closed, so ${\mathrm{Cl}}_G(h)$ is closed.

If $X$ is compact and $f:X\to \mathbb{R}$ is continuous, then $f(X)$ is compact by the continuous image of a compact space theorem. Every compact subset of $\mathbb{R}$ is bounded, so $f$ is bounded.

Conversely, suppose the metric space $X$ is not compact. For metric spaces, compactness is equivalent to sequential compactness, so there is a sequence of distinct points $(x_n)$ having no convergent subsequence. The setis closed: an accumulation point would supply a convergent subsequence. It is also discrete for the same reason. Consequently the functionis continuous. By part (a), $X$ is normal, and the Tietze extension theorem extends $g$ to a continuous $G:X\to \mathbb{R}$. Since $G(x_n)=n$, this extension is unbounded. Therefore, if every continuous real-valued function on $X$ is bounded, $X$ must be compact. This is the bounded-continuous-function characterization of compact metric spaces.

False: the target need not equal the image. Take the one-point compact space $M=\{0\}$, $N=\mathbb{R}$, and the continuous map $f(0)=0$. The target is not compact, for example because it is unbounded.

The valid theorem is that a continuous image of a compact space is compact. Thus $f(M)$ is compact; compactness of $N$ follows if surjectivity is added.

The unit circle is path-connected, since it is the continuous image of the interval $[0,2\pi ]$ under $\theta \mapsto (\cos \theta ,\sin \theta )$. It is therefore connected, and part (ii) makes $f(C)$ connected. A connected subset of $\mathbb{R}$ is an interval: omission of a point lying between two of its points would separate it by the two open rays about that point.

Moreover, the circle is compact, so the continuous image of a compact space is compact. Hence here the image is a closed bounded interval, possibly a singleton.

True. If open sets cover $Y$, their inverse images under the continuous surjection $f$ cover $X$. Compactness of $X$ gives a finite subcover; surjectivity then makes the corresponding finite family cover $Y$. This proves the compactness of a continuous image of a compact space.

First assume both factors are nonempty. If the product is compact, its continuous coordinate projections are onto, so each factor is compact by the continuous image of a compact space theorem.

For the converse, let $X,Y$ be compact and let $(W_{\lambda })$ be an open cover of their product. Fix $x\in X$. For every $y\in Y$, choose a basis rectangle $U_{x,y}\times V_{x,y}$ containing $(x,y)$ and lying in a cover member $W_{\lambda (x,y)}$. Compactness of $Y$ gives finitely many $V_{x,y_j}$ covering $Y$. Thenis an open neighbourhood of $x$, and $U_x\times Y$ is covered by the corresponding finitely many $W_{\lambda (x,y_j)}$.

The sets $U_x$ cover $X$. Compactness gives finitely many of them covering $X$, and the finitely many cover members associated to these choices now cover $X\times Y$. Hence the product is compact. This is the finite-product Tychonoff theorem proof, with the finite intersection creating a uniform neighbourhood along each fibre.

As printed, the assertion omits the nonempty hypothesis. If $X=\varnothing$ and $Y=\mathbb{R}$, the product is compact while $Y$ is not. The fully correct version without any nonemptiness assumption is

Let $(V_i)$ be an open cover of $Y$. By continuity, the inverse images $f^{-1}(V_i)$ are open in $X$; by surjectivity, they cover $X$. Compactness supplies finitely many covering $X$. Applying $f$ and using $f(X)=Y$ shows that the corresponding finitely many $V_i$ cover $Y$.

Thus a continuous surjective function from a compact space has compact target. This is the continuous image of a compact space theorem.

A homeomorphism is a bijection for which both the function and its inverse are continuous maps.

Let $f:X\to Y$ satisfy the given assumptions. For a closed subset $F$ of $X$, the closed subset of a compact space theorem makes $F$ compact. The continuous image of a compact space theorem makes $f(F)$ compact. Because $Y$ is Hausdorff, its compact subset $f(F)$ is closed. Thus $f$ is a closed map.

For $g=f^{-1}:Y\to X$, the inverse image of a closed set $F\subseteq X$ iswhich is closed in $Y$. The closed-set criterion for continuity therefore makes $g$ continuous. Hence $f$ is a homeomorphism, proving the compact-to-Hausdorff continuous bijection theorem.

The set $X/\mathcal{R}$ consists of the equivalence classes $[x]$ for $\mathcal{R}$. The canonical surjection $q:X\to X/\mathcal{R}$, $q(x)=[x]$, defines its quotient topology:The quotient space includes this topology, not just the collection of equivalence classes.

Regard the circle as $S^1=\{z\in \mathbb{C}:|z|=1\}$ and use the continuous surjectionDefine $z\mathcal{R}w$ precisely when $h(z)=h(w)$. This is an equivalence relation, being equality of function values. Equivalently $w=z$ or $w=\overline{z}$, so the construction is the circle modulo reflection.

Since $h$ is constant on each equivalence class, it induces a bijectionIt is continuous by the universal property of the quotient topology, because $\overline{h}\circ q=h$ is continuous. The circle is compact by the Heine-Borel theorem, and its quotient space is a continuous image of a compact space, hence compact. The closed interval is Hausdorff. Part (a)(ii) therefore provesGeometrically, the equivalence relation folds the upper and lower semicircles together, retaining the two real endpoints separately.

Let $q_S:S^2\to S^2/{\sim }_S$ and $q_D:D^2\to D^2/{\sim }_D$ be the quotient maps. The continuous mapis a homeomorphism onto the upper hemisphere; its inverse function is the restriction of the projection map $(x,y,z)\mapsto (x,y)$. Every antipodal pair on $S^2$ meets that hemisphere. Moreover, two points of this hemisphere are antipodal only if both lie on the equator. ThusBy the universal property of the quotient topology, $q_S\circ h$ induces a continuous bijection

To justify continuity of the inverse function, the source is compact, being a continuous image of a compact space $D^2$; the Heine-Borel theorem gives compactness of $D^2$. The target is Hausdorff, as follows. For distinct equivalence classes $[u]\ne [v]$, putIn $S^2$, take the union $U$ of the two relative open balls of radius $\delta /3$ about $u,-u$, and similarly take $V$ about $v,-v$. Every distance between their respective centres is at least $\delta$, so the triangle inequality gives $U\cap V=\varnothing$. These open sets contain entire antipodal pairs, hence $q_S^{-1}(q_S(U))=U$ and similarly for $V$. The quotient topology therefore makes $q_S(U)$ and $q_S(V)$ disjoint open neighbourhoods of the two classes.

The compact-to-Hausdorff continuous bijection theorem now gives the required homeomorphism $H$.

Let $(V_j{)}_{j\in J}$ be an open cover of $f(K)$ by open subsets of $Y$. The continuity of $f$ makes each preimage $f^{-1}(V_j)$ open in $X$, and these preimages cover $K$. By compactness, choose $j_1,\dots ,j_m$ withApplying $f$ gives $f(K)\subseteq {\bigcup }_{r=1}^m{V}_{j_r}$. Thus every open cover of $f(K)$ has a finite subcover, proving the continuous image of a compact space theorem. A cover by sets open in $f(K)$ gives the same argument after expressing them as intersections with ambient open sets.

Use the equivalence relation induced by a function:Equality in $Y$ supplies reflexivity, symmetry, and transitivity, so this is an equivalence relation. Define $\bar{f}:X/\sim \to Y$ by $\bar{f}([x])=f(x)$. It is well-defined; it is injective by the definition of $\sim$ and surjective because $f$ is surjective.

For an open set $W\subseteq Y$,is open by continuity of $f$. The quotient topology therefore makes ${\bar{f}}^{-1}(W)$ open, proving that $\bar{f}$ is continuous.

The continuous image of a compact space theorem applied to $p$ makes $X/\sim$ compact. If $C$ is closed in $X/\sim$, it is compact, and $\bar{f}(C)$ is compact in the Hausdorff space $Y$, hence closed. Thus $\bar{f}$ is a closed map. Its inverse function is continuous, since its preimage of $C$ is precisely $\bar{f}(C)$. We have proved that $\bar{f}$ is a homeomorphism, including the compact-to-Hausdorff continuous bijection theorem used in the argument.

True. The canonical projection of a quotient set $p:X\to X/\sim$ is a continuous surjection. Its image is compact by the continuous image of a compact space theorem.

For connectedness, if $U,V$ formed a separation of a topological space of $X/\sim$, then the preimages $p^{-1}(U),p^{-1}(V)$ would be disjoint nonempty open sets covering $X$, contradicting its connectedness. This proves the continuous image of a connected space theorem in this case. Hence the quotient space is both compact and connected.