泛函分析与偏微分方程(二):弱拓扑的定义与基本性质

弱拓扑 σ(E,E∗)\sigma(E, E^*)σ(E,E) 的定义与基本性质

一、最粗拓扑的概念

在学习弱拓扑之前,我们先回顾一个基础的拓扑概念:为使一族映射连续而构造的最粗拓扑

1.1 定义

假设 XXX 是一个集合,{ Yi}i∈I\{Y_i\}_{i \in I}{ Yi}iI 是一族拓扑空间,我们有一族映射 { φi}i∈I\{\varphi_i\}_{i \in I}{ φi}iI,其中每个 φi:X→Yi\varphi_i: X \to Y_iφi:XYi。我们的目标是:

问题1:在 XXX 上构造一个拓扑 T\mathscr{T}T,使得所有的映射 φi\varphi_iφi 都是连续的。并且,这个拓扑应该是“最经济”的,即它包含的开集最少。

这种拓扑被称为 初始拓扑 (initial topology)最粗拓扑 (coarsest topology)

1.2 构造方法

为了使每个 φi\varphi_iφi 连续,对于 YiY_iYi 中的任意开集 ωi\omega_iωi,其原像 φi−1(ωi)\varphi_i^{-1}(\omega_i)φi1(ωi) 必须是 XXX 中的开集。因此,我们从所有形如 φi−1(ωi)\varphi_i^{-1}(\omega_i)φi1(ωi) 的集合出发,构造一个拓扑。

  • 第一步:考虑所有有限交集 ⋂i∈Γφi−1(Vi)\bigcap_{i \in \Gamma} \varphi_i^{-1}(V_i)iΓφi1(Vi),其中 Γ⊂I\Gamma \subset IΓI 是有限集,ViV_iViYiY_iYi 中的开集。这些集合构成一个“子基”。
  • 第二步:取这些有限交集的所有任意并集,得到最终的拓扑 T\mathscr{T}T

这个拓扑 T\mathscr{T}T 是满足条件的最粗拓扑。

1.3 性质

  • 命题3.1:设 (xn)(x_n)(xn)XXX 中的一个序列,则 xn→xx_n \to xxnx(在拓扑 T\mathscr{T}T 中)当且仅当对每一个 i∈Ii \in IiI,都有 φi(xn)→φi(x)\varphi_i(x_n) \to \varphi_i(x)φi(xn)φi(x)

    • 证明:如果 xn→xx_n \to xxnx,由于每个 φi\varphi_iφi 连续,根据连续函数的序列定义,必有 φi(xn)→φi(x)\varphi_i(x_n) \to \varphi_i(x)φi(xn)φi(x)。反之,若 φi(xn)→φi(x)\varphi_i(x_n) \to \varphi_i(x)φi(xn)φi(x) 对所有 iii 成立,任取 xxx 的一个邻域 UUU,它可以写成有限个 φi−1(Vi)\varphi_i^{-1}(V_i)φi1(Vi) 的交集。由于每个 φi(xn)\varphi_i(x_n)φi(xn) 最终会落在 ViV_iVi 内,所以 xnx_nxn 最终会落在 UUU 内。
  • 命题3.2:设 ZZZ 是一个拓扑空间,ψ:Z→X\psi: Z \to Xψ:ZX 是一个映射。则 ψ\psiψ 连续当且仅当对每一个 i∈Ii \in IiI,复合映射 φi∘ψ:Z→Yi\varphi_i \circ \psi: Z \to Y_iφiψ:ZYi 都连续。

    • 证明:这是初始拓扑的定义性性质。如果 ψ\psiψ 连续,则 φi∘ψ\varphi_i \circ \psiφiψ 作为连续映射的复合也连续。反之,若所有 φi∘ψ\varphi_i \circ \psiφiψ 连续,则对于 XXX 中的任意开集 U=⋃α⋂i∈Γαφi−1(ωi)U = \bigcup_{\alpha} \bigcap_{i \in \Gamma_\alpha} \varphi_i^{-1}(\omega_i)U=αiΓαφi1(ωi),其原像 ψ−1(U)\psi^{-1}(U)ψ1(U) 是一些开集的并集,故为开集。

例1:考虑一个集合 X={ a,b,c}X = \{a, b, c\}X={ a,b,c},以及两个映射:
φ1:X→R\varphi_1: X \to \mathbb{R}φ1:XR,定义为 φ1(a)=1,φ1(b)=2,φ1(c)=3\varphi_1(a) = 1, \varphi_1(b) = 2, \varphi_1(c) = 3φ1(a)=1,φ1(b)=2,φ1(c)=3
φ2:X→R\varphi_2: X \to \mathbb{R}φ2:XR,定义为 φ2(a)=4,φ2(b)=5,φ2(c)=6\varphi_2(a) = 4, \varphi_2(b) = 5, \varphi_2(c) = 6φ2(a)=4,φ2(b)=5,φ2(c)=6
我们希望在 XXX 上构造一个最粗拓扑 T\mathscr{T}T,使得

评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值