### Communities

tag:snake search within a tag
user:xxxx search by author id
score:0.5 posts with 0.5+ score
"snake oil" exact phrase
created:<1w created < 1 week ago
post_type:xxxx type of post
Q&A

# Criterion in terms of the bases for determining whether one topology is finer than another

+3
−0

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

Why does this post require moderator attention?
You might want to add some details to your flag.
Why should this post be closed?

#### 1 comment thread

As written, (2') can never br true (2 comments)

+1
−0

A counterexample would be the set $S=\{0,1,2\}$ with the topologies $\mathcal T = \{\emptyset, \{0\}, \{0,1\}, S\}$and $\mathcal T' = \{\emptyset,\{0\},S\}$. Clearly $\mathcal T'$ is not finer than $\mathcal T$.

Now $\mathcal T$ is generated by the basis $\mathscr B = \{\{0\},\{0,1\},S\}$ and $\mathcal T'$ is generated by $\mathscr B' = \{\{0\},S\}$.

Now (2') is fulfilled, as for every non-empty $B\in\mathscr B$, the set $B'=\{0\}\in \mathscr B'$ is such that $B'\subset B$.

Thus this gives a counterexample to (2')$\implies$(1).

Why does this post require moderator attention?
You might want to add some details to your flag.

#### 0 comment threads

Featured
Hot Posts

This community is part of the Codidact network. We have other communities too — take a look!

You can also join us in chat!

Want to advertise this community? Use our templates!

Like what we're doing? Support us!