Skip to main content

Section Introduction

At its most basic level topology deals with sets and how we can deform sets into other sets. So to start our study of topology, we begin with sets. Much of this material should be familiar, but some might be new. The first issue for us to settle on is as precise a definition of “set” as possible.

Preview Activity 1.1.

Suppose we try to define a set to be a collection of elements. So, by definition, the elements are the objects contained in the set. We use the symbol \(\in\) to denote that an object is an element of a set. So \(\notin\) means an object is not in the set — if \(x\) is an object in a set \(S\) we write \(x \in S\text{,}\) and if \(x\) is not an object in a set \(S\) we write \(x \notin S\text{.}\) We write sets using set brackets. For example, the set \(\{a,b,c\}\) is the set whose elements are the symbols \(a\text{,}\) \(b\text{,}\) and \(c\text{.}\) We can also include in the set notation conditions on elements of the set. For example, \(\{x \in \R : x \gt 0\}\) is the set of positive real numbers. We typically use capital letters to denote sets. Some familiar examples of sets are \(\R\text{,}\) the set of real numbers; \(\Q\text{,}\) the set of rational numbers; and \(\Z\text{,}\) the set of integers. Sets can also contain sets as elements. For example, the power set of a set \(S\) is the set of subsets of \(S\text{.}\) So the power set of \(S = \{1,2\}\) is the set \(\{\emptyset, \{1\}, \{2\}, \{1,2\}\}\text{.}\) (We will define subsets and the empty set later in this activity).

(a)

Consider the following “set” \(S\text{,}\) which is a collection of objects:
\begin{equation*} S = \{A \text{ is a set } \mid A \notin A\}\text{.} \end{equation*}
That is, \(S\) is the collection of sets that do not have themselves as elements. Given any object \(x\text{,}\) either \(x \in S\) or \(x \notin S\text{.}\)
(i)
Is \(S\) an element of \(S\text{?}\) Explain.
(ii)
Is it the case that \(S \notin S\text{?}\) Explain.
(iii)
Based on your responses to parts (a) and (b), explain why our current concept of a set as a collection of elements is not a good one.

(b)

Assume that we have a working definition of a set. In this part of the activity we define a subset of a set. The notation we will use is \(A \subset S\) if \(A\) is a subset of \(S\) that is not equal to \(S\text{,}\) and \(A \subseteq S\) if \(A\) is a subset of \(S\) that could be the entire set \(S\text{.}\) We will also say that \(A\) is contained in \(S\) if \(A\) is a subset of \(S\text{,}\) and call the relation \(A \subset S\) (or \(A \subseteq S\)) a containment.
(i)
How should we define a subset of a set? Give a specific example of a set and two examples of subsets of that set.
(ii)
If \(A\) is a set, is \(A\) a subset of \(A\text{?}\) Explain.
(iii)
What is the empty set \(\emptyset\text{?}\) If \(A\) is a set, is \(\emptyset\) a subset of \(A\text{?}\) explain.