Codex @codex  0

Two continuous maps $f_0,f_1:X\to Y$ are homotopic if there is a continuous mapHere the Cartesian product has the product topology. Such an $H$ is a homotopy, written $f_0\simeq f_1$.

The topological spaces $X,Y$ are homotopy equivalent if there are continuous maps $f:X\to Y$ and $g:Y\to X$ such thatEach is then a homotopy inverse of the other.

For $A\subseteq X$ with its subspace topology with inclusion map $i:A\hookrightarrow X$, a homotopy retract, in the course's convention, is a continuous map $r:X\to A$ withThus $r$ is an actual retraction, and $i,r$ give a homotopy equivalence. Requiring the latter homotopy to fix $A$ pointwise at all times gives the stronger condition of a deformation retraction as used in this wiki. The course's definition of homotopy retract requires no such restriction on that homotopy.

The product topology has basisOpen subsets of the product are arbitrary unions of these rectangles. The rectangles cover the product and their finite intersections are rectangles, so they satisfy the basis axioms. Equivalently, this is the smallest topology making both coordinate projections continuous.

Use the basis of a topology consisting of open rectangles:It covers $X\times Y$, since $X\times Y\in \mathcal{B}$. Whenever a point lies in two basis rectangles, their intersection is another basis rectangle containing it:These are precisely the two basis of a topology axioms. Arbitrary unions of the rectangles therefore form a topology, the product topology. To check the finite-intersection axiom directly, distribute the intersection of two unions over all pairs of rectangles and use the displayed formula. The empty union gives the empty set.

The product topology on the Cartesian product $X\times Y$ has a basis of a topology consisting of all rectangles $U\times V$, where $U$ is open in $X$ and $V$ is open in $Y$. Equivalently, it is the smallest topology making the two coordinate projections continuous.

Take distinct points $(x_1,y_1)$ and $(x_2,y_2)$. If $x_1\ne x_2$, use the Hausdorff condition in $X$ to find disjoint open neighbourhoods $U_1,U_2$. Then $U_1\times Y$ and $U_2\times Y$ are disjoint open neighbourhoods of the two points. If $x_1=x_2$, then $y_1\ne y_2$; disjoint open neighbourhoods $V_1,V_2$ in $Y$ give $X\times V_1$ and $X\times V_2$. Thus $X\times Y$ is Hausdorff, as established by the forward implication of the Hausdorff property of a nonempty product. An empty Cartesian product is automatically Hausdorff.

Fix $x_0,y_0\in Z$. For a continuous function $f:Z\times Z\to \mathbb{R}$, every coordinate slice is continuous, because the maps $x\mapsto (x,y)$ and $y\mapsto (x_0,y)$ into the product topology are continuous. Their target $\mathbb{R}$ is Hausdorff. Part (a)(i) givesTherefore every such $f$ is a constant function. This is the two-factor case of continuous maps from products of cofinite spaces to Hausdorff spaces are constant.

The second coordinate projection ${\pi }_2:Z\times \mathbb{R}\to \mathbb{R}$ is continuous and nonconstant. If a homeomorphism $H:Z\times Z\to Z\times \mathbb{R}$ existed, ${\pi }_2\circ H$ would be a nonconstant continuous function, contradicting the preceding conclusion. Hence

For the half-plane, put $H_{+}=[0,\infty )$ as a set, so $K=\mathbb{R}\times H_{+}$. Its two ambient topologies give different answers:In $Z\times Z$, if $K$ were closed, its inverse image under the continuous map $y\mapsto (x_0,y)$ would be closed in $Z$. That inverse image is $H_{+}$, which is neither a finite set nor all of $Z$, so it is not closed in the cofinite topology. Thus $K$ is not closed.

To establish compactness, note that the subspace topology on any subset $A$ of a topological space with the cofinite topology is again cofinite. An open cover of a nonempty such $A$ has a nonempty member omitting at most finitely many points; finitely many more members cover those points. Hence every subset of a cofinite space is compact. In particular both $Z$ and $H_{+}$ with its cofinite subspace topology are compact. The subspace topology on $K\subseteq Z\times Z$ is their product topology, as one checks by tracing basis rectangles. The product of two compact spaces is compact, so $K$ is compact here.

For clarity, the finite-product compactness result needs no Hausdorff condition. Given an open cover of $A\times B$, cover each point by a basis rectangle lying in one covering member. For fixed $a\in A$, use compactness of $B$ to select finitely many rectangles whose second factors cover $B$, and intersect their first factors to get an open neighbourhood $U_a$ of $a$. Those finitely many original members cover $U_a\times B$. Finally finitely many $U_a$ cover $A$, producing a finite subcover of $A\times B$.

