Траг (линеарна алгебра)

збир елемената главне дијагонале квадратне матрице

У линеарној алгебри, траг квадратне матрице A, означен са tr(A), је дефинисан као збир елемената на главној дијагонали (од горњег левог до доњег десног члана) матрице A .

Траг матрице је збир њених (комплексних) сопствених вредности (бројаних са дупликатима), и инваријантан је у односу на промену базе . Ова карактеризација се може користити за дефинисање трага линеарног оператора уопште. Траг је дефинисан искључиво за квадратне матрице ( n × n ).

Траг матрице је повезан са изводом детерминанте матрице(види Јакобијеву формулу ).

Дефиниција

уреди

Траг квадратне матрице A величине n × n је дефинисан као

 

где aii означава унос у i-том реду и i-тој колони A

Пример

уреди

Нека је A квадратна матрица, са следећим члановима

 

Онда је траг:

 

Својства

уреди

Основна својства

уреди

Траг је заправо линеарно пресликавање . То означава следеће:

 

и важи за све квадратне матрице A и B, и све скаларе c .

Матрица и њена транспонована матрица имају исти траг јер се дијагонала не мења у случају танспоновања:

 

Ово одмах услеђује из чињенице да транспоновање квадратне матрице не утиче на елементе дуж главне дијагонале.

Траг производа

уреди

Траг квадратне матрице који је производ две матрице може се преписати као збир улазних производа њихових елемената. Тачније, ако су A и B два m × n матрица, онда је:

 

Ово значи да траг производа матрица једнаких величина функционише на сличан начин као и скаларни производ вектора (замислите A и B као дугачке векторе са колонама наслаганим једна на другу). Из тог разлога, генерализације векторских операција на матрице (нпр. у матричном рачуну и статистици ) често укључују трагове матричних производа.

За матрице реалних бројева A и B, траг производа се такође може написати у следећим облицима:

  (користећии Хадамардов производ)
  (користећи оператор векторисања)

Матрице у производу трагова могу се мењати без утицаја на резултат: Ако је A матрица m × n и B n × m, онда је

 

Додатно, за реалне колоне матрице   и  , траг спољашњег производа је еквивалентан унутрашњем производу:

 

Циклична својства

уреди

У општијем случају, траг је инваријантан према цикличним пермутацијама, тј.

 

Ово је такође познато као циклично својство .

Произвољне пермутације нису дозвољене: генерално говорећи,

 

Међутим, ако се посматрају производи три симетричних матрица, свака пермутација је дозвољена, јер:

 

где је прва једнакост зато што су трагови матрице и њена транспонована матрица јаднаке. Мора се знати да то уопште није тачно за више од три фактора.

Траг матричног производа

уреди

За разлику од детерминанти, траг производа није производ трагова, тј. постоје матрице A и B такве да

 

На пример, ако је:

 

онда је производ следећи

 

а трагови су слдећи: 

Траг Кронецкеровог производа

уреди

Траг Кронекеровог производа две матрице је производ њихових трагова што значи:

 

Карактеризација трага

уреди

Обратимо пажњу на следећа три својства: карактеришемо траг до скаларног множиоца у смислу који следи: Ако   је линеарни функционал на простору квадратних матрица који задовољава   онда   и   су пропорционалне.

Инваријантност сличности

уреди

Траг је инваријантан сличностима, што значи да за било коју квадратну матрицу A и било коју инверзибилну матрицу P истих димензија, матрице A и P−1AP имају исти траг. То је зато што

 

Траг производа симетричне и косо-симетричне матрице

уреди

Ако је A симетрично, а B косо-симетрично, онда важи:

  .

Однос према сопственим вредностима

уреди

Траг матрице идентитета

уреди

Траг матрице идентитета величине n × n је заправо димензија простора, односно n .

 

Ово доводи до појма генерализације димензија коришћењем трага .

Траг идемпотентне матрице

уреди

Траг идемпотентне матрице A (матрице за коју важи да је A2 = A ) једнак је рангу матрице A .

Траг нилпотентне матрице

уреди

Траг нилпотентне матрице је увек једнак нули.

Када је карактеристика основног поља нула, важи и обрнуто, што значи: ако је tr(Ak) = 0 за све k, онда је A нилпотентно.

Када је карактеристика n > 0 позитивна (већа од нуле), идентитет у n димензија је контрапример, као  , али идентитет није нужно и нилпотентан.

Траг је једнак збиру сопствених вредности

уреди

Уопштено, ако је:

 

