فضای متریک روی خمینه های ناجابجاپذیر (Noncommutative Manifolds Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک روی خمینه های ناجابجاپذیر (Noncommutative Manifolds Metric Space) :
تعریف: خمینه های ناجابجاپذیر (Noncommutative manifolds) مفهومی در هندسه ناجابجاپذیر (غیرقابل تعویض) هستند که توسط آلن کان (Alain Connes) معرفی شد. در این چارچوب، یک خمینه ناجابجاپذیر با یک
\[ C^* \]-جبر ناجابجاپذیر (غیرقابل تعویض) و یک عملگر دیراک (Dirac operator) مشخص می شود که نقش متریک را بازی می کند. فاصله بین حالت ها (states) روی جبر با فرمول کان (Connes' distance formula) تعریف می شود.
\[ d(\phi, \psi) = \sup\{ |\phi(a) - \psi(a)| : a \in \mathcal{A}, \|[D, a]\| \leq 1 \} \]توضیح مفهومی: هندسه ناجابجاپذیر تعمیم هندسه کلاسیک به فضاهایی است که در آنها جبر توابع (که معمولا جابجاپذیر است) با یک جبر ناجابجاپذیر جایگزین می شود. این فضاها در نظریه میدان های کوانتومی (برای مدل سازی فضا-زمان در مقیاس پلانک) و فیزیک ریاضی اهمیت دارند.
ویژگی های اصلی:
یک خمینه ناجابجاپذیر با یک سه تایی طیفی (spectral triple)
\[ (\mathcal{A}, H, D) \]مشخص می شود:
\[ \mathcal{A} \]یک
\[ C^* \]-جبر،
\[ H \]یک فضای هیلبرت، و
\[ D \]یک عملگر خودالحاق با کموتاتورهای فشرده.
فرمول فاصله کان یک متریک روی فضای حالت های
\[ \mathcal{A} \]تعریف می کند.
در حالت کلاسیک (
\[ \mathcal{A} = C(M) \]و
\[ D \]عملگر دیراک روی یک خمینه اسپین)، این فرمول فاصله ریمانی معمولی را بازمی گرداند.
مثال ها: چنبره ناجابجاپذیر (noncommutative torus)، کره فازی (fuzzy sphere)، صفحه ناجابجاپذیر.
کاربردها: خمینه های ناجابجاپذیر در نظریه ریسمان (برای مدل سازی فضا-زمان در مقیاس پلانک)، نظریه میدان های کوانتومی (برای رفع واگرایی ها)، و فیزیک ریاضی کاربرد دارند.
📌 مثال ساده:
چنبره ناجابجاپذیر
\[ C(\mathbb{T}^2_\theta) \]با رابطه
\[ U V = e^{2\pi i \theta} V U \]، که
\[ U \]و
\[ V \]عملگرهای یکانی هستند. عملگر دیراک روی این فضا می تواند به صورت ترکیبی از مشتقات تعریف شود.