Weyr kanonik formu - Weyr canonical form - Wikipedia

Resim, her biri temel bir Weyr matrisi olan iki bloktan oluşan genel bir Weyr matrisinin bir örneğini göstermektedir. Sol üst köşedeki temel Weyr matrisi (4,2,1) yapısına ve diğeri (2,2,1,1) yapısına sahiptir.

İçinde matematik, içinde lineer Cebir, bir Weyr kanonik formu (veya, Weyr formu veya Weyr matrisi) bir Kare matris belirli koşulları tatmin etmek. Kare matris olduğu söylenir içinde Weyr kanonik form matris, Weyr kanonik biçimini tanımlayan koşulları karşılıyorsa. Weyr formu, Çek matematikçi Eduard Weyr 1885'te.[1][2][3] Weyr formu matematikçiler arasında popüler hale gelmedi ve adıyla bilinen yakından ilişkili, ancak farklı kanonik form tarafından gölgede bırakıldı. Ürdün kanonik formu.[3] Weyr formu, Weyr’in 1885’teki orijinal keşfinden bu yana defalarca yeniden keşfedildi.[4] Bu form çeşitli şekillerde adlandırılmıştır değiştirilmiş Jordan formu, yeniden sipariş Ürdün formu, ikinci Jordan formu, ve H-formu.[4] Şu anki terminoloji, onu şu dergide yayınlanan bir makalede tanıtan Shapiro'ya aittir. American Mathematical Monthly 1999'da.[4][5]

Son zamanlarda Weyr matrisi için birkaç uygulama bulundu. Özellikle ilgi çekici olan, Weyr matrisinin çalışmasında bir uygulamasıdır. filogenetik değişmezler içinde biyomatematik.

Tanımlar

Temel Weyr matrisi

Tanım

Temel bir Weyr matrisi özdeğer bir matris aşağıdaki biçimde: Bir bölüm

nın-nin ile

öyle ki, ne zaman olarak görülüyor blok matrisi , nerede blok bir matris, aşağıdaki üç özellik mevcuttur:

  1. Ana diyagonal bloklar bunlar skaler matrisler için .
  2. İlk süper diyagonal bloklar dolu sütun sıralaması matrisler azaltılmış sıra basamaklı form (yani, bir kimlik matrisi ardından sıfır satır) için .
  3. Diğer tüm bloklar W sıfırdır (yani, ne zaman ).

Bu durumda şunu söylüyoruz Weyr yapısına sahiptir .

Misal

Aşağıda bir temel Weyr matrisi örneği verilmiştir.

Yapılı bir Temel Weyr matrisi (4,2,2,1)

Bu matriste, ve . Yani Weyr yapısına sahiptir . Ayrıca,

ve

Genel Weyr matrisi

Tanım

İzin Vermek kare bir matris olsun ve farklı özdeğerler olmak . Biz söylüyoruz Weyr formundadır (veya bir Weyr matrisidir) eğer aşağıdaki biçime sahiptir:

nerede özdeğerli temel bir Weyr matrisidir için .

Misal

Aşağıdaki görüntü, üç temel Weyr matris bloğundan oluşan genel bir Weyr matrisinin bir örneğini göstermektedir. Sol üst köşedeki temel Weyr matrisi özdeğeri 4 olan yapıya (4,2,1) sahiptir, orta blok özdeğeri -3 olan yapıya (2,2,1,1) ve sağ alt köşedeki yapıya sahiptir. köşe, özdeğeri 0 olan (3, 2) yapısına sahiptir.

WeyrMatrixExample02.jpg

Weyr ve Jordan formları arasındaki ilişki

Weyr kanonik formu Jordan formuyla ilgilidir basit bir permütasyonla her Weyr temel bloğu için aşağıdaki gibidir: Her Weyr alt bloğunun ilk indeksi, en büyük Jordan zincirini oluşturur. Bu satır ve sütunların üstünü çizdikten sonra, her yeni alt bloğun ilk dizini ikinci en büyük Jordan zincirini oluşturur ve bu böyle devam eder.[6]

Weyr formu kanoniktir

Weyr formunun bir matrisin kanonik bir formu olması, aşağıdaki sonucun bir sonucudur:[3] Her kare matris cebirsel olarak kapalı bir alan üzerinde bir Weyr matrisine benzer Temel bloklarının permütasyonuna kadar benzersizdir. Matris Weyr (kanonik) formu denir .

Weyr kanonik formunun hesaplanması

Üstelsıfır vakaya indirgeme

İzin Vermek bir kare düzen matrisi olmak bir cebirsel olarak kapalı alan ve farklı özdeğerleri bırakın olmak . Jordan-Chevalley ayrışımı teorem şunu belirtir: dır-dir benzer formun bir blok köşegen matrisine

