# Appendix E. Topology Background

## E.1 Motivation

Topology studies continuity, convergence, connectedness, and geometric structure in an abstract setting. In number theory, topology appears naturally in real analysis, complex analysis, $p$-adic analysis, algebraic geometry, adelic theory, and automorphic forms.

The real numbers carry a geometric topology derived from distance. The $p$-adic numbers carry a very different topology derived from divisibility. Modern number theory frequently moves between these worlds.

Topology provides the language needed to describe limits, compactness, continuity, completions, and local-global structures.

## E.2 Metric Spaces

A metric space is a set $X$ together with a distance function

$$
d:X\times X\to\mathbb{R}
$$

satisfying:

1. Nonnegativity:

$$
d(x,y)\ge0.
$$

2. Identity of indiscernibles:

$$
d(x,y)=0 \iff x=y.
$$

3. Symmetry:

$$
d(x,y)=d(y,x).
$$

4. Triangle inequality:

$$
d(x,z)\le d(x,y)+d(y,z).
$$

The standard metric on $\mathbb{R}$ is

$$
d(x,y)=|x-y|.
$$

The integers inherit this metric from the real numbers.

Metric spaces formalize the notion of closeness.

## E.3 Open Sets

In a metric space, an open ball centered at $x$ of radius $r>0$ is

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

A subset $U\subseteq X$ is open if every point of $U$ lies inside some open ball contained entirely in $U$.

Open sets describe local neighborhoods and continuity.

For example, intervals such as

$$
(a,b)
$$

are open subsets of $\mathbb{R}$.

Finite sets in $\mathbb{R}$ are usually not open.

## E.4 Closed Sets

A subset $F\subseteq X$ is closed if its complement is open.

Equivalently, $F$ is closed if every convergent sequence in $F$ has its limit inside $F$.

Examples in $\mathbb{R}$:

$$
[a,b]
$$

is closed.

The integers $\mathbb{Z}$ form a closed subset of $\mathbb{R}$.

Closedness is important because arithmetic structures often remain stable under limits.

## E.5 Topological Spaces

A topology on a set $X$ is a collection $\mathcal{T}$ of subsets of $X$, called open sets, satisfying:

1. Both $\varnothing$ and $X$ are open.
2. Arbitrary unions of open sets are open.
3. Finite intersections of open sets are open.

The pair

$$
(X,\mathcal{T})
$$

is called a topological space.

Metric spaces automatically determine topologies, but topology is more general than metric geometry.

Modern number theory often studies spaces where geometry is algebraic rather than Euclidean.

## E.6 Continuity

A function

$$
f:X\to Y
$$

between topological spaces is continuous if the preimage of every open set in $Y$ is open in $X$.

In metric spaces, this agrees with the familiar $\varepsilon$-$\delta$ definition.

Examples:

- polynomial functions,
- exponential functions,
- trigonometric functions.

In number theory, continuity appears in:

- $p$-adic functions,
- local fields,
- modular forms,
- Galois representations.

## E.7 Convergence

A sequence $(x_n)$ converges to $x$ if every neighborhood of $x$ eventually contains all terms of the sequence.

In metric spaces:

$$
d(x_n,x)\to0.
$$

In $\mathbb{R}$, the sequence

$$
\frac{1}{n}
$$

converges to $0$.

In the $p$-adic topology, convergence behaves differently. Powers of $p$ become increasingly small:

$$
p^n\to0
$$

in $\mathbb{Q}_p$.

This contrast is central in local number theory.

## E.8 Compactness

A topological space is compact if every open cover has a finite subcover.

In $\mathbb{R}$, compact sets are exactly closed and bounded sets.

The interval

$$
[0,1]
$$

is compact.

The open interval

$$
(0,1)
$$

is not compact.

Compactness often replaces finiteness in analysis. Many important theorems depend on it.

For example, continuous functions on compact spaces attain maximum and minimum values.

## E.9 Connectedness

A space is connected if it cannot be written as the union of two disjoint nonempty open sets.

Intervals in $\mathbb{R}$ are connected.

The integers $\mathbb{Z}$, viewed with the usual topology inherited from $\mathbb{R}$, are disconnected.

Connectedness measures whether a space forms a single piece.

Complex analysis relies heavily on connected domains.

## E.10 Completeness

A metric space is complete if every Cauchy sequence converges.

