ریاضیات

قضیه همسایگی لوله‌ای و میدان‌های برداری

اگر کلاف نرمال NM را به مثابه «عمودهایِ چسبیده به خمینه» بدانیم، قضیه همسایگی لوله‌ای بیان می‌کند که می‌توان این عمودها را در مسافتی اندک به بیرون «تطویل» داد تا یک همسایگیِ باز از منیفلدِ M در فضای محیط N ساخته شود که ریخت‌شناسی‌اش عیناً همان کلاف نرمال است.

۱. نگاشتِ نمایی (Exponential Map) و لوله‌ها

برای هر (x, v) ∈ NM، نگاشت E(x, v) = x + v یک دیفئومورفیسمِ موضعی است. این نگاشت، فضای نرمال را به صورت «شعاعی» در فضای اقلیدسی پخش می‌کند. همسایگی لوله‌ای T به صورت زیر تعریف می‌شود:

این ساختار، ابزار اصلی برای «تعمیمِ توابع» و «تقریبِ اشیاء هندسی» است؛ چرا که اکنون منیفلد در دلِ یک فضای بازِ اقلیدسی به نرمی محصور شده است.

۲. میدان‌های برداری (Vector Fields)

میدان برداری، یک مقطع (Section) از کلاف مماس است؛ یعنی نگاشتی هموار مانند X: M → TM که به هر نقطه p، برداری مماس X_p ∈ T_pM اختصاص می‌دهد.

در یادداشت‌های دکتر عالم‌زاده، تأکید بر این بود که میدان‌های برداری را باید همچون **عملگرهای دیفرانسیلی** نگریست. یک میدان برداری X بر تابع هموار f چنین عمل می‌کند:

که در آن γ(t) منحنیِ جریانِ میدان X است.

۳. براکت لی (Lie Bracket): سنجشِ عدمِ تقارن

دو میدان برداری X و Y به طور کلی با هم جابجا نمی‌شوند. براکت لی معیاری است برای سنجشِ این عدمِ جابجایی؛ یعنی اگر ابتدا در جهت X و سپس Y حرکت کنیم، با حرکتِ عکسِ آن (ابتدا Y و سپس X) متفاوت است.

ویژگی‌های بنیادین:

• پادتقارن: [X, Y] = -[Y, X]
• اتحاد ژاکوبی: [X, [Y, Z]] + [Y, [Z, X]] + [Z, [X, Y]] = 0
• هندسه جریان: اگر [X, Y] = 0 باشد، آنگاه جریان‌های تولید شده توسط X و Y با هم تعویض‌پذیرند؛ یعنی حرکت در امتداد یکی، دیگری را تغییر نمی‌دهد.

در تحلیل‌های پیشرفته‌تر، این براکت همان چیزی است که به ما می‌گوید آیا یک سیستمِ توزیعِ میدان‌های برداری، قابلیتِ «پوشاندنِ کاملِ منیفلد» (قضیه فروبنیوس) را دارد یا خیر؛ که این خود، پلی است میان هندسه دیفرانسیل و معادلات دیفرانسیل جزئی.