Hilbert Book Model Project/Quaternionic Hilbert Spaces/nl

From Wikiversity
Jump to navigation Jump to search

<Hilbert Book Model Project/nl

Hilbertruimten[edit]

Rond de overgang van de negentiende eeuw in de twintigste eeuw ontwikkelde David Hilbert en anderen een type vectorruimte die later de naam kreeg van Hilbertruimte.

De Hilbertruimte is een opmerkelijke vectorruimte omdat het voor elk paar van Hilbertvectoren een inwendig product definieert.

Voor de waarde van dat inwendig product kunnen alleen leden van een getallenstelsel gebruikt worden, waarin elk niet-nul-lid een unieke inverse bezit. Deze eis beperkt het getallenstelsel tot de categorie van de delingsringen.

Bra's and ket's[edit]

Paul Dirac introduceerde een handige formulering voor het inwendige product, dat gebruik maakt van bra’s en ket’s.

De bra is een covariante vector de ket is een contra-variante vector. Het inwendig product fungeert als metriek.

Voor bra vectors geldt

 

 

 

 

(1)

 

 

 

 

(2)

Voor ket vectors geld

 

 

 

 

(3)

 

 

 

 

(4)

inwendig product[edit]

Voor het inwendig product geldt de eis dat een lid van een delingsring moet zijn.

 

 

 

 

(5)

Voor quaternionen en geldt

 

 

 

 

(6)

 

 

 

 

(7)

 

 

 

 

(8)

Dus

 

 

 

 

(9)

 

 

 

 

(10)

We hebben hier een keuze gemaakt. We zouden even goed kunnen definiëren dat and .

Separabel[edit]

In de wiskunde wordt een topologische ruimte separabel genoemd wanneer deze een aftelbare dichte deelverzameling bevat; dit betekent dat er een reeks van ruimte-elementen bestaat zodat elke open subset van de ruimte minstens één element of the reeks bevat.

De waarden op deze aftelbare dichte deelverzameling bepalen elke continue functie op de separable Hilbertruimte .

De Hilbertruimte is separabel. Dit betekent dat een aftelbare rij van elementen bestaat die de hele ruimte opspannen.

Als = [1 wanneer ; anders 0] dan vormt een orthonormale basis van de Hilbertruimte.

Een ket basis van is een minimale verzameling van ket vectoren die tezamen de Hilbertruimte opspannen.

Iedere ketvector in kan geschreven worden als een lineaire combinatie van elementen van .

 

 

 

 

(11)

Een bra basis of iis een minimale verzameling van bra vectoren die tezamen de Hilbertruimte opspannen.

Iedere bravector in kan geschreven worden als een lineaire combinatie van elementen van.

 

 

 

 

(12)

Gebruikelijk, worden voor een basis de vectoren zo geselecteerd dat hun norm gelijk aan 1 is Een dergelijke basis wordt orthonormale basis genoemd.

Operatoren[edit]

Operatoren werken op een subset van de elementen van de Hilbertruimte.

Lineaire operatoren[edit]

Een operator is lineair als voor alle vectoren en waarvoor gedefinieerd is en voor alle quaternionen en geldt

 

 

 

 

(13)

Operator is colinear als voor alle vectoren waarvoor gedefinieerd is en voor alle quaternionen er een quaternion bestaat zodat

 

 

 

 

(14)

Als een eigenvector van operator is met quaternionische eigenwaarde

 

 

 

 

(15)

dan is is een eigenvector van met quaternionische eigenwaarde .

 

 

 

 

(16)

is de toegevoegde van de normale operator .

 

 

 

 

(17)

 

 

 

 

(18)

 

 

 

 

(19)

 

 

 

 

(20)

Als , dan is een zelftoegevoegde operator.

| is een nil operator.

Een lineaire transformatie van Hilbertruimte verandert de waarde van het inwendig product met de getransformeerde vector.

 

 

 

 

(21)

Het effect van de transpose transformatie wordt nu gegeven door

 

 

 

 

(22)

Een lineaire operator is normal als bestaat en .

Voor een normale transformatie geldt

 

 

 

 

(23)

Dus

 

 

 

 

(24)

 

 

 

 

(25)

 

 

 

 

