Skalarprodukt

Das Skalarprodukt zweier Vektoren im euklidischen Anschauungsraum hängt von der Länge der Vektoren und dem eingeschlossenen Winkel ab.

Das Skalarprodukt (auch inneres Produkt oder Punktprodukt) ist eine mathematische Verknüpfung, die zwei Vektoren eine Zahl (Skalar) zuordnet. Es ist Gegenstand der analytischen Geometrie und der linearen Algebra. Historisch wurde es zuerst im euklidischen Raum eingeführt. Geometrisch berechnet man das Skalarprodukt a→⋅b→ (sprich „a mal b“) zweier Vektoren a→ und b→ nach der Formel

a→⋅b→=|a→||b→|cos⁡∢(a→,b→).

Dabei bezeichnen |a→| und |b→| jeweils die Längen (Beträge) der Vektoren. Mit cos⁡∢(a→,b→)=cos⁡φ wird der Kosinus des von den beiden Vektoren eingeschlossenen Winkels φ (phi) bezeichnet. Das Skalarprodukt zweier Vektoren gegebener Länge ist damit null, wenn sie senkrecht zueinander stehen.

In einem zweidimensionalen kartesischen Koordinatensystem berechnet sich das Skalarprodukt zweier Vektoren a→=(a1,a2) und b→=(b1,b2) als

a→⋅b→=a1b1+a2b2.

In einem dreidimensionalen kartesischen Koordinatensystem berechnet sich das Skalarprodukt zweier Vektoren a→=(a1,a2,a3) und b→=(b1,b2,b3) als

a→⋅b→=a1b1+a2b2+a3b3.

In der linearen Algebra wird dieses Konzept auf beliebig viele Dimensionen verallgemeinert mittels

a→⋅b→=a1b1+a2b2+…+anbn.

Noch allgemeiner versteht man in der linearen Algebra unter einem Skalarprodukt eine Funktion, die zwei Elementen eines reellen oder komplexen Vektorraums einen Skalar zuordnet, genauer eine (positiv definite) hermitesche Sesquilinearform bzw. spezieller bei reellen Vektorräumen eine (positiv definite) symmetrische Bilinearform. Im Allgemeinen ist in einem Vektorraum von vornherein kein Skalarprodukt festgelegt. Ein Raum zusammen mit einem Skalarprodukt wird als Innenproduktraum oder Prähilbertraum bezeichnet. Diese Vektorräume verallgemeinern den euklidischen Raum und ermöglichen damit die Anwendung geometrischer Methoden auf abstrakte Strukturen.

Im euklidischen Raum

Geometrische Definition und Notation

Vektoren im dreidimensionalen euklidischen Raum oder in der zweidimensionalen euklidischen Ebene kann man als Pfeile darstellen. Dabei stellen Pfeile, die parallel, gleich lang und gleich orientiert sind, denselben Vektor dar. Das Skalarprodukt a→⋅b→ zweier Vektoren a→ und b→ ist ein Skalar, das heißt eine reelle Zahl. Geometrisch bzw. koordinatenfrei lässt es sich wie folgt definieren:

Bezeichnen a=|a→| und b=|b→| die Längen der Vektoren a→ und b→ und bezeichnet φ=∢(a→,b→) den von a→ und b→ eingeschlossenen Winkel, so ist

a→⋅b→:=|a→||b→|cos⁡∢(a→,b→)=abcos⁡φ.

Hierbei muss a→,b→≠0→ vorausgesetzt werden, da ansonsten φ=∢(a→,b→) nicht erklärt ist. Ist a→=0→ oder b→=0→, so ist a→⋅b→:=0.

Andere übliche Notationen sind a→∘b→, a→∙b→,⟨a→,b→⟩ und (a→,b→). Wie bei der normalen Multiplikation wird (wenn klar ist, was gemeint ist) das Multiplikationszeichen manchmal weggelassen: a→⋅b→=a→b→. Statt a→⋅a→ schreibt man auch kurz a→2.

Beispiele

In allen vier Beispielen gilt |a→|=5 und |b→|=3. Die Skalarprodukte ergeben sich mithilfe der speziellen Kosinuswerte cos⁡0∘=1, cos⁡60∘=0,5, cos⁡90∘=0 und cos⁡120∘=−0,5:

Geometrische Deutung