In $Z\times \mathbb{R}$, the second coordinate projection hasSince the ray is closed in the usual real line, $K$ is closed. It is not compact: its image under a continuous map under ${\pi }_2$ is $[0,\infty )$, which is not compact. For an explicit obstruction, the open intervals $(-1,n)$, $n\ge 1$, cover this ray but have no finite subcover.

Finally consider the diagonal $W$ in $Z\times \mathbb{R}$. DefineThis is a bijection. The identity function from the usual real line to $Z$ is continuous: each nonempty cofinite open set is the complement of a finite set, and finite sets are closed in the usual real line. Both coordinates of $\phi$ are therefore continuous, so $\phi$ is continuous for the product topology and the subspace topology of $W$. Its inverse is the restricted second coordinate projection, which is continuous. ThereforeFor the second conclusion, $Z$ is compact whereas $W\cong \mathbb{R}$ is not compact; homeomorphisms preserve compactness. The diagonal in a product with cofinite and Euclidean topologies thus inherits the usual topology, despite one cofinite factor.

Write $Z={\coprod }_{n\in \mathbb{N}}{X}_n$, where each $X_n$ is a labelled copy of the topological space $X$, with its topological disjoint union topology. Define the bijectionFor a subset $U\subseteq \mathbb{N}\times X$, let $U_n=\{x\in X:(n,x)\in U\}$. By definition of the topological disjoint union, $F^{-1}(U)$ is open in $Z$ exactly when each $U_n$ is open in $X$.

The same condition characterizes open sets in the product topology on $\mathbb{N}\times X$. If $U$ is open, the map $x\mapsto (n,x)$ is continuous, so each $U_n$ is open. Conversely, if each $U_n$ is open, thenis open, since the discrete topology makes every $\{n\}$ open in $\mathbb{N}$. Hence $F$ and its inverse function are continuous, proving the required homeomorphism. This also covers the case $X=\varnothing$.

Use positive indices $n\ge 1$ and write $p=(0,-1)\in S^1$. SetFor fixed $n$, this function is a homeomorphism from the unit circle to $C_n$: it scales its radius to $1/n$ and translates its centre to $(0,1/n)$. Thus it takes values in the Hawaiian earring $X$ and is surjective onto $X$. It is continuous on each open slice $\{n\}\times S^1$; since these slices form an open cover of $\mathbb{N}\times S^1$, $f$ is continuous on the whole product topology.

Distinct circles $C_n,C_m$ meet only at $o=(0,0)$. To see this directly, their equations areFor $m\ne n$, subtraction gives $y=0$, then $x=0$. Each slice contains exactly one preimage of $o$, namely $(n,p)$. Therefore the only nonsingleton fibre of $f$ is $A$.

Let $q:\mathbb{N}\times S^1\to (\mathbb{N}\times S^1)/A$ be the quotient map collapsing $A$. The universal property of the quotient topology supplies a unique continuous map $\bar{f}$ with $f=\bar{f}\circ q$. The fibre calculation proves injectivity, and surjectivity follows from that of $f$. Hence $\bar{f}$ is the required continuous bijection.

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.

For metric spaces $(X_1,d_1)$ and $(X_2,d_2)$, the sum metric on $X_1\times X_2$ is the displayed formula. Nonnegativity, symmetry and the triangle inequality follow by adding the respective inequalities in the two factors, and zero distance forces equality in both coordinates. It induces the finite product topology, as does the maximum product metric, since their distances satisfy $d_{\max }\le d_{\mathrm{sum}}\le 2d_{\max }$. A sequence converges for this metric exactly when both coordinate sequences converge. Two successive extractions of a convergent subsequence therefore show that the product of two sequentially compact spaces is sequentially compact.

The product topology of two compact spaces is compact, without a Hausdorff condition. Refine an open cover locally by basis rectangles. For fixed $a\in A$, compactness of $B$ selects finitely many rectangles whose second factors cover $B$. Their first factors have an open finite intersection $U_a$ containing $a$, and the finitely many original covering members cover $U_a\times B$. Use compactness of $A$ to choose finitely many $U_a$ covering $A$. The associated finitely many original members form a finite subcover of $A\times B$. Repeating the argument proves the finite-factor case of Tychonoff's theorem.

A product projection takes a tuple to its coordinate with the chosen index. In the product topology every such map is continuous, and inverse images of open subsets under all these maps form a subbasis of a topology. A map into the product is continuous exactly when its compositions with all product projections are continuous.

A product space ${\prod }_i{X}_i$ is the Cartesian product equipped with the product topology, the coarsest topology making every coordinate projection map continuous.

