Comments on Criterion in terms of the bases for determining whether one topology is finer than another
Post
Criterion in terms of the bases for determining whether one topology is finer than another
When topologies are given by bases, one has a useful criterion in terms of the bases for determining whether one topology is finer than another:
Lemma 13.3. (Munkres's Topology p.81) Let $\mathscr{B}$ and $\mathscr{B}^{\prime}$ be bases for the topologies $\mathcal{T}$ and $\mathcal{T}^{\prime}$, respectively, on $X$. Then the following are equivalent:
(1) $\mathcal{T}^{\prime}$ is finer than $\mathcal{T}$.
(2) For each $x \in X$ and each basis element $B \in \mathscr{B}$ containing $x$, there is a basis element $B^{\prime} \in \mathscr{B}^{\prime}$ such that $x \in B^{\prime} \subset B$.
If one modifies condition (2) as:
(2') For each nonempty basis element $B \in \mathscr{B}$ there is a nonempty basis element $B^{\prime} \in \mathscr{B}^{\prime}$ such that $B^{\prime} \subset B$.
then it is unlikely that one can conclude (2'): one cannot use the original argument for showing the implication (2) $\Rightarrow$ (1) anymore.
Can anyone give a counter-example for (2') $\Rightarrow$ (1)?
[(2') edited.]
1 comment thread