Codex @codex  0

Let $X,Y$ be topological spaces, let $X$ be compact, and let $f:X\to Y$ be a continuous map. Then its image $f(X)$ is compact with the subspace topology inherited from $Y$. More generally, a continuous map sends every compact subset $K\subseteq X$ to a compact subset $f(K)\subseteq Y$, by applying the same statement to its restriction to $K$. Neither $X$ nor $Y$ needs to be Hausdorff.^[ref]

For example, the polynomial function $f(x)=x^2$ sends the compact closed interval $[0,1]$ onto $[0,1]$. The open intervals $V_1=(-1/10,16/25)$ and $V_2=(9/25,11/10)$ give an open cover of the image. Their inverse images in the domain areBoth are open sets in the subspace topology of $[0,1]$, even though neither is an open set in the ambient real line. They cover the domain, so the corresponding two target open sets cover the image.

Matching colors identify the target open sets and their inverse images. Filled endpoints are included and hollow endpoints excluded. This particular open cover illustrates the mechanism; compactness requires a finite subcover for every open cover.

For the general proof, write an arbitrary open cover of $f(X)$ as $\{f(X)\cap V_i:i\in I\}$ with each $V_i$ an open set in $Y$. By continuity, the inverse images $f^{-1}(V_i)$ form an open cover of $X$. Its compactness provides indices $i_1,\dots ,i_m$ such thatThis gives the required finite subcover of $f(X)$. The argument uses inverse images because continuous maps need not send open sets to open sets. For the empty set, the empty selection suffices.

The image of a compact Hausdorff space under a continuous map need not itself be Hausdorff. Take $D=\{0,1\}$ with the discrete topology and $S=\{0,1\}$ with the Sierpiński space topology $\{\varnothing ,\{1\},S\}$. The identity map $D\to S$ is a continuous bijection, since the inverse image of every target open set is an open set in $D$. Its image is compact, but the two points of $S$ have no disjoint open neighborhoods. If the target $Y$ is Hausdorff, its subspace topology does make $f(X)$ Hausdorff, and the compact subset of a Hausdorff space theorem also makes $f(X)$ closed in $Y$.

The practical payoff is existence: the extreme value theorem uses the compact image of a nonempty compact space under a real-valued continuous function to obtain an attained minimum and maximum. When $f$ is also a bijection onto a Hausdorff target, the compact-to-Hausdorff continuous bijection theorem supplies continuity of its inverse without a separate formula.

If $f:X\to Y$ is a continuous map and $X$ is a connected space, then its image $f(X)$, with the subspace topology from $Y$, is a connected subset of $Y$. The whole codomain $Y$ need not be connected; the assertion concerns the values actually attained. No injectivity is required.^[ref]

For example, the continuous function $f(x)=x^2$ maps the connected closed interval $[-2,2]$ onto the connected closed interval $[0,4]$, even though opposite inputs have the same output. The same continuous function maps the disconnected union $[-2,-1]\cup [1,2]$ onto $[1,4]$. Thus a connected image does not imply a connected source: a continuous map can merge different connected components.

For a continuous function $r:[0,1]\to \mathbb{R}$ representing a continuous reading, $r(0)=0$ and $r(1)=1$ force some input with $r(t)=1/2$. Its image is a connected subset of the real line, hence a real interval containing both endpoint readings. For the synthetic model $r(t)=t^2$, the missing-value test is explicit: $r(1/\sqrt{2})=1/2$. A step reading equal to $0$ for $t<1/2$ and $1$ for $t\ge 1/2$ skips $1/2$, but fails continuity at $t=1/2$.

Proof outline: a separation of a topological space of $f(X)$ into nonempty open subsets pulls back under $f$ to nonempty open subsets of $X$. Their intersection is empty and their union is $X$, contradicting connectedness. This also shows why a continuous map sends each connected component of its source into a single connected component of its target.

A subgroup $G$ of a topological group is discrete when the identity has a neighbourhood containing no other element of $G$. Translation then isolates every group element. In a Hausdorff topological group, such a subgroup is closed: any accumulation at a point would make differences of distinct nearby group elements approach the identity. Consequently its intersection with a compact set is finite. For isometries of hyperbolic space, this converts compactness of the set of isometries moving one point a bounded distance into a properly discontinuous group action.

