Exercise 22.3 Let \(\pi_1: \mathbb{R} \times \mathbb{R} \rightarrow \mathbb{R}\) be projection on the first coordinate. Let \(A\) be the subspace of \(\mathbb{R}\times\mathbb{R}\) consisting of all points \(x \times y\) for which either \(x \geq 0\) or \(y = 0\) (or both); let \(q: A \rightarrow \mathbb{R}\) be obtained by restricting \(\pi_1\). Show that \(q\) is a quotient map that is neither open nor closed.

Proof (a) Show \(q\) is a quotient map.

The projection map \(\pi_1\) is continuous because the pre-image of any open set \(U\) in \(\mathbb{R}\) under \(\pi_1\) is \(U \times \mathbb{R}\), which is open in the product space \(\mathbb{R}\times\mathbb{R}\). Then its restriction \(q\) is also continuous due to Theorem 18.2.

According to the illustrated domain of \(q\) in Figure 1 which is marked in light grey, it is obvious that \(q\) is surjective. It also shows the three types of saturated open sets in \(A\) with respect to \(q\), which are marked in red:

  • \((a,b) \times \{0\}\) with \(a < 0\) and \(b \leq 0\) and its image under \(q\) is \((a, b)\).
  • \((a,b) \times \mathbb{R}\) with \(a \geq 0\) and \(b > 0\) and its image under \(q\) is \((a, b)\).
  • \((a, 0) \times \{0\} \cup [0,b) \times \mathbb{R}\) with \(a < 0\) and \(b > 0\). Because a map preserves set union operation, its image under \(q\) is \((a, b)\).

It can be seen that for the three types of saturated open sets, their images are all open in \(\mathbb{R}​\). Meanwhile, arbitrary union of the above three types saturated open sets is also a saturated open set with its image open in \(\mathbb{R}​\). Therefore, \(q​\) is a quotient map.

Figure 1. Illustration of the domain of \(q\) and saturated open sets in \(A\).

(b) Show \(q\) is neither an open nor a closed map.

Let \(U = [0, 1) \times (1, 2)\) be an open set of \(A\) in the subspace topology, which is not saturated. \(q(U) = [0, 1)\) is not open in \(\mathbb{R}\). Hence \(q\) is not an open map.

Let \(U = \{(x,y) \vert xy = 1 \;\text{and}\; x > 0 \}\) which is closed in \(\mathbb{R} \times \mathbb{R}\). According to Theorem 17.2, \(U\) is also closed in the subspace \(A\). Then \(q(U)=(0,+\infty)\), which is not closed in \(\mathbb{R}\). Hence \(q\) is not a closed map.

Comment This exercise shows that a function being open or closed map is a sufficient but not a necessary condition for the function to be a quotient map.

James Munkres Topology: Sec 22 Exer 3的更多相关文章

  1. James Munkres Topology: Sec 22 Exer 6

    Exercise 22.6 Recall that \(\mathbb{R}_{K}\) denotes the real line in the \(K\)-topology. Let \(Y\) ...

  2. James Munkres Topology: Sec 18 Exer 12

    Theorem 18.4 in James Munkres “Topology” states that if a function \(f : A \rightarrow X \times Y\) ...

  3. James Munkres Topology: Sec 37 Exer 1

    Exercise 1. Let \(X\) be a space. Let \(\mathcal{D}\) be a collection of subsets of \(X\) that is ma ...

  4. James Munkres Topology: Sec 22 Example 1

    Example 1 Let \(X\) be the subspace \([0,1]\cup[2,3]\) of \(\mathbb{R}\), and let \(Y\) be the subsp ...

  5. James Munkres Topology: Lemma 21.2 The sequence lemma

    Lemma 21.2 (The sequence lemma) Let \(X\) be a topological space; let \(A \subset X\). If there is a ...

  6. James Munkres Topology: Theorem 20.3 and metric equivalence

    Proof of Theorem 20.3 Theorem 20.3 The topologies on \(\mathbb{R}^n\) induced by the euclidean metri ...

  7. James Munkres Topology: Theorem 20.4

    Theorem 20.4 The uniform topology on \(\mathbb{R}^J\) is finer than the product topology and coarser ...

  8. James Munkres Topology: Theorem 19.6

    Theorem 19.6 Let \(f: A \rightarrow \prod_{\alpha \in J} X_{\alpha}\) be given by the equation \[ f( ...

  9. James Munkres Topology: Theorem 16.3

    Theorem 16.3 If \(A\) is a subspace of \(X\) and \(B\) is a subspace of \(Y\), then the product topo ...

随机推荐

  1. postgreSQL可视化工具pgAdmin3 导入表结构和数据

    材料:.backup文件.postgreSQL(pgAdmin3) 1.新建一个数据库2.选中数据库右键还原,弹出框中选择本地计算机备份文件路径---->点击还原(选择一个修改时间最早和最晚的还 ...

  2. Python成绩

    # -*- coding: utf-8 -*- """ Spyder Editor This is a temporary script file. "&quo ...

  3. Eclipse——如何设置代码字体大小

    eclipse默认字体太小,1920*1080下分辨不清楚,接下来介绍一下如何更改默认字体大小: 1.window-Preferences 2.General-Appearance-Colors an ...

  4. Servlet处理Json请求数据包

    request.setCharacterEncoding('UTF-8'); response.setContentType('text/html;charset=UTF-8'); String ac ...

  5. Spring.Net 入门学习笔记-----one

    一. 基本概念    Spring.Net是一个轻量级的控制反转(Ioc)和面向切面的(Aop)的容器框架: Ioc:控制反转:简单的说就是将创建对象的控制权转交给外部容器(IApplicationC ...

  6. 【nginx】配置

    server { listen 80; server_name hocalhost; location / { root /usr/share/nginx/html; index index.html ...

  7. day 25-1 接口类、抽象类、多态

    # 接口类:python 原生不支持# 抽象类:python 原生支持的 接口类 首先我们来看一个支付接口的简单例子 from abc import abstractmethod,ABCMeta #我 ...

  8. 学习笔记-ResNet网络

    ResNet网络 ResNet原理和实现 总结 一.ResNet原理和实现 神经网络第一次出现在1998年,当时用5层的全连接网络LetNet实现了手写数字识别,现在这个模型已经是神经网络界的“hel ...

  9. safari下载中文文件名乱码

    原因:响应头设置content-disposition,主要遵循 RFC 5987标准. response.setHeader("content-disposition",&quo ...

  10. 【easy】257. Binary Tree Paths 二叉树找到所有路径

    http://blog.csdn.net/crazy1235/article/details/51474128 花样做二叉树的题……居然还是不会么…… /** * Definition for a b ...