|
|
˜ |
((a, b)) |
|
˜ |
|
L1 |
|
((a, b)) |
|
|
L2 |
!
" # $" %
$
" 6 6
RL1 RL2 & ' (#
§
"
" R &
$ (x, y) % "
x, y R |
) |
*◦ |
(x, x) 0 (x, x) = 0 |
|
|
+◦ |
x = 0 |
(x, y) = (y, x) |
|
|
,◦ (x1 + x2, y) = (x1, y) + (x2, y) '◦ (λx, y) = λ(x, y) λ R
-" "
& &
.
. x &
/
& )
|(x, y)| x · y . +#
0 x > 0 " %
(tx + y, tx + y) = (x, x)t2 + 2(x, y)t + (y, y) =
= x 2t2 + 2(x, y)t + y 2.
1 $ " 1◦
& # 4(x, y)2−4 x 2· y 2 0,
+#
§ |
|
0 +# |
|
x + y 2 = (x + y, x + y) = x 2 + 2(x, y) + y 2 |
|
x 2 + 2 x · y + y 2 = ( x + y )2,
)
x + y x + y .
%
-" n
Rn 1 & "
Rn x = (x1, . . . , xn)
*2# &
"
n
(x, y) |
xiyi, x = (x1, . . . , xn), y = (y1, . . . , yn). |
|
i=1 |
CL2([a, b]) 3 "
& [a, b] $" &
(f, g) "ab f (t)g(t) dt f, g) [a, b] → R
. |
|
|
|
|
|
& |
! |
|
|
|
|
|
|
|
|
|
|
|
|
b |
f = f |
L2([a,b]) |
= |
|
(f, f ) |
= |
|
f (t)2dt, |
|
|
|
|
|
|
|
|
a |
CL2([a, b]) |
" |
CL2([a, b]) & +( + + |
|
RL2((a, b)) |
3 " & |
+( + ( .!%b |
& |
(f, g) |
f (t)g(t) dt, f, g RL2((a, b)). |
a
- " $ (f, g) "
& & "
|
t (a, b)# 1 |
(f, f ) = 0 f = 0 f (t) = 0 |
$ (f, g) &