Midterm 1: Core Ideas and Connectedness in Topology 🧠

Welcome, students! In this lesson, you will review the main ideas that usually appear on a first topology midterm and see how they connect to connectedness, one of the most important themes in the subject. Topology studies properties of spaces that do not change when you stretch, bend, or continuously reshape them. That means many problems are less about measuring and more about understanding structure. By the end of this lesson, you should be able to explain the main terminology, use the basic reasoning tools of topology, and connect those ideas to connected and path connected spaces.

Lesson Objectives

Explain the main ideas and terminology behind a first topology midterm.
Apply topology reasoning and procedures in common proof problems.
Connect the early course material to connectedness and path connectedness.
Summarize how the midterm topics fit into the broader study of topology.
Use examples to show how topological definitions work in practice. ✨

What a Topology Midterm Usually Covers

A first topology midterm often focuses on the language of the subject: sets, functions, open sets, bases, continuity, subspaces, closure, interior, and neighborhoods. These ideas are the foundation for later topics like connectedness. Even though the names may sound abstract, they are designed to describe very familiar ideas in a precise way.

A topology on a set $X$ is a collection $\mathcal{T}$ of subsets of $X$ such that:

$\varnothing \in \mathcal{T}$ and $X \in \mathcal{T}$,
any union of sets in $\mathcal{T}$ is in $\mathcal{T}$,
any finite intersection of sets in $\mathcal{T}$ is in $\mathcal{T}$.

The sets in $\mathcal{T}$ are called open sets. This definition looks simple, but it drives almost everything else in the course. For example, in the usual topology on $\mathbb{R}$, open intervals like $(a,b)$ are open, and unions of open intervals are open too.

A common midterm skill is checking whether a proposed collection of sets is a topology. Suppose you are given a collection on $X$ and asked whether it is a topology. You must verify the three rules above. A useful strategy is to look for a failure of one rule. If the empty set is missing, or if a finite intersection escapes the collection, then it is not a topology.

students, this kind of question tests careful reading and logical checking more than memorization. 📘

Open Sets, Bases, and Neighborhoods

Open sets are the starting point, but many courses quickly introduce bases because they make topologies easier to describe. A basis $\mathcal{B}$ for a topology on $X$ is a collection of subsets such that every open set can be written as a union of basis elements, and for every point $x$ in an open set $U$, there is a basis element $B$ with $x \in B \subseteq U$.

In $\mathbb{R}$ with the usual topology, the open intervals form a basis. That means every open set can be built from open intervals. For example, the open set $(0,1) \cup (2,3)$ is a union of two basis elements.

Neighborhood language is also important. A neighborhood of a point $x$ is any set containing an open set that contains $x$. In practice, neighborhoods help describe local behavior. For instance, in metric spaces, if a small open ball around $x$ sits inside a set $A$, then $x$ is an interior point of $A$.

The interior of a set $A$, written $\operatorname{int}(A)$, is the set of all interior points of $A$. The closure of $A$, written $\overline{A}$, is the smallest closed set containing $A$. These ideas often appear in proofs. For example, if $A \subseteq \mathbb{R}$ is $(0,1)$, then $\operatorname{int}(A)=A$ and $\overline{A}=[0,1]$.

A midterm may ask you to show that a point is in the closure of a set by using neighborhoods. The key fact is: $x \in \overline{A}$ if and only if every neighborhood of $x$ meets $A$. This is a powerful test because it translates closure into an “always intersects” condition.

Continuity and Why It Matters

Continuity is one of the most important ideas on a topology midterm. A function $f : X \to Y$ is continuous if for every open set $V$ in $Y$, the preimage $f^{-1}(V)$ is open in $X$.

This definition may look backward at first because it talks about preimages rather than images. But it is the right notion for topology because it preserves open-set structure. In the familiar setting of real functions, this definition agrees with the usual epsilon-style notion from calculus.

A classic example is the function $f(x)=x^2$ on $\mathbb{R}$. The preimage of an open interval is open, so $f$ is continuous. Another example is the constant function $f(x)=c$. For any open set $V$ containing $c$, the preimage is all of $X$; otherwise it is empty. Both are open, so constant functions are continuous.

A standard proof technique is to use the definition directly. If asked to prove that a function is continuous, start with an arbitrary open set $V$ in the codomain and compute $f^{-1}(V)$. If asked to prove a function is not continuous, find one open set whose preimage is not open.

Continuity becomes especially important for connectedness, because continuous images of connected spaces are connected. This theorem appears frequently later in the course and explains why connectedness is so useful.

Connectedness: The Big Idea

Now we arrive at the central topic connectedness. A space $X$ is connected if it cannot be separated into two disjoint nonempty open sets. More precisely, there do not exist open sets $U$ and $V$ such that $X=U\cup V$, $U\cap V=\varnothing$, and both $U$ and $V$ are nonempty.

