1. مقدمة: المسألة العكسية الأساسية في الرياضيات

في نظرية الأعداد والتوافقيات والجبر والفيزياء الإحصائية، نواجه مراراً وتكراراً نفس المسألة العكسية: الكمية النقية والأولية $f(n)$ التي نرغب في معرفتها يصعب للغاية إحصاؤها مباشرة، في حين أن المجموع التراكمي $g(n)$ الذي يخلط مساهمات جميع العناصر الأدنى في التسلسل الهرمي يسهل حسابه بشكل مدهش.

لنتأمل ثلاثة أمثلة كلاسيكية:

1. السلاسل الدورية وكلمات ليندون غير الدورية: باستخدام أبجدية من $q$ رمزاً، يوجد $g(n) = q^n$ سلسلة بطول $n$. غير أن هذا الإجمالي يتضمن سلاسل دورية متدهورة ناتجة عن تكرار كتلة أقصر دورها الأصغر $d \mid n$. فإذا كانت $f(d)$ تمثل عدد السلاسل غير الدورية حقاً ذات الدور الأصغر $d$، فإنها ترتبط بالمجموع عبر القواسم: $$g(n) = \sum_{d \mid n} f(d)$$
2. الكسور القابلة للاختزال وغير القابلة للاختزال (دالة أويلر $\varphi(n)$): عند اختزال الكسور الـ $n$ وهي $\frac{1}{n}, \frac{2}{n}, \dots, \frac{n}{n}$ إلى أبسط صورة، يصبح كل مقام مختزل قاسماً $d \mid n$. وبما أنه يوجد $\varphi(d)$ بالضبط من الكسور غير القابلة للاختزال ذات المقام $d$، نحصل على متطابقة غاوس الشهيرة: $$n = \sum_{d \mid n} \varphi(d)$$
3. مجاميع المجموعات الجزئية ومبدأ التضمين والإقصاء (PIE): إذا كانت كل مجموعة جزئية $A \subseteq S$ تحمل وزناً ذاتياً $f(A)$، ولكن المجموع التراكمي $g(B) = \sum_{A \subseteq B} f(A)$ هو وحده القابل للرصد، فكيف نستعيد $f(B)$؟

والمثير للدهشة أنه رغم كون $3$ و$1$ قاسمين للعدد $12$، فإن الحدين $g(3)$ و$g(1)$ معاملهما يساوي $0$ (لأن خارجي القسمة $12/3 = 4 = 2^2$ و$12/1 = 12 = 2^2 \cdot 3$ يقبلان القسمة على مربع عدد أولي)!

في عام 1832، حلّ عالم الرياضيات الألماني أوغست فرديناند موبيوس (August Ferdinand Möbius) هذه المعضلة بإدخال دالة موبيوس $\mu(n)$. وفي عام 1964، عمّم جان-كارلو روتا (Gian-Carlo Rota) هذا المبدأ على المجموعات المرتبة جزئياً (Posets) وجبور الوقوع (Incidence Algebras)، مثبتاً أن عكس موبيوس العددي، ومبدأ التضمين والإقصاء، والمبرهنة الأساسية للتفاضل والتكامل المتقطع، وعكس العزوم والمتراكمات في نظرية الاحتمالات ما هي إلا تجليات لمعادلة عالمية واحدة: $\mu = \zeta^{-1}$.

  flowchart TD
    A["الكمية الأولية النقية f(n)<br/>(يصعب رصدها أو عدّها مباشرة)"] -->|"المجموع التراكمي على القواسم<br/>(التفاف ديريكليه مع 1: g = f * 1)"| B["المجموع المرصود g(n) = Σ_{d|n} f(d)<br/>(سهل الحساب، لكنه يحوي تداخلات)"]
    B -->|"صيغة عكس موبيوس<br/>(الالتفاف مع المعكوس μ = 1⁻¹: f = g * μ)"| C["الاستعادة الدقيقة لـ f(n)<br/>f(n) = Σ_{d|n} μ(d) g(n/d)"]
    D["دالة موبيوس μ(n) ∈ {-1, 0, 1}<br/>0 إذا كان p²|n؛ و(-1)^k لـ k من الأعداد الأولية المختلفة"] -.->|"تلغي العدّ المزدوج بدقة تامة"| C

2. دالة موبيوس $\mu(n)$: التعريف، والجدائية، والمتطابقة الأساسية

2.1 التعريف الرياضي الدقيق

