习题 10, § 3

令$A$为非空拓扑空间$X$的非空子空间。证明拓扑在 $\mathfrak{P}_0(A)$ 上由拓扑 $\mathfrak{T}_\Omega$（分别为 $\mathfrak{T}_\Phi$）在 $\mathfrak{P}_0(X)$（§ 2，习题 7）上诱导为拓扑 $\mathfrak{T}_\Omega$（分别为 $\mathfrak{T}_\Phi$） $\mathfrak{P}_0(A)$。