p-adic Sayılar: Rasyonel Sayılara Bambaşka Bir Mesafe Kavramı

Sayılara nasıl bakarsınız?

Rasyonel sayılar $\mathbb{Q}$ verildiğinde, mesafe nasıl ölçülür? Klasik: $|a - b|$ mutlak değer.

Ama başka bir mutlak değer de var. Bir asal $p$ seç. $r = p^k (a/b)$ rasyonel ($\gcd(p, a) = \gcd(p, b) = 1$). $p$-adic mutlak değer:

$|r|_p = p^{-k}$

Yani $p$'ye çok bölünebiliyorsa $r$, küçük. $p \nmid r$'lar büyük.

$|p|_p = 1/p$, $|p^2|_p = 1/p^2$, ..., $|p^{10}|_p = 1/p^{10}$ — çok küçük.

Garip mesafe

Bu mutlak değerle:

• $1$ ile $1 + p^{10}$ arasındaki "mesafe" = $p^{-10}$ — küçük.
• $1$ ile $2$ arasındaki "mesafe" = $1$ (eğer $p > 2$).

Yani $p^{10}$ "daha yakın" 1'e — sezgilerimize aykırı.

$p$-adic tamamlama

$\mathbb{Q}$'yu $|\cdot|_p$ ile tamamlayın (Cauchy dizilerinin limitleri ile). Sonuç: $\mathbb{Q}_p$ — $p$-adic sayılar.

Reel sayılar $\mathbb{R}$ klasik mutlak değerle tamamlanır; $\mathbb{Q}_p$ ise $p$-adic mutlak değerle. Paralel evrenler.

Ostrowski teoremi (1916)

$\mathbb{Q}$ üzerinde tüm mutlak değerler:

1. Trivial (her şey 1, 0'a 0).
2. Klasik $|\cdot|$ (Archimedean).
3. $p$-adic $|\cdot|_p$ (her asal $p$ için).

Yani $\mathbb{Q}$'nun tamamlamaları:

• $\mathbb{R}$ (klasik).
• $\mathbb{Q}_2, \mathbb{Q}_3, \mathbb{Q}_5, \ldots$ ($p$-adic, her asal için).

Bu, çoklu birey sayı teorisinin başlangıcı.

$p$-adic sayıların yapısı

Bir $p$-adic sayı sonsuz seri olarak yazılır:

$x = \sum_{n=-k}^{\infty} a_n p^n$

$a_n \in \{0, 1, \ldots, p-1\}$.

Reel sayılar sağa doğru sonsuz: $3.14159...$.

$p$-adic sayılar sola doğru sonsuz: $...000003.14$ ama daha çok $...314.0$ tarzı.

Yani $p$-adicler garip görünür ama tutarlıdır.

Hensel'in lemması

Bir polinom $f(x)$ ve çözüm $a_0 \in \mathbb{Z}/p\mathbb{Z}$ varsa (modüler), bu çözümü tek olarak $\mathbb{Z}_p$'de kaldırabilirsiniz. (Bazı şartlar altında.)

Bu, $p$-adic teorinin en güçlü aracı.

Modern dilde: Newton'un yöntemi $p$-adic uzayda.

Niçin önemli?

1. Lokal-Global ilkesi

Hasse-Minkowski teoremi: bir kuadratik form $\mathbb{Q}$'da çözüldü ⟺ tüm $\mathbb{Q}_p$'de (her asal $p$) ve $\mathbb{R}$'de çözülür.

"Global = tüm lokaller."

2. Sayı teorisi

Diophantine denklemler için lokal analiz: her asal modulo, sonra bağla.

3. Eliptik eğri aritmetiği

Eliptik eğri üzerinde $p$-adic L-fonksiyonları. BSD sanısı.

4. Modüler formlar

Iwasawa teorisi — $p$-adic L-fonksiyonlarının modern teorisi.

5. Langlands programı

$p$-adic temsiller programın önemli bir kolu.

6. Cebrik geometri

Etale cohomoloji, $p$-adic Hodge teorisi.

$\mathbb{Z}_p$ — $p$-adic tam sayılar

$\mathbb{Z}_p = \{x \in \mathbb{Q}_p : |x|_p \leq 1\}$.

Yapısı:

• Topolojik halka: kompakt.
• Yerel halka: tek maksimal ideal $(p)$.
• Kuyrusu = $\mathbb{Z}/p^n\mathbb{Z}$.

Modern uygulamalar

Kriptografi

$p$-adic teori bazı şifreleme algoritmalarında.

Sayısal hesap

$p$-adic Newton metodu modüler hesap için verimli.

Fizik

$p$-adic string teorisi — kuantum gravity ile bağlantılar (deneysel).

Biyoloji

Bazı DNA dizisi analizi.

Yapay zeka

$p$-adic sinir ağları (deneysel araştırma).

Tarihsel köken

• Kurt Hensel (1897): $p$-adic sayıların icadı.
• Ostrowski (1916): mutlak değer sınıflandırması.
• Hasse, Minkowski (1920'ler): lokal-global ilkesi.
• Iwasawa (1950'ler): $p$-adic L-fonksiyonları.
• Tate, Serre, Grothendieck (1960'lar+): cebrik geometri uygulamaları.

Sonuç

$p$-adic sayılar:

• Rasyonel sayıların alternatif tamamlamaları.
• Hensel'in 1897 icadı.
• Modern aritmetik geometrinin paralel evreni.
• Langlands programı, BSD, Iwasawa teorisi uygulamaları.

Bir tek garip mesafe tanımından — $p^{10}$ "1'e yakın" — modern matematiğin yarısı doğdu. Modern sayı teorisi öğrencisi $p$-adic dünyası ile her gün karşılaşır.

"Sayıları farklı bir mesafe ile gör." $p$-adic teorinin paradigması.