فضای متریک سیمپلکتیک (Symplectic Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک سیمپلکتیک (Symplectic Metric Space) :
تعریف: یک خمینه سیمپلکتیک (Symplectic manifold) یک خمینه هموار
\[ M \]همراه با یک فرم سیمپلکتیک
\[ \omega \]است که یک فرم دیفرانسیلی بسته و غیرتافته (non-degenerate) از درجه ۲ است. یک متریک سیمپلکتیک معمولا به یک متریک ریمانی گفته می شود که با ساختار سیمپلکتیک سازگار است، یعنی یک ساختار تقریبا مختلط
\[ J \]و یک متریک
\[ g \]به طوری که
\[ g(v, w) = \omega(v, Jw) \]. این ساختار یک خمینه کیلر (Kähler) ایجاد می کند.
\[ g(v, w) = \omega(v, Jw) \]، که
\[ J \]یک ساختار تقریبا مختلط سازگار است.
توضیح مفهومی: هندسه سیمپلکتیک چارچوب ریاضی مکانیک کلاسیک (مکانیک هامیلتونی) است. فضای فاز در مکانیک یک خمینه سیمپلکتیک است. یک متریک سازگار با ساختار سیمپلکتیک، یک خمینه کیلر می دهد که در هندسه جبری و نظریه ریسمان اهمیت دارد.
ویژگی های اصلی:
یک خمینه سیمپلکتیک همیشه دارای بعد زوج است.
فرم سیمپلکتیک یک ساختار حجم (فرم حجم سیمپلکتیک) القا می کند.
متریک سازگار با ساختار سیمپلکتیک (در صورت وجود) یک متریک کیلر است.
خمینه های کیلر هم سیمپلکتیک هستند هم ریمانی هم مختلط.
ژئودزیک ها در این فضا با دینامیک سیستم های هامیلتونی مرتبط هستند.
مثال های مهم:
فضای فاز
\[ \mathbb{R}^{2n} \]: با فرم سیمپلکتیک استاندارد
\[ \omega = \sum dp_i \wedge dq_i \]و متریک اقلیدسی.
فضای تصویری مختلط
\[ \mathbb{C}P^n \]: با فرم فوبینی-استادی که هم سیمپلکتیک است هم کیلر.
سطوح ریمانی (Riemann surfaces): با فرم حجم به عنوان فرم سیمپلکتیک.
خمینه های کالابی-یائو: خمینه های کیلر با انحنای ریچی صفر.
قضایای مهم:
قضیه داربو (Darboux): همه خمینه های سیمپلکتیک موضعا یکریخت هستند (برخلاف هندسه ریمانی که انحنا دارد).
قضیه واینستاین: در مورد لاگرانژی ها و زیرخمینه های سیمپلکتیک.
قضیه گروماف: در مورد منحنی های شبه هولومورف و کاربردهایش در توپولوژی سیمپلکتیک.
کاربردها: فضاهای سیمپلکتیک در مکانیک کلاسیک (برای فرمول بندی هامیلتونی)، توپولوژی سیمپلکتیک، نظریه ریسمان (در فشرده سازی روی خمینه های کالابی-یائو)، و هندسه جبری کاربرد دارند.
📌 مثال ساده:
\[ \mathbb{R}^2 \]با فرم
\[ \omega = dx \wedge dy \]و متریک
\[ g = dx^2 + dy^2 \].
\[ J \]دوران ۹۰ درجه است:
\[ J(\partial_x) = \partial_y \],
\[ J(\partial_y) = -\partial_x \]. بررسی کنید
\[ g(v, w) = \omega(v, Jw) \].