nerede bir Diyagonal matris, bir üstelsıfır matris, ve , azaltılmasını haklı çıkarmak alt bloklara . Yani azaltma sorunu Weyr formuna indirgenmesi, üstelsıfır matrislerin indirgenmesi sorununa indirgenir Weyr formuna. Bu, genelleştirilmiş eigenspace ayrışma teoremi.

Üstelsıfır bir matrisin Weyr formuna indirgenmesi

Üstelsıfır bir kare matris verildiğinde düzenin cebirsel olarak kapalı bir alan üzerinde , aşağıdaki algoritma ters çevrilebilir bir matris üretir ve bir Weyr matrisi öyle ki .

Aşama 1

İzin Vermek

Adım 2

  1. Hesapla a temel için boş alan nın-nin .
  2. Sıfır uzayı için temeli genişletin temeline boyutlu vektör uzayı .
  3. Matrisi oluştur bu temel vektörlerden oluşur.
  4. Hesaplama . kare bir matristir - geçersizlik .

Aşama 3

Eğer sıfır değildir, 2. Adımı tekrarlayın .

  1. Boş uzayı için bir temel hesaplayın .
  2. Sıfır uzayı için temeli genişletin boyuta sahip vektör uzayı için bir temele - geçersizlik .
  3. Matrisi oluştur bu temel vektörlerden oluşur.
  4. Hesaplama . kare bir matristir - geçersizlik - geçersizlik.

4. adım

Giderek daha küçük kare matrisler elde etmek için Adım 1 ve 2'deki işlemlere devam edin ve ilişkili tersinir matrisler ilk sıfır matrisine kadar elde edildi.

Adım 5

Weyr yapısı dır-dir nerede = geçersizlik.

6. Adım

  1. Matrisi hesaplayın (burada 'ler uygun şekilde boyutlandırılmış kimlik matrisleridir).
  2. Hesaplama . aşağıdaki formda bir matristir:
.

7. Adım

Ters çevrilebilir bir matris bulmak için temel satır işlemlerini kullanın uygun boyutta, öyle ki ürün formun bir matrisidir .

8. Adım

Ayarlamak tanılama ve hesapla . Bu matriste, blok .

9. Adım

Bir matris bulun ürünü olarak oluşturulmuş temel matrisler öyle ki bloğun üzerindeki tüm blokların bulunduğu bir matristir sadece içerir 's.

10. adım

8. ve 9. adımları sütunda tekrarlayın dönüştürme -block üzerinden birleşme bazı tersinir matrislerle . Yukarıdaki blokları bir ürünle eşleme yoluyla temizlemek için bu bloğu kullanın temel matrisler.

11. adım

Bu işlemleri tekrarlayın sütunlar, konjugasyonları kullanarak . Ortaya çıkan matris artık Weyr formunda.

Adım 1/2

İzin Vermek . Sonra .

Weyr formunun uygulamaları

Weyr formunun bazı iyi bilinen uygulamaları aşağıda listelenmiştir:[3]

  1. Weyr formu, Gerstenhaber Teoreminin ispatını basitleştirmek için kullanılabilir. matrisler en fazla boyuta sahiptir .
  2. Bir dizi sonlu matrisin, aynı anda köşegenleştirilebilir matrislere karıştırılabiliyorsa, yaklaşık olarak aynı anda köşegenleştirilebilir olduğu söylenir. Weyr formu, çeşitli matris sınıflarının yaklaşık eşzamanlı köşegenleştirilebilirliğini kanıtlamak için kullanılır. Yaklaşık eşzamanlı köşegenleştirilebilirlik özelliği aşağıdaki çalışmalarda uygulamalara sahiptir: filogenetik değişmezler içinde biyomatematik.
  3. Weyr formu, tüm çeşitliliğin indirgenemezliğinin kanıtlarını basitleştirmek için kullanılabilir. k-karmaşık matrislerin değişme çiftleri.

Referanslar

  1. ^ Eduard Weyr (1885). "Répartition des matrices en espèces et oluşum de toutes les espèces" (PDF). Comptes Rendus, Paris. 100: 966–969. Alındı 10 Aralık 2013.
  2. ^ Eduard Weyr (1890). "Zur Theorie der bilinearen Formen". Monatshefte für Mathematik ve Physik. 1: 163–236.
  3. ^ a b c d Kevin C. Meara; John Clark; Charles I. Vinsonhaler (2011). Doğrusal Cebirde İleri Konular: Weyr Formuyla Dokuma Matris Problemleri. Oxford University Press.
  4. ^ a b c Kevin C. Meara; John Clark; Charles I. Vinsonhaler (2011). Doğrusal Cebirde İleri Konular: Weyr Formuyla Dokuma Matris Problemleri. Oxford University Press. sayfa 44, 81–82.
  5. ^ Shapiro, H. (1999). "Weyr özelliği". American Mathematical Monthly. 106 (10): 919–929. doi:10.2307/2589746. JSTOR  2589746.
  6. ^ Sergeichuk, "Doğrusal matris problemleri için kanonik matrisler", Arxiv: 0709.2485 [math.RT], 2007