A sequence $(x_n)$ is Cauchy if:

$$
d(x_n,x_m)\to0
$$

as $m,n\to\infty$.

The rational numbers $\mathbb{Q}$ are not complete. For example, rational approximations to $\sqrt{2}$ form a Cauchy sequence that does not converge in $\mathbb{Q}$.

The real numbers $\mathbb{R}$ are the completion of $\mathbb{Q}$ under the usual metric.

Similarly, the $p$-adic numbers $\mathbb{Q}_p$ are completions of $\mathbb{Q}$ under the $p$-adic metric.

## E.11 The $p$-Adic Metric

Fix a prime $p$. For a nonzero rational number $x$, write

$$
x=p^k\frac{a}{b},
$$

where $a$ and $b$ are not divisible by $p$.

Define the $p$-adic absolute value:

$$
|x|_p=p^{-k}.
$$

The induced metric is

$$
d_p(x,y)=|x-y|_p.
$$

Unlike the usual metric, this satisfies the ultrametric inequality:

$$
d_p(x,z)\le \max(d_p(x,y),d_p(y,z)).
$$

This stronger form radically changes geometry.

In $p$-adic spaces:

- triangles are highly degenerate,
- open balls are also closed,
- nested divisibility controls convergence.

## E.12 Dense Sets

A subset $A\subseteq X$ is dense if every nonempty open set intersects $A$.

Equivalently, every point of $X$ can be approximated arbitrarily closely by elements of $A$.

The rational numbers are dense in $\mathbb{R}$.

The integers are not dense in $\mathbb{R}$.

Density arguments are important in Diophantine approximation and equidistribution theory.

## E.13 Product Topology

Given topological spaces $X$ and $Y$, the product space

$$
X\times Y
$$

inherits the product topology.

Open sets are generated by products

$$
U\times V,
$$

where $U\subseteq X$ and $V\subseteq Y$ are open.

Product spaces appear naturally in:

- Cartesian powers,
- adelic spaces,
- moduli spaces,
- algebraic varieties.

Many arithmetic objects are assembled from local components through products.

## E.14 Hausdorff Spaces

A space is Hausdorff if distinct points can be separated by disjoint open sets.

Metric spaces are Hausdorff.

This property guarantees uniqueness of limits.

Most spaces used in analysis and number theory satisfy the Hausdorff condition.

## E.15 Topological Groups

A topological group is a group $G$ with a topology such that:

$$
(x,y)\mapsto xy
$$

and

$$
x\mapsto x^{-1}
$$

are continuous.

Examples include:

- $\mathbb{R}$,
- $\mathbb{C}$,
- $\mathbb{Q}_p$,
- matrix groups,
- adelic groups.

Topological groups connect algebra and analysis. They are central in harmonic analysis and automorphic forms.

## E.16 Compactness in Number Theory

Compactness appears repeatedly in arithmetic settings.

Examples:

| Structure | Compactness Role |
|---|---|
| Closed interval $[a,b]$ | existence theorems |
| Unit circle | Fourier analysis |
| $p$-adic integers $\mathbb{Z}_p$ | compact local ring |
| Adelic quotients | automorphic forms |
| Modular curves | arithmetic geometry |

Compact spaces often allow averaging arguments, convergence arguments, and finiteness results.

## E.17 Local and Global Viewpoints

Topology helps distinguish local behavior from global behavior.

Local study examines neighborhoods around points.

Global study examines the entire structure.

Number theory repeatedly uses this principle:

| Local Structure | Global Structure |
|---|---|
| $\mathbb{Q}_p$ | $\mathbb{Q}$ |
| local fields | global fields |
| local solvability | global solvability |
| local zeta factors | global zeta functions |

This interaction culminates in local-global principles and adelic methods.

## E.18 Topology in Modern Number Theory

Topology enters modern arithmetic through many subjects:

| Area | Topological Idea |
|---|---|
| Analytic number theory | convergence and complex analysis |
| $p$-adic analysis | nonarchimedean topology |
| Algebraic geometry | Zariski topology |
| Modular forms | quotient topologies |
| Adelic theory | product topology |
| Galois theory | profinite topology |
| Arithmetic geometry | sheaves and cohomology |

Classical number theory studies integers directly. Modern number theory studies spaces built from arithmetic objects and analyzes how these spaces behave under continuity, symmetry, and completion.