Bentuk Kanonik

Bentuk kanonik adalah representasi matriks standar dari operator linear di bawah keserupaan, yang menyediakan invarian lengkap dan dapat dihitung yang mengklasifikasikan operator hingga perubahan basis.

Definition

Bentuk kanonik adalah matriks terkemuka yang dengannya setiap operator dalam kelas keserupaan adalah serupa, sehingga dua operator adalah konjugat tepat ketika mereka memiliki bentuk kanonik yang sama; contoh utamanya adalah bentuk kanonik rasional dan Jordan.

Scope

Topik ini mencakup keserupaan matriks, faktor invarian dan pembagi elementer, bentuk kanonik rasional yang berlaku di atas sembarang medan, bentuk kanonik Jordan di atas medan tertutup secara aljabar, dan penurunan keduanya dari teorema struktur untuk modul di atas domain ideal utama.

Core questions

• Kapan dua matriks serupa?
• Himpunan invarian lengkap apa yang mengklasifikasikan operator hingga keserupaan?
• Bagaimana bentuk kanonik rasional dan Jordan dibangun?
• Bagaimana teorema struktur modul menghasilkan bentuk kanonik?

Key theories

Bentuk kanonik rasional

Di atas sembarang medan, setiap operator serupa dengan matriks blok-diagonal unik yang dibangun dari matriks pendamping faktor invarian, sehingga faktor invarian membentuk invarian keserupaan yang lengkap.

Bentuk kanonik Jordan

Di atas medan tertutup secara aljabar, setiap operator serupa dengan matriks Jordan unik, susunan blok-diagonal dari blok Jordan yang diindeks oleh nilai eigen dan pembagi elementer, menyempurnakan bentuk rasional.

Bentuk kanonik dari teorema struktur PID

Dengan memandang ruang vektor dengan operator sebagai modul di atas gelanggang polinomial, teorema struktur untuk modul yang dihasilkan secara hingga di atas domain ideal utama menghasilkan kedua bentuk kanonik sebagai manifestasi konkretnya.

Clinical relevance

Bentuk kanonik membuat klasifikasi operator menjadi efektif: bentuk Jordan mengungkapkan bagaimana operator bekerja bahkan ketika tidak dapat didiagonalkan, yang penting untuk menyelesaikan sistem persamaan diferensial linear, menghitung eksponensial matriks, dan menganalisis perilaku jangka panjang sistem dinamis linear.

History

Weierstrass memperkenalkan pembagi elementer dan Jordan memberikan bentuk kanoniknya pada tahun 1870-an, mengklasifikasikan operator berdasarkan perilakunya pada ruang eigen tergeneralisasi. Frobenius mengembangkan bentuk kanonik rasional yang berlaku di atas sembarang medan, dan penurunan modern menyatukan keduanya melalui teori modul.

Key figures

• Camille Jordan
• Karl Weierstrass
• Ferdinand Georg Frobenius

Seminal works

• hoffman1971
• dummit2004
• roman2008

Frequently asked questions

Mengapa menggunakan bentuk kanonik rasional padahal bentuk Jordan lebih dikenal?

Bentuk Jordan mensyaratkan nilai eigen berada di medan, sehingga membutuhkan medan tertutup secara aljabar. Bentuk kanonik rasional bekerja di atas sembarang medan, termasuk bilangan rasional, dengan menggunakan matriks pendamping dari faktor invarian alih-alih nilai eigen.

Bagaimana bentuk kanonik berhubungan dengan teori modul?

Ruang vektor dengan operator tetap adalah modul di atas gelanggang polinomial dalam satu variabel, sebuah domain ideal utama. Teorema struktur untuk modul semacam itu menguraikannya menjadi bagian-bagian siklik, dan membaca bagian-bagian tersebut menghasilkan tepat bentuk kanonik rasional dan Jordan.