(26)

 

 

 

 

(27)

 

 

 

 

(28)

is het Hermitische deel van .

is het anti-Hermitische deel vanf .

Voor twee normale operatoren en geldt

 

 

 

 

(29)

Voor een unitaire transformatie geldt

 

 

 

 

(30)

Afsluiting[edit]

De afsluiting van betekent dat convergente reeksen van vectoren convergeren naar een vector van de afsluiting van .

Operator constructie[edit]

is een lineaire operator. is zijn toegevoegde operator.

Voor de orthonormale basis geldt

 

 

 

 

(31)

 

 

 

 

(32)

Deze definitie maakt de verkorte versie

 

 

 

 

(33)

Mogelijk.Het is evident dat

 

 

 

 

(34)

Voor referentie operator geldt

 

 

 

 

(35)

Als uit alle rational waarden van een versie van het quaternionische getallenstelsel bestaat, dan vertegenwoordigt de parameterruimte van de (discrete) functie .

Het superscript geeft de versie van het getallensysteem aan.

 

 

 

 

(36)

Weglating van het superscript betekent dat de versie van het getallenstelsel gekozen is die met de achtergrondparameterruimte overeenkomt. Dat is het getallenstelsel dat ook voor de specificatie van het inwendig product gebruikt wordt.

We noemen de combinatie van vergelijkingen 32 en 33 de reverse bra-ket methode.

Niet-separable Hilbertruimte[edit]

Elke oneindig dimensionale separabele Hilbertruimte bezit een unieke nietn-separabele compagnon Hilbertruimte . Dit wordt bereikt door de afsluiting van de eigenruimten van alle referentie-operatoren.

In deze procedure, verliest in veel situaties het begrip van de dimensie van deelruimten zijn gebruikelijke betekenis.

Gelfand triple en Rigged Hilbert space zijn andere namen voor de algemene niet separabele Hilbertruimte. .

In de niet-separabele Hilbertruimte, gaat de summatie voor de reverse bra-ket methode voot operatoren met een continuum eigenruimte over in een integratie.

 

 

 

 

(37)

Hier verdwijnen de subscripts van de vectoren van de niet meer aftelbare bases.

De corresponderende verkorte schrijfwijze voor operator is

 

 

 

 

(38)

Voor eigenvectoren definieert de function als

 

 

 

 

(38a)

De referentie operator die de achtergrondparamerruimte als eigenruimte levert volgt uit

 

 

 

 

(39)

met verkorte notatie

 

 

 

 

(40)

Drijvend platform[edit]

De niet-separabele Hilbertruimte kan dezelfde versies van het quaternionische getallenstelsel gebruiken om een ​​reeks parameterruimten die eigenruimten zijn van overeenkomstige referentie operatoren te definieren als zijn separabele metgezel dat deed. Een van deze parameterruimten is bijzonder omdat het de versie van de quaternionischegetallenstelsel gebruikt dat voor de specificatie van het inwendige product van de Hilbertruimte dient. De bijbehorende eigenruimte levert de achtergrondparameterruimte van de Hilbertruimte. Alle andere referentie-operatoren leveren eigenruimten die over de achtergrondparameterruimte drijven en die beschikken over een eigen ordeningssymmetrie. Een Cartesiaans coördinatenstelsel in combinatie met een polair coördinatensysteem specificeert de ordeningssymmetrie. Het verschil tussen de ordeningssymmetrie van de parameterruimte met de ordeningssymmetrie van de achtergrondparameterruimte bepaalt het symmetrieboeket van de beschouwde parameterruimte. Het symmetrieboeket levert de symmetrie-gerelateerde lading die lokaliseert in het geometrische midden van de drijvende parameterruimte. Deze symmetrie-gerelateerde lading werkt samen met een symmetrie-gerelateerde veld.

De drijvende parameterruimten en hun symmetrie-gerelateerde ladingen behoren tot het meubilair van de separabele Hilbertruimte. Het inbedden van de separabele Hilbertruimte in de niet-separabele Hilbertruimte introduceert een interactie met het symmetrie-gerelateerde veld.

Scannende deelruimte[edit]

