📜 بازخوانی میراث علمی: به یادگار از استاد فقید دکتر علی‌اکبر عالم‌زاده
این درس‌گفتار بر پایهٔ استخراج و تدقیق ریاضی از یادداشت‌های دست‌نویسِ گران‌سنگ دکتر علی‌اکبر عالم‌زاده تنظیم گردیده است؛ اوراقی که در آنها، هندسه از معبرِ تحلیلی دقیق به سوی وحدتِ سراسری منیفلدها اوج می‌گیرد.
چو کثرت در مقامِ چارت‌ها خاست،
یکی قانون بر این اجزایِ پیداست.
به پیوندِ یکان، از بندِ موضع،
سراسر منیفلد همرنگ و یکتاست.
برهان جامعِ وجود افراز یکان ($C^\infty$-Partition of Unity)
از توابع برآمدگی موضعی (Bump Functions) تا ساختارهای سراسری ریمانی
۱. درآمد و صورت قضیه
در بررسی منیفلدهای هموار، یکی از دشوارترین موانع، گذر از توصیف‌های موضعی (روی کارت‌های مختصاتی) به پدیده‌های سراسری است. افراز یکان پلی اساسی است که این گسستگی را به پیوستگی و همواری تبدیل می‌کند.
قضیه (وجود افراز یکان روی چندلاهای هاسدورف):
هر منیفلدِ هاسدورف و دارای پایه‌ی شمارش‌پذیر دوم ($M$)، پارافشرده (Paracompact) است و به ازای هر پوشش باز $\{U_\alpha\}_{\alpha \in \Lambda}$ از $M$، یک افراز یکانِ هموار تابعهٔ آن پوشش وجود دارد.
۲. لِم پایه: تابع برآمدگی هموار موضعی (Bump Function)
مطابق با دست‌نوشته‌های استاد، فرض کنید $(U, \varphi)$ یک چارت مختصاتی حول نقطهٔ دلخواه $m \in M$ باشد. با تعریف نگاشت انتقال‌یافتهٔ $x(p) = \varphi(p) - \varphi(m)$، مبدأ را بر نقطه $m$ منطبق می‌سازیم:
$$x(m) = 0 \in \mathbb{R}^n$$
چون $x(U) \subset \mathbb{R}^n$ باز است، گوی بازی به مرکز صفر و شعاع $\rho > 0$ موجود است به طوری که بستار آن نیز محاط در تصویر باز باشد:
$$V_m = B(0, \rho) \implies \overline{V_m} \subset x(U)$$
سپس زیرمجموعهٔ باز $U_m = x^{-1}(V_m)$ در منیفلد حاصل می‌گردد که بستار آن فشرده و محاط در $U$ است:
$$\overline{U_m} = x^{-1}(\overline{V_m}) \subset U$$
۳. تحلیل همواری در مبدأ و ساخت تابع گوی
تابع نماییِ برشی پایه روی محور حقیقی چنین تعریف می‌شود:
$$f(s) = \begin{cases} e^{-1/s} & s > 0 \\ 0 & s \le 0 \end{cases}$$
اثبات رده $C^\infty$ بودن در $s=0$: برای هر $k \ge 1$ و $s > 0$، مشتق $k$-اُم به فرم $f^{(k)}(s) = P_{2k}(1/s) e^{-1/s}$ است که در آن $P_{2k}$ چندجمله‌ای درجه $2k$ از متغیر $1/s$ می‌باشد. با میل دادن $s \to 0^+$ و تغییر متغیر $t = 1/s \to +\infty$:
$$\lim_{s \to 0^+} f^{(k)}(s) = \lim_{t \to +\infty} P_{2k}(t) e^{-t} = 0$$
چون تمام مشتقات چپ و راست در مبدأ صفرند، تابع $f \in C^\infty(\mathbb{R})$ است. اکنون تابع شعاعی $g: \mathbb{R}^n \to \mathbb{R}$ را تعریف می‌کنیم:
$$g(z) = f(\rho^2 - \|z\|^2)$$
این تابع واجد تکیه‌گاه فشرده $\operatorname{supp}(g) = \overline{B(0,\rho)}$ است. تابع اکستند شده $h_m: M \to \mathbb{R}$ به صورت زیر تعریف می‌شود:
$$h_m(p) = \begin{cases} g(x(p)) = f(\rho^2 - \|x(p)\|^2) & p \in U \\ 0 & p \in M \setminus U \end{cases}$$
این تابع در نقطهٔ $m$ ناصفر و مثبت ($h_m(m) = e^{-1/\rho^2} > 0$) و روی کل منیفلد بی‌نهایت بار مشتق‌پذیر است ($h_m \in C^\infty(M)$).
۴. پارافشردگی و نرمال‌سازی نهایی
با تکیه بر شمارش‌پذیری دوم و هاسدورف بودن، فضا پارافشرده است؛ لذا پوشش تصفیه‌شدهٔ متناهی‌موضعی $\{W_i\}_{i \in I}$ با توابع متناظر $\{h_i\}_{i \in I}$ انتخاب می‌شود به طوری که در هر نقطه $p \in M$، تنها تعداد متناهی از توابع ناصفر هستند. تابع جمع موضعی را تعریف می‌کنیم:
$$H(p) = \sum_{j \in I} h_j(p) > 0 \quad (\forall p \in M)$$
به سبب تناهی موضعی، $H \in C^\infty(M)$ است. توابع وزن نرمال‌شده به صورت زیر تدوین می‌شوند:
$$\psi_i(p) = \frac{h_i(p)}{H(p)} = \frac{h_i(p)}{\sum_{j \in I} h_j(p)}$$
خانوادهٔ $\{\psi_i\}_{i \in I}$ شرایط کامل افراز یکان را برآورده می‌سازد:
- $\psi_i \in C^\infty(M)$ و برای هر نقطه $0 \le \psi_i(p) \le 1$.
- $\operatorname{supp}(\psi_i) \subset W_i \subset U_\alpha$.
- $\sum_{i \in I} \psi_i(p) = \frac{\sum h_i(p)}{H(p)} = 1$.
۵. ثمرات ساختاری در هندسه ریمانی و نظریه بسته‌ها
با اثبات این قضیه، ابزارهای بنیادین زیر حاصل می‌آید:
- ساخت متریک ریمانی سراسری: چسباندن متریک‌های اقلیدسی موضعی $g_i$ به شکل $g = \sum_i \psi_i g_i$.
- انتگرال‌گیری سراسری فرم‌های دیفرانسیلی: محاسبه $\int_M \omega = \sum_i \int_{W_i} \psi_i \omega$ بدون وابستگی به یک چارت مشخص.
- پیوند با بسته‌های برداری: ساخت اتصالات (Connections) سراسری از روی داده‌های موضعی کریستوفل.
«افراز یکان، تسبیحِ دانه‌های متفرقِ چارت‌هاست تا در رشتهٔ یگانگی، حقیقتِ سراسری منیفلد آشکار گردد.»
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.