If such a separation exists, then $X$ is disconnected. A pair $U,V$ like this is called a separation of $X$.

This definition captures the idea that the space is “all in one piece.” For example, the real line $\mathbb{R}$ is connected in the usual topology. The interval $[0,1]$ is also connected. But the set $(-\infty,0)\cup(0,\infty)$ is disconnected because it splits into two open pieces in the subspace topology.

There is also an important equivalent criterion using clopen sets. A set is clopen if it is both open and closed. A space is connected if and only if its only clopen sets are $\varnothing$ and the whole space. This is often easier to use in proofs. If you can show a nontrivial clopen subset exists, then the space is disconnected.

For example, in the subspace $X=(-\infty,0)\cup(0,\infty)$, the subset $(-\infty,0)$ is open in $X$ and its complement $(0,\infty)$ is also open in $X$. So it is clopen, nonempty, and not all of $X$. Therefore $X$ is disconnected.

A typical midterm question may ask whether a set in $\mathbb{R}$ is connected. In the real line, intervals are connected, but many sets with gaps are not. Intuitively, a gap is often a sign of disconnectedness. However, the proof must use the definition or a theorem, not just intuition. 🔍

Path Connectedness and Its Relationship to Connectedness

Path connectedness is a stronger property than connectedness. A space $X$ is path connected if for every pair of points $x,y \in X$, there exists a continuous function $\gamma : [0,1] \to X$ such that $\gamma(0)=x$ and $\gamma(1)=y$. The map $\gamma$ is called a path.

A path gives a continuous route from one point to another. In a city, this is like being able to walk from one location to another without leaving the map. In topology, the “route” must be continuous.

Every path connected space is connected. This is a major theorem. The converse is false in general: some spaces are connected but not path connected. A famous example is the topologist’s sine curve, which is connected but not path connected.

In many basic settings, path connectedness is easier to prove than connectedness because you can explicitly write down a path. For example, $\mathbb{R}^n$ is path connected because the straight-line path

$\gamma(t)=(1-t)x+ty$

connects any two points $x,y \in \mathbb{R}^n$.

This result is useful on a midterm because it shows how algebraic formulas can prove a topological property. If you can construct a path, then you immediately get connectedness as a consequence.

Proof Strategies for Midterm Problems

Topology proofs often use the same core strategies. First, unpack the definitions carefully. Many problems become manageable once you write out what open, closed, continuous, or connected really means.

Second, use contradiction when a definition says something cannot happen. For connectedness, assume a separation exists and derive a contradiction. For continuity, assume the preimage of an open set is not open and show this breaks the definition.

Third, use known theorems correctly. For example:

continuous images of connected spaces are connected,
the image of a path connected space under a continuous map is path connected,
a space is connected if and only if it has no nontrivial clopen subsets.

Fourth, always pay attention to the topology being used. A set that is open in one topology may not be open in another. For example, a subset of $\mathbb{R}$ can be open in the subspace topology even if it is not open in the usual topology of $\mathbb{R}$.

A good exam habit is to label your steps clearly. If you are proving a set is connected, state which theorem you are using and why its hypotheses are satisfied. If you are proving a function is continuous, state the open set whose preimage you are checking. Clear structure makes proofs easier to follow and easier to verify.

Conclusion

students, the first topology midterm usually tests whether you can work fluently with the basic language of the subject. You should understand topologies, open and closed sets, bases, closures, continuity, and the definitions of connectedness and path connectedness. These ideas are not separate topics; they fit together. Open sets define continuity, continuity preserves connectedness, and path connectedness gives a strong form of being “all in one piece.” If you can state the definitions accurately and use them in examples, you are well prepared for the main ideas of the midterm. ✅

Study Notes

A topology $\mathcal{T}$ on $X$ must contain $\varnothing$ and $X$, and be closed under arbitrary unions and finite intersections.
Open sets are the basic building blocks of topology.
A basis lets you describe all open sets as unions of simpler sets.
A function $f : X \to Y$ is continuous if $f^{-1}(V)$ is open in $X$ whenever $V$ is open in $Y$.
The interior $\operatorname{int}(A)$ is the set of interior points of $A$.
The closure $\overline{A}$ is the smallest closed set containing $A$.
A space is connected if it cannot be written as a union of two disjoint nonempty open sets.
A clopen set is both open and closed.
A space is path connected if any two points can be joined by a continuous path $\gamma : [0,1] \to X$.
Every path connected space is connected.
In $\mathbb{R}^n$, the path $\gamma(t)=(1-t)x+ty$ connects any two points $x$ and $y$.
For proofs, always start from definitions and identify which theorem applies.