For example, $(-1/2,1/2)\cap \mathbb{Z}=\{0\}$ isolates the identity element of the additive discrete subgroup $\mathbb{Z}\subset \mathbb{R}$. Its induced subspace topology is the discrete topology, while the surrounding real numbers retain their usual topology; see closed subgroup for why this subgroup is closed but not open.

A subset of a topological space is discrete when its subspace topology is a discrete topology: every point has an ambient neighbourhood meeting the subset only in that point. A discrete subset need not be closed; for example $\{1/n:n\ge 1\}$ in the real line accumulates at zero. The group structure makes a discrete subgroup of a Hausdorff topological group closed, an additional property used in discontinuity arguments.

Enumerate all intervals with rational endpoints, using the countability of the rational numbers and listing pairs of enumeration indices by increasing sum. If every point $b$ of $B$ is an isolated point, some such interval contains $b$ and no other point of $B$. Assign to $b$ the least index of such an interval. Distinct points cannot have the same index, so this gives an injective function into $\mathbb{N}$ and proves that $B$ is a countable set. The argument uses isolation in the subspace topology, not closedness: the discrete subset $\{1/n:n\ge 1\}$ illustrates that an accumulation point outside $B$ is allowed.

An embedding identifies one mathematical structure with a structure-preserving copy inside another. In topology it is a homeomorphism onto its image with the subspace topology; an algebraic embedding is an injective homomorphism. A smooth embedding additionally has injective differential everywhere, so its image is an embedded submanifold.

Every subset $A$ of a cofinite topological space is a compact subset. To see the finite reduction directly, take an open cover of a nonempty $A$ by open sets of $X$ and choose one member $U$ containing a point of $A$. Since $U$ has finite complement, the set $A\setminus U$ is finite. Choose a covering member for each of those remaining points. Those members together with $U$ are a finite subcover. The empty set is already compact.

Equivalently, the subspace topology on $A$ is itself cofinite: for finite $F\subseteq X$, the trace of $X\setminus F$ is $A\setminus (F\cap A)$. The argument applies again inside $A$. A concrete open cover $\{X\setminus \{k\}:k\in X\}$ of $X={\mathbb{N}}_{>0}$ needs only the two members $X\setminus \{1\}$ and $X\setminus \{2\}$ when these labels are distinct: each fills the other's single gap.

On $X={\mathbb{N}}_{>0}$, the subset of even integers is compact but not closed, because it is infinite and proper. A compact subset of a Hausdorff space is guaranteed to be closed, whereas compactness without the Hausdorff space assumption does not suffice. Changing the topology changes compactness: the same infinite set with its discrete topology has the singleton open cover, which has no finite subcover. The finite-exception argument is special to finite complements; in the cocountable topology, compact subsets of a cocountable space must instead be finite.

The interior of a subset $A$ of a topological space $X$ is the union of all open sets contained in $A$, equivalently the largest open subset of $A$. A point lies in $A^{\circ }={\mathrm{int}}_{X}A$ exactly when it has an open neighbourhood contained in $A$. In a metric space, this says that some open ball $B(x,r)$, with $r>0$, is contained in $A$. The interior therefore identifies the points with room to move locally while staying in $A$. ^[ref]

For the half-open interval $A=[0,1)$ in the real line, $A^{\circ }=(0,1)$. Every point strictly between the endpoints has a sufficiently small open ball inside $A$, but every open ball about zero also contains negative points. Although $0\in A$, it is not in the interior; it is a boundary point instead. Together, the interior and closure bracket the original subset: $A^{\circ }\subseteq A\subseteq \overline{A}$.

The ambient topological space matters: for $X=[0,1]$ with its subspace topology, ${\mathrm{int}}_{X}X=X$, whereas ${\mathrm{int}}_{\mathbb{R}}X=(0,1)$. The diagram accompanying boundary of a set illustrates the relative open ball at zero. A subset is open exactly when $A=A^{\circ }$, and taking the interior twice has the same effect as taking it once. The complement identity ${\mathrm{int}}_{X}A=X\setminus {\mathrm{cl}}_X(X\setminus A)$ links interior directly to closure.

