Hilbert Book Model Project/Quaternionic Hilbert Spaces/de

From Wikiversity
Jump to navigation Jump to search

<Hilbert Book Model Project/de

Hilberträume[edit | edit source]

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[edit | edit source]

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

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

Für Bra-Vektoren halten

 

 

 

 

(1)

 

 

 

 

(2)

Für Ket-Vektoren halten

 

 

 

 

(3)

 

 

 

 

(4)

Inneres Produkt[edit | edit source]

Für das innere Produkt hält das Mitglied eines Divisionsringes ist.

 

 

 

 

(5)

Für quaternionische Zahlen  und halt

 

 

 

 

(6)

 

 

 

 

(7)

 

 

 

 

(8)

So

 

 

 

 

(9)

 

 

 

 

(10)

Wir haben eine Wahl getroffen . Wir könnten stattdessen definieren and .

Separable[edit | edit source]

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 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 Existiert, die den ganzen Raum aufspannt.

Wenn = [1 für ; 0 sonnst] dann bildet eine orthonormale Basis des Hilbertraumes.

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

Jeder Ket-Vektor  im kann als eine lineare Kombination von Elementen von geschrieben werden.

 

 

 

 

(11)

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

Jeder Bra-Vektor  im kann als eine lineare Kombination von Elementen von geschrieben werden.

 

 

 

 

(12)

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

Operatoren[edit | edit source]

Operatoren wirken auf eine Teilmenge der Elemente des Hilbertraumes.

Linear operatoren[edit | edit source]

Ein operator ist linear wenn für alle Vektoren  und für welche definiert ist und für alle quaternionischen Zahlen  und

 

 

 

 

(13)

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

 

 

 

 

(14)

Wenn ein Eigenvektor des Operators  ist mit quaternionischem Eigenwert 

 

 

 

 

(15)

dann ist ein Eigenvektor des Operators mit quaternionischem Eigenwert .

 

 

 

 

(16)

ist die adjungale des normalen operator .

 

 

 

 

(17)

 

 

 

 

(18)

 

 

 

 

(19)

 

 

 

 

(20)

Wenn , dann ist ein selbst adjungierter Operator.

| ist ein nil operator.

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

 

 

 

 

(21)

Die Wirkung der Transponenttransformation  wird dann gegeben durch

 

 

 

 

(22)

Ein linearer Operator ist normal, wenn  existiert und .

Für eine normale transformation holds

 

 

 

 

(23)

So

 

 

 

 

(24)

 

 

 

 

(25)

 

 

 

 

(26)

 

 

 

 

(27)

 

 

 

 

(28)

ist der Hermitesche Teil von .

ist der anti-Hermitesche Teil von .

Für zwei normale Operatoren  und halt

 

 

 

 

(29)

Für eine unitare transformation gilt

 

 

 

 

(30)

Schließung[edit | edit source]

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

Operator Konstruktion[edit | edit source]

ist eine a lineare operator. ist seine adjungierte operator.

Für die Orthonormalbasis  halt

 

 

 

 

(31)

 

 

 

 

(32)

Diese Definition ermöglicht die Abkürzung

 

 

 

 

(33)

Es ist leicht zu beweisen, dass

 

 

 

 

(34)

Für der Referenz operator gilt

 

 

 

 

(35)

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

 

 

 

 

(36)

Das Hochsymbol   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[edit | edit source]

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 Integration

 

 

 

 

(37)

Hier verschwanden die Indizes der abzählbaren Basis.

Die entsprechende Kurzschrift für den operator ist

 

 

 

 

(38)

Für Eigenvektoren  definiert sich die Function als

 

 

 

 

(38a)

Der Referenzoperator  der das Hintergrundparameterraum als dessen Eigenraum liefert, folgt aus

 

 

 

 

(39)

Mit Kurzschrift

 

 

 

 

(40)

Schwimmende Plattformen[edit | edit source]

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[edit | edit source]

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[edit | edit source]

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 [edit | edit source]

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  Function definiert ist.