A scalar product in a real (complex)
vector space
is a map
having the following properties:
- S1
-
für
- S2
-
- S3
-
- S4
-
for all
and
.
(Authors: Burkhardt/Höllig/Kreitz)
In the real case the scalar product is symmetric:
Then, the proerties S3 and S4 imply linearity
in the second argument too:
for
.
Whereas in the complex case we have
The asymmetry resulting from property S2
is necessary to ensure the positivity of the
complex scalar product.
For example, we have
for
.
In fact the following holds true:
The positivity required by S1 is important to
define a norm by
(Authors: Burkhardt/Höllig/Hörner)
| |
automatically generated
4/21/2005 |