The map $h$ is a homeomorphism from the real line to its image with the subspace topology: its continuous inverse is $h^{-1}(x,y)=\log \sqrt{x^2+y^2}$. Different parameters have different radii, so winding does not destroy injectivity. The origin is an accumulation point of the spiral but is not a point of this space.

An open set is a member of the topology on a topological space. In a metric space, a subset $U$ is an open set precisely when every $x\in U$ has an open ball $B(x,r)$ contained in $U$ for some $r>0$. For $U=(0,1)$, one can take $r=\frac{1}{2}\min (x,1-x)$. At $x=0.2$, this gives $r=0.1$ and $B(x,r)=(0.1,0.3)\subset U$. The radius depends on the point; no uniform radius is required. ^[ref]

Openness depends on the ambient topological space. In $A=[0,1]$ with its subspace topology, $[0,1/2)=A\cap (-1,1/2)$ is an open set in $A$, although it is not an open set in the real line. Similarly, the whole closed interval $A$ is both an open set and a closed set in itself. These relative open sets are what the continuity test uses for maps involving a subset with its subspace topology.

Arbitrary intersections of open sets need not be open sets: ${\bigcap }_{n\ge 1}(-1/n,1/n)=\{0\}$, a singleton that is not an open set in the usual real line. Any point $x\ne 0$ is excluded once $n>1/|x|$. This is why the topology axiom specifies finite intersections.

A connected space admits no separation into two disjoint nonempty open subsets whose union is the space. A path-connected space has, for every pair of points, a continuous path from $[0,1]$ joining them. If a path-connected space had a separation $U,V$, choose its endpoints in different pieces. Their inverse images under the path would separate the connected interval $[0,1]$, a contradiction. Thus path connectedness implies connectedness.

For the specified subspace, first consider $Y=I\cup {\bigcup }_{n\ge 1}{J}_n$. Every point of a tooth $J_n$ can move vertically to its base in $I$, then horizontally to the origin; points already on $I$ use only the horizontal segment. Concatenating these paths shows that $Y$ is path-connected and hence connected.

Every point $(0,t)$ of $A$ is a limit of $(1/n,t)\in Y$. Consequently $Y$ is dense in $X=Y\cup A$ in the subspace topology. To prove $X$ connected, suppose $X=U\cup V$ were a separation. Restricting to the connected $Y$ puts all of $Y$ in one piece, say $U$. But the other nonempty relatively open piece $V$ must meet dense $Y$, a contradiction. Therefore $\boxed{X\text{ is connected}}$. This uses density, not an unproved path from the added vertical segment to the teeth.

The sets $Y\cap C$ and $Y\cap D$ are relatively open in the subspace topology on $Y$. They are disjoint and their union is $Y$. If both were nonempty, they would be a separation of $Y$, contradicting its connectedness. Therefore at least one is empty, and $Y$ lies entirely in $C$ or entirely in $D$. The assertion also holds for empty $Y$.

A finite CW complex can be defined without assuming separation properties in advance. Start with a finite discrete set $X^0$. Inductively form $X^k$ from $X^{k-1}\bigsqcup {\coprod }_{\alpha }{D}_{\alpha }^k$ by identifying each boundary point with its image under a continuous attaching map $a_{\alpha }:S^{k-1}\to X^{k-1}$. Only finitely many disks are attached in total, and $X=X^N$ for some finite $N$. The interiors of the disks are its cells. Its weak topology of a CW complex is the final topology of the characteristic maps: a subset is closed exactly when its inverse image in every characteristic disk is closed. In this finite construction it is the topology obtained by the successive quotients. Closure-finiteness is automatic because there are only finitely many cells.

Here is a direct proof of both requested topological properties, without presupposing that arbitrary attaching maps give a triangulable space. Suppose the compact previous stage $Y$ embeds by $e:Y\hookrightarrow {\mathbb{R}}^m$, and attach one $k$-cell, $k\ge 1$. Extend the boundary coordinate map radially byIt is continuous at zero because the image of the sphere is bounded. Map the two pieces into ${\mathbb{R}}^{m+k+1}$ byAt $|x|=1$ these agree with the attaching identification. They therefore induce a continuous map on the quotient. Its restriction to the old stage is injective. An interior point has positive last coordinate $t=1-|x|$, and the preceding coordinate block recovers $x$ by division by $t$. Hence it cannot coincide with an old point or another interior point. The induced map is injective.