$$\mu(n) = \begin{cases} 1 & \text{if } n = 1, \\[4pt] (-1)^k & \text{if } n = p_1 p_2 \cdots p_k \text{ جداء لـ } k \text{ من الأعداد الأولية المختلفة (خالٍ من المربعات)}, \\[4pt] 0 & \text{if } p^2 \mid n \text{ لعدد أولي ما } p. \end{cases}$$

2.2 الجدائية والمتطابقة الأساسية

1. الجدائية (Multiplicativity): إذا كان $\gcd(a, b) = 1$، فإن $\mu(ab) = \mu(a)\mu(b)$. البرهان: إذا كان $a$ أو $b$ يقبل القسمة على مربع $p^2$، فإن $ab$ يقبل القسمة عليه أيضاً وينعدم الطرفان. وإذا كان كلاهما خالياً من المربعات بـ $r$ و$s$ من العوامل الأولية، فإن $\gcd(a, b) = 1$ يضمن انفصال مجموعتي عواملهما الأولية، ومنه $\mu(ab) = (-1)^{r+s} = (-1)^r (-1)^s = \mu(a)\mu(b)$. $\blacksquare$

2. $$\sum_{d \mid n} \mu(d) = \varepsilon(n) := \begin{cases} 1 & n = 1, \\ 0 & n > 1. \end{cases}$$$$\sum_{d \mid n} \mu(d) = \sum_{j = 0}^{k} \binom{k}{j} (-1)^j 1^{k - j} = (1 - 1)^k = 0. \quad \blacksquare$$

3. الحلقة الإبدالية للدوال الحسابية تحت التفاف ديريكليه

في فضاء الدوال الحسابية $\mathcal{A} = \{f : \mathbb{N}^+ \to \mathbb{C}\}$، يُعرّف التفاف ديريكليه (Dirichlet Convolution) بالعلاقة:

تشكل $(\mathcal{A}, +, *)$ حلقة إبدالية عنصرها المحايد هو $\varepsilon(n) = [n = 1]$ ($f * \varepsilon = f$). وبتعريف الدالة الثابتة $\mathbf{1}(n) = 1$، يصبح الجمع على القواسم التفافاً مع $\mathbf{1}$: $g(n) = \sum_{d \mid n} f(d) = (f * \mathbf{1})(n)$، أي $g = f * \mathbf{1}$. وتعبر المتطابقة الأساسية $\sum_{d \mid n} \mu(d) = \varepsilon(n)$ عن أن:

دالة موبيوس $\mu$ ليست سوى المعكوس الضربي لديريكليه للدالة الثابتة $\mathbf{1}$! ومن ثَمّ تُبرهن صيغة عكس موبيوس الكلاسيكية في سطر واحد:

متسلسلات ديريكليه، ودالة زيتا لريمان $\zeta(s)$، وفرضية ريمان

بربط كل دالة $f \in \mathcal{A}$ بمتسلسلة ديريكليه الخاصة بها $D_f(s) = \sum_{n=1}^{\infty} \frac{f(n)}{n^s}$، يتحول الالتفاف إلى ضرب عادي: $D_{f * g}(s) = D_f(s) D_g(s)$. وبما أن $D_{\mathbf{1}}(s) = \zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s}$ هي دالة زيتا لريمان و$D_{\varepsilon}(s) = 1$، فإن المعادلة $\mathbf{1} * \mu = \varepsilon$ تعطي فوراً:

• مبرهنة الأعداد الأولية (PNT) تكافئ $\sum_{n=1}^{\infty} \frac{\mu(n)}{n} = 0$، أو $M(x) = \sum_{n \le x} \mu(n) = o(x)$.
• فرضية ريمان (RH) تكافئ تحليلية $\frac{1}{\zeta(s)}$ في نصف المستوى $\operatorname{Re}(s) > \frac{1}{2}$، وهو ما يكافئ تماماً تلاشي الجذر التربيعي في دالة ميرتنز: $$\text{فرضية ريمان} \quad \Longleftrightarrow \quad M(x) = \sum_{n \le x} \mu(n) = O\!\left(x^{\frac{1}{2} + \varepsilon}\right) \quad (\forall \varepsilon > 0)$$

4. ثلاثة تطبيقات كلاسيكية