Geometrische Deutung des Skalarprodukts a→⋅b→ als Länge der orthogonalen Projektion b→a→ mal der Länge von a→

Die Zahl a→⋅b→ ergibt sich geometrisch folgendermaßen: Projiziert man den Vektor b→ auf die durch a→ bestimmte Gerade, so erhält man einen Vektor b→a→. Schließen a→ und b→ einen Winkel 0≤φ≤90∘ein, so ist |b→|cos⁡φ nach der Definition des Kosinus die Länge von b→a→. Multipliziert man diese Länge mit dem Betrag von a→, so erhält man die Zahl a→⋅b→. Schließen a→ und b→ hingegen einen Winkel 90∘<φ≤180∘ ein, so entspricht |b→|cos⁡φ der Länge von b→a→, jedoch mit einem negativen Vorzeichen versehen.

Insgesamt gilt also: Das Skalarprodukt a→⋅b→ ist gleich dem Produkt der Länge von a→ und der Länge der Projektion b→a→ von b→ auf die Richtung von a→. Es hat dabei positives oder negatives Vorzeichen, je nachdem a→ und b→a→ die gleiche oder entgegengesetzte Richtung haben. Aus Symmetriegründen entspricht a→⋅b→ zugleich dem vorzeichenbehafteten Produkt der Länge von b→ und der Länge der Projektion a→b→ von a→ auf die Richtung von b→.

Darstellung in kartesischen Koordinaten

Führt man in der euklidischen Ebene bzw. im euklidischen Raum kartesische Koordinaten ein, so besitzt jeder Vektor eine Koordinatendarstellung als 2- bzw. 3-Tupel, das meist als Spalte geschrieben wird.

In der euklidischen Ebene erhält man dann für das Skalarprodukt der Vektoren

a→=(a1a2)  und  b→=(b1b2)

die Darstellung

a→⋅b→=(a1a2)⋅(b1b2)=a1b1+a2b2.
Kanonische Einheitsvektoren in der euklidischen Ebene

Für die kanonischen Einheitsvektoren e→1=(10) und e→2=(01) gilt nämlich

e→1⋅e→1=1, e→1⋅e→2=e→2⋅e→1=0 und e→2⋅e→2=1.

Daraus folgt (unter Vorwegnahme der weiter unten erläuterten Eigenschaften des Skalarproduktes)

a→⋅b→=(a1e→1+a2e→2)⋅(b1e→1+b2e→2)=a1b1e→1⋅e→1+a1b2e→1⋅e→2+a2b1e→2⋅e→1+a2b2e→2⋅e→2=a1b1+a2b2.

Im dreidimensionalen euklidischen Raum erhält man entsprechend für die Vektoren

a→=(a1a2a3)  und  b→=(b1b2b3)

die Darstellung

a→⋅b→=(a1a2a3)⋅(b1b2b3)=a1b1+a2b2+a3b3.

Beispielrechnung

Das Skalarprodukt der beiden Vektoren

a→=(123)  und  b→=(−789)

berechnet sich als

a→⋅b→=1⋅(−7)+2⋅8+3⋅9=36.

Eigenschaften

Aus der geometrischen Definition ergibt sich direkt:

  • Sind a→ und b→ parallel und gleichorientiert (φ=0∘), so gilt
    a→⋅b→=|a→||b→|.
  • Insbesondere ergibt das Skalarprodukt eines Vektors mit sich selbst das Quadrat seiner Länge:
    a→⋅a→=|a→|2.
  • Hieraus folgt
    a→⋅a→≥0 und a→⋅a→=0⟺a→=0→.
  • Sind a→ und b→ parallel und entgegengesetzt orientiert (φ=180∘), so gilt
    a→⋅b→=−|a→||b→|.
  • a→ und b→ sind genau dann orthogonal, wenn a→⋅b→=0.
  • Ist ∢(a→,b→) ein spitzer Winkel, so gilt a→⋅b→>0.
  • Ist ∢(a→,b→) ein stumpfer Winkel, so gilt a→⋅b→<0.
  • Für Einheitsvektoren â,b̂ gilt â⋅b̂=cos⁡∢(â,b̂).
  • Für Vektoren e→i,e→j einer Orthonormalbasis gilt e→i⋅e→j=1, falls i=j und e→i⋅e→j=0, falls i≠j.
  • |a→⋅b→|≤|a→||b→| (Cauchy-Schwarzsche Ungleichung) und |a→⋅b→|=|a→||b→|⟺a→,b→ sind linear abhängig.

