فرم کانونیکال

فرم کانونیکال یک نمایش ماتریسی استاندارد از یک عملگر خطی تحت تشابه است که یک ناوردا (invariant) کامل و قابل محاسبه را ارائه می‌دهد که عملگرها را تا حد تغییر پایه طبقه‌بندی می‌کند.

Definition

فرم کانونیکال یک ماتریس متمایز است که هر عملگر در یک کلاس تشابه با آن مشابه است، به طوری که دو عملگر دقیقاً زمانی مزدوج (conjugate) هستند که فرم کانونیکال یکسانی داشته باشند؛ مثال‌های اصلی آن فرم‌های کانونیکال گویا و جردن هستند.

Scope

این موضوع شامل تشابه ماتریس‌ها، عوامل ناوردا و مقسوم‌علیه‌های ابتدایی، فرم کانونیکال گویا (rational canonical form) که بر روی هر میدانی معتبر است، فرم کانونیکال جردن (Jordan canonical form) بر روی یک میدان بسته جبری، و استخراج آن‌ها از قضیه ساختار برای ماژول‌ها بر روی یک حوزه ایده‌آل اصلی (principal-ideal domain) می‌شود.

Core questions

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

Key theories

فرم کانونیکال گویا

بر روی هر میدانی، هر عملگر مشابه یک ماتریس بلوک-قطری منحصر به فرد است که از ماتریس‌های همراه (companion matrices) عوامل ناوردای آن ساخته شده است، بنابراین عوامل ناوردا یک ناوردای تشابه کامل را تشکیل می‌دهند.

فرم کانونیکال جردن

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

فرم‌های کانونیکال از قضیه ساختار PID

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

Clinical relevance

فرم‌های کانونیکال طبقه‌بندی عملگرها را مؤثر می‌سازند: فرم جردن نشان می‌دهد که یک عملگر چگونه عمل می‌کند حتی زمانی که قطری‌سازی‌پذیر (diagonalizable) نیست، که برای حل سیستم‌های خطی معادلات دیفرانسیل، محاسبه ماتریس‌های نمایی، و تحلیل رفتار بلندمدت سیستم‌های دینامیکی خطی ضروری است.

History

وایرشتراس مقسوم‌علیه‌های ابتدایی را معرفی کرد و جردن فرم کانونیکال خود را در دهه ۱۸۷۰ ارائه داد و عملگرها را بر اساس رفتارشان در فضاهای ویژه تعمیم‌یافته (generalized eigenspaces) طبقه‌بندی کرد. فروبنیوس فرم کانونیکال گویا را که بر روی هر میدانی معتبر است، توسعه داد و استخراج مدرن آن‌ها را از طریق نظریه ماژول‌ها یکپارچه می‌کند.

Key figures

• Camille Jordan
• Karl Weierstrass
• Ferdinand Georg Frobenius

Seminal works

• hoffman1971
• dummit2004
• roman2008

Frequently asked questions

چرا از فرم کانونیکال گویا استفاده کنیم در حالی که فرم جردن آشناتر است؟

فرم جردن نیاز دارد که مقادیر ویژه در میدان قرار گیرند، بنابراین به یک میدان بسته جبری نیاز دارد. فرم کانونیکال گویا بر روی هر میدانی، از جمله اعداد گویا، با استفاده از ماتریس‌های همراه عوامل ناوردا به جای مقادیر ویژه کار می‌کند.

فرم‌های کانونیکال چگونه با نظریه ماژول‌ها مرتبط هستند؟

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