نوری به ذره‌ای ز تجلی، عیان شد | در پرده‌ای ز همواری، نهان شد
چون کوه مَجملِ کل، خُرد گشت و پنهان | در افرازِ یکان، دوباره بی‌کران شد
توابع برآمدگی (Bump Functions): آجرچینیِ هموار بر کالبدِ منیفلد
در توپولوژی دیفرانسیل، گذار از پدیده‌های موضعی به قوانین سراسری از معبر ابزاری نیرومند به نام افراز یکان می‌گذرد. برای این مهم، نیازمند توابعی هستیم که در یک همسایگی مشخص، «حضور» داشته باشند و خارج از آن، به آرامی و بدونِ جهش، به «عدم» بپیوندند. این همان «تابع برآمدگی» است.
۱. ساختارِ تحلیلی: از گوی تا منیفلد
فرض کنید U یک قلمرو مختصات و m نقطه‌ای مفروض در چندلایه‌ی (منیفلدِ) هاسدورف M باشد. ما با یک تبدیل مختصات ساده، m را به مبدأ مختصات Rn منتقل می‌کنیم. گام بعدی، ساختِ تابعی هموار است که روی گویِ Vm ناصفر و در خارجِ آن صفر باشد.
f(s) = exp(-1/s) (اگر s > 0)
f(s) = 0 (اگر s <= 0)
این تابع، در صفر بی‌نهایت بار مشتق‌پذیر (C∞) است. با ترکیب این تابع با فاصله اقلیدسی، تابعی سراسری روی کل منیفلد تعریف می‌کنیم که تکیه‌گاه (Support) آن کاملاً فشرده است.
۲. از جزء به کل: افراز یکان
این توابع موضعی hm، اگرچه در محدوده‌ی خویش (همسایگی Um) خودنمایی می‌کنند، اما به تنهایی بیانگرِ حقیقتِ کل نیستند. شاهکارِ ریاضی در اینجاست که ما این توابع را با نرمال‌سازیِ دقیق جمع می‌زنیم تا مجموعِ آنها در هر نقطه، دقیقاً برابر با «یک» (وحدت) شود:
ψα(p) = hα(p) / ∑β hβ(p)
این یعنی هر جزء، سهمِ خویش را از کل می‌ستاند تا «وحدتِ سراسری» بر پا شود.
۳. فرجام معرفتی: تجلی در محدویت
تابع برآمدگی، مصداقِ «تجلی در محدودیت» است. یک حقیقتِ بی‌کران (مانند تابع ثابت یک)، در قالب‌های محدود (توابع برآمدگی) متجلی می‌شود تا قابلِ ادراک و محاسبه باشد. افراز یکان، تبیینِ ریاضیِ این حقیقتِ عرفانی است که «کثرتِ موجودات»، هیچ‌گاه از «وحدتِ وجود» جدا نیستند، بلکه هر کدام، دریچه‌ای به سوی آن حقیقتِ یگانه (عدد یک) می‌گشایند.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.