ریاضیات

گروه‌های O(n)، SO(n)، U(n)، SU(n) و نمایش ماتریسی تقارن‌ها

در مباحث تقارن، نظریه گروه‌ها و فیزیک ذرات، یکی از نکات مهم این است که

اعضای یک گروه تقارنی می‌توانند نمایش ماتریسی داشته باشند.

یعنی هر عمل تقارن را می‌توان به یک ماتریس نسبت داد، به‌طوری که

ترکیب اعمال تقارنی به ضرب ماتریس‌ها متناظر شود.

اگر یک عمل تقارن را با Ri و ماتریس متناظر آن را با D(Ri) نشان دهیم، داریم:

D(RiRj) = D(Ri)D(Rj)

این رابطه نشان می‌دهد که ساختار گروه در نمایش ماتریسی حفظ می‌شود.

۱. گروه O(n)

اگر استاد می‌گویند O(n)، منظورشان کل مجموعه ماتریس‌های

متعامد یا اورتوگونال است.

این گروه شامل همه ماتریس‌های حقیقی n×n است که شرط زیر را ارضا می‌کنند:

ATA = I

در اینجا:

• AT ترانهاده ماتریس A است.
• I ماتریس همانی است.

این شرط یعنی طول بردارها و زاویه‌ها حفظ می‌شود. بنابراین اعضای گروه O(n)

تبدیل‌هایی هستند که فاصله و طول را ثابت نگه می‌دارند.

دترمینان اعضای این گروه فقط می‌تواند یکی از دو مقدار زیر باشد:

det(A) = +1 یا det(A) = -1

• اگر det(A)=+1 باشد، تبدیل از نوع دوران (Rotation) است.

• اگر det(A)=-1 باشد، تبدیل از نوع بازتاب یا وارونگی (Reflection / Inversion) است.

۲. گروه SO(n)

اگر علاوه بر متعامد بودن، شرط دترمینان واحد را هم اضافه کنیم، به گروه

SO(n) می‌رسیم:

SO(n) = { A ∈ O(n) | det(A)=1 }

حرف S در ابتدای SO(n) مخفف Special است

و دقیقاً به همین شرط det(A)=1 اشاره دارد.

بنابراین:

• O(n) شامل دوران‌ها و بازتاب‌ها است.
• SO(n) فقط شامل دوران‌های خالص است.

پس اگر در جزوه یا امتحان بنویسید:

گروه O(n) که دترمینان اعضای آن ۱ است

بهتر است دقیق‌تر بنویسید:

گروه SO(n) زیرگروهی از O(n) است که اعضای آن ماتریس‌های متعامد با دترمینان ۱ هستند.

۳. چرا این موضوع در فیزیک مهم است؟

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

• SO(3) گروه دوران‌ها در فضای سه‌بعدی است و با

  پایستگی تکانه زاویه‌ای ارتباط مستقیم دارد.

• O(3) اگر بازتاب مکانی یا پارتی (Parity) را هم شامل شود،

  تقارن کامل‌تری از فضا را توصیف می‌کند.

بنابراین در فیزیک ذرات و مکانیک کوانتومی، این تمایز بسیار مهم است که

آیا فقط دوران‌ها را در نظر می‌گیریم یا بازتاب‌ها را هم وارد می‌کنیم.

۴. اگر درایه‌های ماتریس حقیقی نباشند

اگر درایه‌های ماتریس حقیقی نباشند، یعنی ماتریس مختلط باشد،

دیگر شرط مناسب «متعامد بودن» نیست؛

بلکه شرط درست، یکانی (Unitary) بودن است.

در این حالت برای یک ماتریس مختلط U داریم:

U†U = I

در اینجا U† به معنی الحاقی ماتریس است،

یعنی ترانهاده مزدوج مختلط.

پس:

• ماتریس حقیقی + حفظ طول → ماتریس متعامد → O(n)

• ماتریس مختلط + حفظ طول → ماتریس یکانی → U(n)

بنابراین جمله دقیق این است:

اگر درایه‌های ماتریس مختلط باشند، شرط حفظ طول به‌صورت

U†U = I

نوشته می‌شود و چنین ماتریسی را یکانی می‌نامند.

۵. گروه‌های U(n) و SU(n)

مجموعه همه ماتریس‌های یکانی n×n گروه U(n) را تشکیل می‌دهد.

U(n) = { U | U†U = I }

اگر علاوه بر یکانی بودن، دترمینان هم برابر ۱ باشد، گروه SU(n) به‌دست می‌آید:

SU(n) = { U ∈ U(n) | det(U)=1 }

این گروه‌ها در فیزیک ذرات اهمیت بسیار زیادی دارند:

• SU(2) در توصیف اسپین و برهم‌کنش ضعیف به‌کار می‌رود.
• SU(3) در توصیف رنگ کوارک‌ها و برهم‌کنش قوی نقش اساسی دارد.

۶. مثال ساده از نمایش ماتریسی

برای دوران در صفحه به زاویه θ، ماتریس نمایش به صورت زیر است:

R(θ) =

[ cosθ -sinθ ]

[ sinθ cosθ ]

این ماتریس عضو گروه SO(2) است، چون هم متعامد است و هم دترمینان آن برابر ۱ است.

عضو همانی نیز با ماتریس همانی نمایش داده می‌شود:

I =

[ 1 0 ]

[ 0 1 ]

۷. جمع‌بندی نهایی

در نظریه گروه‌ها و فیزیک ذرات، اعضای گروه‌های تقارنی را می‌توان با ماتریس‌ها نمایش داد.

اگر ماتریس‌ها حقیقی باشند، با گروه‌های متعامد مانند O(n) و SO(n) سروکار داریم.

اگر ماتریس‌ها مختلط باشند، با گروه‌های یکانی مانند U(n) و SU(n) روبه‌رو هستیم.

به‌طور خلاصه:

• O(n): ماتریس‌های حقیقی متعامد
• SO(n): ماتریس‌های حقیقی متعامد با دترمینان ۱
• U(n): ماتریس‌های مختلط یکانی
• SU(n): ماتریس‌های مختلط یکانی با دترمینان ۱

این گروه‌ها زبان ریاضی تقارن‌ها هستند و در توصیف دوران‌ها، بازتاب‌ها،

اسپین، رنگ کوارک‌ها و برهم‌کنش‌های بنیادی نقش کلیدی دارند.