Als Funktion, die jedem geordneten Paar (a→,b→) von Vektoren die reelle Zahl a→⋅b→ zuordnet, hat das Skalarprodukt folgende Eigenschaften, die man von einer Multiplikation erwartet:

  1. Es ist symmetrisch (Kommutativgesetz):
    a→⋅b→=b→⋅a→ für alle Vektoren a→ und b→.
  2. Es ist homogen in jedem Argument (gemischtes Assoziativgesetz):
    (ra→)⋅b→=r(a→⋅b→)=a→⋅(rb→) für alle Vektoren a→ und b→ und alle Skalare r∈ℝ.
  3. Es ist additiv in jedem Argument (gemischte Distributivgesetze):
    a→⋅(b→+c→)=a→⋅b→+a→⋅c→ und
    (a→+b→)⋅c→=a→⋅c→+b→⋅c→ für alle Vektoren a→, b→ und c→.

Die Eigenschaften 2 und 3 bedeuten, dass das Skalarprodukt linear in beiden Argumenten ist, also bilinear.

Die Bezeichnung gemischtes Assoziativgesetz für die 2. Eigenschaft verdeutlicht, dass dabei ein Skalar und zwei Vektoren so verknüpft werden, dass die Klammern wie beim Assoziativgesetz verschoben werden können. Da das Skalarprodukt keine innere Verknüpfung ist, ist ein Skalarprodukt von drei Vektoren nicht definiert, daher stellt sich die Frage nach einer echten Assoziativität nicht. Im Ausdruck (a→⋅b→)c→ ist nur die erste Multiplikation ein Skalarprodukt von zwei Vektoren, die zweite ist das Produkt eines Skalars mit einem Vektor (S-Multiplikation). Der Ausdruck stellt einen Vektor dar, ein Vielfaches des Vektors c→. Hingegen stellt der Ausdruck a→(b→⋅c→) ein Vielfaches von a→ dar. Im Allgemeinen gilt also

(a→⋅b→)c→≠a→(b→⋅c→).

Beziehung zum Kreuzprodukt

Für die Verbindung vom Skalarprodukt mit dem Kreuzprodukt gelten die folgenden Rechenregeln:

  • (a→×b→)⋅c→=a→⋅(b→×c→)
  • (a→×b→)⋅c→=−(b→×a→)⋅c→
  • (a→×b→)⋅a→=(a→×b→)⋅b→=0
  • (a→×b→)⋅(a→×b→)=(a→⋅a→)(b→⋅b→)−(a→⋅b→)2

Die Kombination aus Kreuzprodukt und Skalarprodukt der ersten beiden Regeln nennt man auch Spatprodukt; es ergibt das orientierte Volumen des durch die drei Vektoren a→,b→,c→ aufgespannten Parallelepipeds.

Anwendungen

Betrag von Vektoren und eingeschlossener Winkel

Indem man die geometrische Definition mit der Koordinatendarstellung kombiniert, kann man die Länge (den Betrag) eines Vektors und den von zwei Vektoren eingeschlossenen Winkel aus den Koordinaten der Vektoren berechnen:

Für einen Vektor a→=(a1a2) des zweidimensionalen Raumes gilt

|a→|=a→⋅a→=(a1a2)⋅(a1a2)=a12+a22.

Man erkennt hier den Satz des Pythagoras wieder. Im dreidimensionalen Raum gilt für a→=(a1a2a3) entsprechend

|a→|=a→⋅a→=a12+a22+a32.

Zur Berechnung des eingeschlossenen Winkels zwischen zwei Vektoren a→,b→≠0 stellt man die Definitionsgleichung nach cos⁡∢(a→,b→) um:

cos⁡∢(a→,b→)=a→⋅b→|a→||b→|.

Die einzelnen Bestandteile a→⋅b→,|a→| und |b→| kann man mit den entsprechenden Formeln für die kartesischen Koordinaten berechnen. Um den Winkel φ=∢(a→,b→) zu erhalten, muss man noch den Arkuskosinus auf das Ergebnis der Rechnung anwenden:

φ=arccos⁡(a→⋅b→|a→||b→|) .
Beispielrechnung

Die Vektoren

a→=(123)  und  b→=(−789)

haben die Länge

