Standard Topologies
Welcome, students! 🌍 In this lesson, you will learn about standard topologies, which are some of the most important examples in topology. A topology gives a way to decide which sets are considered “open,” and that idea helps us talk about continuity, limits, and shape in a very flexible way. Standard topologies appear on the real numbers, Euclidean spaces, and many other familiar sets.
What is a standard topology?
A standard topology is a topology that is commonly used as the natural or default topology on a space. In many courses, the phrase especially refers to the usual topology on the real numbers $\mathbb{R}$ and the Euclidean topology on $\mathbb{R}^n$. These are called standard because they match the geometry and distance ideas we already use in everyday mathematics.
For $\mathbb{R}$, the standard topology is generated by all open intervals of the form $(a,b)$, where $a<b$. A set $U \subseteq \mathbb{R}$ is open in the standard topology if, for every point $x \in U$, there exists some interval $(a,b)$ such that $x \in (a,b) \subseteq U$.
This definition is connected to the idea of a basis. The collection of all open intervals forms a basis for the standard topology on $\mathbb{R}$. That means every open set can be built as a union of open intervals. This is one reason standard topologies fit naturally into the broader topic of bases and generated topologies.
The standard topology on $\mathbb{R}$
Let’s focus first on the real line $\mathbb{R}$. The standard topology on $\mathbb{R}$ is the topology generated by all open intervals $(a,b)$. This means:
- Every open interval $(a,b)$ is open.
- Any union of open intervals is open.
- Finite intersections of open sets are open.
This topology is the one most students already know without naming it. For example, the set $(2,5)$ is open. The set $(0,1) \cup (3,4)$ is also open because it is a union of two open intervals. On the other hand, the set $[0,1)$ is not open in the standard topology, because the point $0$ does not have a full open interval around it contained in $[0,1)$.
A useful way to think about openness is this: if you stand at any point in an open set, you can move a little left and right without leaving the set. 🚶♀️ That “little wiggle room” is what open intervals provide.
Example
Consider the set $U=(1,3)\cup(4,7)$.
- If $x=2$, then $(1.5,2.5)\subseteq U$.
- If $x=6$, then $(5.5,6.5)\subseteq U$.
So every point of $U$ lies inside some smaller open interval contained in $U$. Therefore, $U$ is open.
Now consider $V=[1,3)$.
- The point $2$ has a small interval inside $V$.
- But the point $1$ does not, because every open interval around $1$ includes numbers less than $1$, and those are not in $V$.
So $V$ is not open.
Standard topology on $\mathbb{R}^n$
The standard topology also appears on higher-dimensional space $\mathbb{R}^n$. Here, the idea is based on Euclidean distance.
A typical basis for the standard topology on $\mathbb{R}^n$ is the collection of open balls:
$$
$B_r(x)=\{y \in \mathbb{R}^n : d(x,y)<r\}$
$$
where $x \in \mathbb{R}^n$, $r>0$, and $d$ is the Euclidean distance.
In $\mathbb{R}^2$, these are open disks. In $\mathbb{R}^3$, they are open spheres. More generally, they are “all points within distance $r$ of $x$.”
This topology is standard because it matches the geometry of points in space. For example, if you draw a small circle around a point in the plane, that circle represents an open neighborhood of the point.
Example
Let $U$ be the open disk centered at $(0,0)$ with radius $2$:
$$
$U=\{(x,y)\in\mathbb{R}^2 : x^2+y^2<4\}.$
$$
This is open in the standard topology because for any point inside the disk, you can find a smaller disk around that point that still stays inside $U$.
By contrast, the set
$$
$V=\{(x,y)\in\mathbb{R}^2 : x^2+y^2\le 4\}$
$$
is not open, because points on the boundary circle $x^2+y^2=4$ do not have a full open disk around them contained in $V$.
Why bases matter here
Standard topologies are important because they show how a topology can be generated from a basis. A basis is a collection of sets whose unions form all open sets in the topology.
For $\mathbb{R}$, the basis is the family of open intervals $(a,b)$. For $\mathbb{R}^n$, the basis is the family of open balls $B_r(x)$.
This means the standard topology is not just a random collection of open sets. It is built systematically from simple building blocks.
students, this is a key idea in topology: once you know a basis, you know the whole topology. That makes bases powerful tools for describing spaces efficiently.
Example of generating a topology
Suppose we take the basis consisting of all open intervals in $\mathbb{R}$. The topology generated by this basis includes:
- $\emptyset$
- $\mathbb{R}$
- $(0,1)$
- $(1,2)\cup(5,6)$
- $\bigcup_{n=1}^{\infty}(n,n+1)$
Each of these sets is open in the standard topology because it can be written as a union of basis elements.
How standard topologies compare with other topologies
One reason standard topologies are studied carefully is that they provide a reference point for comparing other topologies.
A topology can be finer than another if it has more open sets, and coarser if it has fewer open sets. The standard topology on $\mathbb{R}$ is the usual one used in analysis, but there are other topologies on the same set that behave differently.
For example, the discrete topology on $\mathbb{R}$ makes every subset open. This is much finer than the standard topology. In the standard topology, not every subset is open; for instance, the set $\{0\}$ is not open.
The indiscrete topology on $\mathbb{R}$ has only $\emptyset$ and $\mathbb{R}$ as open sets. This is much coarser than the standard topology.
Real-world idea
Think of the standard topology like a well-calibrated zoom lens 📷. It lets you look closely enough to see local behavior, but not so closely that every single point becomes isolated. The discrete topology isolates every point. The indiscrete topology hides almost all local detail.
Standard topology is especially useful because it supports familiar notions like continuity. A function $f:\mathbb{R}\to\mathbb{R}$ is continuous in the standard topology if the inverse image of every open set is open. This matches the usual meaning of continuity from calculus.
Recognizing standard-topology arguments
When solving problems, it helps to know the common ways standard topology is used.
One common procedure is proving a set is open by showing that every point has a small open interval or open ball inside the set. Another is proving a set is not open by finding a point where no such neighborhood fits inside.
Example: proving openness in $\mathbb{R}$
Let
$$
$U=\{x\in\mathbb{R}: x>3\}.$
$$
To show $U$ is open, choose any $x\in U$. Then $x>3$, so let
$$
$r=\frac{x-3}{2}>0.$
$$
Then
$$
$(x-r,x+r)\subseteq U.$
$$
So $U$ is open in the standard topology.
Example: proving non-openness
Let
$$
$W=\{x\in\mathbb{R}: x\ge 3\}.$
$$
The point $3$ is in $W$, but every open interval around $3$ contains numbers less than $3$, which are not in $W$. So $W$ is not open.
These examples show how standard topology reasoning works: always test whether a small open neighborhood fits around each point.
Conclusion
The standard topology is one of the most important topologies in mathematics. On $\mathbb{R}$, it is generated by open intervals; on $\mathbb{R}^n$, it is generated by open balls. These topologies are called standard because they reflect the usual geometric and analytical ideas of closeness and continuity.
Standard topologies connect directly to bases and generated topologies because they are defined from simple basis elements. They also provide a benchmark for comparing other topologies, such as discrete and indiscrete topologies. By understanding standard topologies, students, you build a strong foundation for later topics in topology and analysis 📘.
Study Notes
- The standard topology on $\mathbb{R}$ is generated by open intervals $(a,b)$.
- The standard topology on $\mathbb{R}^n$ is generated by open balls $B_r(x)$.
- A set is open if every point inside it lies in some basis element fully contained in the set.
- Open intervals and open balls are basis elements for standard topologies.
- Standard topologies are examples of topologies generated from a basis.
- The standard topology on $\mathbb{R}$ is finer than the indiscrete topology and coarser than the discrete topology.
- Many familiar ideas from calculus, including continuity, use the standard topology.
- To show a set is not open, find a point with no small open neighborhood contained in the set.
- Standard topologies are central examples in the broader study of bases, subbases, and comparing topologies.