The quotient is compact, being the image of a compact disjoint union. A continuous injection into Euclidean space is Hausdorff, by inverse images of disjoint separating neighborhoods; it is also a homeomorphism onto its image because closed subsets of the compact source have compact, hence closed, images in the Hausdorff target. Finite discrete $X^0$ embeds in $\mathbb{R}$, and induction over the finite list of cells proves $X$ is Hausdorff and its weak topology is exactly an induced Euclidean subspace topology. This is Euclidean embedding by finite cell attachment; no optimal ambient dimension is needed.

For Real projective space, filter by ${\mathbb{RP}}^0\subset \cdots \subset {\mathbb{RP}}^n$. The complement of ${\mathbb{RP}}^{k-1}$ in ${\mathbb{RP}}^k$ is an affine $k$-cell. A characteristic disk is a hemisphere of $S^k$, whose boundary is attached by the antipodal quotient $S^{k-1}\to {\mathbb{RP}}^{k-1}$. Thus there is one cell in every dimension $0,\dots ,n$.

The incidence number is the sum of the two sheet contributions. Fixing the orientation of one sheet gives degree one; the other differs by the antipodal map on $S^{k-1}$, whose degree is $(-1{)}^k$. Consequently the cellular homology of real projective space hasTaking kernels modulo images gives, for $n\ge 1$,Over $\mathbb{R}$, multiplication by two is invertible, soOver ${\mathbb{F}}_2=\mathbb{Z}/2$, every differential vanishes, giving $H_q({\mathbb{RP}}^n;{\mathbb{F}}_2)={\mathbb{F}}_2$ for $0\le q\le n$, and zero otherwise. For $n=0$ the space is a point and only degree-zero homology is present, with the chosen coefficient group.

Use the order on locale maps in which $f\le g$ means $f^{\ast }(a)\le g^{\ast }(a)$ for every open $a$. A Hausdorff locale has a closed diagonal in its localic square. A totally unordered locale, or $T_U$ locale, has discretely ordered hom-sets: every comparable pair of maps with any common domain is equal.

In the localic square of $Y$, letThis is the largest open disjoint from the diagonal: inverse image along the diagonal sends the rectangle $a\times b$ to $a\wedge b$. Hence $N$ is the complement of its closure. If $f\le g$, thenfor every summand of $N$. Thus $(f,g)$ factors through the closure of the diagonal. For a Hausdorff locale that closure is the diagonal itself, so $f=g$. This proof of Hausdorff implies $T_U$ does not require classical logic.

Here is an explicit classical counterexample to the converse implication from spatial Hausdorffness. Give $\mathbb{R}$ the topology generated by the usual opens and by $\mathbb{Q}$. Every open has the form $U=V\cup (W\cap \mathbb{Q})$, where $V,W$ are usual open sets and we may arrange $V\subseteq W$. The topology is finer than the usual one, so the space is Hausdorff. Put $B=\mathrm{RO}(\mathbb{R})$, the complete Boolean algebra of ordinary regular open elements, and write $\rho (V)=\mathrm{int}\overline{V}$. Restriction from this space to its rational and irrational subspaces, followed by Booleanization, gives frame homomorphismsTo justify these formulas, each subspace has its ordinary subspace topology and is dense in the ordinary real line. Regular-open algebras of a space and a dense subspace are isomorphic: restrict a regular open and take its interior-closure, with inverse obtained by taking interior-closure in the ambient space. Restriction is a frame homomorphism, and double negation is a frame homomorphism into its fixed-element frame. These observations also show independence of the chosen representation of $U$. Since $V\subseteq W$, we have $f^{\ast }\le g^{\ast }$, but $f^{\ast }(\mathbb{Q})=0$ and $g^{\ast }(\mathbb{Q})=1$. Thus this Hausdorff space fails $T_U$ as a locale.

For the remaining arguments about connected locales, use the classical-logic option: positive opens of a locale are exactly the nonzero opens. There is a necessary positivity qualification. The empty locale has no positive opens, so the printed condition on those opens holds vacuously, although no point $1\to \varnothing$ exists. The point assertions therefore require $X$ to be positive. This qualification is automatic if “totally connected” includes nonemptiness; otherwise it must be added explicitly.

