4
$\begingroup$

As some context, a question I posted Munkres exercise 13.1 was closed as a duplicate, but I'm not interested just in solving Munkres 13.1, but in a verification of whether my understanding of a basis for a topology is correct. I'm going to try to reduce the scope of my question here in the hope that this isn't closed, because I accept there are other, and most likely superior ways to solve this problem. But I'd like to know if my intuition was correct.

The exercise is:

Let 𝑋 be a topological space; let $A$ be a subset of $X$. Suppose that for each $x \in A$ there is an open set $U$ containing $x$ such that $U \subset A$. Show that $A$ is open in $X$.

I know that a set is open if and only if it is a union of open sets, and this is the approach people typically used for this problem. My approach, and thought process, was to use the definition of what it means to be open in the topology generated by a basis (though whether it is ideal to involve a basis is, of course, debatable). If $\mathcal{T}$ is the topology generated by a basis $\mathcal{B}$, we say $A \in \mathcal{T}$ if and only if for every $x \in A$, there exists $B \in \mathcal{B}$ such that $x \in B \subset A$. So this is what I set out to prove.

If I fix $x \in A$, I know by the assumption in this exercise that I can pick $U \in \mathcal{T}$, where $x \in U$ and $U \subset A$. As $U$ is open, I can apply the above definition to find a basis element $B \in \mathcal{B}$ such that $x \in B \subset U$. But $U \subset A$, so I can say $x \in B \subset A$. By this above definition again, $A$ is open.

My question is whether this approach here and my understanding of the basis for a topology is correct, or if I have made any mathematical errors. I surely would have to start out with "choose a basis for $\mathcal{T}$," which could just be $\mathcal{T}$ itself. This is certainly not ideal, but is it incorrect?

$\endgroup$
2
  • 2
    $\begingroup$ Since you said that there is at least one basis and the basis can lead you to the conclusion, so your proof is mathematically correct. $\endgroup$
    – riemann18
    Jan 26 at 7:13
  • 2
    $\begingroup$ It seems fine to me, just inefficient. It is as you say: the 'standard` proof is equivalent to your basis proof, with the set of all open sets of $\mathcal T$ being tacitly chosen as basis. $\endgroup$ Jan 26 at 7:14

1 Answer 1

7
$\begingroup$

You're just using the trivial fact that $\mathcal B=\mathcal T$ is itself a basis for $\mathcal T$. So you don't have to "randomly pick" a basis.

And then you just get the standard proof: To show $A$ is open in the basis definition, let $x \in A$. By assumption we have an open $U$ with $x \in U \subseteq A$ and a basic set $B$ (namely $B=U$!) with $x \in B \subseteq A$ is $A$ open. QED.

The extra fake basis doesn't clarify, it just gives you a slightly different route... it's IMHO less insightful.

$\endgroup$
1
  • $\begingroup$ So it's not mathematically incorrect just uglier. In some eyes also a flaw. $\endgroup$ Jan 26 at 7:30

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.