Communities

Writing
Writing
Codidact Meta
Codidact Meta
The Great Outdoors
The Great Outdoors
Photography & Video
Photography & Video
Scientific Speculation
Scientific Speculation
Cooking
Cooking
Electrical Engineering
Electrical Engineering
Judaism
Judaism
Languages & Linguistics
Languages & Linguistics
Software Development
Software Development
Mathematics
Mathematics
Christianity
Christianity
Code Golf
Code Golf
Music
Music
Physics
Physics
Linux Systems
Linux Systems
Power Users
Power Users
Tabletop RPGs
Tabletop RPGs
tag:snake search within a tag
answers:0 unanswered questions
user:xxxx search by author id
score:0.5 posts with 0.5+ score
"snake oil" exact phrase
votes:4 posts with 4+ votes
created:<1w created < 1 week ago
post_type:xxxx type of post
Search help
Notifications
Mark all as read See all your notifications »
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 answer

+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

Sign up to answer this question »

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! Donate