From Wikipedia, the free encyclopedia
Begrebet spektrum bliver brugt inden for funktionsanalyse som en generalisering af konceptet af egenværdier af en matrix. I det følgende ses der på spektrum for begrænsede operatorer.
Hvis er en begrænset lineær operator på et Banachrum , så er spektret af mængden af komplekse tal hvor ikke er invertibel, hvor er identitetsoperatoren. Spektret af skrives som .
Spektret kan også anses som værende komplementet til hvad der kaldes resolvent mængden som er mængden af hvor er invertibel. Lidt mere formelt er mængden hvor eller og er domænet for .
Man spørger nok sig selv om at siden spektrum er en generalisering af egenværdier af matricer, hvornår et element i spektrum er en egenværdi.
Sætning: Hvis er et normeret rum som er forskellig fra 0, så er spektret ikke tomt.[1]
Sætning: Resolvent mængden og åben, og spektret er kompakt.[2]
for en operator gælder det at den er invertibel hvis og kun hvis er bijektiv. Dvs. at vi har to måder hvorpå vores operator ikke længere er invertibel, hvilket er hvis ikke er injektiv eller surjektiv.
Hvis ikke er injektiv, hvilket vil sige at funktionen ikke er injektiv, da må der eksistere et sådan så . Dette er definitionen for hvornår er en egenværdi, så hvis ikke er injektiv er en egenværdi i spektret for .
Hvis et element ikke er en egenværdi, da er ikke surjektiv (på). Dette kan ske på to måder:
En generelt brugt måde at opdele spektret på er den følgende:
Vi ved at en begrænset lineær operator på et Hilbertrum er invertibel hvis og kun hvis den er begrænset nedefra og har en tæt billedmængde. Dette vil sige at et komplekst tal er i spektret for hvis og kun hvis ikke er begrænset nedefra og/eller at ikke har tæt billedmængde. Dette fortæller os at man kan opdele spektret i to muligvis overlappende delmængder:
Det omtrentlige punkt spektrum består igen af to disjunkte dele som er de elementer som er egenværdier af , som skrives , og komplementet af denne.
Man kan også opdele spektret i tre andre disjunkte dele:
Disse tre spektrum har den samme definition for Banachrum.
Spektret for en operator på et Hilbert eller Banachrum indeholder vigtig information omkring operatoren.
Den er også en konjugeringsinvariant da:
Sætning: Hvis er en operator i for et Banachrum , og hvis er en invertibel operator i , så er .[3]
Ovenstående sætning angiver blot en måde hvorpå spektret ikke ændres, men det er ikke den eneste måde. For hvis er komplekse Hilbert rum som er forskellige fra 0, hvor og , dvs, er invertibel, så gælder[4]
Ved at disse holder, så gælder det også for spektret, resolvent mængden og for spektral radius.
Hvis også var unitær gælder også
Hvis vi antager at er et komplekst Hilbert rum og at er enhedscirklen omkring origo i det komplekse plan, så gælder følgende[5]:
Flere egenskaber kan ses i.[6]
Generelt for en selvadjungeret operator i gælder der at enhver egenværdi for er reel og at egenvektorerne for forskellige egenværdier er ortogonale.[7]
For en selvadjungeret begrænset operator på et Hilbertrum er .
Dette kan bruges til at vise at for en kompakt selvadjungeret operator i så er mindst et tallene eller en egenværdi for , hvilket vil sige at mindst en af disse er et element i .[8]
Resultatet som bruges til at karakterisere de kompakte operatorer på et komplekst Hilbert rum kaldes 'the Fredholm Alternative' som siger følgende:
Sætning (Fredholm Alternative)[9]: Lad være en kompakt operator på et Hilbert rum , og antag at og . Så har vi følgende:
En anden sætning giver at ethvert punkt i spektret som er forskellig fra 0 på en kompakt operator altid er egenværdier for operatoren[10].
Vi kan også yderligere beskrive elementerne i spektret for en kompakt operator ved følgende sætning.
Sætning[11]: Tag en kompakt operator som er mængden af kompakte lineære transformationer, så har vi følgende:
Hvis er et polynomium med komplekse koefficienter, så for enhver delmængde er .
Sætning (Spektral mapping sætningen for polynomier): Tag en operator , hvor er et komplekst Banachrum. Hvis er et polynomium med komplekse koefficienter, så er .[12]
Denne sætning gælder også specielt hvis er en unital Banach algebra hvor , så er .
Eksempel: Hvis er et element i en unital Banach algebra som opfylder at , og lad . Så er hvilket medfører at . Dvs at for alle , hvilket giver os at .
Denne sætning kan også udvides til at gælde for polynomier som gælder for normale operatorer i et Hilbertrum . Lad og være arbitrære delmængder af og lad være et polynomium i to variable med komplekse koefficienter, hvor . Hvis vi i særdeleshed ser på , da er .
Sætning (Spektral mapping sætningen for normale operatorer): Hvis er normal og er et polynomium i to variable, så er .[13]
Når vi arbejder med Banach algebraer (og dermed også C* algebraer) så har vi at [14], hvor er en kommutativ unital Banach algebra, og er et kompakt Hausdorff rum.
Dette kommer af at komplekse homomorfier på en unital kommutativ Banach algebra er en ikke triviel multiplikativ lineær funktional , som er kontinuer med norm 1. Samlingen af alle disse ikke trivielle multiplikative lineære funktionaler kaldes det maksimale ideal rum og skrives .
Måden hvorpå vi ser at spektrum er af denne form kommer af følgende:
Hvis vi vælger et og antager at , da er ikke invertibel og mængden en ægte delmængde, da den ikke kan indeholde . Ud fra dette kan man så se at den må være indeholdt i et maksimalt ideal som ved[15] er kernen af en multiplikativ lineær funktional . Så da da er .
Omvendt, hvis , så kan vi finde et sådan så . Så givet et hvilket som helst ikke triviel multiplikativ lineær funktional på , da har vi at . Dette giver os så at eller for ethvert .
Sætning (Gelfand): Hvis er et element i en unital Bananch algebra , så er .[16]
Hvis er en unital C* algebra og er normal holder følgende[17]:
Hvis er et selvadjungeret element i en unital C* algebra , så siges at være positiv hvis , og så skrives og de positive elementer i skrives som .[18]
Sætning: Hvis vi lader være en lukket delalgebra af en unital Banach algebra som indeholde enheden for , så gælder følgende[19]:
Her ses det a vi ved hjælp af spektrum får vigtig information omkring operatoren.
Det kan godt være vanskeligt at bestemme hvad spektret for en operator præcist er, så vi vil ønske at kunne indskrænke vores søgeområde. Dette er lige netop hvad den næste sætning giver os mulighed for at gøre.
Sætning (spektral radius formel): Hvis , som er en unital Banach algebra, da er spektral radius [20]
Med denne sætning ved hånden, kan vi nu bestemme hvilket område i som spektret ligger i, og dermed indskrænke vores eftersøgningsområde for at bestemme spektret.
Eksempel: Hvis vi har , hvor er et kompakt Hausdorff rum og dermed at er en Banach algebra, så ses det at , hvor , så . Benytter vi os af spektral radius formlen, så ses det at da .
Spektret bruges som tidligere nævnt til at bestemme vigtige egenskaber ved en operator, så som om den er selvadjungeret, normal eller positiv.
Spektret for en operator bruges til klassifikation af operatoren i form af spektral sætningen (der findes flere versioner af denne). Dette skal ses som en udvidelse af den klassifikation som man ser i lineær algebra hvor der gøres brug af egenværdier, egenrum, minimal og karakteristiske polynomier.
Spektrum bruges også indenfor kvantemekanik, hvor spektret for en operator relateres til forklaringen af spektret for atomer[21].
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.