Hilbert Book Model Project/Quaternionic Hilbert Spaces/de

From testwiki
Revision as of 15:41, 30 May 2017 by imported>HansVanLeunen (Nicht separablen Hilbertraum)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

<Hilbert Book Model Project/de Template:Translations

Hilberträume

Um die Wende des 19. Jahrhunderts bis in das zwanzigste Jahrhundert entwickelten David Hilbert und andere den Typ des Vektorraums, der später den Namen von Hilbert erhielt.

Der Hilbertraum ist ein bestimmter Vektorraum, weil er ein inneres Produkt für jedes Paar seiner Mitgliedsvektoren definiert.

Dieses innere Produkt kann Werte eines Zahlensystems annehmen, für das jedes Nicht-Null-Mitglied eine einzigartige Umkehrung besitzt. Diese Anforderung vermarktet das Zahlensystem als Divisionsring.

Bras und Kets

Paul Dirac führte eine handliche Formulierung für das innere Produkt ein, das einen bra und ein Ket anwendet.

Der Bra  f| Ist ein kovarianter Vektor und der Ket |g Ist ein kontravarianter Vektor. Das innere Produkt fungiert als Metrik.

Für Bra-Vektoren halten

Template:NumBlk

Template:NumBlk

Für Ket-Vektoren halten

Template:NumBlk

Template:NumBlk

Inneres Produkt

Für das innere Produkt s=f|g hält das s Mitglied eines Divisionsringes ist.

Template:NumBlk

Für quaternionische Zahlen  α und β halt

Template:NumBlk

Template:NumBlk

Template:NumBlk

So

Template:NumBlk

Template:NumBlk

Wir haben eine Wahl getroffen . Wir könnten stattdessen definieren αf|=αf| and |αg=|gα*.

Separable

In der  Mathematik wird ein topologischer Raum als separable bezeichnet, wenn er eine abzahlbare dichte Teilmenge enthält ; Das heißt, es existiert eine  sequenz {|xi}i=0 von Elementen des Raumes, so dass jede nichtleere offene Teilmenge des Raumes mindestens ein Element der Sequenz enthält.

Seine Werte auf dieser abzählbaren dichten Teilmenge bestimmen jede stetige Funktion auf dem separablen Raum .

Der Hilbertraum  is separable. Das bedeutet, dass eine abzählbare Reihe von Elementen {|fn} Existiert, die den ganzen Raum aufspannt.

Wennfm|fn=δ(m,n) = [1 für m=n; 0 sonnst] dann {|fn} bildet eine orthonormale Basis des Hilbertraumes.

Ein Ket-Base  {|k} of Ist ein minimaler Satz von Ket-Vektoren |k dass zusammen den Hilbertraum aufspannen.

Jeder Ket-Vektor |f im kann als eine lineare Kombination von Elementen von {|k} geschrieben werden.

Template:NumBlk

Ein Bra Base  {b|} of Ist ein minimaler Satz von Bra-Vektoren b| dass zusammen den Hilbertraum aufspannen.

Jeder Bra-Vektor  f| im kann als eine lineare Kombination von Elementen von {b|} geschrieben werden.

Template:NumBlk

Normalerweise wählt eine Basis Vektoren aus, so dass ihre Norm gleich 1 ist. Eine solche Basis wird als orthonormale Basis bezeichnet.

Operatoren

Operatoren wirken auf eine Teilmenge der Elemente des Hilbertraumes.

Linear operatoren

Ein operator L ist linear wenn für alle Vektoren |f und |g für welche L definiert ist und für alle quaternionischen Zahlen α und β Template:NumBlk

Operator B ist colinear wenn für alle Vektore |f für welche B definiert ist und für alle quaternionischen Zahlen α es eine quaternionische Zahl γ gibt so dass

Template:NumBlk

Wenn |a ein Eigenvektor des Operators A ist mit quaternionischem Eigenwert α

Template:NumBlk

dann ist |βa ein Eigenvektor des Operators A mit quaternionischem Eigenwert β1αβ.

Template:NumBlk

A ist die adjungale des normalen operator A.

Template:NumBlk

Template:NumBlk

Template:NumBlk

Template:NumBlk 

Wenn A=A , dann ist A ein selbst adjungierter Operator.

| ist ein nil operator.

Eine lineare Transformation L von Hilbertraum  ändert den Wert des inneren Produktes mit dem transformierten Vektor..

Template:NumBlk

