Follow your curiosity

What discovery has been shared with you?

Start with one fact. Explore it, go deeper, then follow whichever branch catches your imagination.

Choose subjects for a surprise

Exploring any topic

Begin your discovery

Your next discovery is one click away.

Choose one or more subjects above, or leave Any Topic selected and let curiosity decide.

Mathematics

The p-adic Numbers and Their Surprising Topology

Quick fact

In the p-adic world, the infinite series 1 + p + p² + p³ + ... converges to a surprising but finite value: 1/(1-p), even though the terms are getting larger in the usual sense.

Why this is interesting

We all know that on the number line, numbers get closer as they get closer to each other. But what if we changed the meaning of 'closeness' entirely, and a large number could be considered 'closer' to zero than a small one?

Read the full explanation

Understanding The p-adic Numbers and Their Surprising Topology

The p-adic numbers are built by redefining the 'size' or 'distance' of a rational number from zero. For a chosen prime p, any rational number q can be written as p^n (a/b), where a and b are not divisible by p. The p-adic absolute value |q|p is then defined as p^(-n). This means that the more divisible a number is by p, the 'smaller' it is in the p-adic sense. Consequently, two numbers are considered 'close' if their difference is divisible by a high power of p. This leads to a topology where, for example, numbers like 1, 1+p, 1+p+p², ... form a sequence that converges to 1/(1-p), which is surprising because the terms are getting larger in the usual sense.

A deeper explanation

The p-adic topology is totally disconnected: every point is its own connected component. This means that the p-adic numbers, as a topological space, have a very strange structure. It is also non-Archimedean, meaning that the triangle inequality is strengthened to the ultrametric inequality: |x+y|p ≤ max(|x|p, |y|p). This property has deep consequences, such as every triangle being isosceles. The p-adic numbers are also complete with respect to this distance, like the real numbers are complete with respect to the usual distance. This construction is essential for understanding the arithmetic of rational numbers in a new way, and it forms the basis of modern number theory, including the proofs of Fermat's Last Theorem and the Langlands program.

Keep FACTREE close

Internet access is required. Updates arrive when you reopen or reload the app. You may need to sign in again in the installed app.