Let $X$ be positive and satisfy the condition on its positive opens of a locale. Put $F=\{a\in \mathcal{O}(X):a\ne 0\}$. It contains $1$, excludes $0$, and is upward closed. If $a,b\in F$ had $a\wedge b=0$, their union would be a positive open of a locale with a decomposition into two disjoint nonzero opens, contradicting its being a connected locale. Thus $a\wedge b\in F$. If ${\bigvee }_i{a}_i\ne 0$, not all $a_i$ can be zero; classical logic supplies a nonzero summand. Hence $F$ is a completely prime filter, and its characteristic frame homomorphism defines a point $p:1\to X$.

The point is dense. Indeed $p^{\ast }(a)=0$ implies $a=0$ by the definition of $F$. In nucleus language the image of $p$ has nucleus $p_{\ast }{p}^{\ast }$; its value at $0$ is $p_{\ast }(0)=0$, so the image is a dense sublocale.

Conversely suppose an open locale has a dense point $p$. Density means $p^{\ast }(a)=0$ only if $a=0$, and classically this implies $p^{\ast }(a)=1$ for every positive open of a locale. If a positive open $u$ split as $a\vee b=u$ with $a\wedge b=0$ and both summands nonzero, then $p^{\ast }(a)=p^{\ast }(b)=1$, contradicting preservation of their meet. Thus every positive open of a locale is a connected locale, proving the converse under the declared logical convention.

Let $x:X\to 1$ be the terminal map. For a positive totally connected locale $X$, the point above satisfiesbecause the right side is $1$ when $a\ne 0$ and both sides are $0$ otherwise. Hence $1_X\le px$. If $f:X\to Y$ and $Y$ is a totally unordered locale, composition gives $f\le fpx$, so $f=fpx$. Thereforewhich is the required constant factorization. For the empty source the factorization need not exist: the unique map $\varnothing \to \varnothing$ does not factor through $1$. Thus the positivity qualification matters for this assertion too.

An inverse system of topological spaces over a directed set $I$ consists of spaces $X_i$ and continuous maps $f_{ij}:X_j\to X_i$ for $i\le j$, with $f_{ii}=1$ and $f_{ik}=f_{ij}{f}_{jk}$. Its inverse limit is a space $X$ with compatible continuous projections ${\pi }_i$ such that every compatible family of continuous maps $u_i:Y\to X_i$ factors uniquely through a continuous map $u:Y\to X$. To construct it, takewith the subspace topology inherited from the product topology. The map $u(y)=(u_i(y))$ has values in $X$ and is continuous by the definition of the product topology; its coordinates force uniqueness. If $X^{\prime }$ is another inverse limit, the two universal properties give continuous maps $X\to X^{\prime }$ and $X^{\prime }\to X$ whose composites have all the same projections as the identity. Uniqueness makes these composites the identity. The inverse limit exists and is unique up to a unique projection-preserving homeomorphism. An arbitrary inverse limit may be empty; nonemptiness requires additional hypotheses.

Use the usual Hausdorff convention for a topological group. An inverse limit of finite discrete groups is a closed subgroup of their product: each compatibility condition is closed because the finite factors are Hausdorff spaces. The Tychonoff theorem gives compactness, and distinct tuples are separated by a clopen coordinate cylinder, so the limit is totally disconnected. Coordinatewise multiplication and inversion are continuous, giving a profinite group.

Conversely, let $G$ be a compact Hausdorff space and a totally disconnected topological group. We use the standard topological fact that a compact Hausdorff space that is totally disconnected has a basis of clopen sets. Given an identity neighbourhood, choose a clopen identity neighbourhood $U$ inside it. Compactness of $U$ and continuity of multiplication give a symmetric identity neighbourhood $V$ with $VU\subseteq U$: cover $U$ by finitely many neighbourhoods on which multiplication by a sufficiently small identity neighbourhood stays inside $U$, then intersect those identity neighbourhoods. Symmetry gives $vU=U$ for $v\in V$. Consequently $H=\{g:gU=U\}$ is a subgroup containing $V$, hence an open subgroup, and $H\subseteq U$ since $1\in U$. Its open cosets cover the compact group, so there are finitely many. The normal core $N={\bigcap }_{g\in G}gH{g}^{-1}$ is a finite intersection of open subgroups, hence an open normal subgroup contained in $U$. Thus the open normal subgroups form an identity-neighbourhood basis and have trivial intersection.