|a→|=12+22+32=14≈3,74 und |b→|=(−7)2+82+92=194≈13,93.

Der Kosinus des von den beiden Vektoren eingeschlossenen Winkels berechnet sich mit a→⋅b→=1⋅(−7)+2⋅8+3⋅9=36 zu

cos⁡∢(a→,b→)=3614⋅194≈0,691.

Somit ist ∢(a→,b→)=arccos⁡(3614⋅194)≈46,3∘.

Orthogonalität und orthogonale Projektion

Der Vektor b→a→ ist die orthogonale Projektion von b→ auf die Richtung von a→.

Mithilfe des Skalarprodukts lässt sich die orthogonale Projektion von b→ auf die durch den Vektor a→≠0→ gegebene Richtung ausdrücken:

b→a→=baa→|a→|=b→⋅a→|a→|2a→.

Die Projektion b→a→ ist der Vektor, dessen Endpunkt der Lotfußpunkt vom Endpunkt von b→ auf die durch a→ bestimmte Ursprungsgerade ist. Der Vektor b→−b→a→ steht senkrecht auf a→. Bei der Projektion von b→ auf einen Einheitsvektor e→ (d. h. |e→|=1) vereinfacht sich die Formel zu

b→e→=bae→=(b→⋅e→)e→.

Folglich gibt b→⋅e→ die vorzeichenbehaftete Länge des orthogonal auf e→ projizierten Vektors b→ an.

Kosinussatz mit Vektoren

Hilfsmittel für elementargeometrische Beweise

Mithilfe des Skalarprodukts lassen sich elementargeometrische Sätze, in denen von Winkeln die Rede ist, auf elegante Art beweisen. Dazu müssen zunächst die Voraussetzungen und die Behauptung des Satzes in die Vektorsprache übersetzt werden.

Behauptung: (Kosinussatz)

c2=a2+b2−2abcos⁡γ.

Beweis: Mit Hilfe der eingezeichneten Vektoren folgt c→=−b→+a→. (Die Richtung von c→ ist unerheblich.) Quadrieren des Betrags ergibt

|c→|2=c→⋅c→=(a→−b→)⋅(a→−b→)=a→⋅a→−2a→⋅b→+b→⋅b→=|a→|2+|b→|2−2a→⋅b→

und damit

c2=a2+b2−2abcos⁡γ.

Beschreibung von Geraden und (Hyper-)Ebenen

Mit Hilfe des Skalarprodukts, eines Stützvektors p→ und eines Normalenvektors n→ lassen sich Geraden in der Ebene, Ebenen im dreidimensionalen Raum oder allgemein Hyperebenen darstellen, und zwar in der sogenannten Normalenform:

(x→−p→)⋅n→=0

Eine Gerade, Ebene bzw. Hyperebene besteht dann aus denjenigen Punkten, deren Ortsvektoren x→ die Gleichung erfüllen. Im Gegensatz zur Punktrichtungsform handelt es sich hierbei um eine Gleichung ohne Parameter.

In der Physik

Beispiel schiefe Ebene

In der Physik sind viele Größen durch das Skalarprodukt definiert, wie zum Beispiel die Arbeit W:

W=F→⋅s→=|F→||s→|cos⁡φ=Fs⋅s=F⋅h

mit den vektoriellen Größen Kraft F→ und Weg s→. Dabei bezeichnet φ den Winkel zwischen der Richtung der Kraft und der Richtung des Weges. Mit Fs wird die Komponente der Kraft in Richtung des Weges bezeichnet, mit h die Komponente des Weges in Richtung der Kraft.

Beispiel: Ein Wagen des Gewichts F wird über eine schiefe Ebene von A nach B transportiert. Die Hubarbeit W berechnet sich zu

W=F→⋅s→=F⋅h=F⋅s⋅cos⁡φ=5N⋅3m⋅cos⁡63∘=6,81J.

In allgemeinen reellen und komplexen Vektorräumen

Man nimmt die obigen Eigenschaften zum Anlass, den Begriff des Skalarprodukts auf beliebige reelle und komplexe Vektorräume zu verallgemeinern. Ein Skalarprodukt ist dann eine Funktion, die zwei Vektoren ein Körperelement (Skalar) zuordnet und die genannten Eigenschaften erfüllt. Im komplexen Fall modifiziert man dabei die Bedingung der Symmetrie und der Bilinearität, um die Positivdefinitheit zu retten (die für komplexe symmetrische Bilinearformen nie erfüllt ist).

