True. Choose the irrational number $\alpha =\sqrt{2}$, and partition the rational numbers intoNo endpoint is rational, so these disjoint sets cover $\mathbb{Q}$. Each is nonempty by the density of the rational numbers, and each is clopen in the subspace topology on $\mathbb{Q}$.

Let two rational numbers be equivalent exactly when they belong to the same $C_n$. The bijectionis well-defined. For every subset $B\subseteq \mathbb{Z}$, the preimage of $h^{-1}(B)$ under the canonical projection of a quotient set is ${\bigcup }_{n\in B}{C}_n$, which is open in $\mathbb{Q}$. Thus every subset of $\mathbb{Q}/\sim$ is open: its quotient topology is the discrete topology. The usual subspace topology on the integers is also the discrete topology, because $\{n\}=\mathbb{Z}\cap (n-1/2,n+1/2)$. Consequently $h$ is a homeomorphism.

False. Give $X=\mathbb{R}$ its usual topology, identify all points of $(0,1)$ with one another, and leave every other point in a singleton equivalence class. Take the closed set $K=\{1/2\}$.

Its image $p(K)$ is a singleton in the quotient space, but its full preimage, also called the saturation of a subset, isThis is not closed in $\mathbb{R}$, since $0$ belongs to its closure. In the quotient topology, a subset is closed exactly when its preimage is closed, by applying the defining open-set rule to complements. Thus $p(K)$ is not closed, and this quotient map is not a closed map.

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.

Any two nonempty open sets of the infinite cofinite topology intersect: their complements are finite sets, so the complement of their intersection is finite and cannot be all of $\mathbb{R}$.

Suppose the quotient space had distinct points with disjoint open neighbourhoods $U,V$. Since the quotient map $p$ is surjective, both preimages $p^{-1}(U),p^{-1}(V)$ would be nonempty. Since $p$ is continuous, these would be disjoint open subsets of $\mathbb{R}$ with its cofinite topology, contradicting the observation above. Thus any such quotient space with at least two points is not Hausdorff.

Here $D^2$ must denote the closed disc $\{(x,y):x^2+y^2\le 1\}$, as its boundary points participate in the identification. For $r=\sqrt{x^2+y^2}$, defineThe Pythagorean trigonometric identity gives $\Vert F(x,y){\Vert }^2=1$, so the image lies in the sphere $S^2$. Away from the origin the formula is continuous. At the origin, the first two coordinates have absolute value at most $|\sin (\pi r)|\to 0$ and the third tends to $1$, proving continuity there as well.

Every boundary point maps to $(0,0,-1)$, while the origin maps to $(0,0,1)$. For a point $(u,v,w)\in S^2$ with $-1<w<1$, there is a unique $r\in (0,1)$ with $\cos (\pi r)=w$, and its unique preimage isThis point has radius $r$, because $u^2+v^2=1-w^2={\sin }^2(\pi r)$. The two poles have the preimages already described. Thus $F$ is surjective and its fibers are exactly the prescribed equivalence classes.

The closed disc is compact by the Heine-Borel theorem, and $S^2$ is Hausdorff with the subspace topology from Euclidean space. The preceding result gives the homeomorphism

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.

The quotient set $X/\sim$ consists of the equivalence classes $[x]=\{y\in X:y\sim x\}$. Its collapsing map is the canonical projection of a quotient setEquip this set with the quotient topology:This is a topology because preimages preserve arbitrary unions, finite intersections, the empty set, and the whole set. The resulting topological space is the quotient space. The displayed rule immediately implies that the preimage of every open set is open, so $p$ is continuous; it is also surjective.

The answer is no, because the number of non-isolated points differs. In $X$, every $1/n$ is an isolated point: a sufficiently small open interval around it contains no other member of $X$. The only non-isolated point is $0$, since every neighbourhood of $0$ contains some $1/n$.

In the product topology, $(x,y)\in X\times X$ is an isolated point exactly when both coordinates are isolated points of $X$. One direction follows because the product of two open singletons is open. For the other, any basic open rectangle containing $(x,y)$ contains another point if either coordinate has no open singleton. Hence the set of non-isolated points of $X\times X$ iswhich is infinite. A homeomorphism takes open singletons to open singletons, so it induces a bijection between the sets of non-isolated points. A space with just one such point cannot be homeomorphic to a space with infinitely many.

Removing $1/2$ from the closed interval $I=[0,1]$ leaves the separation of a topological spaceThus $1/2$ is a cut point of $I$.

