Theorem 20.4 The uniform topology on \(\mathbb{R}^J\) is finer than the product topology and coarser than the box topology; these three topologies are all different if \(J\) is infinite.

Proof: a) Prove the uniform topology is finer than the product topology.

Analysis: Look inside an open ball in the product topology for an open ball in the uniform topology and then apply Lemma 20.2. It should be also noted that the product topology on \(\mathbb{R}^J\) has each of its coordinate space assigned the standard topology, which is consistent with both topologies induced from the two metrics \(d\) and \(\bar{d}\) according to example 2 in this section and Theorem 20.1.

According to the second part of Theorem 19.2, let \(\prod_{\alpha \in J} B_{\alpha}\) be an arbitrary basis element for the product topology on \(\mathbb{R}^J\), where only a finite number of \(B_{\alpha}\)s are open intervals in \(\mathbb{R}\) and not equal to \(\mathbb{R}\). Let the indices for these \(B_{\alpha}\)s be \(\{\alpha_1, \cdots, \alpha_n\}\) and for all \(i \in \{1, \cdots, n\}\), \(B_{\alpha_i} = (a_i, b_i)\). Then for all \(\vect{x} \in \prod_{\alpha \in J} B_{\alpha}\) and for all \(\alpha \in J\), \(x_{\alpha} \in B_{\alpha}\). Specifically, for all \(i \in \{1, \cdots, n\}\), \(x_{\alpha_i} \in B_{\alpha_i}\). Let \(\varepsilon_{\alpha_i} = \min \{ x_{\alpha_i} - a_i, b_i - x_{\alpha_i} \}\) and \(\varepsilon = \min_{1 \leq i \leq n} \{\varepsilon_{\alpha_1}, \cdots, \varepsilon_{\alpha_n}\}\). Then we’ll check the open ball \(B_{\bar{\rho}}(\vect{x}, \varepsilon)\) in \(\mathbb{R}^J\) with the uniform topology is contained in the basis element \(\prod_{\alpha \in J} B_{\alpha}\).

For all \(\vect{y} \in B_{\bar{\rho}}(\vect{x}, \varepsilon)\), \(\bar{\rho}(\vect{x}, \vect{y}) < \varepsilon\), i.e. \(\sup_{\forall \alpha \in J} \{\bar{d}(x_{\alpha}, y_{\alpha})\} < \varepsilon\). Therefore, for all \(i \in \{1, \cdots, n\}\), \(\bar{d}(x_{\alpha_i}, y_{\alpha_i}) < \varepsilon\). Note that when \(\varepsilon > 1\), \(B_{\bar{\rho}}(\vect{x}, \varepsilon) = \mathbb{R}^J\), which is not what we desire. Instead, we need to define the open ball’s radius as \(\varepsilon' = \min\{\varepsilon, 1\}\). Then we have for all \(\vect{y} \in B_{\bar{\rho}}(\vect{x}, \varepsilon')\), \(\bar{d}(x_{\alpha_i}, y_{\alpha_i}) = d(x_{\alpha_i}, y_{\alpha_i}) < \varepsilon'\), i.e. \(y_{\alpha_i} \in (x_{\alpha_i} - \varepsilon', x_{\alpha_i} + \varepsilon') \subset B_{\alpha_i}\). For other coordinate indices \(\alpha \notin \{\alpha_1, \cdots, \alpha_n\}\), because \(B_{\alpha} = \mathbb{R}\), \(y_{\alpha} \in (x_{\alpha} - \varepsilon', x_{\alpha} + \varepsilon') \subset B_{\alpha}\) holds trivially.

Therefore, the uniform topology is finer than the product topology.

b) Prove the uniform topology is strictly finer than the product topology, when \(J\) is infinite.

When \(J\) is infinite, for an open ball \(B_{\bar{\rho}}(\vect{x}, \varepsilon)\) with \(\varepsilon \in (0, 1]\), there are infinite number of coordinate components comprising this open ball which are not equal to \(\mathbb{R}\). Therefore, there is no basis element for the product topology which is contained in \(B_{\bar{\rho}}(\vect{x}, \varepsilon)\).

