Metaphor of quotient space
In James Munkres "Topology" Section 22, the quotient space is defined as below.
Definition Let \(X\) be a topological space, and let \(X^*\) be a partition of \(X\) into disjoint subsets whose union is \(X\). Let \(p: X \rightarrow X^*\) be the surjective map that carries each point of \(X\) to the element of \(X^*\) containing it. In the quotient topology induced by \(p\), the space \(X^*\) is called a quotient space of \(X\).
The key factors in this definition are:
- According to section 3, the quotient space \(X^*\) as a partition of \(X\) is associated with a unique equivalence relation on \(X\). This equivalence relation specifies which points in the original space \(X\) will be treated as a same point in the new space \(X^*\).
- The quotient map \(p: X \rightarrow X^*\) for constructing the quotient topology on \(X^*\) introduces the concept of saturated sets, which are pre-images of subsets in \(X^*\). \(p\) ensures the image of any saturated open/closed set in \(X\) is still open/closed in \(X^*\).
With these concepts in mind, we can take paper folding and pasting as an example. Let the space \(X\) be a piece of paper. The equivalence classes on \(X\) determine which parts of this piece of paper will be pasted together. Meanwhile, the quotient map \(p\) collects the neighborhoods around every points in \(X\) that are to be pasted into a common point \(x_0\) in \(X^*\) and builds up a new neighborhood of \(x_0\) in \(X^*\). The neighborhoods of points in \(X\) are defined with respect to the subspace topology on \(X\), which is induced from the standard topology on \(\mathbb{R}^2\). The neighborhoods of points in \(X^*\) are defined with respect to the quotient topology on \(X^*\). That the quotient map \(p\) is surjective implies the whole paper is kept during the operations without cutting off any part. Hence, the obtained quotient space \(X^*\) is just the piece of paper after these folding and pasting operations. The following figure illustrates the above metaphor of quotient space by folding a piece of rectangular paper into a cylinder.

Figure. Illustration of quotient space using the example of paper folding and pasting.
Metaphor of quotient space的更多相关文章
- 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\) ...
- Metaphor of topological basis and open set
The definition of topological basis for a space $X$ requires that each point $x$ in $X$ is contained ...
- In abstract algebra, a congruence relation (or simply congruence) is an equivalence relation on an algebraic structure (such as a group, ring, or vector space) that is compatible with the structure in
https://en.wikipedia.org/wiki/Congruence_relation In abstract algebra, a congruence relation (or sim ...
- java head space/ java.lang.OutOfMemoryError: Java heap space内存溢出
上一篇JMX/JConsole调试本地还可以在centos6.5 服务器上进行监控有个问题端口只开放22那么设置的9998端口 你怎么都连不上怎么监控?(如果大神知道还望指点,个人见解) 线上项目出现 ...
- Eclipse中启动tomcat报错java.lang.OutOfMemoryError: PermGen space的解决方法
有的项目引用了太多的jar包,或者反射生成了太多的类,异或有太多的常量池,就有可能会报java.lang.OutOfMemoryError: PermGen space的错误, 我们知道可以通过jvm ...
- myeclipse 内存不够用报错PermGen space 和 An internal error has occurred.
最近项目中又增加了新的模块,项目的代码又多了不少.运行的时候总是报如下错误 Exception in thread "http-apr-80-exec-6" java.lang.O ...
- java.lang.OutOfMemoryError: PermGen space及其解决方法
PermGen space的全称是Permanent Generation space,是指内存的永久保存区域OutOfMemoryError: PermGen space从表面上看就是内存益出,解决 ...
- User space 与 Kernel space
学习 Linux 时,经常可以看到两个词:User space(用户空间)和 Kernel space(内核空间). 简单说,Kernel space 是 Linux 内核的运行空间,User spa ...
- java.lang.OutOfMemoryError: PermGen space错误解决方法
1. MyEclipse 中报 PermGen space window--> preferences-->Myclipse-->Servers-->Tomcat- ...
随机推荐
- python学习day19 面向对象(一)封装/多态/继承
面向对象 封装思想:将同一类的函数函数封装到同一个py文件中,方便调用 面向对象也有封装的作用,将同一类的函数封装到一个类中 多态(鸭子模型):多种类型/多种形态 #,什么事鸭子模型 对于一个函数,p ...
- 初入 nodejs -遍历文件夹
//操作文件 /* 1.fs.stat 获取文件状态 2.fs.readdir 读取文件夹数据 3.fs.access 判断文件夹是否存在 4.path.join 拼路径 */ //操作文件 cons ...
- Spring Boot学习总结三
1,mybatis在spring boot下的2种使用模式 无配置文件注解版 application.properties添加相关配置 mybatis.type-aliases-package=com ...
- (双指针 二分) leetcode 167. Two Sum II - Input array is sorted
Given an array of integers that is already sorted in ascending order, find two numbers such that the ...
- Kettle中并行执行测试
整个作业截图: 设置并行方法:右键 START 组件,勾选最后一个选项: Run Next Entries In Parallel 设置aa, bb, cc, dd, ee 都是shell脚本,内容都 ...
- TeamViewer 密码有关
TeamViewer这个密码字母代表g不是q.
- Oracle ORA-08104报错处理方法及注意事项
[环境介绍] 系统环境:IBM P740 8205-E6C (AIX) + 11.2.0.3.0 Oracle RAC [背景介绍] 故障描述:数据库表空间超过90%,无法进行扩容表空间,需要业务侧清 ...
- request redirection
# encoding:utf-8 import reimport jsonimport randomfrom esdapi.config import BASE_URLfrom requests.se ...
- DIV内文字两端对齐
div{ text-align: justify; text-justify:inter-ideograph; }
- 常用软件记录 ( Windows )
带括号注明的为主力软件 现安装的: 360驱动大师 7-Zip Acrobat Reader DC Adobe Photoshop 7.0 Anaconda babun Bandizip (解压) b ...