فضای متریک کوانتومی (Quantum Metric Space)، در ریاضیات (Mathematics)

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

فضای متریک کوانتومی (Quantum Metric Space) :

تعریف: فضای متریک کوانتومی (Quantum Metric Space) یک مفهوم در هندسه ناجابجاپذیر (Noncommutative Geometry) است که توسط آلن کان (Alain Connes) معرفی شد. این فضا یک جبر ناجابجاپذیر (معمولا یک

\[ C^* \]

-جبر) همراه با یک عملگر فاصله (Dirac operator) است که ساختار متریک روی فضا را تعریف می کند.

یک فضای متریک کوانتومی یک زوج

\[ (\mathcal{A}, D) \]

است که

\[ \mathcal{A} \]

یک

\[ C^* \]

-جبر و

\[ D \]

یک عملگر دیراک (Dirac operator) روی یک فضای هیلبرت

\[ H \]

است.

توضیح مفهومی: در هندسه ناجابجاپذیر، مفهوم فضای متریک به دنیای جبرهای ناجابجاپذیر تعمیم داده می شود. عملگر دیراک نقش متریک ریمانی را بازی می کند و فاصله بین حالت ها (states) روی جبر توسط فرمول کان (Connes' distance formula) تعریف می شود:

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

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

این فرمول در حالت کلاسیک (وقتی

\[ \mathcal{A} = C(X) \]

و

\[ D \]

عملگر دیراک روی یک خمینه اسپین) فاصله ریمانی معمولی را بازتولید می کند.

فضاهای متریک کوانتومی امکان مطالعه هندسه فضاهای ناجابجاپذیر (مانند خمینه های ناجابجاپذیر) را فراهم می کنند.

عملگر دیراک اطلاعاتی درباره بعد، انحنا، و ساختار اسپین فضا دارد.

این فضاها در نظریه میدان های کوانتومی و گرانش کوانتومی کاربرد دارند.

مثال های مهم:

فضاهای کلاسیک:

\[ C(M) \]

برای یک خمینه اسپین

\[ M \]

با عملگر دیراک معمولی.

صفحه ناجابجاپذیر (Noncommutative torus): جبر حاصل از تغییر شکل یک چنبره.

فضاهای فازی (Fuzzy spaces): تقریب های متناهی بعدی از خمینه ها.

جبرهای ماتریسی: با عملگرهای مناسب.

فرمول فاصله کان: این فرمول فاصله بین دو حالت (نقاط) روی جبر را با استفاده از کموتاتور با عملگر دیراک تعریف می کند. این یک تعمیم طبیعی از فاصله ریمانی است.

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

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

📌 مثال ساده:

برای

\[ M = S^1 \]

(دایره)،

\[ C(S^1) \]

جبر توابع پیوسته روی دایره،

\[ D = -i\frac{d}{dx} \]

روی

\[ L^2(S^1) \]

. فاصله بین دو نقطه با فرمول کان برابر فاصله معمولی روی دایره است.

برای یک فضای گسسته متناهی،

\[ D \]

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