فضای متریک ناجابجاپذیر (Noncommutative Metric Space)، در ریاضیات (Mathematics)

انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :

فضای متریک ناجابجاپذیر (Noncommutative Metric Space) :

تعریف: یک فضای متریک ناجابجاپذیر (Noncommutative metric space) یک

\[ C^* \]

-جبر ناجابجاپذیر (غیرقابل تعویض)

\[ \mathcal{A} \]

همراه با یک عملگر دیراک

\[ D \]

(یا یک لیپشیتز نیم نرم) است که یک متریک روی فضای حالت ها (states) القا می کند. این مفهوم توسط آلن کان (Alain Connes) در چارچوب هندسه ناجابجاپذیر معرفی شد.

فرمول فاصله کان:

\[ d(\phi, \psi) = \sup\{ |\phi(a) - \psi(a)| : a \in \mathcal{A}, \|[D, a]\| \leq 1 \} \]

توضیح مفهومی: در هندسه ناجابجاپذیر، مفهوم فضای متریک به جبرهای ناجابجاپذیر تعمیم داده می شود. این فضاها برای مطالعه فضاهای کوانتومی، نظریه میدان های کوانتومی، و مدل های فیزیک ریاضی اهمیت دارند. صفحه ناجابجاپذیر (noncommutative torus) و کره ناجابجاپذیر (fuzzy sphere) مثال های مهمی هستند.

ویژگی های اصلی:

جبر

\[ \mathcal{A} \]

ناجابجاپذیر است (یعنی

\[ ab \neq ba \]

).

عملگر دیراک

\[ D \]

یک عملگر خودالحاق با طیف گسسته (در حالت فشرده) است.

فرمول فاصله کان یک متریک روی فضای حالت های

\[ \mathcal{A} \]

(که تعمیم نقاط هستند) تعریف می کند.

این فضاها می توانند خواص هندسی شگفت انگیزی داشته باشند (مثل بعد غیرصحیح).

مثال های مهم:

چنبره ناجابجاپذیر (Noncommutative torus): جبری که از تغییر شکل چنبره کلاسیک با یک پارامتر

\[ \theta \]

به دست می آید.

کره فازی (Fuzzy sphere): تقریب متناهی بعدی از کره که در آن جبر ماتریس ها نقش

\[ C(S^2) \]

را بازی می کند.

صفحه ناجابجاپذیر (Noncommutative plane): با رابطه

\[ [x, y] = i\theta \]

.

کاربردها: فضاهای متریک ناجابجاپذیر در نظریه ریسمان (برای مدل سازی فضا-زمان در مقیاس پلانک)، نظریه میدان های کوانتومی (برای رفع واگرایی ها)، و فیزیک ریاضی کاربرد دارند.

📌 مثال ساده:

چنبره ناجابجاپذیر

\[ C(\mathbb{T}^2_\theta) \]

با رابطه

\[ U V = e^{2\pi i \theta} V U \]

، که

\[ U \]

و

\[ V \]

عملگرهای یکانی هستند. عملگر دیراک روی این فضا می تواند به صورت ترکیبی از مشتقات تعریف شود.