Problem 28 - A History of Mathematics: An Introduction

Question

Let \(x\) be a \(p\)-adic number. Define the \(r\)-neighborhood of \(x, U_{r}(x)\), where \(r\) is an integer, to be \(U_{r}(x)=\\{y \mid y \equiv\) \(\left.x\left(\bmod p^{r}\right)\right\\}\). Show that this choice of neighborhoods of \(x\) makes the field \(\mathbf{Q}_{p}\) into a topological space in the sense of Hausdorff.

Step-by-Step Solution

Answer

Answer: The essential property of the chosen neighborhoods is that they are defined by the largest integer \(k\) such that \(p^{k}\) divides \(x-y\). This property ensures that any common point \(z\) would lead to a contradiction, which guarantees the intersection of the neighborhoods \(U_{k+1}(x)\) and \(U_{k+1}(y)\) is empty, making \(\mathbf{Q}_{p}\) a Hausdorff space.

Step 1: Given distinct points x and y

Choose distinct points \(x, y \in \mathbf{Q}_{p}\).

Step 2: Find the largest common factor of their difference

Find the largest integer \(k\) such that \(p^{k}\) divides \(x-y\). Since \(x\) and \(y\) are distinct, there must be a non-negative integer \(k\) such that this property holds.

Step 3: Create neighborhoods of x and y

Choose neighborhoods \(U_{k+1}(x)\) and \(U_{k+1}(y)\).

Step 4: Show that the intersection of neighborhoods is empty

Suppose there is a point \(z \in U_{k+1}(x) \cap U_{k+1}(y)\). Then, \(z\) must satisfy the following properties: 1. \(z \equiv x \pmod{p^{k+1}}\) 2. \(z \equiv y \pmod{p^{k+1}}\) From the first property, we can write \(z=x+tp^{k+1}\) for some integer \(t\). Substituting this into the second property, we get \(x+tp^{k+1} \equiv y \pmod{p^{k+1}}\), which implies \(x-y = tp^{k+1}\). However, this contradicts our initial assumption about the largest integer \(k\) such that \(p^{k}\) divides \(x-y\) because \(p^{k+1}\) also divides \(x-y\). Therefore, no such point \(z\) can exist in the intersection of the neighborhoods.

Step 5: Conclude that Q_p is a Hausdorff space

Since we have shown that for any two distinct points \(x\) and \(y\) in \(\mathbf{Q}_{p}\), there exist neighborhoods \(U_{k+1}(x)\) and \(U_{k+1}(y)\) such that \(U_{k+1}(x) \cap U_{k+1}(y) = \emptyset\), we conclude that \(\mathbf{Q}_{p}\) is a Hausdorff topological space with respect to the given neighborhood definition.

Key Concepts

Topological Space

Imagine a set where you can talk about the 'closeness' of its elements without relying on the traditional notion of distance. This is the essence of a topological space, which is a fundamental concept in the field of topology. A topological space consists of a set, let's call it X, along with a collection of subsets of X that we consider as 'open'. These open sets must satisfy three rules to give X a proper topological structure: they must include the set itself and the empty set, the union of any collection of open sets must also be an open set, and lastly, the intersection of any finite number of open sets must be an open set too.

In the context of the p-adic numbers, which extends the familiar idea of numbers to include limits of infinite series, these open sets can be defined using the neighborhood concept you've encountered in the exercise. By designating certain sets as neighborhoods around each number, we build the topology that allows us to discuss continuity and limits within the p-adic world. The exercise demonstrates how this special choice of neighborhoods conforms to the rules of a topological space.

Hausdorff Space

What guarantees that two distinct points can always be kept 'apart' in a topological space? The answer lies in the property of being a Hausdorff space, also known as T₂ space. A topological space is called Hausdorff if, for any two distinct points, there exist non-overlapping neighborhoods around each point. This means you can always find a 'personal space' for each point that doesn't get invaded by any other distinct point.

This property is crucial because it ensures that limits of sequences (if they exist) are unique—a comforting aspect for those who rely on convergence. Your exercise showcases that the p-adic numbers form a Hausdorff space. Specifically, distinct p-adic numbers can be isolated within their unique neighborhoods, meaning if you pick any two of them, you can always find a p-power that separates them. The steps you followed in the exercise are a classic demonstration of how to prove this for the p-adic number topology, emphasizing the critical role of the Hausdorff condition for mathematical structures.

Neighborhoods in Topology

In the world of topology, a 'neighborhood' doesn't necessarily refer to the house down the street. Instead, it's a concept that talks about the surrounding of a point within a certain 'reach'. Formally, a neighborhood of a point is any subset of the topological space that includes an open set which contains the point in question. It's like saying that there's an open bubble around our point, and anything within that bubble is part of its neighborhood.

Neighborhoods become handy when discussing continuity and convergence. They allow for the precise examination of what it means for points to be close together without resorting to the usual measurements of distance you might find in Euclidean geometry. In your exercise, the r-neighborhoods defined for p-adic numbers are used to endow Q_p with a topology, and more specifically, they ensure that the p-adic number topology is a Hausdorff space. These neighborhoods depend on p-powered divisors of differences between numbers, a unique approach to closeness in the p-adic realm.