Die Wirkung der Transponenttransformation L wird dann gegeben durch

Template:NumBlk

Ein linearer Operator ist normal, wenn LL existiert und LL=L L.

Für eine normale transformation N holds

Template:NumBlk

So

Template:NumBlk

Template:NumBlk

Template:NumBlk

Template:NumBlk

Template:NumBlk

Nr ist der Hermitesche Teil von N.

N ist der anti-Hermitesche Teil von N.

Für zwei normale Operatoren A und B halt

Template:NumBlk

Für eine unitare transformation Ugilt

Template:NumBlk

Schließung

Die Schließung von  bedeutet, dass konvergierende Reihen von Vektoren zu einem Vektor von konvergieren 

Operator Konstruktion

|fg| ist eine a lineare operator. |gf| ist seine adjungierte operator.

Für die Orthonormalbasis {|qi} halt

Template:NumBlk

Template:NumBlk

Diese Definition ermöglicht die Abkürzung

Template:NumBlk

Es ist leicht zu beweisen, dass

Template:NumBlk

Für der Referenz operator x gilt

Template:NumBlk

Wenn {qix} besteht aus allen rationalen Werten einer Version des quaternionischen Zahlensystems (gekennzeichnet durch hochgestelltes x) dann stellt x den Parameterraum der (diskreten) Funktion F(qix) dar.

Template:NumBlk

Das Hochsymbol   x auslassen bedeutet, dass wir Zahlen aus der Version des Zahlensystems nehmen, das der Spezifikation des inneren Produktes dient.

Wir nennen die Kombination von Gleichung 32 und Gleichung 33 die umgekehrte bra-ket Methode.

Nicht separablen Hilbertraum

Jeder unendlich dimensionale, separablen Hilbertraum  Besitzt einen einzigartigen, nicht separablen Begleiter-Hilbertraum . Dies wird durch die Schließung der Eigenräume aller Referenzoperatoren erreicht. In dieser Prozedur verliert der Gedanke der Dimension der Unterräume bei vielen Gelegenheiten ihren Sinn.

Gelfand dreifach und Rigged Hilbertraum sind andere Namen für die allgemeinen nicht separablen Hilberträume.

Im nicht separablen Hilbertraum, wendet sich das Rückwärts-Bra-Ket-Verfahren für Operatoren mit Kontinuum-Eigenräumen, von einer Summation in eine IntegrationTemplate:NumBlk

Hier verschwanden die Indizes der abzählbaren Basis.

Die entsprechende Kurzschrift für den operator F istTemplate:NumBlkFür Eigenvektoren |q definiert sich die Function F(q) alsTemplate:NumBlk Der Referenzoperator  der das Hintergrundparameterraum als dessen Eigenraum liefert, folgt aus

Template:NumBlk

Mit Kurzschrift

Template:NumBlk

Schwimmende Plattformen

Der nicht separablen Hilbertraum kann dieselben Versionen des quaternionischen Zahlensystems verwenden, um eine Reihe von Parameterräumen zu definieren, die Eigenspuren entsprechender Referenzoperatoren sind, da es sich um einen separablen Begleiter handelt. Einer dieser Parameterräume ist besonders, weil er die Version des quaternionischen Zahlensystems anwendet, das der Spezifikation des inneren Produktes der begleitenden Hilberträume dient. Der entsprechende Eigenraum liefert den Hintergrundparameterraum der Hilberträume. Alle anderen Referenzoperatoren liefern Eigenräume, die in Bezug auf den Hintergrundparameterraum schwimmen und eine private Bestellsymmetrie besitzen. Ein kartesisches Koordinatensystem in Kombination mit einem Polarkoordinatensystem spezifiziert die Ordnungssymmetrie. Der Unterschied zwischen der Ordnungssymmetrie des Parameterraums mit der Ordnungssymmetrie des Hintergrundparameterraums bestimmt den Symmetriearoma des betrachteten Parameterraums. Der Symmetrie-Geschmack liefert eine symmetriebezogene Ladung, die sich an der geometrischen Mitte des schwebenden Parameterraums befindet. Diese symmetriebezogene Ladung wechselt mit einem symmetriebezogenen Feld.

Die schwimmenden Parameterräume und ihre symmetriebezogenen Ladungen gehören zu den Möbeln des separablen Hilbertraumes. Die Einbettung des separablen Hilbertraumes in den nicht separablen Hilbertraum führt zu einer Wechselwirkung mit dem symmetriebezogenen Feld.