De eigenvectoren van de referentie-operator die de achtergrondparameterruimte definieert kan met behulp van een geselecteerde progressiewaarde die de reële delen van de eigenwaarden aangeeft gesplitst worden. De eigenvectoren die overeenkomen met de progressiewaarde omspannen een scannende deelruimte die een statische status quo vertegenwoordigt. Lagere waarden van het reële deel van de eigenwaarde definiëren het historische deel van de Hilbertruimte. Hogere waarden bepalen het toekomst deel van de Hilbertruimte. De scannende deelruimte verandert het basismodel dat bestaat uit een separabele Hilbertruimte en de begeleidende niet-separabele Hilbertruimte in een dynamisch model.

De separabele Hilbertruimte en de niet-separabele metgezel Hilbertruimte combineren in een basismodel waarin de ruimte omssluit via een inbeddingsproces dat in de scanrichting van deelruimte plaatsvindt.

Progressie stapt met in en vloeit in .

Extra mechanismen breiden het basismodel uit tot het volledige Hilbert Boek Model ᙢ. De extra mechanismen leveren de dynamische locaties van de objecten die rondhuppelen op de drijvende platforms.

Het samenvoegen van technologieën[edit]

De combinatie van beide Hilbertruimten en samen met de reverse bra-ket methode voor het definiëren van operatoren via referentie operatoren en quaternionische functies creëert een sterk basismodel dat quaternionische Hilbertruimte technologie samenvoegt met quaternionische functietheorie en indirect met quaternionische differentiaal en integraalrekening.

De combinatie maakt het mogelijk om aan te nemen dat de niet-deelbare Hilbertruimte de separabele Hilbertruimte omsluit in een continu proces dat samen met het verloop van een scannende deelruimte die het tijdstip van de inbedding definieert functioneert.

Zolang een differentiatie of integratie leidt tot een voldoende continue functie, dan is deze functie kan helpen om een nieuwe gebruiker te definiëren. Dit biedt de mogelijkheid om de oplossingen van differentiële als integrale binnen het basismodel vertegenwoordigt .

Tevens kunnen de resultaten van stochastische processen worden opgeslagen in de separabele Hilbertruimte . Als het resultaat een coherente en dichte locatie zwerm vormt, dan kan de bijbehorende locatiedichtheidsverdeling ingebed worden opgeslagen in een continuum in de niet-separabele Hilbertruimte . Dit wordt toegepast in het Hilbert Boek Model .

Sets, coherente zwermen, verdelingen en verankering continuüms[edit]

De operatoren in de separabele Hilbertruimte bezitten eigenruimten in de vorm van

  • Verzamelingen van verspreide eigenwaarden
  • Stochastische coherente zwermen van eigenwaarden
    • Stochastische coherente zwermen van eigenwaarden kunnen beschouwd worden als te zijn gevormd door een stochastisch proces dat een karakteristieke functie bezit
    • Stochastische coherente zwermen van eigenwaarden kunnen geordend zijn met betrekking tot hun tijdstempel en worden dan goed geordende samenhangende zwermen
  • Stochastische goed geordende coherente zwermen van eigenwaarden zijn gerangschikt met betrekking tot hun tijdstempel
    • Stochastische goed geordende coherente zwermen van eigenwaarden kunnen ruimtelijk worden gerangschikt zijn en worden daardoor volledig geordende verdelingen van eigenwaarden
  • Geordende verdelingen van eigenwaarden
    • Geordende verdelingen bezitten een locatiedichtheidsverdeling

Als een continuüm een geordende verdeling omsluit dan is dit continuum eigenruimte van een operator die door een functie wordt gedefinieerd. Deze functie is de convolutie van de locatiedichtheidsverdeling van de geordende verdeling met Green's functie van het continuüm.

Bijvoorbeeld een geordende verdeling die wordt gedefinieerd door een isotrope Gaussische functie leidt tot een inbeddend continuüm dat gedefinieerd wordt door de functie .

Fourier-transformaties[edit]

Fourier transformaties kan een spectrale analyse van een continuüm voeren. De quaternionische Fourier-transformatie bestaan ​​in een links georiënteerd en rechts georiënteerde versie. Fourier-transformatie paren beschrijven hetzelfde continuüm.

Spectraalanalyse beperkt maar beter tot een enkele richting per geval.