In der allgemeinen Theorie werden die Variablen für Vektoren, also Elemente eines beliebigen Vektorraums, im Allgemeinen nicht durch Pfeile gekennzeichnet. Das Skalarprodukt wird meist nicht durch einen Malpunkt, sondern durch ein Paar von spitzen Klammern bezeichnet. Für das Skalarprodukt der Vektoren x und y schreibt man also ⟨x,y⟩. Andere gebräuchliche Notationen sind ⟨x|y⟩ (vor allem in der Quantenmechanik in Form der Bra-Ket-Notation), (x,y) und (x|y).

Definition (Axiomatik)

Ein Skalarprodukt oder inneres Produkt auf einem reellen Vektorraum V ist eine positiv definite symmetrische Bilinearform ⟨⋅,⋅⟩:V×V→ℝ, das heißt, für x,y,z∈V und λ∈ℝ gelten die folgenden Bedingungen:

  1. linear in jedem der beiden Argumente:
    • ⟨x+y,z⟩=⟨x,z⟩+⟨y,z⟩
    • ⟨x,y+z⟩=⟨x,y⟩+⟨x,z⟩
    • ⟨λx,y⟩=λ⟨x,y⟩
    • ⟨x,λy⟩=λ⟨x,y⟩
  2. symmetrisch: ⟨x,y⟩=⟨y,x⟩
  3. positiv definit:
    • ⟨x,x⟩≥0
    • ⟨x,x⟩=0 genau dann, wenn x=0

Ein Skalarprodukt oder inneres Produkt auf einem komplexen Vektorraum V ist eine positiv definite hermitesche Sesquilinearform ⟨⋅,⋅⟩:V×V→ℂ, das heißt für x,y,z∈V und λ∈ℂ gelten die folgenden Bedingungen:

  1. sesquilinear:
    • ⟨x+y,z⟩=⟨x,z⟩+⟨y,z⟩
    • ⟨λx,y⟩=λ¯⟨x,y⟩    (semilinear im ersten Argument)
    • ⟨x,y+z⟩=⟨x,y⟩+⟨x,z⟩
    • ⟨x,λy⟩=λ⟨x,y⟩    (linear im zweiten Argument)
  2. hermitesch: ⟨x,y⟩=⟨y,x⟩‾
  3. positiv definit:
    • ⟨x,x⟩≥0 (Dass ⟨x,x⟩ reell ist, folgt aus Bedingung 2.)
    • ⟨x,x⟩=0 genau dann, wenn x=0

Ein reeller oder komplexer Vektorraum, in dem ein Skalarprodukt definiert ist, heißt Skalarproduktraum oder Prähilbertraum. Ein endlichdimensionaler reeller Vektorraum mit Skalarprodukt wird auch euklidischer Vektorraum genannt, im komplexen Fall spricht man von einem unitären Vektorraum. Entsprechend wird das Skalarprodukt in einem euklidischen Vektorraum gelegentlich als euklidisches Skalarprodukt, das in einem unitären Vektorraum als unitäres Skalarprodukt bezeichnet. Die Bezeichnung „euklidisches Skalarprodukt“ wird aber auch speziell für das oben beschriebene geometrische Skalarprodukt oder das weiter unten beschriebene Standardskalarprodukt im ℝn benutzt.