је карактеристични полином матрице A, што значи:

 

то јест, траг квадратне матрице једнак је збиру сопствених вредности пребројаних са дупликатима.

Траг комутатора

уреди

Када су и A и B матрице величине n × n следи да је tr([A,B]) = 0, јер је tr(AB) = tr(BA) и tr је линеарн. Ово се може ословити као „траг је мапа Лијевих алгебри glnk од оператора до скалара“, пошто је комутатор скалара тривијалан (то је Абелова-Лијева алгебра). Конкретно, користећи инваријантност сличности, следи да матрица идентитета никада није налик комутатору било ког пара матрица.

У обрнутом случају, свака квадратна матрица са нултим трагом је линеарна комбинација комутатора парова матрица. Штавише, свака квадратна матрица са нултим трагом је унитарно еквивалентна квадратној матрици са дијагоналом која се састоји од свих нула.

Траг хермитске матрице

уреди

Траг ермитске матрице је реалан, јер су елементи на дијагонали реални.

Траг пермутационе матрице

уреди

Траг пермутационе матрице означава број фиксних тачака, јер је дијагонални aii једнака 1 ако је i-та тачка фиксна и 0 у супротном случају.

Траг пројекцијске матрице

уреди

Траг пројекцијске матрице представља димензију циљног простора.

 

Матрица PX је идемпотентна, што даље значи, траг било које идемпотентне матрице једнак је њеном сопственом рангу.

Експоненцијални траг

уреди

Изрази попут tr(exp(A)), где је A квадратна матрица, јављају се јако често у неким областима (нпр. мултиваријантна статистичка теорија), у тој мери да је скраћена нотација постала опште прихваћена:

 

tre се понекад назива експоненцијалном функцијом трага; користи се у неједнакости Голден-Томпсона.

Траг линеарног оператора

уреди

Уопштено говорећи, с обзиром на неку линеарну мапу f : VV (где је V коначно димензионални векторски простор ), можемо дефинисати траг ове мапе узимајући у обзир траг матричне репрезентације f, односно одабиром базе за V и описујући f као матричну релативну на ову базу, узимајући траг ове квадратне матрице. Резултат неће зависити од изабране базе, пошто ће различите базе довести до сличних матрица, дозвољавајући могућност од основе независне дефиниције за траг линеарне мапе.

Таква дефиниција се може дати коришћењем канонског изоморфизма између простора End(V) линеарних мапа на V и VV*, где је V* бинарни простор од V . Нека је v у V и нека је f у V* . Тада је траг неразложивог елемента vf дефинисан као f (v) ; траг општег елемента дефинисан је линеарношћу. Користећи експлицитну основу за V и одговарајућу биномну основу за V*, може се показати да ово даје исту дефиницију трага као што је претходно показано изнад.

Траг у екстензијама поља

уреди

Дозволити да   буде коначно проширење поља . Тада је траг а  - линеарна мапа   Ако се   посматра као векторски простор преко   затим траг елемента   је траг трансформационе матрице  - линеарни ендоморфизам   Ако је   Галоов, онда је траг елемента   збир његових Галоових коњугата :

  .

Као и норма  , траг је  

Релације сопствених вредности

уреди

Ако је A линеарни оператор представљен квадратном матрицом са реалним или комплексним уносним чиниоцима и ако су λ1, …, λn сопствене вредности A (наведене према њиховим алгебарским вишеструкостима ), онда важи

 

Ово следи из чињенице да је A увек сличан свом Јордановом облику, горњој троугластој матрици која има λ1, …, λn на главној дијагонали. Насупрот томе, детерминанта A је производ његових сопствених вредности; што означава да је,

 

У општем смислу,

 

Изводи

уреди

Траг одговара изводу детерминанте. Ово је прецизирано у Јакобијевој формули за извод детерминанте .

Као посебан случај, код идентичности, извод детерминанте заправо је једнак трагу: tr = det′I . Из овога (или из везе између трага и сопствених вредности), може се извести веза између функције трага, експоненцијалне мапе између Лијеве алгебре и њене Лијеве групе (или конкретно, матричне експоненцијалне функције) и детерминанте :

 

На пример, размотримо фамилију линеарних трансформација са једним параметром дате ротацијом кроз угао θ ,

 

Све ове трансформације имају детерминанту 1, тако да чувају површину. Извод ове породице на θ = 0, ротација идентитета, је антисиметрична матрица

 

која јасно има траг једнак нули, што указује да ова матрица представља инфинитезималну трансформацију која чува површину.