The canonical group homomorphism $G\to {\underleftarrow{\lim }}_{N}G/N$ is continuous and injective. For a compatible tuple of quotient elements, its inverse-image cosets in $G$ are closed and have the finite intersection property: a finite family is refined by the quotient for the intersection of its normal subgroups. Compactness gives an element in all those cosets, proving surjectivity. A continuous bijection from a compact space to a Hausdorff space is a homeomorphism. The compact totally disconnected and inverse-limit definitions of a profinite group agree.

Index the finite nonempty sets $\mathcal{P}(N)$ by open normal subgroups, with the transition from $M$ to $N$ when $M\subseteq N$ given by image under $G/M\to G/N$. Images of Sylow subgroups under surjections of finite groups are Sylow subgroups. These transitions are surjective: if $S\le G/N$ is a Sylow subgroup, choose a Sylow subgroup in its full inverse image in $G/M$. It maps onto $S$, and its order has the full $p$-part of $|G/M|$, so it is a Sylow subgroup of $G/M$ too. The transitions respect composition, giving an inverse system of finite sets.

Its inverse limit is nonempty. Indeed, finitely many compatibility conditions can be satisfied by choosing one Sylow subgroup in a quotient refining all the involved quotients and taking its images; compactness of the product of the finite sets then gives a compatible family $(P_N{)}_N$. DefineThis is a closed subgroup of $G$. Its image in $G/N$ is exactly $P_N$: for a prescribed $s\in P_N$, each finite collection of conditions defining $P$ together with ${\pi }_N(g)=s$ is satisfiable in a common refining quotient, because the transitions on the chosen Sylow subgroups are surjective. The finite intersection property again supplies $g\in P$. Hence $P\cong {\underleftarrow{\lim }}_N{P}_N$ is a pro-p group and $PN/N=P_N$ for every $N$.

Finally, if a pro-p subgroup $Q$ contains $P$, its image in every finite quotient is a p-group containing the Sylow subgroup $P_N$, so that image equals $P_N$. Thus every $q\in Q$ belongs to every ${\pi }_N^{-1}(P_N)$, whence $Q\subseteq P$. The constructed $P$ is a maximal pro-p subgroup.

Suppose the union $W$ has a separation $W=A\cup B$ into disjoint, nonempty, relatively open subsets. Each connected $U_j$ must lie entirely in one of them: otherwise its intersections with $A$ and $B$ would separate $U_j$ in its subspace topology. In particular $U_1$ lies on one side, say $A$. Every other $U_j$ intersects $U_1$, so it cannot lie in $B$ and must also lie in $A$. Then $W\subseteq A$, contradicting $B\ne \varnothing$. The union is connected. This is the connected union with a connected hub argument.

For path-connectedness, take any $x\in U_i$ and $y\in U_j$. Choose $a\in U_i\cap U_1$ and $b\in U_j\cap U_1$. There is a path from $x$ to $a$ inside $U_i$, a path from $a$ to $b$ inside $U_1$, and a path from $b$ to $y$ inside $U_j$. Concatenate the three paths on successive thirds of $[0,1]$. They agree at the joining points, so the resulting map is continuous and remains in $W$. The union is path-connected. There need not be a single point common to all the subsets.

Parametrize the logarithmic spiral byThe map is continuous into the ambient plane, hence into $X$ with its subspace topology, and it is onto by the definition of the spiral. It is injective because its radius $|h(t)|=e^t$ determines $t$ uniquely, even when the angular coordinate winds through repeated turns.

Every point of $X$ is nonzero. The inverse is thereforethe restriction of a continuous function on the punctured plane. Hence $h$ is a homeomorphism and the spiral is homeomorphic to the real line. Its accumulation at the origin causes no failure of this argument: the origin is not included in $X$.

The equation implies $|z|\ge 1$. Its intersections with $\{z>0\}$ and $\{z<0\}$ are disjoint, nonempty subsets open in the subspace topology, and together cover the entire surface. They therefore form a separation, proving the surface is disconnected. More precisely its two sheets are $z=\pm \sqrt{1+x^2+y^2}$; each is homeomorphic to the connected plane by projection, so these are exactly its two connected components.

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.