Anmerkungen
  • Oft wird jede symmetrische Bilinearform bzw. jede hermitesche Sesquilinearform als Skalarprodukt bezeichnet; mit diesem Sprachgebrauch beschreiben die obigen Definitionen positiv definite Skalarprodukte.
  • Die beiden angegebenen Axiomensysteme sind nicht minimal. Im reellen Fall folgt aufgrund der Symmetrie die Linearität im ersten Argument aus der Linearität im zweiten Argument (und umgekehrt). Analog dazu folgt im komplexen Fall aufgrund der Hermitezität die Semilinearität im ersten Argument aus der Linearität im zweiten Argument (und umgekehrt).
  • Im komplexen Fall wird das Skalarprodukt manchmal alternativ, nämlich als linear im ersten und semilinear im zweiten Argument definiert. Diese Version tritt bevorzugt in der Mathematik und insbesondere in der Analysis auf, während in der Physik überwiegend die obige Version benutzt wird (siehe Bra- und Ket-Vektoren). Der Unterschied beider Versionen liegt in den Auswirkungen der Skalarmultiplikation hinsichtlich der Homogenität. Nach der Alternativversion gilt für x,y∈V und λ∈ℂ   ⟨λx,y⟩=λ⟨x,y⟩ und ⟨x,λy⟩=λ¯⟨x,y⟩. Die Additivität wird in beiden Versionen gleich verstanden. Ebenso sind die nach beiden Versionen aus dem Skalarprodukt gewonnenen Normen identisch.
  • Ein Prähilbertraum, der vollständig bezüglich der durch das Skalarprodukt induzierten Norm ist, wird als Hilbertraum bezeichnet.
  • Die Unterscheidung zwischen reellem und komplexem Vektorraum bei der Definition des Skalarprodukts ist nicht zwingend notwendig, da eine hermitesche Sesquilinearform im Reellen einer symmetrischen Bilinearform entspricht.
  • Eine komplexe Bilinearform kann nicht positiv definit sein. Durch die komplexe Konjugation formalisieren wir die Intuition, dass ein mit i skalierter Vektor rotiert wird, sich seine Länge allerdings nicht ändert. Daher ist eine Definition als Sesquilinearformen angebracht.

Beispiele

Standardskalarprodukt im Rn und im Cn

Ausgehend von der Darstellung des euklidischen Skalarprodukts in kartesischen Koordinaten definiert man in der linearen Algebra das Standardskalarprodukt im n-dimensionalen Koordinatenraum ℝn für x,y∈ℝn durch

⟨x,y⟩=∑i=1nxiyi=x1y1+x2y2+⋯+xnyn.

Das oben behandelte „geometrische“ Skalarprodukt im euklidischen Raum entspricht so dem Spezialfall n=3. Im Fall des n-dimensionalen komplexen Vektorraums ℂn definiert man das Standardskalarprodukt für x,y∈ℂn durch

⟨x,y⟩=∑i=1nxi‾yi=x1‾y1+x2‾y2+⋯+xn‾yn,

wobei der Überstrich die komplexe Konjugation bedeutet. In der Mathematik ist häufig auch die alternative Version gebräuchlich, bei der das zweite Argument statt des ersten konjugiert wird.

Das Standardskalarprodukt im ℝn bzw. ℂn lässt sich auch als Matrizenprodukt schreiben, indem man den Vektor als n×1-Matrix (Spaltenvektor) interpretiert: Im reellen Fall gilt

⟨x,y⟩=x𝖳y=y𝖳x,

wobei x𝖳 der Zeilenvektor ist, der aus dem Spaltenvektor x durch Transponieren hervorgeht. Im komplexen Fall gilt (für den links semilinearen, rechts linearen Fall)

⟨x,y⟩=x𝖧y,

wobei x𝖧 der zu x hermitesch adjungierte Zeilenvektor ist.

Allgemeine Skalarprodukte im Rn und im Cn

Allgemeiner definiert im reellen Fall jede symmetrische und positiv definite Matrix A über

⟨x,y⟩A=x𝖳Ay=⟨x,Ay⟩

ein Skalarprodukt; ebenso wird im komplexen Fall für jede positiv definite hermitesche Matrix A über

⟨x,y⟩A=x𝖧Ay=⟨x,Ay⟩

ein Skalarprodukt definiert. Hier bezeichnen die spitzen Klammern auf der rechten Seite das Standardskalarprodukt, die spitzen Klammern mit dem Index A auf der linken Seite das durch die Matrix A definierte Skalarprodukt.

Jedes Skalarprodukt auf ℝn bzw. ℂn lässt sich auf diese Art durch eine positiv definite symmetrische Matrix (bzw. positiv definite hermitesche Matrix) darstellen.

L2-Skalarprodukt für Funktionen

Auf dem unendlichdimensionalen Vektorraum C0([a,b],ℝ) der stetigen reellwertigen Funktionen auf dem Intervall [a,b] ist das L2-Skalarprodukt durch

⟨f,g⟩L2=∫abf(x)g(x)dx,

für alle f,g∈C0([a,b],ℝ), definiert. Die Voraussetzung der Stetigkeit kann dabei abgeschwächt werden (siehe Lp-Raum), denn bspw. ist das L2-Skalarprodukt auch für Treppenfunktionen wohldefiniert.

