Are finite sets in R open?

Question

I'm self-studying general topology and getting incredibly confused with the notions of open and closed sets.

In the following, I'm considering the space X = $\Re$, the set A = {2}, the collection $\tau$ of subsets of $\Re$: $\tau$ = {∅, $\Re$, {2}}. Since $\tau$ satisfies the axioms of a topology, it is a topology. And since A belongs to $\tau$, it is an open set.

However I'm also aware of the proof that finite sets are closed in $\Re$, using the argument that the complement of the singleton set is open. Where did I go wrong with my argument?

Answer 1

Note that the question in your title is incomplete. This is because we can't discuss "open sets of $\mathbb{R}$" without mentioning the topology --- A more pedantic (which may be useful at this stage of your learning) way of asking this is "Are finite sets in $(\mathbb{R},\{\emptyset,\mathbb{R},\{2\}\}$ open?". This is because to talk about open sets, we need a topological space, which is both the set ($\mathbb{R}$ here) and the topology on that set ($\{\emptyset, \mathbb{R},\{2\}\}$ here).

When the topology chosen is "standard", this second part can be omitted --- A question such as "What are the compact sets in $\mathbb{R}$?" would implicitly assume that the "standard topology" on $\mathbb{R}$ is being used, meaning the metric topology given by the euclidean norm. If you aren't considering this topology, it's imperative to mention it. I know you do in the body of the question, but as it appears you're new to this field, I just wanted to reinforce that both parts are equally important.

Now, for your actual question:

Open sets are by definition any element of $\tau$. Consider the finite set $\{1\}$ --- is this in $\tau$? What about $\{2\}$? If every finite set is in $\tau$, then every finite set is open. In this way, $\tau$ tells you precisely what sets are open tautologically. Especially in a case like this (where $\tau$ is written down as an enumeration of its elements) it should be rather easy to check. This will change later when you instead talk about topologies generated by some set of elements (So a certain subset of the topology is written down, and then you essentially say "add in everything else to make the topology satisfy the closure properties required to be a topology"). The relevant terms here are basis and sub-basis, but I expect you'll learn these in the next few weeks.

Answer 2

A set is one of the simplest structures we can define in math. One may intuitively think of a set as a collection of objects (there are formal definitions that are used to define this more rigorously). With only this structure, we can do some things, but not much. If we have two sets, we may consider maps between them. We are often interested in structure preserving maps. At the level of sets, the only structure we really have is the cardinality of the set (i.e. the number of elements in it). So, the structure preserving map at the level of sets is one that preserves cardinality, or a bijection.

We can, however, add more structure to our sets. Suppose we have a set $X$. One of the next most basic structures we can add on top of $X$ is a topology. A topology is a collection $\mathcal{T}$ of subsets of $X$ that we are treating as "special" in some sense. Really, they are special just because we say that they are. We further require this collection of subsets to satisfy a few properties.

• $\emptyset$ and $X$ are in $\mathcal{T}$
• If $U, V$ are in $\mathcal{T}$, then so is $U \cup V$.
• If a finite collection of sets $U_i$ are in $\mathcal{T}$, then so is $\bigcap_i U_i$

That's all that we need to define open sets. So a subset of $\mathbb{R}$ may be open if it is in some $\mathcal{T}$ , as long as the chosen $\mathcal{T}$ satisfies the above three properties. We are still interested in structure preserving maps, but now we have more structure. We may take our old sets and give them each a topology. Then, we may take our old bijection and add a further requirement that if we give the map one of our 'special' (open) sets in the domain, it gives us one of our special sets in the image. These structure preserving functions are called continuous functions, and we say that continuous functions map open sets to open sets.

You may be familiar with the notion of open sets from analysis. These sets are really only open in the sense that they are in a certain topology (one of many we could define for $\mathbb{R}$). This topology that gives us the familiar notion of open sets from real analysis is called the standard topology. Call an open interval a set of the form $$ (a, b) = \{ x \in \mathbb{R} \mid a < x < b \} $$

Then the standard topology $\mathcal{T}_{st}$ is defined as the collection of open intervals.