napkin solutions > Ch. 64

Back to Chapter Selection

Table of Contents

  1. Problem 64A
  2. Problem 64B
  3. Problem 64C

Problem 64A #

Problem 64A. Show that a space 𝑋 is Hausdorff if and only if the diagonal {(𝑥,𝑥)|𝑥∈𝑋} is closed inthe product space 𝑋×𝑋.Solution by RanolPLet the diagonal be 𝐷, and let 𝐷𝐶=(𝑋×𝑋)∖𝐷.𝑋 is Hausdorff ⟹ diagonal is closed in the 𝑋×𝑋For any (𝑝,𝑞)∈𝐷𝐶, we know 𝑝≠𝑞 so we can use Hausdorff.Let the open-neighborhoods of 𝑝,𝑞 be 𝑈(𝑝,𝑞),𝑉(𝑝,𝑞) where 𝑈(𝑝,𝑞)∩𝑉(𝑝,𝑞)=∅.Claim.𝐷𝐶=⋃(𝑝,𝑞)∈𝐷𝐶𝑈(𝑝,𝑞)×𝑉(𝑝,𝑞)Proof.Since 𝑈(𝑝,𝑞)∩𝑉(𝑝,𝑞)=∅, There is no 𝑧 such that (𝑧,𝑧)∈𝑈(𝑝,𝑞)×𝑉(𝑝,𝑞).In other words, it doesn’t contain any elements from 𝐷.Also, we know (𝑝,𝑞)∈𝑈(𝑝,𝑞)×𝑉(𝑝,𝑞), the union must contain every (𝑝,𝑞)∈𝐷𝐶.So the union is exactly 𝐷𝐶. □By Definition 64.3.1, 𝑈(𝑝,𝑞)×𝑉(𝑝,𝑞) is open in 𝑋×𝑋.Also (possibly infinitely many) open sets’ union is open.Hence 𝐷𝐶 is open and 𝐷 is closed. □𝑋 is Hausdorff ⟸ diagonal is closed in the 𝑋×𝑋For any (𝑥,𝑦)∈𝐷𝐶 there exists an open-neighborhood for (𝑥,𝑦) called 𝑈×𝑉.Claim.𝑈∩𝑉=∅Proof.Proof by contradiction.Suppose 𝑈∩𝑉≠∅, we can pick an element 𝑧∈𝑈∩𝑉.In other words, (𝑧,𝑧)∈𝑈×𝑉⊆𝐷𝐶.Contradiction. □For any 𝑥≠𝑦, We found disjoint open-neighborhoods for them.Hence 𝑋 is Hausdorff. □RefernecesDefinition 64.3.1. Given topological spaces 𝑋 and 𝑌, the product topology on 𝑋×𝑌 is the spacewhose•Points are pairs (𝑥,𝑦) with 𝑥∈𝑋,𝑦∈𝑌, and•Topology is given as follows: the basis of the topology for 𝑋×𝑌 is 𝑈×𝑉, for 𝑈⊆𝑋 open and 𝑉⊆𝑌 open.

Problem 64B #

Problem 64B. Realize the following spaces as CW complexes:(a) Möbius strip.(b) ℝ.(c) ℝ𝑛.Solution by Jihyeon Kim (김지현) (simnalamburt)(a)𝑋0={𝑒0𝑎,𝑒0𝑏}𝑋1={𝑒1𝑐,𝑒1𝑑} where 𝜕𝑒1𝑐={𝑒0𝑎,𝑒0𝑏}, 𝜕𝑒1𝑑={𝑒0𝑎,𝑒0𝑏}𝑋2={𝑒2𝑒} where 𝜕𝑒2𝑒={𝑒1𝑐,𝑒1𝑑}(b)𝑋0={…,𝑒0−2,𝑒0−1,𝑒00,𝑒01,𝑒02,…}𝑋1={…,𝑒1[−2,−1],𝑒1[−1,0],𝑒1[0,1],𝑒1[1,2],…} where 𝜕𝑒1[𝑛,𝑛+1]={𝑒0𝑛,𝑒0𝑛+1},(c)TBD

Problem 64C #

Problem 64C†. Show that a finite CW complex is compact.Solution by finalchildEvery 𝑘-cell is compact.Claim. Finite disjoint union of quasicompact spaces is quasicompact.Consider an open cover {𝑈𝛼} of 𝐴⊎𝐵. We denote the included indices of the finite subcovers of the projectedsubcovers by Β𝐴 and Β𝐵. There exists a finite subcover of {𝑈𝛼}: {𝑈𝛼|𝛼∈Β𝐴∪Β𝐵}.Claim. A quotient space of a quasicompact space is quasicompact.Consider an open cover {𝑈𝛼} of 𝑋/∼. Then, let 𝑉𝛼={𝑥|[𝑥]∈𝑈𝛼}, and {𝑉𝛼} is an open cover of 𝑋. Let Βthe included indices of the finite subcover. Then {𝑈𝛼|𝛼∈Β} is the finite subcover of {𝑈𝛼}.Claim. CW complex is Hausdorff.Use mathematical induction. Only consider the case of making 𝑋𝑘 from 𝑋𝑘−1Each point of 𝑋𝑘 corresponds to either a point of 𝑋𝑘−1 (we’ll call it A class) or an inner point of an 𝑒𝑘𝛼 (we’llcall it B class).Consider two distinct points of 𝑋𝑘, 𝑎 and 𝑏.If 𝑎∈𝑋𝑘−1 and 𝑏∈inner𝑒𝑘𝛼 (or vice versa), we can take 𝑋𝑘−1 and inner𝑒𝑘𝛼 as the disjoint neighborhoods.Similarly, it is easy to take disjoint neighborhoods if one or more of 𝑎 and 𝑏 are of class B.If both 𝑎 and 𝑏 is of class A, since we assume 𝑋𝑘−1 is Hausdorff, we have disjoint open neighborhoods 𝑆𝑎and 𝑆𝑏. Because the attaching map is continuous, the preimage of the equiv relation gives two distinct openneighborhoods in 𝑋𝑘.Thus, a finite CW complex is compact. ∎