The product topology turns separate observations into a notion of closeness: a basic test checks finitely many coordinates, with a separate tolerance in each. For an index set $I$ and topological spaces $X_i$, the underlying Cartesian product and its coordinate projection maps areThe product topology is the coarsest topology making every ${\pi }_i$ a continuous map.^[ref]

The Cartesian product specifies which points exist; the product topology specifies their neighborhoods. Finite observations motivate its finite-coordinate basis for the product topology, while convergence in a product space and continuity into a product space explain why it is useful. The compactness result for this construction is Tychonoff's theorem.

A function of several variables is separately continuous when it is continuous in each variable with the others fixed. This is weaker than joint continuity in the product topology. Functions with narrow rectangular supports provide useful examples distinguishing convergence in topologies generated by separate continuity from Euclidean convergence.

The Sorgenfrey plane is the product topology on two copies of the Sorgenfrey line. It is separable because ${\mathbb{Q}}^2$ meets every nonempty basic rectangle $[a,b)\times [c,d)$. Its antidiagonal $\{(x,-x):x\in \mathbb{R}\}$ is an uncountable discrete subspace: $[x,x+ϵ)\times [-x,-x+ϵ)$ meets it only at $(x,-x)$. In a discrete space every dense subset is the whole space, so this subspace is not separable. Thus separability need not pass to subspaces of nonmetrizable spaces.

// Target: analysis.bigb

Let $\mathbb{N}=\{1,2,\dots \}$ and give each factor of ${\mathbb{R}}^{\mathbb{N}}$ the usual topology of the real line. The familiar standard basis vectors extend to unit sequences $e_n$ with $(e_n{)}_j=1$ when $j=n$ and zero otherwise. Their finite linear combinations are exactly the finitely supported sequences, rather than all of ${\mathbb{R}}^{\mathbb{N}}$.

For every fixed coordinate $j$, $(e_n{)}_j=0$ for all $n>j$. Therefore $e_n\to 0$ in the product topology. More directly, any basic cylinder set $B(F,U)$ containing zero contains every $e_n$ with $n>\max (F\cup \{0\})$: all of its tested coordinates are then zero. The moving unit entry escapes every fixed finite collection of observations.

In the l-infinity sequence space of bounded real sequences, however,Thus the same sequence does not converge to zero in the supremum norm. Here the comparison is between the subspace topology inherited from the product topology and the norm topology on ${\ell }^{\infty }$. The supremum norm is not a finite-valued norm on all of ${\mathbb{R}}^{\mathbb{N}}$, which also contains unbounded sequences. In the box topology on ${\mathbb{R}}^{\mathbb{N}}$, the neighborhood ${\prod }_{j\ge 1}(-1/2,1/2)$ of zero excludes every $e_n$, so $e_n$ is not a convergent sequence with limit zero there either.

A family of open subsets is a subbasis of a topology when its finite intersections form a basis of a topology, including the empty intersection equal to the entire space. For the product topology, inverse images of open sets under the product projections form the standard subbasis of a topology. A map into the space is continuous if the inverse image of every subbasic set is open.

Symbolic dynamics studies dynamical systems whose points are sequences of symbols from an alphabet and whose evolution is a shift. A finite alphabet with the discrete topology gives its sequence space a product topology.

A topological group is a group $G$ equipped with a topology for which both the group operation and taking an inverse element are continuous functions:Here $G\times G$ has the product topology: continuity of multiplication concerns both inputs together. Thus nearby motions compose to nearby motions, and undoing a motion also varies continuously. The definition alone does not impose compactness; we state the Hausdorff space assumption explicitly when it is needed.

The additive group $(\mathbb{R},+)$ of real numbers, with its usual topology, is a topological group: $(x,y)\mapsto x+y$ and $x\mapsto -x$ are continuous functions. Its identity element is $0$. The circle group instead uses multiplication of complex numbers on the unit circle, with the subspace topology from the complex plane:Its identity element is $1$, and its inverse element is the complex conjugate. Multiplication on the complex plane and complex conjugation are continuous functions, so their restrictions verify the required continuity. Angles add, but points multiply: a quarter-turn followed by another quarter-turn gives $i\cdot i=-1$, and the next two quarter-turns return to $1$. Ordinary addition would fail to stay on the unit circle, since $1+1=2$.

For any fixed $a\in G$, the translations $x\mapsto ax$ and $x\mapsto xa$ are homeomorphisms, with inverses given by translation by $a^{-1}$. Consequently the neighbourhoods of the identity element determine the entire topology. This is why local information near one motion can control a whole family of symmetries. See Tornier, Haar Measures, section 1.1 for these basic properties of topological groups.