In contrast, removing any point $p$ from the square $Q=[0,1{]}^2$ leaves a path-connected space. To prove this, take distinct $u,v\in Q\setminus \{p\}$. Choose an interior point $w$ outside the two lines through $(u,p)$ and $(v,p)$. Such a choice exists: a small circle in the interior meets each of those lines in at most two points. Since $Q$ is a convex set, the line segments $[u,w]$ and $[w,v]$ stay in $Q$; our choice of $w$ ensures that both avoid $p$. Their concatenation is a continuous path from $u$ to $v$ in $Q\setminus \{p\}$.

The product topology on $I\times I$ agrees with its usual subspace topology in the Euclidean plane. If $h:Q\to I$ were a homeomorphism, its restriction would give a homeomorphismThe domain is connected, since path connectedness implies connectedness, while the target is not connected. This contradicts the preservation of connectedness by a homeomorphism.

Suppose $K\setminus \{a\}$ were compact. By the compact subset of a Hausdorff space theorem, it would be closed in $X$, hence closed in $K$. The singleton $\{a\}$ is also closed in the Hausdorff space $X$: each other point has an open neighbourhood avoiding $a$.

Consequently both $\{a\}$ and $K\setminus \{a\}$ are clopen in $K$. They are disjoint, nonempty, and cover $K$, giving a separation of a topological space in contradiction to the connectedness of $K$. Thus $K\setminus \{a\}$ is not compact.

The intended hypothesis is that $A$ is not connected. The original PDF has the same grammatical ambiguity as the transcription. If only $X$ were assumed not connected, the assertion would fail for the discrete space $X=\{0,1\}$ with its usual metric and the closed subset $A=\{0\}$: two disjoint sets cannot both meet that singleton.

Under the intended reading, choose a separation of a topological space $A=B\bigsqcup C$. Both $B$ and $C$ are nonempty and closed in $A$, because each is the complement of the other relatively open part. Since $A$ is closed in $X$, both are closed in $X$.

For a nonempty subset $F$ of the metric space $(X,d)$, the distance to a set satisfiesIndeed, the triangle inequality gives $d(x,F)\le d(x,z)+d(z,F)$, and swapping $x,z$ proves the bound. Thus the two distance to a set functions below are continuous. SetThese are disjoint open sets. For $b\in B$, we have $d(b,B)=0$ and $d(b,C)>0$, since $C$ is closed and $b\notin C$. Hence $B\subseteq U$. Similarly $C\subseteq V$. Therefore $A\subseteq U\cup V$ and both $U$ and $V$ meet $A$, as required. The construction is a concrete instance of the normality of every metric space.

Use the Sierpiński space $X=\{0,1\}$ with topology $\{\varnothing ,\{1\},X\}$. The singleton $A=\{1\}$ is compact: from any open cover, choose one member containing $1$. But $X\setminus A=\{0\}$ is not open, so $A$ is not closed. This also exhibits why the Hausdorff hypothesis in the preceding proof matters.

Let $K\subseteq X$ be compact, with $X$ a Hausdorff space. The empty set is closed, so suppose $K\ne \varnothing$. Fix $x\in X\setminus K$. For each $y\in K$, the Hausdorff property supplies disjoint open neighbourhoods $U_y$ of $y$ and $V_y$ of $x$.

The $U_y$ form an open cover of $K$. Choose a finite subcover $U_{y_1},\dots ,U_{y_m}$ and put $V={\bigcap }_{r=1}^m{V}_{y_r}$. This is an open neighbourhood of $x$. If a point of $V$ belonged to $K$, it would belong to some $U_{y_r}$ as well as $V_{y_r}$, a contradiction. Hence $V\subseteq X\setminus K$. Every point of the complement has such an open neighbourhood, so $X\setminus K$ is open and $K$ is closed.

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.

Give the nonempty subset $A\subseteq X$ its subspace topology. It is compact if every open cover admits a finite subcover. Equivalently, whenever $A\subseteq {\bigcup }_{j\in J}{U}_j$ with each $U_j$ open in $X$, there are $j_1,\dots ,j_m$ such that $A\subseteq U_{j_1}\cup \cdots \cup U_{j_m}$.

It is connected if it has no separation of a topological space: there are no disjoint nonempty open subsets $B,C$ of $A$ with $A=B\cup C$. Here openness is relative to the subspace topology; equivalently, the only clopen sets of $A$ are $\varnothing$ and $A$.

Every complete polygon edge pairing gives a compact connected surface with empty manifold boundary. Here is the local reason at the vertices. Replace each polygon corner by a small link interval. The polygon edge pairings identify all endpoints of these link intervals in pairs. In a given vertex equivalence class, the resulting graph is connected: the endpoint identifications generating that vertex equivalence class also connect its corner intervals. Every link graph vertex has degree of a vertex two, so the graph is a circle. Its topological cone is a disc, giving the required local surface model. Edge and face CW cell interiors have the usual disc neighbourhoods as well. A finite triangulation compatible with the polygon edge pairings realizes the result as a finite simplicial complex, giving a Hausdorff, second-countable space.

