Lineare Algebra 2/Gemischte Satzabfrage/15/Aufgabe/Lösung
Jede eigentliche, lineare Isometrie
φ
:
R
2
⟶
R
2
{\displaystyle \varphi \colon \mathbb {R} ^{2}\longrightarrow \mathbb {R} ^{2}}
ist eine Drehung.
Es sei
P
{\displaystyle {}P}
ein Punkt in der euklidischen Ebene
E
{\displaystyle {}E}
,
K
{\displaystyle {}K}
der Kreis mit Radius
r
>
0
{\displaystyle {}r>0}
und Mittelpunkt
P
{\displaystyle {}P}
und es sei
G
{\displaystyle {}G}
eine Gerade durch
P
{\displaystyle {}P}
, die den Kreis in den Punkten
A
{\displaystyle {}A}
und
B
{\displaystyle {}B}
trifft. Dann ist für jeden Punkt
C
∈
K
{\displaystyle {}C\in K}
das Dreieck
A
,
B
,
C
{\displaystyle {}A,B,C}
rechtwinklig an
C
{\displaystyle {}C}
.
Es sei
K
{\displaystyle {}K}
ein Körper und seien
V
1
,
…
,
V
n
{\displaystyle {}V_{1},\ldots ,V_{n}}
endlichdimensionale Vektorräume über
K
{\displaystyle {}K}
. Dann gibt es eine natürliche Isomorphie
V
1
∗
⊗
⋯
⊗
V
n
∗
⟶
(
V
1
⊗
⋯
⊗
V
n
)
∗
,
f
1
⊗
⋯
⊗
f
n
⟼
(
v
1
⊗
⋯
⊗
v
n
↦
f
1
(
v
1
)
⋯
f
n
(
v
n
)
)
.
{\displaystyle V_{1}^{*}\otimes _{}\cdots \otimes _{}V_{n}^{*}\longrightarrow {\left(V_{1}\otimes _{}\cdots \otimes _{}V_{n}\right)}^{*},\,f_{1}\otimes _{}\cdots \otimes _{}f_{n}\longmapsto {\left(v_{1}\otimes _{}\cdots \otimes _{}v_{n}\mapsto f_{1}(v_{1})\cdots f_{n}(v_{n})\right)}.}