ساخت تحلیلی توابع کلاهی (Bump Functions) و جداسازی هموار روی چندلایهها
در مبحث اثبات «وجود افراز یک»، سنگبنای اصلی توانایی ساختن توابع هموار بریدگی (Cut-off Functions) یا اصطلاحاً توابع کلاهی است. در دستنوشتههای استاد عالمزاده، روش تحلیلی و گامبهگام ساخت این توابع با جزئیات کامل محاسبه شده است که در ادامه به بازآفرینی دقیق آن میپردازیم.
گام اول: تابع پایهای هموارِ غیرتحلیلی (The Smooth Core)
تابع h: ℝ → ℝ را به فرم زیر تعریف میکنیم:
h(t) = &cases; e−1/t , t > 0
0 , t ≤ 0 &endcases;
اثبات همواری در t = 0: با استفاده از حد و قاعدهٔ هوپیتال ثابت میشود که برای هر عدد طبیعی k، داریم limt → 0+ (e−1/t / tk) = 0. بنابراین تمامی مشتقات چپ و راست در مبدأ برابر با صفر بوده و h ∈ C∞(ℝ) است.
گام دوم: ساخت تابع گذار نرمالشده (Transition Function)
برای دو شعاع دلخواه 0 < r1 < r2، تابع تکمتغیرهٔ g: ℝ → [0, 1] را با انتگرالگیری معین میسازیم:
g(t) = ∫tr22 h(s − r12) h(r22 − s) ds / ∫r12r22 h(s − r12) h(r22 − s) ds
این تابع دارای ویژگیهای بینظیر زیر است:
- برای t ≤ r12 مقدار آن دقیقاً برابر با ۱ است.
- برای t ≥ r22 مقدار آن دقیقاً برابر با ۰ است.
- در بازهٔ میانی به طور اکیداً یکنوا و هموار بین ۱ تا ۰ تغییر میکند.
گام سوم: تابع کلاهی در فضای اقلیدسی ℝn
تابع f: ℝn → ℝ را با قرار دادن نرم نقطه در تابع g تعریف میکنیم:
f(x) = g(||x||2) = g(x12 + x22 + … + xn2)
از آنجا که تابع نرمِ مربع ترکیب خطی توابع چندجملهای و هموار است، f ∈ C∞(ℝn) بوده و:
• روی قرص بستهٔ B(0, r1) برابر با ۱ است.
• تکیهگاه (پشتیبان) آن فشرده بوده و supp(f) ⊆ B(0, r2) است.
انتقال تابع به چندلایهٔ دیفرانسیلپذیر (M, g)
فرض کنید p ∈ M و (U, φ) یک کارت مختصاتی در اطراف p باشد بهطوریکه φ(p) = 0. اگر B(0, r2) ⊆ φ(U)، آنگاه تابع ψ: M → ℝ را بهصورت زیر روی کل منیفلد بسط میدهیم:
ψ(q) = &cases; f(φ(q)) , q ∈ U
0 , q ∉ U &endcases;
چون در نزدیکی مرز U تابع f و تمامی مشتقاتش صفر مطلق هستند، الحاق آن با تابع صفر در خارج U یک تابع سراسری هموار C∞(M) به دست میدهد.
نتیجهٔ کلیدی در نظریه چندلایهها:
این ساختار اثبات میکند که توپولوژی فضاهای دیفرانسیلپذیر کاملاً جداساز و منظم هموار (Completely Regular) است؛ بدین معنی که برای هر نقطه یا هر مجموعهٔ بسته، میتوان تابعی لغزنده و بینهایتبار مشتقپذیر ساخت که آن ناحیه را بدون هیچگونه شکستگی یا ناپیوستگی از سایر نقاط فضا جدا سازد.
ایستگاه بعدی در هندسه منیفلد:
بررسی «کاملبودن ریمانی و قضیهٔ هوپف–ریناو (Hopf–Rinow Theorem)»
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.