c) Prove the box topology is finer than the uniform topology.

For any basis element \(B_{\bar{\rho}}(\vect{x}, \varepsilon)\) for the uniform topology, when \(\varepsilon > 1\), \(B_{\bar{\rho}}(\vect{x}, \varepsilon) = \mathbb{R}^J\). Then for all \(\vect{y} \in B_{\bar{\rho}}(\vect{x}, \varepsilon)\), any basis element for the box topology containing this \(\vect{y}\) is contained in \(B_{\bar{\rho}}(\vect{x}, \varepsilon)\).

When \(\varepsilon \in (0, 1]\), \(\bar{d}\) is equivalent to \(d\) on \(\mathbb{R}\). Then for all \(\vect{y} \in B_{\bar{\rho}}(\vect{x}, \varepsilon)\), we have

\[
\sup_{\alpha \in J} \{ \bar{d}(x_{\alpha}, y_{\alpha}) \} = \sup_{\alpha \in J} \{ d(x_{\alpha}, y_{\alpha}) \} < \varepsilon.
\]

Therefore, for all \(\alpha \in J\), \(y_{\alpha} \in (x_{\alpha} - \varepsilon, x_{\alpha} + \varepsilon)\). Then we may tend to say that \(\prod_{\alpha \in J} (x_{\alpha} - \varepsilon, x_{\alpha} + \varepsilon)\) is a basis element for the box topology containing \(\vect{y}\), which is contained in \(B_{\bar{\rho}}(\vect{x}, \varepsilon)\). However, this is not true. Because \(\vect{y}\) can be thus selected such that as \(\alpha\) changes in \(J\), \(\bar{d}(x_{\alpha}, y_{\alpha})\) can be arbitrarily close to \(\varepsilon\), which leads to \(\sup_{\alpha \in J} \{ \bar{d}(x_{\alpha}, y_{\alpha}) \} = \varepsilon\). This makes \(\vect{y} \notin B_{\bar{\rho}}(\vect{x}, \varepsilon)\) and \(\prod_{\alpha \in J} (x_{\alpha} - \varepsilon, x_{\alpha} + \varepsilon)\) is not contained in \(B_{\bar{\rho}}(\vect{x}, \varepsilon)\). Such example can be given for \(\mathbb{R}^{\omega}\), where we let \(\vect{y} = \{y_n = x_n + \varepsilon - \frac{\varepsilon}{n}\}_{n \in \mathbb{Z}_+}\). When \(n \rightarrow \infty\), \(\bar{d}(x_n, y_n) \rightarrow \varepsilon\).

With this point clarified, a smaller basis element should be selected for the box topology, such as \(\prod_{\alpha \in J} (x_{\alpha} - \frac{\varepsilon}{2}, x_{\alpha} + \frac{\varepsilon}{2})\). For all \(\vect{y}\) in this basis element, \(\sup_{\alpha \in J} \{ \bar{d}(x_{\alpha}, y_{\alpha}) \} \leq \frac{\varepsilon}{2} < \varepsilon\). Hence \(\prod_{\alpha \in J} (x_{\alpha} - \frac{\varepsilon}{2}, x_{\alpha} + \frac{\varepsilon}{2}) \subset B_{\bar{\rho}}(\vect{x}, \varepsilon)\) and the box topology is finer than the uniform topology.

Remark: The proof in the book for this part inherently adopts the definition of open set via topological basis introduced in section 13.

d) Prove the box topology is strictly finer than the uniform topology, when \(J\) is infinite.

Analysis: Because the open ball in the uniform topology sets an upper bound on the dimension of each coordinate component, it can be envisioned that if we construct a basis element for the box topology with the dimension for each coordinate component approaching to zero, it cannot cover any open ball in the uniform topology with a fixed radius no matter how small it is.

