Open Sets in Topology: The Building Blocks of Shape and Space

Welcome, students! 🌟 In this lesson, you will learn one of the most important ideas in topology: open sets. Open sets are the starting point for understanding how mathematicians describe “nearness,” continuity, and shape without relying only on distance. By the end of this lesson, you should be able to explain what an open set is, recognize examples, and understand why open sets matter in topology.

What You Will Learn

By the end of this lesson, students, you should be able to:

explain the main ideas and terminology behind open sets,
identify open sets in familiar settings like the real number line,
use topology reasoning to decide whether a set is open,
connect open sets to metric spaces and the broader topic of topology,
describe how open sets help define closed sets and continuity.

Why Open Sets Matter

Suppose you are standing on a map and want to describe a region where every point has some “wiggle room” around it. If you are in the middle of a park, not right on the edge, you can move a tiny bit in any direction and still stay inside the park. That idea is the heart of an open set. 🌍

Open sets are important because they let us talk about space in a flexible way. In geometry, distance is often the main idea. But topology studies properties that stay the same when shapes are stretched or bent, as long as they are not torn. Open sets give topology its language for describing those properties.

In a metric space, we already have a distance function. In a topological space, we may not talk about distance directly. Instead, we choose certain sets to be open. Those open sets tell us which regions are considered “neighborhoods” and which ideas about continuity and boundaries make sense.

Open Sets in the Real Number Line

The easiest place to begin is the real number line, $\mathbb{R}$.

A set like $(2,5)$ is open. Why? Because if $x$ is any number in $(2,5)$, then you can find a small interval around $x$ that still stays inside $(2,5)$. For example, if $x=3$, then the interval $(2.9,3.1)$ lies completely inside $(2,5)$.

This “small wiggle room” idea is the defining feature of open sets in standard settings.

A set like $[2,5]$ is not open in $\mathbb{R}$. The problem is the endpoints. At $2$, there is no open interval around $2$ that stays fully inside $[2,5]$ unless you allow numbers smaller than $2$, which would leave the set. The same issue happens at $5$.

So, in $\mathbb{R}$:

$(a,b)$ is open,
$[a,b]$ is not open,
$(a,b]$ and $[a,b)$ are not open.

Single-point sets like $\{3\}$ are not open in $\mathbb{R}$ because there is no interval around $3$ that contains only the point $3$.

The Formal Idea of an Open Set

In a metric space, a set is open if every point inside it has a small ball around it that fits entirely inside the set.

If the metric is $d$, then the open ball centered at $x$ with radius $r>0$ is written as

$B(x,r)=\{y : d(x,y)<r\}.$

A set $U$ is open if for every point $x\in U$, there exists some $r>0$ such that

$B(x,r)\subseteq U.$

This says that each point in $U$ has some neighborhood that stays inside $U$.

In the real line, the metric is the usual distance $d(x,y)=|x-y|$. Then the open ball is just an open interval:

$B(x,r)=(x-r,x+r).$

So the general definition matches the familiar picture from $\mathbb{R}$.

Open Sets and Metric Spaces

A metric space is a set together with a distance function. Examples include:

the real numbers $\mathbb{R}$ with $d(x,y)=|x-y|$,
the plane $\mathbb{R}^2$ with ordinary distance,
the set of students in a class, if distance is defined in some special way.

In any metric space, open sets are defined using distance. This means metric spaces give us a concrete way to understand open sets.

For example, in $\mathbb{R}^2$, an open disk centered at $(0,0)$ with radius $1$ is

$\{(x,y) : x^2+y^2<1\}.$

This is open because every point inside the disk has a small circle around it that still stays inside the disk.

In contrast, the set

$\{(x,y) : x^2+y^2\leq 1\}$

is not open, because points on the boundary circle do not have a full neighborhood inside the set.

Open Sets in General Topological Spaces

Topology becomes more powerful when we stop requiring a distance function.