Des Weiteren lässt sich auch ein Skalarprodukt (H1-Skalarprodukt) definieren bei dem zusätzlich Ableitungsterme hinzukommen:

⟨f,g⟩H1=⟨f,g⟩L2+⟨f′,g′⟩L2

für alle f,g∈C1([a,b],ℝ). Auch hier kann die Voraussetzung der Differenzierbarkeit abgeschwächt werden (siehe Sobolev-Raum).

Frobenius-Skalarprodukt für Matrizen

Auf dem Matrizenraum ℝm×n der reellen (m×n)-Matrizen wird für A,B∈ℝm×n durch

⟨A,B⟩=spur⁡(A𝖳B)=∑i=1m∑j=1naijbij

ein Skalarprodukt definiert. Entsprechend wird auf dem Raum ℂm×n der komplexen (m×n)-Matrizen für A,B∈ℂm×n durch

⟨A,B⟩=spur⁡(A𝖧B)=∑i=1m∑j=1na¯ijbij

ein Skalarprodukt definiert. Dieses Skalarprodukt wird Frobenius-Skalarprodukt genannt und die dazugehörige Norm heißt Frobeniusnorm.

Norm, Winkel und Orthogonalität

Der Länge eines Vektors im euklidischen Raum entspricht in allgemeinen Skalarprodukträumen die vom Skalarprodukt induzierte Norm. Man definiert diese Norm, indem man die Formel für die Länge aus dem euklidischen Raum überträgt, als die Wurzel des Skalarprodukts des Vektors mit sich selbst:

‖x‖=⟨x,x⟩

Dies ist möglich, da ⟨x,x⟩ aufgrund der positiven Definitheit nicht negativ ist. Die als Normaxiom geforderte Dreiecksungleichung folgt dabei aus der Cauchy-Schwarzschen Ungleichung

|⟨x,y⟩|2≤⟨x,x⟩⋅⟨y,y⟩.

Sind x,y≠0, so kann diese Ungleichung zu

|⟨x,y⟩⟨x,x⟩⋅⟨y,y⟩|≤1

umgeformt werden. Daher lässt sich auch in allgemeinen reellen Vektorräumen mittels

φ=arccos⁡⟨x,y⟩⟨x,x⟩⋅⟨y,y⟩

der Winkel φ zweier Vektoren definieren. Der so definierte Winkel liegt zwischen 0° und 180°, also zwischen 0 und π. Für Winkel zwischen komplexen Vektoren gibt es eine Reihe unterschiedlicher Definitionen.

Auch im allgemeinen Fall nennt man Vektoren, deren Skalarprodukt gleich Null ist, orthogonal:

x⊥y⟺⟨x,y⟩=0

Matrixdarstellung

Ist V ein n-dimensionaler Vektorraum und B=(b1,…,bn) eine Basis von V, so kann jedes Skalarprodukt ⟨⋅,⋅⟩ auf V durch eine (n×n)-Matrix G, die Gramsche Matrix des Skalarprodukts, beschrieben werden. Ihre Einträge sind die Skalarprodukte der Basisvektoren:

G=(gij)i,j=1,…,n   mit   gij=⟨bi,bj⟩   für i,j=1,…,n

Das Skalarprodukt lässt sich dann mit Hilfe der Basis darstellen: Haben die Vektoren x,y∈V bezüglich der Basis B die Darstellung

x=∑i=1nxibi   und   y=∑j=1nyjbj,

so gilt im reellen Fall

⟨x,y⟩=⟨∑i=1nxibi,∑j=1nyjbj⟩=∑i=1n∑j=1nxiyj⟨bi,bj⟩=∑i,j=1nxiyjgij.

Bezeichnet man mit xB,yB∈ℝn die Koordinatenvektoren

xB=(x1⋮xn)   und   yB=(y1⋮yn),

so gilt also

⟨x,y⟩=∑i,j=1nxigijyj=(x1…xn)(g11…g1n⋮⋱⋮gn1…gnn)(y1⋮yn)=xB𝖳GyB,

wobei das Matrixprodukt eine (1×1)-Matrix liefert, also eine reelle Zahl. Mit xB𝖳 wird der Zeilenvektor bezeichnet, der durch Transponieren aus dem Spaltenvektor xB entsteht.

Im komplexen Fall gilt entsprechend

