5

75

76

5
M = {x, y, . . .}
d(x, y)
d : M M R+ ;
(x, y), x, y

d
M
d(x, y) 0 ;

d(x, y) = 0

x = y

d(x, y) = d(y, x) , x, y M
d(x, z) d(x, y)+d(y, z), x, y, z M
d

M
{M, d}
M

d
M = R
d(x, y) = |x y| .
R3
a = ax i + ay j + az k
b = bx i + by j + bz k

77

d(a, b) =

(ax bx )2 + (ay by )2 + (az bz )2 .

{A, B}
d(A, A) = d(B, B) = 0 ,
d(A, B) = d(B, A) = 1 .

v1 , v2 , . . .

78

v
lim d(vn , v) = 0 .

vn
vn

v
v

v1 , v2 , . . .
lim d(vm , vn ) = 0 .

m,n

vm

vn

v1 , v2 , . . .
v
lim d(vm , vn )

m,n

lim [d(vn , v) + d(v, vm )]

m,n

lim d(vn , v) + lim d(v, vm ) = 0

Q+
m/n

d(x, y) = |x y| ,
Q+ 1, 1/2, 1/3, . . . , 1/n, . . .


 
 

1
1
1
1
lim   lim   + lim   = 0 .
m,n n
n n
m m
m

79

Q+

Q+

1
1
1
1
(1 + )1 , (1 + )2 , (1 + )3 , . . . , (1 + )n , . . .
1
2
3
n
Q

Q
e = 2, 7182818284...

Q
= 3, 14159 . . .
=3+

1
4
1
5
9
+
+
+
++
+ ...
10 100 1000 10000
100000

d(x z, y z) = d(x, y) ,
d(x, y) = ||d(x, y) ,

x, y, z M ;
x, y M
R3

||x y|| = d(x y, 0) = d(x, y) .

80

||x|| = d(x, 0) ,
O

V
(., .)
(x, y)

K
K
(x + y, z) = (x, z) + (y, z) ,
(x, ky) = k(x, y) ,
(x, y) = (y, x) ,
(x, x) 0 ,

x, y, z V

x, y V , k K
x, y V

(x, x) = 0 x = 0

(kx, y) = k (x, y) .

Uma funo dita

quando
f (kx) = k f (x),
onde k o complexo conjugado de k.

(., .)

(x, x) = ||x||2 ,

81

(x y, x y) = ||x y||2 = [d(x, y)]2 .

d(x, y) =
Um

espao

se
possuir uma base
com um conjunto
enumervel
de
elementos,
v1 , v2 , . . .. Exclui-se
portanto
dessa
categoria os espaos
com bases contnuas {v }, onde
[a, b] R.

82


(x y, x y) ,

f : R R
f
f :V

K1 K2

T : V1 V2

(K1 K2 )

(V1
= V2 ) ;

V
A : V V .
A
A (x + y) = A x + A y ,
A (kx) = k A x ,

x, y V

x V , k K
f :V K

f (x + y) = f (x) + f (y) ,
f (kx) = k f (x) ,

x, y V

x V , k K

83

f (kx) = k f (x) ,

x V , k K
T : V1 V 2

T (x + y) = T x + T y ,
T (kx) = k T x ,

x, y V

x V , k K

(x)

|(x)|2 = (x) (x) ,

x
100%
1

1


x
+

|(x)|2 dx = 1 ,

(x)


|(x)|2 dx = M < ;

(x)
(x)
(x)
(x) = ,
M

84

5
|(x)|2 dx = 1 .
(x)


(, ) =

dx ;


d(, ) = ( , ) ;

|||| =

(, ) .

L2 (R)
L2 ([a, b])

[a, b] R

: R C .
L2 ([a, b]) L2 ([0, ))

H
A

||A|| < , H


|A(x)|2 dx < .

85

p2
1
+ m 2 x2 .
2m 2
x
H
 +
|(x)|2 dx < .
H=

|x(x)|2 dx =

x2
H


|x(x)|2 dx <
x

x
D(x)
A
{n } H
A H

{An }
n
n

86

An A
n

H
H

5
{A, D(A)}

A
{A, D(A)}

{A , D(A )}

D(A ) = { H
D(A)}

|
H

(A, ) = (, ),


A =

A

D(A ) D(A)

A
A
D(A) D(A )
A = A ,

A A A
A

D(A)

A
A
A = A

D(A)
D(A )

87

D(A) = D(A )
A = A ,

D(A)

A = A
A = A1
P
P = P
P2 = P
A

[A, B] = AB BA ;
A
[A, A ] = AA A A = 0 .
H

A = .

88

1 , 2 , . . . R

A definio formal
dos
operadores
envolve o conceito
topolgico de compacidade, que no
introduziremos aqui.
Vamos
entender,
ento, que os operadores compactos so
os que tm espectro
discreto.

{1 , 2 , . . .}

(n , )n

(I) .

n=1

89

| =


=

n | |n 

n=1


n=1

|n  n | 



|
Estudaremos
cuidado a

com

na
prxima aula. Mas,
antecipando
um
pouco, os objetos
como
|
so
chamados "kets", e
"bras" so os invertidos |. O produto
escalar das funes
e dado pelo
"bracket"(parnteses
em ingls): |.

|n  n | = 1 .

n=1

[a, b] R
p

id/dx

p = i

d
.
dx

p
p = i

d
=
dx

= eix
R
p

90

 (, +)
 +

ix 2
ix 2
||e || =
|e | dx =

1.dx = +

eix

p
H

eix

| =

d |eix ) (eix |

H


d |eix ) (eix | = 1 .

R3
( a, b) = a b = a1 b1 + a2 b2 + a3 b3
a = (a1 , a2 , a3 ) b = (b1 , b2 , b3 )

91

H

(f (x), g(x)) =

f (x) g(x) dx

dx
(x)

p = i

d
?
dx

x
[0, 1]

(x) H =

|(x)|2 dx = M < .

92

93