Problem 8 - Analysis Now

Question

Fix a prime number \(p\), and take the sets $$ A(n, \alpha)=\left\\{m \in \mathbb{Z} \mid m=n+q p^{\alpha}, q \in \mathbb{Z}\right\\} $$ where \(n \in \mathbb{Z}\) and \(\alpha \in \mathbb{N} \cup\\{0\\}\), to be the basis for a topology \(\tau\) on \(\mathbb{Z}\). Show that \(\tau\) is induced by the metric \(d\) given by \(d(n, m)=p^{-\alpha}\), where \(\alpha\) is the largest number (in \(\mathbb{N} \cup\\{0\\}\) ) such that \(p^{\alpha}\) divides \(|n-m| .\) Show in particular that \(A(n, \alpha)=\left\\{m \in \mathbb{Z} \mid d(n, m) \leq p^{-\alpha}\right\\} .\) Show that \((\mathbb{Z}, \tau)\) has no isolated points and that the space is not locally compact.

Step-by-Step Solution

Answer

The topology \(\tau\) is metric-induced, with no isolated points, and isn't locally compact.

Step 1: Understand the topology basis

The sets \(A(n, \alpha)\) are designed to cover integers \(m\) of the form \(m = n + qp^{\alpha}\), where \(q\) is any integer. The basis for the topology on \(\mathbb{Z}\) consists of these sets.

Step 2: Define the metric space

The metric \(d(n, m)\) is defined as \(d(n, m) = p^{-\alpha}\), where \(\alpha\) is the largest integer for which \(p^{\alpha}\) divides \(|n - m|\). We aim to show that the topology \(\tau\) is the topology induced by this metric.

Step 3: Connect metric with topology basis

Show that the metric generates the open sets. Specifically, demonstrate that \(A(n, \alpha) = \{ m \in \mathbb{Z} \mid d(n, m) \leq p^{-\alpha} \}\). The inequality \(d(n, m) \leq p^{-\alpha}\) implies that \(m\) is of the form \(n + qp^{\beta}\) for some \(\beta \geq \alpha\), ensuring \(m \in A(n, \alpha)\).

Step 4: Show non-isolation of points

Since for each integer \(n\), there always exists \(A(n, \alpha)\) for each \(\alpha\), every integer has neighbors in \(\mathbb{Z}\). Hence, no points in this topology are isolated, as every point \(n\) belongs to an open set with infinitely many elements.

Step 5: Prove non-local compactness

Consider if \((\mathbb{Z}, \tau)\) is locally compact. Local compactness implies every point has a compact neighborhood, but open balls in this topology have the form \(A(n, \alpha)\) which are infinite and not compact, given there is no finite subcover. Thus, the space \((\mathbb{Z}, \tau)\) is not locally compact.

Key Concepts

Prime Number

A prime number is a natural number greater than 1 that has no positive divisors other than 1 and itself. Prime numbers are the building blocks of all natural numbers because any number can be expressed as a product of primes. In mathematics, primes are widely used and studied due to their simple properties and their foundational role in number theory. Some common properties and facts about prime numbers include:

• There are infinitely many primes. The proof is based on the method of contradiction, derived from assuming a finite number of primes and showing a contradiction through multiplication and addition operations.
• Fermat’s Little Theorem, which states that if p is a prime number and a is any integer not divisible by p, then a raised to the power of p-1 is congruent to 1 modulo p, symbolically written as: \( a^{p-1} \, \equiv \, 1 \, (\text{mod} \, p) \).
• Euclid's Theorem, which asserts that there are infinitely many prime numbers, ensuring their never-ending contribution to mathematical exploration.

Understanding primes is crucial for tackling problems related to divisibility, factorization, and multiple areas of algebra and geometry.

Metric Space

A metric space is a set along with a metric, which is a function defining a distance between any two points in the set. It encapsulates the notion of distance in a way that satisfies the following four conditions for any points \( x, y, \text{and} \ z \):

• Non-negativity: The distance \( d(x, y) \geq 0 \) and \( d(x, y) = 0 \) if and only if \( x = y \).
• Symmetry: The distance is the same in both directions, so \( d(x, y) = d(y, x) \).
• Triangle Inequality: The direct path is the shortest, meaning \( d(x, z) \leq d(x, y) + d(y, z) \).
• Identity of Indiscernibles: \( d(x, y) = 0 \) implies that \( x = y \).

These properties make metric spaces a fundamental concept in analysis and topology. For example, the metric \( d(n, m) = p^{-\alpha} \) mentioned in the exercise defines a distance in terms of divisibility by powers of a prime \( p \), highlighting its adaptability to different forms of distance beyond the Euclidean interpretation.

Local Compactness

Local compactness in topology is a property that combines the local behavior of spaces with the finite nature of compact sets. A space is locally compact if around every point, there exists a neighborhood that is compact. Simply put, given a point in the space, one should be able to find a region (a neighborhood) around it that behaves nicely in terms of compactness.
In a metric space like \( \mathbb{Z} \, \tau \) from the exercise, this concept is vital to understand the space's structure. However, in the described topology, neighborhoods like \( A(n, \alpha) \) do not satisfy the compactness property because they do not have a finite subcover due to their infinite nature. Consequently, \( \mathbb{Z} \, \tau \) does not exhibit local compactness, highlighting an important characteristic that can notably affect the applicability of certain theorems and results in analysis.

Open Sets

Open sets are a pivotal concept in topology, serving as the building blocks for defining more complex topological structures. An open set is a collection of points in a topological space that, intuitively, doesn't include any boundary points.
Open sets must satisfy two main criteria:

• Every point within the open set must have a neighborhood completely contained in the set itself.
• The union of any collection of open sets is also an open set, as is the intersection of a finite collection of open sets. This aligns with the open set axiom requirements of a topology.

The concept of open sets in a topology like \( \tau \) described in the exercise involves sets \( A(n, \alpha) \) which capture integers based on the metric's properties. These open sets form a base for the topology’s open collections. Understanding open sets and their properties is crucial for delving into deeper topological concepts such as continuity and convergence.