Scannendes Unterraum

Die Eigenvektoren des Referenzoperators, die den Hintergrundparameterraum definieren, können in Bezug auf einen ausgewählten Progressionswert aufgeteilt werden, der die reellen Teile der Eigenwerte spezifiziert. Die Eigenvektoren, die dem Progressionswert entsprechen, überspannen einen Scan-Unterraum, der einen statischen Status quo darstellt. Niedrigere Werte des Realteils des Eigenwerts definieren den historischen Teil des Hilbertraumes. Höhere Werte definieren den zukünftigen Teil des Hilbertraumes. Dieser Scan-Unterraum verwandelt das Basismodell , das aus einem separablen Hilbertraum und seinem nicht-separablen Hilbertraum besteht, zu einem dynamischen Modell .

Der separablen Hilbertraum  Und seine nicht-separablen Begleiter Hilbertraum  kombinieren in ein Basismodell ᙕ, in dem den raum einbettet über einen Einbettungsprozess, der im Scan-Unterraum stattfindet

Progression τ schreitet mit in und fließt in .

Dieses Basismodell muss sich mit zusätzlichen Mechanismen erweiteren , die die dynamischen Orte von Objekten angeben, die auf den schwimmenden Plattformen herumlaufen. Diese zusätzlichen Mechanismen bilden das wichtigste Thema des vollständigen Hilbert- Buchmodells ᙢ.

Merging Technologien

Die Kombination der beiden Hilberträume  und zusammen mit den reverse-bra-ket Verfahren für die Definition von Operatoren über Referenz Operatoren und quaternionicsche Funktionen schafft ein leistungsfähiges Basismodell die quaternionische Hilbertraum Operator-technologie mit quaternionische Funktionstheorie und indirekt mit quaternionische Differential- und Integralrechnung kombiniert.

Die Kombination ermöglicht es, zu betrachten dass den nicht separablen Hilbertraum den separablen Hilbertraum  einbettet mittels einem laufenden Prozess, der als Funktion des Fortschritts eines Scan-Unterraums wirkt, der den Zeitpunkt der Einbettung definiert.

Solange eine Differenzierung oder Integration zu einer hinreichend stetigen Funktion führt, kann diese Funktion dazu beitragen, einen neuen Operator zu definieren. Dies bietet die Möglichkeit, die Lösungen von Differential- und Integralgleichungen innerhalb des Basismodells darzustellen.

Auch können die Ergebnisse stochastischer Prozesse im separablen Hilbertraum gespeichert werden und wenn das Ergebnis einen kohärenten und dichten Ortsschwarm bildet, so kann die entsprechende Ortsdichteverteilung in einem Kontinuum im nicht separablen Hilbertraum eingebettet werden. Dies wird im Hilbert-Buchmodell angewendet. 

Sets, kohärente Schwärme, Verteilungen und Einbetten von Kontinua 

Die operatoren im separablen Hilbertraum bieten folgenden Eigenräume an

  • Sätze von verstreuten Eigenwerten
  • Stochastische kohärente Schwärme von Eigenwerten
    • Stochastische kohärente Schwärme von Eigenwerten können von einem stochastischen Prozess, der eine charakteristische Funktion besitzt, erzeugt werden
    • Stochastische kohärente Schwärme von Eigenwerten können in Bezug auf ihren Zeitstempel sortiert werden und werden dann gut geordnete kohärente Schwärme
  • Stochastisch gut geordnete kohärente Schwärme von Eigenwerten sind in Bezug auf ihren Zeitstempel geordnet
    • Stochastische, gut geordnete, kohärente Schwärme von Eigenwerten können räumlich geordnet und dann geordnete Verteilungen von Eigenwerten werden
  • Geordnete Verteilungen von Eigenwerten 
    • Geordnete Verteilungen besitzen eine Standortdichteverteilung

Wenn ein Kontinuum eine geordnete Verteilung einbettet, dann ist die definierende Funktion des Operators, der das Kontinuum als Eigenraum hat, die Faltung der Ortsdichteverteilung der geordneten Verteilung mit der Green's-Funktion des Kontinuums.

Zum Beispiel führt eine geordnete Verteilung, die durch eine isotrope Gaußsche Funktion definiert ist, zu einem Einbettungs-Kontinuum, das durch eine 𝖤𝖱𝖥(r)r Function definiert ist.