⟨x,y⟩=∑i,j=1nx‾igijyj=(x‾1…x‾n)(g11…g1n⋮⋱⋮gn1…gnn)(y1⋮yn)=xB𝖧GyB,

wobei der Überstrich komplexe Konjugation bezeichnet und xB𝖧 der zu xB adjungierte Zeilenvektor ist.

Ist B eine Orthonormalbasis, das heißt, gilt ⟨bi,bi⟩=1 für alle i und ⟨bi,bj⟩=0 für alle i≠j, so ist G die Einheitsmatrix, und es gilt

⟨x,y⟩=∑i=1nxiyi=xB𝖳yB

im reellen Fall und

⟨x,y⟩=∑i=1nx‾iyi=xB𝖧yB

im komplexen Fall. Bezüglich einer Orthonormalbasis entspricht das Skalarprodukt von x und y∈V also dem Standardskalarprodukt der Koordinatenvektoren xB und yB∈ℝn bzw. ℂn.

Verallgemeinerung

Als Pseudoskalarprodukt bezeichnet man eine im Allgemeinen nicht positiv definite symmetrische Bilinearform. Ein Beispiel dafür ist der Minkowski-Vektorraum der Speziellen Relativitätstheorie, der als Tangentialraum auch in der Gravitationstheorie (Allgemeine Relativitätstheorie) auftritt.

Siehe auch

Literatur

Commons: Skalarprodukt – Sammlung von Bildern, Videos und Audiodateien

Anmerkung

  1. ↑ In der physikalischen Praxis wird für die Berechnung von Hubarbeit die Hubhöhe direkt benutzt (hier 3m * cos63° = 1,36m), anstatt ein Skalarprodukt aus den Vektoren für Kraft und schiefe Ebene zu bilden.

Einzelnachweise

  1. ↑ Richard Courant: Vorlesungen über Differential- und Integralrechnung. Band 2. 4. Auflage. Springer, Berlin / Göttingen / Heidelberg 1972, ISBN 3-540-02956-7, S. 6.
  2. 1 2 Thomas Westermann: Mathematik für Ingenieure 1. 9. Auflage. Springer, Berlin / Heidelberg 2024, ISBN 978-3-662-69657-6, S. 48.
  3. ↑ Bronstein, Semendjajew: Taschenbuch der Mathematik. 2001, S. 189.
  4. ↑ Bronstein, Semendjajew: Taschenbuch der Mathematik. 2001, S. 191.
  5. 1 2 3 Merziger, Wirth: Repetitorium höhere Mathematik. 2010, S. 127.
  6. ↑ Tilo Arens, Rolf Busam, Frank Hettlich, Christian Karpfinger, Hellmuth Stachel, Klaus Lichtenegger: Grundwissen Mathematikstudium. 2. Auflage. Springer, Berlin / Heidelberg 2021, ISBN 978-3-662-63312-0, S. 233.
  7. ↑ Karl Strubecker: Einführung in die Höhere Mathematik. Band I: Grundlagen. 2. Auflage. Oldenbourg Verlag, München / Wien 1966, S. 206.
  8. ↑ dtv-Atlas Schulmathematik. 2. Auflage. Deutscher Taschenbuch Verlag, München 2003, ISBN 3-423-03099-2, S. 211.
  9. ↑ Merziger, Wirth: Repetitorium höhere Mathematik. 2010, S. 128.
  10. ↑ Arens et al.: Grundwissen Mathematikstudium. 2021, S. 237.
  11. ↑ Liesen, Mehrmann: Lineare Algebra. S. 168.
  12. ↑ Merziger, Wirth: Repetitorium höhere Mathematik. 2010, S. 131.
  13. ↑ Arens et al.: Grundwissen Mathematikstudium. 2021, S. 235.
  14. ↑ Analytische Geometrie: Lehrbuch für die Sekundarstufe II; Gymnasium. Leistungskurs. 1. Auflage. Volk und Wissen, Berlin 2000, ISBN 3-06-001173-7, S. 173.
  15. ↑ Walter Rudin: Reelle und komplexe Analysis. 2. verbesserte Auflage. Oldenbourg Wissenschaftsverlag, München 2009, ISBN 978-3-486-59186-6, S. 91.
  16. ↑ Klaus Scharnhorst: Angles in complex vector spaces. In: Acta Applicandae Math. Band 69, 2001, S. 95–103.