Let’s consider the case in \(\mathbb{R}^{\omega}\). Select a basis element for the box topology as \(\prod_{n = 1}^{\infty} (x_n - \frac{c}{n}, x_n + \frac{c}{n})\) with \((c > 0)\). Then for all \(\varepsilon > 0\), there exists \(\vect{y}_0 \in B_{\bar{\rho}}(\vect{x}, \varepsilon)\) such that \(\vect{y}_0 \notin \prod_{n = 1}^{\infty} (x_n - \frac{c}{n}, x_n + \frac{c}{n})\). For example, we can select \(\vect{y}_0 = (x_n + \frac{\varepsilon}{2})_{n \geq 1}\). Then there exists an \(n_0 \in \mathbb{Z}_+\) such that when \(n > n_0\), \(\frac{c}{n} < \frac{\varepsilon}{n}\) and \(y_n \notin (x_n - \frac{c}{n}, x_n + \frac{c}{n})\). Hence, the box topology is strictly finer than the uniform topology.

James Munkres Topology: Theorem 20.4的更多相关文章

  1. 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 ...

  2. 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( ...

  3. 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 ...

  4. 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\) ...

  5. 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\) ...

  6. James Munkres Topology: Sec 22 Exer 3

    Exercise 22.3 Let \(\pi_1: \mathbb{R} \times \mathbb{R} \rightarrow \mathbb{R}\) be projection on th ...

  7. 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 ...

  8. 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 ...

  9. 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 ...

随机推荐

  1. PhotoShop不用魔棒、钢笔 建立较平整的选区 P进电脑屏幕里

    不用魔棒.抽出.钢笔等,还可以直接变形图建立调整选区,这种方法比钢笔抽出感觉简单一些,比魔棒仔细一些. 抽出或钢笔:抽出弄错了偏移了还要擦除,调整笔刷,抽出后可能还有毛边,需要用橡皮擦除: 钢笔,错了 ...

  2. LODOP不同打印机出现偏移问题

    方法简单描述:1.精确套打,设置以纸张边缘为基点,可避免不同可打区域不同带了的影响.2.不同客户端打印机位置差异,可通过打印维护调整,结果在客户端本地.或调整打印机初始位置(本人使用的金税盘的开票软件 ...

  3. C. New Year and Rating 差分方程 思维

    题意: 一个CF玩家打CF 给出其比赛列表和上分(掉分)情况 ,但是没给初始分 问最后最高分是多少  (情况不存在,或者可能无穷大) 思路: 设初始分为x 那么之前的回合的分数前缀和为sum    如 ...

  4. 随手记一个漂亮的code

    代码  从前有个代码长这样 if (a) { if (b) { c } } else { if (d) { c } } 后来长这样 if (a && b || !a && ...

  5. zabbix存储history_text

    有一个监控项存储一个目录的所有文件(递归)信息,字符数量比较大,history_str表的value的字段字符数限制为255长度,所以就想存储到history_text表中,在最新数据中一直显示不出新 ...

  6. Vue(一)安装

    环境准备 这里我们就直接使用官方推荐的Vue CLI方式 CLI (@vue/cli) 是一个全局安装的 npm 包,提供了终端里的 vue 命令.它可以通过 vue create 快速创建一个新项目 ...

  7. CentOS7部署Dotnet Core2.1

    前言 笔者在毫无Linux部署.net core的经验下,第一次用了15分钟完成部署,第二次在生产环境用了5分钟.下文将说明如何在CentOS7下完成.NetCore2.1的部署,包括如何创建ASP. ...

  8. [浏览器事件循环] javaScript事件循环 EventLoop

    前言 Event Loop即事件循环,是指浏览器或Node的一种解决javaScript单线程运行时不会阻塞的一种机制,也就是我们经常使用异步的原理. 先熟悉基本概念 [堆Heap] 堆是一种数据结构 ...

  9. HTML(三)HTML属性

    HTML 属性 属性: [class] 规定元素的一个或多个类 注意: 类不能以数字开头 class = "classA classB" // 多个类的写法 [id] 规定元素的唯 ...

  10. 数据结构Java实现03----栈:顺序栈和链式堆栈

    一.堆栈的基本概念: 堆栈(也简称作栈)是一种特殊的线性表,堆栈的数据元素以及数据元素间的逻辑关系和线性表完全相同,其差别是线性表允许在任意位置进行插入和删除操作,而堆栈只允许在固定一端进行插入和删除 ...