1) (p, p) = |p|2 = a2+ b2 + c2 + d2 ≥ 0 и (p, p) = a2+ b2 + c2 + d2 = 0

a= 0

b= 0

c= 0

d= 0

p=0;
2) (p, q) =

(p

+ q

) =

( q

+ p

) = (q; p);
3) (p, kq) =

(p

+(kq)

) =

k(p

+ q

) =k(p, q);
4) (p, q1+q2) =

(p

+(q
1+q
2)

) =

(p
1+ p
2+ q
1 
+ q
2 
) =

(p
1+ q
1 
) +

(p
2+ + q
2 
) = (p+q
1)+(p+q
2).
Проверим равенство:
(pq, pq) = (p, p)(q, q).
В самом деле,
(pq, pq) =

((pq) * (

) + (pq) * (

)) =

((pq) * (

) + (pq) * (

)) = (pq) * (

) = p(q

)

= |q|
2p

=|p|
2 + |q|
2 = (a
2 + b
2 + c
2 + d
2)* (

) = (p,p ) (q, q).
Итак, все условия скалярного произведения при
(p, q) =

(p

+ q

)
выполнены для кватернионов р и q.
Пример 3. Пусть

- алгебра октав. Базисом в U являются 1, i, j, k, e, I, J, K.
Если
w =и+ve =a+bi+cj+dk+Ae+BI+CJ+DK, и w1 =a1+b1i+c1j+d1k+ A1e+B1I+C1 J+D1K,
то по свойству 6) сопряженных октав
w

+w
1 
=2 (aa
1+bb
1+cc
1+dd
1+AA
1+BB
1+CC
1 +DD
1).
Возьмем в качестве скалярного произведения двух октав w и w1выражение

(w

+w
1 
) =aa
1+bb
1+cc
1+dd
1+A A
1+BB
1+CC
1 +DD
.Итак,
(w, w1) =

(w

+w
1 
).
В частности,
(w, w) =

(w

+w

) = w

= | w |
2 = a
2 + b
2 + c
2 + d
2 + A
2 + B
2 + C
2 + D
2 .
Проверим выполнение условий скалярногопроизведения:
1) (w, w) = | w |2 = a2 + b2 + c2 + d2 + A2 + B2 + C2 + D2 ≥ 0 и (w, w) = a2 + b2 + c2 + d2 + A2 + B2 + C2 + D2

a= 0

b= 0

c= 0

d= 0

A = 0

b= 0

c= 0

d= 0

w = 0;
2) (w, w1) =

(w
1+w
1 
) =

(w
1 
+w
1) =(w
1, w);
3) (w, kw1) =

(w(
1)+(kw
1)

) =

k(w
1 
+w
1) =k(w
1, w);
4) (w, w1+ w2) =

(w

+(w
1+w
2)

) =

( w
1 + w
2+ w
1 
+ w
2 
) =

(w
1 + w
1 
) +

(w
2+w
2 
) = (w, w
1)+( w, w
2).
Проверим равенство:
(ww1, ww1) = (w, w)(w1, w1).
Действительно,
(ww1, ww1) =

(( ww
1)(

) + (ww
1)(

)) =

(( ww
1)(
1 
) + (ww
1)(
1 
)) = (ww
1)(
1 
) = w(w
1
1)

= | w
1 |
2* w
1
1 = | w |
2 *| w
1 |
2 = (a
2 + b
2 + c
2 + d
2 + A
2 + B
2 + C
2 + D
2) * (

) = (w, w)(w
1, w
1).