1. دالة أويلر $\varphi(n)$: من العلاقة $\sum_{d \mid n} \varphi(d) = n$ ($\varphi * \mathbf{1} = \mathrm{id}$)، يعطي العكس بواسطة $\mu$ العلاقة $\varphi = \mathrm{id} * \mu$: $$\varphi(n) = \sum_{d \mid n} \mu(d)\,\frac{n}{d} = n \prod_{p \mid n} \left(1 - \frac{1}{p}\right)$$
2. العقود غير الدورية (كلمات ليندون) وكثيرات الحدود غير القابلة للاختزال على $\mathbb{F}_q$: يحقق كلٌّ من عدد العقود غير الدورية $N_q(d)$ بطول $d$ وعدد كثيرات الحدود الواحدية غير القابلة للاختزال $I_q(d)$ من الدرجة $d$ على الحقل المنتهي $\mathbb{F}_q$ (نظراً لأن $x^{q^n} - x = \prod_{d \mid n} \prod_{\deg P = d} P(x)$) المعادلة $q^n = \sum_{d \mid n} d \cdot N_q(d) = \sum_{d \mid n} d \cdot I_q(d)$. ويعطي عكس موبيوس صيغة غاوس: $$N_q(n) = I_q(n) = \frac{1}{n} \sum_{d \mid n} \mu\!\left(\frac{n}{d}\right) q^d$$
3. كثيرات الحدود الدويرية (Cyclotomic Polynomials) $\Phi_n(x)$: من التحليل $x^n - 1 = \prod_{d \mid n} \Phi_d(x)$، يعطي عكس موبيوس الضربي: $$\Phi_n(x) = \prod_{d \mid n} (x^d - 1)^{\mu(n/d)}$$ وعند $n = 12$، مع القواسم $d \in \{1, 2, 3, 4, 6, 12\}$ وقيم $\mu(12/d) \in \{0, +1, 0, -1, -1, +1\}$، نحسب مباشرة: $$\Phi_{12}(x) = \frac{(x^{12} - 1)(x^2 - 1)}{(x^6 - 1)(x^4 - 1)} = \frac{x^6 + 1}{x^2 + 1} = x^4 - x^2 + 1$$

5. التوحيد الكبير لجان-كارلو روتا (1964): المجموعات المرتبة جزئياً (Posets) وجبر الوقوع

لتكن $(P, \le)$ مجموعة مرتبة جزئياً (Poset) منتهية محلياً (أي أن كل فترة مغلقة $[x, y] = \{z \in P \mid x \le z \le y\}$ منتهية). يُزوَّد جبر الوقوع $I(P)$ بعملية الالتفاف على الفترات:

العنصر المحايد هو دلتا كرونيكر $\delta(x, y) = [x = y]$. وتمتلك دالة زيتا $\zeta(x, y) = 1$ (عند $x \le y$) معكوساً وحيداً $\mu = \zeta^{-1}$ يُعرّف تدريجياً بالعلاقة $\mu(x, x) = 1$ و$\mu(x, y) = -\sum_{x \le z < y} \mu(x, z)$ عند $x < y$. وبذلك نحصل على مبرهنة عكس موبيوس المعممة على المجموعات المرتبة جزئياً:

  flowchart TD
    R["عكس موبيوس المعمم لروتا (1964)<br/>μ = ζ⁻¹ في جبر الوقوع I(P)<br/>g = f * ζ  ⇔  f = g * μ"]
    R --> P1["1. السلسلة الخطية (ℕ₀, ≤)<br/>0 < 1 < 2 < 3 < ..."]
    R --> P2["2. الشبكة البوليانية للمجموعات الجزئية (𝒫(S), ⊆)<br/>الاحتواء A ⊆ B"]
    R --> P3["3. شبكة قابلية القسمة (ℕ⁺, |)<br/>القسمة a | b"]
    R --> P4["4. شبكة تجزئات المجموعة (Π_n, ≤)<br/>التنعيم π ≤ σ"]
    P1 --> T1["μ(i, i) = 1, μ(i, i+1) = -1, والباقي 0<br/>⇒ المبرهنة الأساسية للحساب المتقطع<br/>f(n) = g(n) - g(n-1) (Δ = Σ⁻¹)"]
    P2 --> T2["μ(A, B) = (-1)^|B \ A|<br/>⇒ مبدأ التضمين والإقصاء (PIE)<br/>والتشويشات الكاملة D_n"]
    P3 --> T3["μ(a, b) = μ_classical(b/a)<br/>⇒ عكس موبيوس الكلاسيكي في نظرية الأعداد<br/>(جداء مباشر لسلاسل قوى الأعداد الأولية!)"]
    P4 --> T4["μ(0̂, 1̂) = (-1)^(n-1) (n-1)!<br/>⇒ صيغة عكس العزوم والمتراكمات<br/>في نظرية الاحتمالات"]