Kanonik Form
Kanonik form, benzerlik altında bir doğrusal operatörün standart bir matris temsilidir ve taban değişimine kadar operatörleri sınıflandıran eksiksiz ve hesaplanabilir bir değişmez sağlamaktadır.
Tanım
Kanonik form, bir benzerlik sınıfındaki her operatörün benzer olduğu ayırt edici bir matristir; böylece iki operatör, aynı kanonik formu paylaştıklarında tam olarak eşleniktir; başlıca örnekler rasyonel ve Jordan kanonik formlarıdır.
Kapsam
Bu konu, matrislerin benzerliğini, değişmez çarpanları ve temel bölenleri, herhangi bir alan üzerinde geçerli olan rasyonel kanonik formu, cebirsel olarak kapalı bir alan üzerindeki Jordan kanonik formu ve bunların bir asal ideal bölgesi üzerindeki modüller için yapı teoreminden türetilmesini kapsamaktadır.
Temel sorular
- İki matris ne zaman benzerdir?
- Bir operatörü benzerliğe kadar sınıflandıran eksiksiz değişmezler kümesi nedir?
- Rasyonel ve Jordan kanonik formları nasıl inşa edilir?
- Modül yapı teoremi kanonik formları nasıl üretir?
Temel kuramlar
- Rasyonel kanonik form
- Herhangi bir alan üzerinde, her operatör, değişmez çarpanlarının eşlik matrislerinden oluşturulmuş benzersiz bir blok-köşegen matrise benzerdir; bu nedenle değişmez çarpanlar, eksiksiz bir benzerlik değişmezi oluşturmaktadır.
- Jordan kanonik form
- Cebirsel olarak kapalı bir alan üzerinde, her operatör, özdeğerler ve temel bölenler tarafından indekslenen Jordan bloklarının blok-köşegen bir düzenlemesi olan benzersiz bir Jordan matrisine benzerdir ve rasyonel formu iyileştirmektedir.
- Asal İdeal Bölgesi (PID) yapı teoreminden kanonik formlar
- Bir operatörlü vektör uzayını polinom halkası üzerinde bir modül olarak görmek, bir asal ideal bölgesi üzerindeki sonlu üretilmiş modüller için yapı teoremi, her iki kanonik formu da somut tezahürü olarak vermektedir.
Klinik önem
Kanonik formlar, operatörlerin sınıflandırılmasını etkili hale getirmektedir: Jordan formu, bir operatörün köşegenleştirilebilir olmasa bile nasıl davrandığını ortaya koyar; bu da doğrusal diferansiyel denklem sistemlerini çözmek, matris üstelini hesaplamak ve doğrusal dinamik sistemlerin uzun vadeli davranışını analiz etmek için temel bir öneme sahiptir.
Tarihçe
Weierstrass, 1870'lerde temel bölenleri tanıtmış ve Jordan, genelleştirilmiş özuzaylardaki davranışlarına göre operatörleri sınıflandırarak kendi kanonik formunu vermiştir. Frobenius, herhangi bir alan üzerinde geçerli olan rasyonel kanonik formu geliştirmiş ve modern türetme, bunları modül teorisi aracılığıyla birleştirmektedir.
Öne çıkan isimler
- Camille Jordan
- Karl Weierstrass
- Ferdinand Georg Frobenius
İlgili konular
Temel eserler
- hoffman1971
- dummit2004
- roman2008
Sıkça sorulan sorular
- Jordan formu daha tanıdıkken neden rasyonel kanonik form kullanılır?
- Jordan formu, özdeğerlerin alan içinde yer almasını gerektirir, bu nedenle cebirsel olarak kapalı bir alana ihtiyaç duyar. Rasyonel kanonik form, özdeğerler yerine değişmez çarpanların eşlik matrislerini kullanarak rasyonel sayılar da dahil olmak üzere herhangi bir alan üzerinde çalışmaktadır.
- Kanonik formlar modül teorisiyle nasıl ilişkilidir?
- Sabit bir operatörlü bir vektör uzayı, tek değişkenli polinom halkası üzerinde bir modüldür, yani bir asal ideal bölgesidir. Bu tür modüller için yapı teoremi, onu döngüsel parçalara ayırır ve bu parçaları okumak tam olarak rasyonel ve Jordan kanonik formlarını vermektedir.