ریاضیات

۱. قضیه اساسی هندسه ریمانی (Fundamental Theorem)

روی هر منیفلد ریمانی (M, g)، یک و تنها یک اتصال آفین ∇ وجود دارد که دو شرط زیر را هم‌زمان برآورده سازد:

• ۱. سازگاری با متریک (Metric Compatibility): مشتق هم‌وردای تانسور متریک صفر باشد؛ یعنی طول و زاویه بردارها در حین انتقال موازی حفظ شوند:

  X ⟨Y, Z⟩ = ⟨∇_X Y, Z⟩ + ⟨Y, ∇_X Z⟩

• ۲. تقارن یا بی‌پیچش بودن (Symmetry / Torsion-Free): تانسور پیچش ناپدید گردد؛ به این معنا که براکت لی میدان‌ها با اتصال سازگار باشد:

  ∇_X Y − ∇_Y X = [X, Y]

۲. فرمول کوزول (Koszul Formula) و برهان یکتایی

زیبایی روش استاد عالم‌زاده در این اثبات، استفاده از «جابجایی دوره‌ای» برای استخراج رابطهٔ صریح است. با نوشتن سه رابطهٔ سازگاری با متریک و ترکیب جبری آن‌ها به کمک شرط بی‌پیچش بودن، به فرمول کوزول می‌رسیم:

چون طرف راست رابطه تنها به متریک و براکت لی بستگی دارد، بردار ∇_X Y به شکلی یکتا و معین به دست می‌آید.

۳. بازتاب در مختصات موضعی: نمادهای کریستوفل (Γ_ij^k)

اگر پایه‌های موضعی را ∂_i = ∂/∂xⁱ بگیریم، اتصال لوی-چیویتا با ضرایب کریستوفل مشخص می‌شود: