АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

Единственность канонической формы Жордана

Читайте также:
  1. BRP открывает новый виток инновационного развития с выпуском платформы Ski-Doo REV
  2. II Формы общения, к вампиризму не относящиеся
  3. II. ЦЕЛИ И ФОРМЫ ДЕЯТЕЛЬНОСТИ ПРИХОДА
  4. IV. Формы контроля
  5. IV. Формы контроля
  6. V. Формы контроля
  7. VI. Темы семинарских занятий для очной формы обучения
  8. VII Формы текущего и итогового контроля
  9. VII. Новые формы российского предпринимательства
  10. VII. Принятые формы сексуальных отношений
  11. А) Формы существования
  12. А. Виды и формы страхования

 

Теорема. Матрицы линейного оператора в двух разных канонических базисах составлены из одних и тех же клеток и отличаются лишь порядком расположения клеток.

Доказательство. Возьмем два канонических базиса линейного пространства для линейного оператора j. Суммы порядков клеток Жордана матрицы линейного оператора для его фиксированного собственного значения равны кратности этого собственного значения как корня характеристического многочлена линейного оператора.

Поэтому она одна и та же для матриц линейного оператора в разных канонических базисах (так как матрицы линейного оператора в разных базисах подобны, характеристические многочлены подобных матриц равны и многочлены представляются в виде произведения неприводимых множителей единственным образом). Тем самым доказательство теоремы сводится к доказательству утверждения в корневом пространстве.

Фиксируем произвольное собственное значение линейного оператора и пусть корневое пространство представимо в виде прямой суммы циклических подпространств двумя способами

Нам надо доказать, что r = s, ki = li. Без ограничения общности можно считать, что k 1 ³ k 2³... ³ ks, l 1³ l 2 ³... ³ lr. Предположим, что k 1= l 1,..., , kj > lj; .Тогда

= (l 1lj) +... + (lj -1lj) = k 1lj ) +... + (kj –1lj)

(так как k 1 = l 1,..., kj1 = lj1) Þ (kjlj) +... = 0.

В сумме (kj – lj) +... все слагаемые или равны нулю или положительны. Получили противоречие с тем, что она должна равняться нулю. Продолжив рассуждения аналогичным образом, получим ki = li, r = s.

 

 


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 |

Поиск по сайту:



Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.004 сек.)