فضای متریک پارامختلط (Paracomplex Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک پارامختلط (Paracomplex Metric Space) :
تعریف: یک فضای متریک پارامختلط (Paracomplex metric space) یک خمینه با ساختار پارامختلط (paracomplex structure) و یک متریک سازگار است. ساختار پارامختلط آنالوگ ساختار مختلط است با این تفاوت که در آن
\[ J^2 = +1 \](به جای
\[ J^2 = -1 \]). این ساختار در هندسه ابربولیک و فیزیک نظری (نظریه ابرگرانش) ظاهر می شود.
یک ساختار پارامختلط یک (1,1)-تانسور
\[ J \]است با
\[ J^2 = I \]و
\[ J \neq \pm I \].
متریک
\[ g \]سازگار است اگر
\[ g(JX, JY) = -g(X, Y) \].
توضیح مفهونی: هندسه پارامختلط مشابه هندسه مختلط است اما با یک واحد موهومی که
\[ j^2 = 1 \](به جای
\[ i^2 = -1 \]). این ساختار در مطالعه فضاهای با انحنای منفی و هندسه هذلولوی ظاهر می شود. خمینه های پاراکیلر (para-Kähler) و پارا-سیمپلکتیک (para-symplectic) از جمله این فضاها هستند.
ویژگی های اصلی:
برخلاف ساختار مختلط که ناوردای چرخشی است، ساختار پارامختلط ناوردای هذلولوی است.
اگر
\[ J^2 = I \]و
\[ J \neq \pm I \]، آن گاه
\[ J \]دو زیرفضای پایا با مقادیر ویژه
\[ +1 \]و
\[ -1 \]دارد.
متریک سازگار باید نامعین (indefinite) باشد، زیرا
\[ g(JX, JY) = -g(X, Y) \].
مثال ها: فضای مینکوفسکی
\[ \mathbb{R}^{1,1} \]با ساختار پارامختلط.
مثال های مهم:
فضای مینکوفسکی
\[ \mathbb{R}^{1,1} \]: با متریک
\[ ds^2 = -dt^2 + dx^2 \]و ساختار پارامختلط
\[ J(\partial_t) = \partial_x \],
\[ J(\partial_x) = \partial_t \].
خمینه های پاراکیلر (Para-Kähler): خمینه هایی با یک ساختار پارامختلط
\[ J \]و یک متریک
\[ g \]با
\[ dg(JX, Y) = 0 \].
فضاهای هذلولوی:
\[ \mathbb{H}^n \]را می توان با ساختار پارامختلط نیز مجهز کرد.
کاربردها: فضاهای پارامختلط در هندسه دیفرانسیل (برای مطالعه فضاهای متقارن)، نسبیت عام (برای مدل سازی فضا-زمان)، و نظریه ابرگرانش کاربرد دارند.
📌 مثال ساده:
\[ \mathbb{R}^2 \]با مختصات
\[ (t, x) \]و
\[ J(\partial_t) = \partial_x \],
\[ J(\partial_x) = \partial_t \]. این
\[ J \]یک ساختار پارامختلط است. متریک
\[ ds^2 = -dt^2 + dx^2 \]با آن سازگار است زیرا
\[ g(J\partial_t, J\partial_t) = g(\partial_x, \partial_x) = 1 = -g(\partial_t, \partial_t) = -(-1) = 1 \].