Слична карактеризација трага се примењује и на линеарна векторска поља . Узмимо матрицу A, дефинишимо векторско поље F на Rn са F(x) = Ax. Компоненте овог векторског поља су линеарне функције (дате редовима A ). Њена дивергенција div F је константна функција, чија је вредност једнака tr(A) .

По теореми дивергенције, ово се може тумачити у терминима брзине: ако F(x) представља брзину течности на локацији x и U је региону у Rn, нето проток течности из U је дат са tr(A) · vol(U), где је vol(U) запремина U.

Траг је линеарни оператор, стога је повезан (комутује) са извидом:

 

Примена

уреди

Траг комплексне матрица величине 2 × 2 се користи за класификацију Мебијусових трансформација . Прво, матрица се нормализује тако да њена детерминанта буде једнака јединици. Затим, ако је квадрат трага 4, одговарајућа трансформација је параболична . Ако је квадрат у интервалу [0,4), он је елиптичан . Коначно, ако је квадрат већи од 4, трансформација је локсодромна.

Траг се користи за дефинисање карактера групних репрезентација . Два приказа A, B : GGL(V) групе G су једнаке (до промене базе на V ) ако је tr(A(g)) = tr(B(g)). важи за све gG .

Траг такође игра главну улогу у дистрибуцији квадратних облика .

Лијева Алгебра

уреди

Траг је мапа Лијевих алгебри   из Лијеве алгебре   линеарних оператора на n -димензионалном простору ( матрица величине n × n са уносима у   ) у Лијевој алгебри K скалара; пошто је K Абелов (Лијева заграда нестаје), чињеница да је ово мапа Лијевих алгебри је управо доказ да траг заграде нестаје:

 

Често се каже да је језгро ове мапе, матрице чији је траг нула, без трага а ове матрице формирају једноставну Лијеву алгебру  , што је Лијева алгебра посебне линеарне групе матрица са детерминантом 1. Посебну линеарну групу чине матрице које не мењају запремину, док су специјалне линеарне Лијеве алгебре матрице које не мењају запремину инфинитезималних скупова.

У ствари, постоји интерна директна декомпозиција збира   оператора/матрица у операторе/матрице без трага и скаларне операторе/матрице. Мапа пројекције на скаларне операторе може се изразити у терминима трага, конкретно се може представити као:

 

Формално, може се саставити траг са мапом јединице   "укључивања скалара " да би се добила мапа   пресликавање на скаларе и множење са n . Дељењем са n ово постаје пројекција, што даје формулу изнад.

У смислу кратких тачних секвенци, важи:

 

што је аналогно

 

(где   ) за Лијеве групе. Али, траг се природно дели дакле  , али цепање детерминанте би било као n ти корен пута скалара, а ово генерално не дефинише функцију, тако да се детерминанта не дели и општа линеарна група се не декомпонује:

 

Билинеарне форме

уреди

Билинеарни облик (где су X, Y квадратне матрице)

 

се назива Киллингова форма, која се користи за класификацију Лијевих алгебри.

Траг дефинише билинеарни облик:

 

Форма је симетрична, недегенерисана и асоцијативна у смислу да је:

 

За комплексну једноставну Лијеву алгебру (као нпр  n ), сваки такав билинеарни облик је пропорционалан један другом.

За две матрице X и Y се каже да су ортогоналног трага ако је

  .

Унутрашњи производ

уреди

За матрицу величине m × n A са сложеним (или реалним) уносима која је H и коњугована транспонована, имамо

 

са једнакошћу ако и само ако је A = 0 . [1] :7

Једначина

 

нам даје унутрашњи производ на простору свих комплексних (или реалних) матрица величине m × n.

Норма изведена из горњег унутрашњег производа назива се Фробенијусова норма, која задовољава субмултипликативно својство као матрична норма. Заиста је еуклидска норма ако се матрица посматра као вектор дужине mn .

Следи да ако су A и B реалне позитивне полудефинисане матрице истих величина онда је

 

Види још

уреди
  • Траг тензора у односу на метрички тензор
  • Карактеристична функција
  • Траг поља
  • Неједнакост Голден–Томпсона
  • Јединствени траг
  • Спецхтова теорема
  • Траце цласс
  • Траг идентитета
  • Прати неједнакости
  • фон Нојманова неједнакост трагова

Спољашње везе

уреди
  1. ^ Horn, Roger A.; Johnson, Charles R. (2013). Matrix Analysis (2nd изд.). Cambridge University Press. ISBN 9780521839402.