For every such surface, $\chi =V-2\ge -1$. If it is orientable, the classification of compact surfaces gives $\chi =2-2g$, so $g=0$ or $1$. If it is a nonorientable surface, write $k\ge 1$ for its nonorientable genus; then $\chi =2-k\ge -1$ gives $k\le 3$. The exhaustive list is therefore

To prove that every listed possibility actually occurs, the following six-letter boundary words specify complete pairings of a hexagon:The vertex counts follow by matching starts and ends of equally directed arrows, just as in part (b). The first and third words pair every letter with its inverse, giving orientable surfaces. Each other word contains a letter twice with the same sign, giving a nonorientable surface: an orientation on the face would induce equal, rather than opposite, boundary directions along that glued pair. With the displayed Euler characteristics, the classification of compact surfaces identifies the examples exactly as listed. All five types occur, and no others occur.

A complete pairing of the six polygon edges leaves three edges and one face as CW cells, together with the vertex equivalence classes. If $V$ denotes their number, then $V\ge 1$ and the polygonal-schema Euler count givesA closed orientable surface of genus two has Euler characteristic $2-2\cdot 2=-2$. Since the Euler characteristic is a topological invariant, no complete pairing of a hexagon can give that surface. Equivalently, the polygonal-schema Euler count bounds the genus of an orientable result by $2g\le 3$, so $g\le 1$.

False: the result is again a torus with one open disc removed. Label the hexagon polygon vertices clockwise from the upper left asWith the same arrow labels as in part (ii),There are two vertex equivalence classes, $P=\{v_0,v_2,v_4\}$ and $Q=\{v_1,v_3,v_5\}$. The free diagonal polygon edges are $v_1{v}_2$ and $v_4{v}_5$. Each joins $P$ to $Q$, so together they form one boundary component of a surface, not two. At each vertex equivalence class the three corner sectors join in a single chain between these two free polygon edges. Thus each vertex link in a polygonal schema is a closed interval, and the quotient space is an orientable surface with boundary.

Its CW complex has CW cells comprising two vertices, four edges and one face, givingIn contrast, a torus with two disjoint open discs removed has two boundary components of a surface and Euler characteristic $2-2-2=-2$. Either topological invariant rules out the proposed homeomorphism.

True. Label the pentagon polygon vertices clockwise from the upper left asUse $a$ for the upward single arrows and $b$ for the rightward double arrows in the original diagram. Their endpoint identifications areAll five polygon vertices are therefore identified. The remaining diagonal polygon edge, from $v_3$ to $v_4$, has its endpoints identified and is the only boundary component of a surface.

The paired polygon edges join half-disc neighbourhoods into disc neighbourhoods. At the common vertex, the five corner sectors join in one chain whose two free ends lie on the unpaired polygon edge: its vertex link in a polygonal schema is a closed interval. Hence that point has a half-disc neighbourhood. This verifies that the quotient space is a surface with boundary, rather than merely counting its CW cells. The paired polygon edges are oppositely traversed around the polygon, so this surface is orientable.

Its CW cells comprise one vertex, three edges (the $a$ pair, the $b$ pair, and the free polygon edge), and one face. ThereforeThe classification of compact surfaces identifies it as a torus with an open disc removed.

Label the hexagon polygon vertices $v_0,\dots ,v_5$ in the direction in which its boundary word is $abc{a}^{-1}{b}^{-1}{c}^{-1}$, with the first side running from $v_0$ to $v_1$. Matching the endpoints according to the arrows givesThus the two vertex equivalence classes are $\{v_0,v_2,v_4\}$ and $\{v_1,v_3,v_5\}$.

The polygonal schema gives a compact connected surface with empty manifold boundary. Interior points have disc neighbourhoods; a paired polygon edge glues two half-disc neighbourhoods into a disc. At each of the two vertex equivalence classes, its three corner sectors join cyclically, so the vertex link in a polygonal schema is a circle, again giving a disc neighbourhood. Pairing every label once positively and once negatively makes these gluings consistent with an orientation, so the resulting surface is orientable.

The resulting CW complex has CW cells comprising two vertices, three edges and one face. Its Euler characteristic isBy the classification of compact surfaces, a connected closed orientable surface with $\chi =0$ has genus $g$ satisfying $2-2g=0$, hence $g=1$. The quotient space is a torus.