A topological space is a set $X$ together with a collection $\tau$ of subsets of $X$, called the open sets, such that:

$\varnothing \in \tau$ and $X \in \tau$,
any union of sets in $\tau$ is in $\tau$,
any finite intersection of sets in $\tau$ is in $\tau$.

These three rules define a topology.

Notice something important: in a topological space, “open” is not defined by distance. Instead, open sets are part of the structure we choose. This is why topology can study spaces where distance is not the main tool.

For example, if $X$ is any set, the collection $\{\varnothing, X\}$ is called the trivial topology or indiscrete topology. Here, the only open sets are the empty set and the whole space.

At the other extreme, every subset of $X$ can be open. This is called the discrete topology.

These examples show that “open” is a flexible concept in topology.

Examples and Non-Examples

Let’s test your understanding, students. ✅

Example 1: Open interval

The set $(1,4)$ in $\mathbb{R}$ is open. Every point inside has room to move a little left and right without leaving the set.

Example 2: Union of open sets

The set

$(1,2)\cup(3,4)$

is open because it is a union of open intervals. In topology, arbitrary unions of open sets are open.

Example 3: Finite intersection

The set

$(0,5)\cap(2,7)=(2,5)$

is open because finite intersections of open sets are open.

Example 4: Closed interval

The set $[0,1]$ is not open in $\mathbb{R}$.

Example 5: Boundary points

The set

$\{x\in\mathbb{R} : x>0\}$

is open, but the set

$\{x\in\mathbb{R} : x\geq 0\}$

is not open, because $0$ is a boundary point with no interval around it staying entirely inside the set.

How Open Sets Connect to Closed Sets

Open sets are closely connected to closed sets.

A set is closed if its complement is open. If $A$ is a subset of a topological space $X$, then $A$ is closed when

$X\setminus A$

is open.

For example, in $\mathbb{R}$, the set $[2,5]$ is closed because its complement

$(-\infty,2)\cup(5,\infty)$

is open.

Some sets are both open and closed. These are called clopen sets. In the trivial topology, both $\varnothing$ and $X$ are clopen. In many common spaces like $\mathbb{R}$, most sets are neither open nor closed, while some are one or the other.

Understanding open sets helps you understand closed sets too, because one is defined using the other.

Real-World Intuition

Open sets are useful whenever you want to describe safe zones, neighborhoods, or regions with flexibility. For example, imagine a robot moving on a floor map. A set of safe positions might be open if every safe position allows the robot a little movement in all directions without hitting an obstacle.

Similarly, in temperature maps, regions where the temperature is above a certain value, like $T>20$, often form open sets if the temperature changes continuously. This is one reason open sets are useful in analysis and physics.

Open sets help mathematicians formalize the idea that if something is true at a point, it remains true nearby. That nearby stability is central to continuity.

Conclusion

Open sets are one of the core ideas in topology, students. They capture the idea that every point in a set has some room around it. In metric spaces, open sets are built from distance. In general topological spaces, open sets are chosen directly and must satisfy a few basic rules.

This idea connects directly to closed sets, neighborhoods, and continuity. If you understand open sets, you have a strong foundation for the rest of the topic of Motivation and Definitions in topology. 🌟

Study Notes

An open set gives every point inside it some “wiggle room.”
In $\mathbb{R}$, intervals like $(a,b)$ are open, but $[a,b]$ is not open.
In a metric space, a set $U$ is open if for every $x\in U$, there exists $r>0$ such that $B(x,r)\subseteq U$.
Open balls are defined by $B(x,r)=\{y:d(x,y)<r\}$.
A topological space is a set together with a collection of open sets satisfying three rules: $\varnothing$ and $X$ are open, arbitrary unions of open sets are open, and finite intersections of open sets are open.
Closed sets are complements of open sets.
Some sets can be both open and closed, called clopen sets.
Open sets help define important topological ideas like neighborhoods and continuity.
Open sets in topology generalize the familiar intervals and disks from geometry and calculus.