جبرهای C*

جبر C* جبری از عملگرها است که تحت الحاق بسته است و در یک نرم که یک هویت سازگاری را برآورده می‌کند، کامل است؛ این جبر ساختار جبری عملگرهای کران‌دار روی یک فضای هیلبرت را انتزاعی می‌کند.

Definition

جبر C* یک جبر باناخ مختلط است که مجهز به یک پیچش (involution) است به طوری که نرم حاصل‌ضرب یک عنصر و الحاق آن برابر با مربع نرم آن عنصر است؛ این هویت واحد باعث می‌شود که جبر انتزاعی مانند عملگرها روی یک فضای هیلبرت رفتار کند.

Scope

این موضوع شامل اصول موضوعه جبرهای باناخ و C* و هویت C*، طیف و نظریه گلفاند جبرهای C* جابجایی به عنوان توابع پیوسته روی یک فضای فشرده، حساب تابعی پیوسته، مثبت بودن و حالت‌ها، ساختار گلفاند-نایمارک-سگال، قضیه نمایش گلفاند-نایمارک، و جبرهای فون نویمان به عنوان جبرهای عملگر ضعیفاً بسته است.

Core questions

• کدام اصول موضوعه جبری و تحلیلی ساختار جبرهای عملگر را به تصویر می‌کشند؟
• چگونه نظریه گلفاند یک جبر C* جابجایی را با توابع پیوسته روی یک فضا شناسایی می‌کند؟
• چگونه هر جبر C* انتزاعی به طور مشخص به عنوان عملگرها روی یک فضای هیلبرت تحقق می‌یابد؟
• چگونه حالت‌ها و ساختار GNS جبر را به نمایش‌ها متصل می‌کنند؟

Key theories

قضیه گلفاند-نایمارک برای جبرهای جابجایی

هر جبر C* جابجایی با واحد به طور ایزومتریک با جبر توابع پیوسته روی طیف خود، یک فضای فشرده، ایزومورف است و جبر عملگر جابجایی را به نظریه تابع معمولی تبدیل می‌کند.

ساختار گلفاند-نایمارک-سگال و قضیه نمایش

هر حالت روی یک جبر C* یک نمایش روی یک فضای هیلبرت ایجاد می‌کند، و این‌ها با هم نشان می‌دهند که هر جبر C* به طور ایزومتریک با یک جبر عملگر نرم-بسته ایزومورف است و نظریه انتزاعی را پایه‌گذاری می‌کند.

Clinical relevance

جبرهای C* چارچوب جبری را برای نظریه کوانتوم و مکانیک آماری کوانتومی فراهم می‌کنند، جایی که مشاهدات یک جبر را تشکیل می‌دهند و حالت‌ها تابعی‌های مثبت هستند؛ جبرهای فون نویمان تقارن‌های کوانتومی را طبقه‌بندی می‌کنند، و این موضوع اساس تحلیلی هندسه ناجابجایی و رویکردهای جبر-عملگری به فیزیک است.

History

موری و فون نویمان نظریه حلقه‌های عملگرها، که اکنون جبرهای فون نویمان نامیده می‌شوند، را در مجموعه‌ای از مقالات از سال ۱۹۳۶ بنیان نهادند. گلفاند و نایمارک جبرهای C* را اصل‌بندی کردند و قضیه نمایش خود را در سال ۱۹۴۳ اثبات کردند و موضوع انتزاعی را پایه‌گذاری کردند.

Key figures

• Israel Gelfand
• Mark Naimark
• John von Neumann

Seminal works

• pedersen1989
• murphy1990

Frequently asked questions

هویت C* چه چیزی را بیان می‌کند؟

هویتی که نرم یک عنصر ضربدر الحاق آن برابر با مربع نرم آن عنصر است، پیچش جبری را به نرم چنان محکم گره می‌زند که جبر انتزاعی مجبور می‌شود دقیقاً مانند عملگرها روی یک فضای هیلبرت رفتار کند.

چرا جبرهای C* جابجایی فقط جبرهای تابع هستند؟

نظریه گلفاند نشان می‌دهد که یک جبر C* جابجایی، جبر توابع پیوسته روی طیف خود است، بنابراین جبر عملگر جابجایی به توپولوژی کلاسیک و نظریه تابع تقلیل می‌یابد، در حالی که ناجابجایی ویژگی واقعاً کوانتومی است.