Beruflich Dokumente
Kultur Dokumente
ΕΔΥ ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ PDF
ΕΔΥ ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ PDF
Miqlhc AnoÔshc
Perieqìmena
Eisagwg 4
SumbolismoÐ 7
1 Eisagwgikèc 'Ennoiec 8
1.4 Ask seic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2 DianusmatikoÐ Q¸roi 21
2.6 Ask seic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3 PÐnakec 42
3.1 PÐnakec . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
1
3.4 Ask seic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4 OrÐzousec Sunart seic 52
4.2 Ask seic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
5 GrammikoÐ MetasqhmatismoÐ 64
5.6 Ask seic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
6 Kanonikèc Morfèc 87
6.1 TrigwnopoÐhsh . . . . . . . . . . . . . . . . . . . . . . . . . . 87
6.5 DiagwnopoÐhsh . . . . . . . . . . . . . . . . . . . . . . . . . . 97
2
7.6 Ask seic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
2
10.3 IsometrÐec tou R . . . . . . . . . . . . . . . . . . . . . . . . . 171
BibliografÐa 181
3
Eisagwg
H Grammik 'Algebra eÐnai o kldoc twn Majhmatik¸n pou melet touc dia-
tik¸n q¸rwn.
sikèc ènnoiec ìpwc h ènnoia thc omdac, tou daktulÐou kai tou s¸matoc.
ja qreiastoÔn gia thn anptuxh thc JewrÐac twn Orizous¸n sto Keflaio
4.
Sto keflaio 3 gÐnetai mia sunoptik parousÐash twn pinkwn kai sto
4
dianusmatik¸n q¸rwn. Melettai o pÐnakac enìc grammikoÔ metasqhmati-
kai twn susqetismènwn apeikonÐsewn, ennoi¸n pou eÐnai anagkaÐec gia thn
Parousizontai orismèna genik jewr mata gia thn dom twn isometri¸n enìc
Gia thn melèth tou uperkeimènou autoÔ den apaitoÔntai idaÐterec proa-
basik keflaia gia thn katanìhsh twn dianusmatik¸n q¸rwn kai twn gram-
gia thn katanìhsh twn EukleÐdeiwn q¸rwn kai twn grammik¸n metasqhma-
tism¸n touc kai to keflaio 10 eÐnai mia parousÐash twn isometri¸n enìc
EukleÐdeiou q¸rou.
5
anlogh apìdeixh. EÐnai polÔ qr simo gia touc foithtèc na knoun
Grammik c 'Algebrac.
ulikì, to uperkeÐmeno autì dÐdei èmfash sto jewrhtikì mèroc thc Grammik c
thn ikanìthta qeirismoÔ twn ennoi¸n kai efarmog c twn jewrhmtwn thc
alloÔ perièqetai sto biblÐo {Grammik 'Algebra kai Efarmogèc} tou Gilbert
Strang .
6
SumbolismoÐ
sumbolÐzetai C .
n
nÔsmata st lec (dhlad n×1 pÐnakec). Kje dinusma tou F eÐnai thc
morf c
x1
x2
...
xn
gia kpoia x1 , x2 , ..., xn sto F . Pollèc forèc, gia lìgouc tupografik c oiko-
n
tou F ja qrhsimopoioÔntai san dianÔsmata st lec.
7
Keflaio 1
Eisagwgikèc 'Ennoiec
ikanopoioÔntai ta ex c:
1. a · (b · c) = (a · b) · c, ∀a ∈ G, ∀b ∈ G, ∀c ∈ G .
2. Uprqei èna stoiqeÐo e∈G tètoio ¸ste a·e = e·a = a gia kje a∈G .
1. e∈H .
2. An a ∈ H, b ∈ H tìte a·b∈H .
8
Orismìc 1.1.3 Mi omda G lègetai metajetik ( abelian ) an
a · b = b · a, ∀a ∈ G, ∀b ∈ G.
omda.
omda.
omda.
2. 'Eqoume a · b = b · a, ∀a ∈ R, ∀b ∈ R .
3. 'Eqoume a · (b + c) = a · b + a · c, ∀a ∈ R, ∀b ∈ R, ∀c ∈ R .
9
2. To F − {0} , efodiasmèno me thn prxh · eÐnai metajetik omda.
3. 'Eqoume a · (b + c) = a · b + a · c, ∀a ∈ F, ∀b ∈ F, ∀c ∈ F .
suntelestèc sto s¸ma F . 'Ena stoiqeÐo tou F [x] eÐnai thc morf c an x n +
an−1 xn−1 + ... + a1 x + a0 me ai sto s¸ma F gia kje i, 0 ≤ i ≤ n .
Je¸rhma 1.2.1 JewroÔme dÔo polu¸numa p(x) kai q(x) ston F [x] . Upr-
wroÔme èna stoiqeÐo s(x) tou A elqistou bajmoÔ. Uprqei èna polu¸numo
r(x) ∈ F [x] tètoio ¸ste s(x) = p(x)−q(x)r(x) kai ra p(x) = q(x)r(x)+s(x) .
DeÐqnoume ìti deg s(x) < deg q(x) . Upojètoume ìti deg s(x) ≥ deg q(x) .
st tou megistobjmiou ìrou tou s(x) kai bm ton suntelest tou megisto-
10
an b−1
m x
m−n
q(x) ∈ A kai èqei bajmì mikrìtero apo to bajmì tou s(x) . Autì
antibaÐnei me thn epilog tou s(x) . 'Ara deg s(x) < deg q(x) .
DeÐqnoume ìti ta r(x) kai s(x) eÐnai ta monadik pou ikanopoioÔn tic (1)
kai (2) . Prgmati, jewroÔme r1 (x) kai s1 (x) tètoia ¸ste: p(x) = q(x)r1 (x) +
s1 (x) kai deg s1 (x) < deg q(x) . 'Eqoume q(x)r(x) + s(x) = q(x)r1 (x) + s1 (x)
kai ra q(x)(r(x)−r1 (x)) = s1 (x)−s(x) . Epeid deg(s(x)−s1 (x)) < deg q(x)
sumperaÐnoume ìti r(x) − r1 (x) = 0 kai ra s1 (x) − s(x) = 0 .
Orismìc 1.2.2 JewroÔme dÔo polu¸numa p(x) kai q(x) ston F [x] . An u-
prqei polu¸numo r(x) tètoio ¸ste p(x) = q(x)r(x) , lème ìti to q(x) diaireÐ
Je¸rhma 1.2.2 JewroÔme èna ide¸dec I tou F [x] . Uprqei èna polu¸numo
Apìdeixh
0
I ⊆I . Prgmati, an p(x) ∈ I èpetai apo to Je¸rhma 1.2.1 ìti uprqoun
polu¸numa r(x) kai s(x) ston F [x] tètoia ¸ste p(x) = q(x)r(x) + s(x) kai
deg s(x) < deg q(x) . Epeid s(x) = p(x) − q(x)r(x) , to s(x) ∈ I kai epeid
deg s(x) < deg q(x) sumperaÐnoume ìti s(x) = 0 . 'Ara p(x) = q(x)r(x) kai
p(x) ∈ I 0 . 2
Je¸rhma 1.2.3 JewroÔme m polu¸numa p1 (x), p2 (x), ..., pm (x) ston F [x] .
11
3. An d0 (x) eÐnai èna polu¸numo ston F [x] kai d0 (x)|pi (x) gia kje i, 1 ≤
i≤m , tìte d0 (x)|d(x) .
Pm
Apìdeixh JewroÔme to sÔnolo I={ i=1 pi (x)qi (x) : qi (x) ∈ F [x], ∀i, 1 ≤
i ≤ m} . To I eÐnai ide¸dec tou F [x] kai ra uprqei èna polu¸numo d(x)
tètoio ¸ste I = {d(x)q(x) : q(x) ∈ F [x]} . MporoÔme na upojèsou-
Pm
q1 (x), q2 (x), ..., qm (x) ston F [x] tètoia ¸ste d(x) = i=1 pi (x)qi (x) = d(x) .
JewroÔme èna polu¸numo d0 (x) F [x] ston tètoio ¸ste d0 (x)|pi (x) gia kje
Pm
i, 1 ≤ i ≤ m . Epeid d(x) = i=1 pi (x)qi (x) , èqoume d0 (x)|d(x) . 2
Orismìc 1.2.3 JewroÔme m polu¸numa p1 (x), p2 (x), ..., pm (x) ston F [x] .
To polu¸numo d(x) pou ikanopoieÐ ta (1), (2), (3) tou Jewr matoc 1.2.3 lègetai
Orismìc 1.2.4 JewroÔme m polu¸numa p1 (x), p2 (x), ..., pm (x) ston F [x] .
Ta polu¸numa p1 (x), p2 (x), ..., pm (x) lègontai pr¸ta metaxÔ touc an o mègi-
Prìtash 1.2.1 JewroÔme m polu¸numa p1 (x), p2 (x), ..., pm (x) ston F [x] .
An d(x) eÐnai o mègistoc koinìc diairèthc twn p1 (x), p2 (x), ..., pm (x) , tìte
uprqoun polu¸numa q1 (x), q2 (x), ..., qm (x) ston F [x] tètoia ¸ste
m
X
pi (x)qi (x) = d(x).
i=1
6 3 2
R[x] . O mègistoc koinìc diarèthc twn x −1 kai x +x +x+1 eÐnai to
12
polu¸numo x+1 . 'Eqoume
1 1
x + 1 = (x6 − 1) (−x − 1) + (x3 + x2 + x + 1) (x4 − x2 + 1).
2 2
Orismìc 1.2.5 JewroÔme èna polu¸numo p(x) ston F [x] me deg p(x) ≥ 1 .
Parat rhsh 1.2.1 'Ena polu¸numo p(x) ston F [x] eÐnai pr¸to an oi mìnon
an den mporeÐ na grafeÐ sthn morf p(x) = q(x)r(x) me q(x) ∈ F [x] r(x) ∈ ,
Prìtash 1.2.2 JewroÔme èna pr¸to polu¸numo p(x) ston F [x] kai dÔo po-
lu¸numa q(x) kai r(x) ston F [x] . An p(x)|q(x)r(x) tìte p(x)|q(x) p(x)|r(x) .
Apìdeixh An to p(x) den diaireÐ to q(x) tìte o mègistoc koinìc diairèthc twn
p(x) kai q(x) eÐnai to 1 kai ra o to Je¸rhma 1.2.1 uprqoun polu¸numa s(x)
kai t(x) sto F [x] tètoia ¸ste p(x)s(x)+q(x)t(x) = 1 . Pollaplasizontac ta
Pìrisma 1.2.1 JewroÔme èna pr¸to polu¸numo p(x) ston F [x] kai polu¸-
Qr
numa q1 (x), q2 (x), ..., qr (x) ston F [x] . An to p(x) diaireÐ to
i=1 qi (x) tìte
Je¸rhma 1.2.4 JewroÔme èna polu¸numo p(x) ston F [x] me p(x) 6= 0 . Tìte
uprqoun λ∈F r∈N , , polu¸numa p1 (x), p2 (x), ..., pr (x) sto F [x] kai arijmoÐ
1≤i≤r .
13
3. 'Eqoume
r
Y
p(x) = λ pm
i (x).
i
i=1
4. An uprqoun µ ∈ F r0 ∈ N
, , polu¸numa p01 (x), p02 (x), ..., p0r0 (x) sto F [x]
kai arijmoÐ m01 , m02 , ..., m0r0 sto N∗ tètoia ¸ste to p0i (x) na eÐnai pr¸to
0
gia kje i me 1≤i≤r , o suntelest c tou megistobjmiou ìrou tou
r 0
m0
Y
p(x) = µ (p0 )i i (x),
i=1
tìte λ = µ r = r0
, kai uprqei mia 1−1 kai epÐ apeikìnish σ apo to
sÔnolo {1, 2, .., r} sto {1, 2, ..., r} tètoia ¸ste pi = p0σ(i) kai mi = m0σ(i)
gia kje i me 1≤i≤r .
toume ìti deg p(x) > 0 . An to polu¸numo p(x) eÐnai pr¸to tìte prokÔptoun
deg r(x) > 0 . Apo thn upìjesh thc epagwg c, to sumpèrasma tou jewr -
matoc isqÔei gia ta q(x) kai r(x) kai ra prokÔptoun ta (1) (2)
, kai (3) tou
Jewr matoc.
DeÐqnoume to (4) . JewroÔme λ∈F r∈N , , polu¸numa p1 (x), p2 (x), ..., pr (x)
sto F [x] , arijmoÔc m1 , m2 , ..., mr sto N∗ kai µ ∈ F r0 ∈ N , , polu¸numa
p01 (x), p02 (x), ..., p0r0 (x) sto F [x] kai arijmoÔc m01 , m02 , ..., m0r0 sto N∗ ìpwc sto
14
poluwnÔmou p(x) . 'Ara λ=µ . 'Eqoume
r r 0
m0
Y Y
p(x) = λ pm
i (x)
i
= µ (p0 )i i (x).
i=1 i=1
Qr 0 0
0 mi
To polu¸numo p1 (x) diaireÐ to µ i=1 (p )i (x). Apì to Pìrisma 1.2.1
0
uprqei k ∈ N∗ me 1 ≤ k ≤ r tètoio ¸ste to p1 (x) na diaireÐ to p0k (x).
Epeid to p0i (x) eÐnai pr¸to, èqoume p1 (x) = p0i (x) . 'Ara
r r 0
m0 −1 m0
Y Y
λ pm
i (x)
i
= µ(p0 )k k (x) (p0 )i i (x).
i=2 i=1,i6=k
To polu¸numo autì èqei bajmì mikrìtero apì ton bajmì tou p(x) kai ra
jhmatik¸n. H apìdeixh tou den eÐnai stouc skopoÔc tou uperkeimènou autoÔ.
Mia apìdeixh tou jewr matoc autoÔ h opoÐa gÐnetai me qr sh thc JewrÐac
lu¸numo p(x) ston C[x] me deg p(x) ≥ 1 . Tìte to p(x) èqei toulqiston mÐa
rÐza sto C .
Prìtash 1.2.3 JewroÔme èna pr¸to polu¸numo p(x) ston C[x] . Tìte to
15
1.3 H Summetrik Omda
Orismìc 1.3.1 Mia 1−1 kai epÐ apeikìnish apo to Jn sto Jn lègetai met-
!
1 2 ... n
.
σ(1) σ(2) ... σ(n)
da kai sumbolÐzetai Sn .
(i1 , i2 , ..., ik )
.
Orismìc 1.3.5 DÔo kÔkloi (i1 , i2 , ..., ik ) kai (j1 , j2 , ..., jl ) lègontai xènoi an
Prìtash 1.3.2 Kje metjesh eÐnai ginìmeno kÔklwn xènwn an dÔo.
16
Apìdeixh Ja apodeÐxoume thn Prìtash me epagwg sto n . JewroÔme mia
r r−1
σ (i) = i . Tìte ta i, σ(i), ..., σ (i) eÐnai difora an dÔo. SumbolÐzoume
τ ton kÔklo (i, σ(i), ..., σ r−1 (i)) . JewroÔme thn metjesh τ −1 σ . Gi kje
j ∈ {i, σ(i), ..., σ r−1 (i)} èqoume τ −1 σ(j) = j . 'Ara h metjesh τ −1 σ mporeÐ na
r−1
jewrhjeÐ san mi metjesh tou sunìlou Jn − {i, σ(i), ..., σ (i)} . Apo thn
upojesh thc epagwg c h τ −1 σ eÐnai ginìmeno kÔklwn xènwn an dÔo kai ra
!
1 2 3 4 5 6
3 2 4 1 6 5
!
1 2 3 4 5 6
= (1, 3, 4)(5, 6).
3 2 4 1 6 5
Apìdeixh Apì thn Prìtash 1.3.2 arkeÐ na deÐxoume ìti kje kÔkloc eÐ-
'Eqoume
17
JewroÔme èna polu¸numo n metablht¸n p(t1 , t2 , ..., tn ) me suntelestèc
SumbolÐzoume f to polu¸numo
Y
(ti − tj ).
i∈Jn ,j∈Jn ,i<j
0 0 0
¸ste σ(i ) = i kai akrib¸c èna j sto Jn tètoio ¸ste σ(j ) = j . 'Ara to
Je¸rhma 1.3.2 JewroÔme dÔo metajèseic σ kai τ . Tìte sgn(στ ) = sgn σ sgn τ .
1.4 Ask seic
'Askhsh 1.4.1 JewroÔme ton daktÔlio Z . DeÐxte ìti an I eÐnai èna ide¸dec
18
'Askhsh 1.4.2 JewroÔme ton daktÔlio Z . JewroÔme m kai n sto N kai
I1 ∩ I2 eÐnai ide¸dh tou Z kai breÐte r kai s sto Z tètoia ¸ste I1 + I2 = {rk :
k ∈ Z} kai I1 ∩ I2 = {sk : k ∈ Z} .
√ √
'Askhsh 1.4.4 JewroÔme to sÔnolo Q( 3) = {a + b 3 : a ∈ Q, b ∈ Q} .
√
DeÐxte ìti to Q( 3) efodiasmèno me thn prìsjesh kai ton pollaplasiasmì
ton mègisto koinì diairèth d(x) twn x2 + 1 kai x3 − 1 . BreÐte dÔo polu¸numa
q1 (x) kai q2 (x) ston R[x] tètoia ¸ste q1 (x)(x2 + 1) + q2 (x)(x3 − 1) = d(x) .
7 2
ton mègisto koinì diairèth d(x) twn x +1 kai x +x+1 . BreÐte dÔo polu¸numa
q1 (x) kai q2 (x) ston R[x] tètoia ¸ste q1 (x)(x7 + 1) + q2 (x)(x2 + x + 1) = d(x) .
19
'Askhsh 1.4.8 DeÐxte ìti kje metjesh sthn Sn eÐnai ginìmeno antimeta-
jèsewn thc morf c (1, 2), (1, 3), ..., (1, n).
'Askhsh 1.4.9 DeÐxte ìti kje metjesh sthn Sn eÐnai ginìmeno antimeta-
!
1 2 3
1. .
2 3 1
!
1 2 3
2. .
3 1 2
!
1 2 3
3. .
3 2 1
!
1 2 3 4
4. .
2 3 1 4
!
1 2 3 4
5. .
2 1 4 3
!
1 2 3 4
6. .
4 2 1 3
20
Keflaio 2
DianusmatikoÐ Q¸roi
qwroi
Orismìc 2.1.1 JewroÔme to s¸ma F kai èna sÔnolo V . Lème ìti to V eÐnai
omda.
3. 'Eqoume:
21
Pardeigma 2.1.1 To Rn pnw sto R .
to R , pnw sto R .
P
sh thc morf c: αi vi me vi sto S gia kje i αi
, sto F gia kje i , kai
22
Orismìc 2.1.4 JewroÔme èna dianusmatikì q¸ro V kai S ⊆V . Lème ì-
P P
sunduasmìc touc αi xi tètoioc ¸ste αi xi = 0 kai kpoio apì ta αi eÐnai
diforo apì to mhdèn. Lème ìti ta stoiqeÐa tou S eÐnai grammik anexrthta
P
an: Opoted pote to αi xi eÐnai grammikìc sunduasmìc twn stoiqeÐwn tou S
P
kai αi xi = 0 tìte αi = 0 gia kje i .
Pardeigma 2.1.8 JewroÔme ton dianusmatikì q¸ro R2 . H ((1, 0), (0, 1))
eÐnai mi bsh tou R2 .
qeÐa tou S eÐnai grammik exarthmèna an kai mìnon an uprqei v sto S pou
P
uprqei grammikìc sunduasmìc touc αi vi me αk 6= 0 gia kpoio k kai
−1
P P
αi vi = 0 , dhlad an kai mìnon an uprqei k tètoioc ¸ste vk = − i6=k αk αi vi ,
23
dhlad an kai mìnon an kpoio apì ta stoiqeÐa tou S eÐnai grammikìc sun-
eÐnai grammikìc sunduasmìc twn stoiqeÐwn tou S −{v} . Tìte kje grammikìc
upìqwroc tou V
pargetai apì to S .
upìjesh thc epagwg c m≤n kai o V pargetai apì èna sÔnolo thc morf c
{v1 , v2 , ..., vm , w1 , w2 , ..., wn−m } gia kpoia w1 , w2 , ..., wn−m sto V . Eidikì-
24
twn v1 , v2 , ...vm . Apì thn Prìtash 2.1.1, autì den mporeÐ na sumbeÐ. 'A-
v1 , v2 , ..., vm , vm+1 , w1 , ..., wi−1 , wi+1 , ..., wn−m . Apì to Pìrisma 2.1.1, ta pa-
Apìdeixh An (v1 , v2 , ...vn ) kai (w1 , w2 , ..., wm ) eÐnai dÔo bseic tou V èqoume
25
gia α, β sto F v, u
, sto V .
n m
ton R ston R pou orÐzetai T x = Ax eÐnai grammikìc metasqhmatismìc.
D( n0 λi xi ) = ( n1 iλi xi−1 )
P P
eÐnai grammikìc metasqhmatismìc tou Pn .
grammikìc metasqhmatismìc.
26
An T ∈ L(V, W ) kai α∈F orÐzoume thn apeikìnish αT apo ton V ston
27
2. O T lègetai epimorfismìc an eÐnai epÐ.
W pnw sto F eÐnai isomorfikoÐ an kai mìnon an èqoun thn Ðdia distash.
Apìdeixh Upojètoume ìti dim V = dim W . JewroÔme mia bsh (v1 , ..., vn )
tou V kai mia bsh (w1 , ..., wn ) tou W . OrÐzoume T :V →W
n
! n
X X
T αi vi = αi wi
i=1 i=1
apì ton V ston W . JewroÔme mia bsh (v1 , v2 , ..., vn ) tou V . H eikìna tou
T eÐnai to sÔnolo
( n )
X
αi T (vi ) : αi ∈ F, 1 ≤ i ≤ n .
i=1
Epeid o T eÐnai epÐ, ta dianÔsmata T (v1 ), T (v2 ), ..., T (vn ) pargoun ton
q¸ro W . DeÐqnoume ìti ta T (v1 ), T (v2 ), ..., T (vn ) eÐnai grammik anexrthta.
n
X
αi T (vi ) = 0.
i=1
28
'Eqoume
n n
!
X X
αi T (vi ) = 0 ⇒ T αi vi = 0.
i=1 i=1
n
X
αi vi = 0,
i=1
Prìtash 2.3.1 JewroÔme èna dianusmatikì q¸ro V . An {Wi }i∈I eÐnai mia
\
W = Wi
i∈I
Apìdeixh 'Amesh. 2
to S . 'Ara W2 ⊆ W1 . 2
29
Orismìc 2.3.1 JewroÔme èna dianusmatikì q¸ro V kai dÔo dianusmatikoÔc
W1 + W2 = V .
1. V = W1 ⊕ W2
w2 ∈ W2 .
v =0+v me 0 ∈ W1 kai v ∈ W2 . 2
30
Pardeigma 2.3.2 JewroÔme ton dianusmatikì q¸ro V = R2 kai touc dia-
(x, y) ∈ W2 èqoume x=0 kai telik (x, y) = (0, 0) . JewroÔme (x, y) ∈ V . 'E-
qoume (x, y) = (x, x)+(0, y −x) kai ra V = W1 +W2 . Telik, V = W1 ⊕W2 .
Tìte
Apìdeixh JewroÔme mia bsh (v1 , ..., vn ) tou W1 kai mia bsh (w1 , ..., wm )
tou W2 . DeÐqnoume ìti (v1 , ..., vn , w1 , ..., wm ) eÐnai mia bsh tou V . Epeid
n
X m
X
α1 , ..., αn , β1 , ..., βm sto F tètoia ¸ste αi vi + βj wj = 0. 'Eqoume:
i=1 j=1
n
X m
X n
X m
X
αi vi = − βj wj ∈ W1 ∩ W2 = {0}. 'Ara αi vi = 0 kai βj wj = 0,
i=1 j=1 i=1 j=1
ra α1 = α2 = ... = αn = β1 = β2 = ...βm = 0. 2
shc kai èna dianusmatikì upìqwro W tou V . An B eÐnai mia bsh tou W ,
0
uprqei mia bsh B tou V pou perièqei thn F .
shc kai èna dianusmatikì upìqwro W tou V . Tìte uprqei ènac dianusmatikìc
31
Apìdeixh Jewr¸ mia bsh (w1 , ..., wm ) tou W . Apì thn Prìtash 2.3.4,
uprqoun v1 , v2 , ..., vn−m ston V tètoia ¸ste h (w1 , ..., wm , v1 , ..., vn−m ) na
v ∈W ∩U , èqoume:
m
X n−m
X
v= αi wi = βj vj
i=1 j=1
m
X n−m
X
αi wi − βj vj = 0
i=1 j=1
morf tou V .
me V∗ .
32
Je¸rhma 2.4.1 JewroÔme èna dianusmatikì q¸ro V me dim V = n kai mia
bsh (v1 , v2 , ..., vn ) tou V . Uprqei mia monadik orismènh bsh (f1 , f2 , ..., fn ) tou
∗
V tètoia ¸ste fi (vj ) = 1 an i=j kai fi (vj ) = 0 an i 6= j .
n
!
X
fi αj vj = αi .
i=j
∗ ∗
ìti (f1 , f2 , ..., fn )
h V eÐnai f ∈V
bsh tou . JewroÔme . Ja deÐxoume ìti
Xn
f= f (vi )fi . Prgmati
i=1 ! n ! !
Xn X n
X n
X n
X
f (vi )fi αj vj = f (vj )αj fj (vj ) = αj f (vj ) = f αj vj
i=1 j=1 j=1 j=1 j=1
'Ara ta f1 , f2 , ..., fn pargoun ton V∗ .
n
X
uprqoun α1 , α2 , ..., αn sto F tètoia ¸ste αi fi = 0 . 'Eqoume
i=1
n
!
X
αi fi (vj ) = 0
i=1
33
Je¸rhma 2.4.2 JewroÔme èna dianusmatikì q¸ro peperasmènhc distashc
v − w 6= 0 , apì thn Prìtash 2.3.4 uprqei mia bsh tou V pou perièqei to
JewroÔme èna dianusmatikì q¸ro V pnw sto s¸ma F kai èna dianusmatikì
π(v) = v + W.
DeÐqnoume ìti h prxh aut eÐnai kal orismènh. ArkeÐ na deÐxoume ìti an
v10 ∈V , v20 ∈ V kai π(v1 ) = π(v10 ), π(v2 ) = π(v20 ), tìte π(v1 +v2 ) = π(v10 +v20 ).
0 0 0
epeid π(v1 ) = π(v ) kai π(v2 ) = π(v ) èqoume v1 − v
Prgmati,
1 2 1 ∈ W kai
v2 − v20 ∈ W . Epeid o W eÐnai dianusmatikìc upìqwroc tou V , èqoume
απ(v) = π(αv).
34
DeÐqnoume ìti h prxh aut eÐnai kal orismènh. ArkeÐ na deÐxoume ìti an
v0 ∈ V kai π(v) = π(v 0 ) , tìte π(αv) = π(αv 0 ) . Epeid π(v) = π(v 0 ) èqoume
0
v−v ∈ W . Epeid o W eÐnai dianusmatikìc upìqwroc tou V , èqoume α(v −
v0) ∈ W kai ra π(αv) = π(αv 0 ) .
Prìtash 2.5.1 JewroÔme èna dianusmatikì q¸ro V pnw sto F kai èna
π : V → V /W .
dianusmatikìc q¸roc.
Apìdeixh H apìdeixh prokÔptei mesa apo ton orismì twn prxewn ston
V /W . 2
Apìdeixh EÐnai fanerì ìti h ρ eÐnai grammik . Ja deÐxoume ìti eÐnai 1−1 kai
epÐ. JewroÔme v 1 , v2 sto U tètoia ¸ste ρ(v1 ) = ρ(v2 ) . 'Eqoume π(v1 ) = π(v2 )
ra v1 − v2 ∈ W . Epeid v1 − v2 ∈ U kai U ∩ W = {0} , èqoume v1 − v2 = 0 .
deÐxoume ìti uprqei u∈U tètoio ¸ste ρ(u) = π(v) . 'Eqoume v =u+w me
35
u∈U kai w∈W . 'Eqoume: v−u=w ∈W . 'Ara π(v) = π(u) = ρ(u) . 'Ara
h ρ eÐnai epÐ. 2
T (v) = T (v 0 ) .
q¸ro W . 'Eqoume:
36
dim V − dim Ker T . 'Ara dim V = dim Ker T + dim Im T . 2
v−u = w ∈ W , èqoume: π(v) = π(u) . All, T (u) = π(T1 (u)) = π(u) = π(v) .
2.6 Ask seic
'Askhsh 2.6.1 BreÐte poi apì ta paraktw diatetagmèna sÔnola eÐnai bseic
3
tou R .
37
1. ((1, 0, 1), (1, 1, 0), (1, 1, 1)) .
'Askhsh 2.6.2 DeÐxte ìti h (x+1, x2 +1, x2 +2) eÐnai bsh tou dianusmatikoÔ
2
x, x + 2, x , 4 san grammikoÔc sunduasmoÔc stoiqeÐwn aut c thc bshc.
√ √
'Askhsh 2.6.3 Jètoume: V = {α + β 3 + γ 5 : α ∈ Q, β ∈ Q, γ ∈ Q}.
DeÐxte ìti o V eÐnai dianusmatikìc q¸roc pnw sto Q, breÐte mia bsh tou
'Askhsh 2.6.4 BreÐte poi apì ta paraktw uposÔnola tou C3 eÐnai dianu-
1. {(x, y, z) ∈ C3 : x ∈ R} .
2. {(x, y, z) ∈ C3 : x = 0} .
3. {(x, y, z) ∈ C3 : x = 0 η y = 0} .
4. {(x, y, z) ∈ C3 : x + y = 0} .
5. {(x, y, z) ∈ C3 : x + y = 1} .
'Askhsh 2.6.6 JewroÔme ton dianusmatikì q¸ro C2 pnw sto s¸ma C . Gia
exarthmèna?
38
'Askhsh 2.6.7 JewroÔme èna dianusmatikì q¸ro V me dim V = n . DeÐxte
ìti:
x+y +z = 0 , deÐxte ìti ta sÔnola {x, y} kai {y, z} pargoun ton Ðdio upìqwro
tou V .
W1 ∩ (W2 + (W1 ∩ W3 )) = W1 ∩ W2 + W1 ∩ W3 .
3 3
W2 = {(0, x, x) : x ∈ C} tou C . DeÐxte ìti C = W1 ⊕ W2 .
∗
ìti an f ∈ V , f 6= 0 tìte dim Ker f = n − 1.
39
2. DeÐxte ìti an S⊆F ⊆V , tìte F o ⊆ S o.
∗
an f1 , f2 , ..., fk eÐnai grammik anexrthta stoiqeÐa tou V , tìte
dim(∩ki=1 Ker fi ) = n − k.
W1 ∩ W2 = {0} .
V , tìte ta T (x1 ), T (x2 ), ..., T (xn ) eÐnai grammik anexrthta dianÔsmata tou
W .
40
'Askhsh 2.6.21 (3o Je¸rhma isomorfismoÔ) DÐnontai ènac dianusmatikìc
41
Keflaio 3
PÐnakec
3.1 PÐnakec
a11 a12 ··· ··· a1n
a21 a22
··· ···a2n
A = · · · · · · ··· ··· ··· ,
· · · · · · ··· ··· ···
am1 am2 · · · · · · amn
ìpou aij ∈ F .
42
kai h j st lh eÐnai h
a1j
a2j
a3j .
· · ·
amj
Ta aij lègontai stoiqeÐa suntelestèc tou pÐnaka. O arijmìc aij lègetai
1 2 n
bolÐzontai a , a , ..., a .
!
2 −1 4
A= ,
0 1 7
! ! !
2 −1 4
, , .
0 1 7
Orismìc 3.1.1 O mhdenikìc m×n pÐnakac eÐnai o pÐnakac tou opoÐou ìla
An A kai B eÐnai dÔo m×n pÐnakec to jroisma touc eÐnai o m×n pÐnakac
A+B tou opoÐou to ij stoiqeÐo eÐnai aij + bij . An A eÐnai ènac m×n pÐnakac
kai α èna stoiqeÐo tou s¸matoc F , o pÐnakac αA eÐnai o pÐnakac tou opoÐou
43
Me tic dÔo autèc prxeic to sÔnolo twn m×n pinkwn me stoiqeÐa sto
sto F .
Orismìc 3.1.3 O anstrofoc enìc m×n pÐnaka A eÐnai o n×m pÐnakac tou
t
A .
!
2 1 4
A= .
3 2 7
2 3
At =
1 2.
4 7
2 −1 4
−1 1 7
4 7 4
44
Orismìc 3.1.6 JewroÔme ènan tetragwnikì n×n pÐnaka A . Ta diag¸nia
stoiqeÐa tou A eÐnai ta a11 , a22 , ..., ann . O A lègetai diag¸nioc an ìla ta
Orismìc 3.1.7 JewroÔme ènan tetragwnikì n×n pÐnaka A . Lème Ðqnoc tou
n
X
tr A = aii .
i=1
bolÐzetai In .
1≤j≤n .
sÔsthma grfetai:
45
n
X
xi ai = b.
i=1
Mi lÔsh tou sust matoc autoÔ eÐnai mia n -ada stoiqeÐwn ξ1 , ξ2 , ..., ξn tou
n
X
ξi ai = b.
i=1
omogenèc sÔsthma èqei mia mh tetrimmènh lÔsh en èqei mi lush diaforetik
n
X
xi ai = 0,
i=1
ìti ta dianÔsmata ai 1 ≤ i ≤ n
, eÐnai grammik exarthmèna. 'Ara uprqoun
n
X
ξi ai = 0.
i=1
46
Je¸rhma 3.2.2 JewroÔme to sÔsthma n grammik¸n exis¸sewn me n agn¸-
Apìdeixh
n
X
xi ai = 0,
i=1
ìpou ai eÐnai h i st lh tou pÐnaka A gia kje i me 1≤i≤n . 'Epetai apo to
Pìrisma 2.1.3 ìti h (a1 , a2 , .., an ) eÐnai bsh tou Fn . 'Ara uprqoun monadik
n
X
xi ai = 0.
i=1
Orismìc 3.3.1 JewroÔme ènan m×n pÐnaka A kai ènan n×k pÐnaka B .
To ginìmeno twn A kai B eÐnai ènac m×k pÐnakac tou opoÐou to ij stoiqeÐo
Pn
eÐnai to
s=1 ais bsj .
Je¸rhma 3.3.1 JewroÔme m×n pÐnaka A kai dÔo n×k pÐnakec B kai C .
Tìte èqoume:
A(B + C) = AB + AC
47
Je¸rhma 3.3.2 JewroÔme èna m×n pÐnaka A , ènan n×k pÐnaka B kai
A(BC) = (AB)C.
AB = BA = In .
Upojètoume ìti uprqoun dÔo tetragwnikoÐ n×n pÐnakec B kai C tètoioi ¸ste
AB = BA = In
kai
AC = CA = In .
Tìte B=C .
Apìdeixh 'Eqoume
AB = BA = In
48
lègetai antÐstrofoc tou A kai sumbolÐzetai A−1 .
CAC −1 = B .
Prìtash 3.3.4 JewroÔme m×n pÐnaka A kai ènan n×k pÐnaka B . Tìte:
(AB)t = B t At .
g¸nioc an At A = AAt = In .
3.4 Ask seic
'Askhsh 3.4.1 JewroÔme ton dianusmatikì q¸ro Rn×n twn n×n pinkwn
n×n
W1 = {A ∈ R : A = At }
W2 = {A ∈ Rn×n : A = −At }
49
2. UpologÐste touc arijmoÔc dim W1 , dim W2 .
V = {A ∈ Rn×n : tr A = 0} .
DeÐxte ìti V eÐnai dianusmatikìc upìqwroc tou Rn×n kai breÐte thn di-
stash tou V.
'Askhsh 3.4.3 JewroÔme ton dianusmatikì q¸ro Rn×n twn n×n pinkwn
apoteleÐtai apì touc anw trigwnikoÔc pÐnakec. BreÐte mia bsh tou V . BreÐte
V ⊕ W = Rn×n .
ìti
tr AB = tr BA.
m
toume ìti uprqei m ∈ N∗ tètoio ¸ste A = 0 . DeÐxte ìti o In − A eÐnai
antistrèyimoc.
λ 1 1
A=
0 λ 1 ,
0 0 λ
50
'Askhsh 3.4.7 JewroÔme ton pÐnaka A ìpou:
λ 1 1
A=
0 λ 1 ,
0 0 λ
!
1 1
A= ,
1 λ
'Askhsh 3.4.9 BreÐte dÔo 2×2 pÐnakec A kai B tètoiouc ¸ste AB = 0 kai
BA 6= 0 .
'Askhsh 3.4.10 JewroÔme ènan 2×2 pÐnaka A . DeÐxte ìti uprqoun dÔo
51
Keflaio 4
OrÐzousec Sunart seic
n×n
An A eÐnai ènac pÐnakac sto F , sumbolÐzoume a1 , ..., an tic grammèc tou.
0 0
D(a1 , ..., cai + ai , ..., an ) = cD(a1 , ..., ai , ..., an ) + D(a1 , ..., ai , ..., an )
n -grammik sunrthsh.
52
Pardeigma 4.1.1 JewroÔme thn sunrthsh D : R2×2 → R pou orÐzetai:
D1 + D2 ìpou D1 (A) = a11 a22 kai D2 (A) = a12 a21 . EÔkola blèpoume ìti
1. D(I2 ) = 1 .
3. Tèloc an A eÐnai ènac 2×2 pÐnakac kai A0 eÐnai o pÐnakac pou prokÔptei
sunrthsh D . EpÐshc an o A èqei dÔo Ðdiec grammèc tìte apo thn (2) èpetai
ìti D(A) = −D(A) ⇒ D(A) = 0 kai ra h (2) sunepgetai thn (1) . Opìte
L mma 4.1.2 An D eÐnai mÐa 2 -grammik sunrthsh kai D(A) = 0 gia kje
2×2 0 0
A∈R me Ðdiec grammèc, tìte D(A ) = −D(A) ìpou A eÐnai o pÐnakac pou
D(a1 , a2 ) = −D(a2 , a1 ) 2
53
L mma 4.1.3 An D eÐnai mÐa n -grammik sunrthsh kai D(A) = 0 gia kje
Apìdeixh Pr¸ta upojètoume ìti o A0 prokÔptei apì thn enallag dÔo diado-
0
ìti D(A ) = −D(A) .
T¸ra èstw ìti o A0 prokÔptei apì thn amoibaÐa enallag twn gramm¸n i
kai j me i<j . Ja proume thn A0 apì mia peperasmènh akoloujÐa enallag¸n
n
X
Ej (A) = (−1)i+j aij Dij (A)
i=1
54
Apìdeixh Epeid h D eÐnai (n − 1) -grammik h Dij eÐnai grammik san sunr-
thsh kje gramm c ektìc thc i . Sunep¸c h aij Dij (A) eÐnai n -grammik kai h
Ej eÐnai n -grammik .
Epeid ak = ak+1 èqoume Akj = A(k+1)j ra A(k|j) = A(k + 1|j) kai su-
Apìdeixh 'Hdh eÐdame ìti uprqei sto F 1×1 . EpÐshc h prohgoÔmenh apìdeixh
mac leei pwc mporoÔme na proume mia orÐzousa sunrthsh sto F n×n ìtan
Je¸rhma 4.1.2 Uprqei mia kai monadik orÐzousa sunrthsh sto F n×n
kai dÐnetai apì ton tÔpo
X
sgn σa1σ(1) ...anσ(n) .
σ
!
X
D(A) = sgn σa1σ(1) ...anσ(n) D(I).
σ
n
X
pÐnaka. 'Eqoume ai = aij ej gia 1≤i≤n .
j=1
55
'Eqoume
X
D(A) = a1k1 ...ankn D(ek1 , ..., ekn )
k1 ,k2 ,...,kn
ìpou to jroisma eÐnai wc proc ìlec tic akoloujÐec (k1 , ..., kn ) jetik¸n
Epeid h D eÐnai enallssousa D(ek1 , ..., ekn ) = 0 ìtan dÔo ki eÐnai Ðsa.
EpÐshc D(eσ1 , ..., eσn ) = sgn σD(e1 , ..., en ) ìpou σ metjesh bajmoÔ n .
Sunep¸c
!
X
D(A) = sgn σa1σ(1) ...anσ(n) D(I)
σ
thsh, tìte
!
X
D(A) = sgn σa1σ(1) ...anσ(n) D(I).
σ
X
D(A) = sgn σa1σ(1) ...anσ(n) .
σ
2
Orismìc 4.1.4 JewroÔme ènan n×n pÐnaka A sto F n×n . Ja lème orÐzousa
56
tou A ton arijmì
X
sgn σa1σ(1) ...anσ(n) .
σ
a11 a12 ... a1n
a21 a22 ... a2n
.
... ... ... ...
an1 an2 ... ann
D(A) = det(AB)
4.1.2 èqoume ìti D(A) = det AD(I) All D(I) = det(IB) = det B kai telik
Pìrisma 4.1.2 JewroÔme dÔo metajèseic σ kai τ tou {1, 2, ..., n} . Tìte:
sgn(στ ) = (sgnσ)(sgnτ )
Apìdeixh EÐnai eÔkolo na doÔme apì to Je¸rhma 4.1.2 ìti D(aσ1 , ..., aσn ) =
sgn σ . To Pìrisma èpetai t¸ra apo to Je¸rhma 4.1.3. 2
det At = det A
57
Apìdeixh An σ eÐnai mia metjesh bajmoÔ n èqoume
X
det At = sgn σaσ(1)1 ...aσ(n)n .
σ
'Eqoume
X
det At = (sgn σ −1 )a1σ−1 (1) ...anσ−1 (n) = det A.
σ
2
det B = det A
det B = det A
Apìdeixh
58
Pìrisma 4.1.5 JewroÔme n ∈ N∗ kai s ∈ N ∗ r ∈ N∗
, tètoia ¸ste ns+r = n .
!
A B
X=
0 C
tìte
Apìdeixh
n
X
det A = (−1)i+j aij det A(i|j).
i=1
i+j
Jètoume cij = (−1) det A(i|j) .
'Etsi
n
X
det A = cij aij .
i=1
n
X
aik cij = 0.
i=1
59
Prgmati, an antikatast soume thn j st lh tou A apì thn k st lh kai
onomsoume ton pÐnaka pou prokÔptei B , tìte o B èqei dÔo Ðsec st lec kai
n
X
0 = det B = (−1)i+j bij det B(i|j)
i=1
n
X n
X
i+j
= (−1) aik det A(i|j) = aik cij .
i=1 i=1
Telik èqoume:
n
X
aik cij = δjk det A.
i=1
Epeid
èqoume:
Ja deÐxoume ìti
'Eqoume
SumperaÐnoume ìti
60
'Ara
4.2 Ask seic
'Askhsh 4.2.2 DeÐxte ìti an A eÐnai ènac n×n pÐnakac tètoioc ¸ste At =
−A kai n eÐnai perittìc, tìte det A = 0 . IsqÔei det A = 0 an n eÐnai rtioc?
'Askhsh 4.2.3 DeÐxte ìti h orÐzousa enìc nw trigwnikoÔ pÐnaka eÐnai Ðsh
1 x x2
1 y y2 .
1 z z2
61
'Askhsh 4.2.6 UpologÐste ton antÐstrofo tou pÐnaka:
cos φ 0 − sin φ
0 1 0 ,
sin φ 0 cos φ
φ∈R .
0 1 α
1 α 0
α 0 1
eÐnai antistrèyimoc. Gia autèc tic timèc tou α , breÐte ton antÐstrofì tou.
2 2
¸ste A =0 kai λ∈F , deÐxte ìti det(λI2 − A) = λ .
2n × 2n pÐnaka
!
A B
C D
62
2 0 6 0 4
5 3 2 2 7
2 5 7 5 5
2 0 9 2 7
7 8 4 2 1
diaireÐtai me to 17
.
63
Keflaio 5
GrammikoÐ MetasqhmatismoÐ
mia bsh (v1 , ..., vn ) tou V kai n dianÔsmata w1 , ..., wn tou W . Tìte uprqei
n
X
¸ste v= λi v i . OrÐzoume:
i=1
n
X
T (v) = λi wi
i=1
EpÐshc eÔkola blèpoume ìti eÐnai grammikìc. DeÐqnoume ìti eÐnai monadikìc.
64
n
X
0
T (vi ) = wi gia kje i me i = 1, ..., n . Tìte gia to v= λi v i èqoume
i=1
n
X n
X n
X
0 0
T (v) = λi T (vi ) = λi wi = λi T (vi ) = T (v)
i=1 i=1 i=1
kai ra
T 0 = T.
Pardeigma 5.1.1 JewroÔme thn bsh ((1, 2), (3, 4)) tou R2 kai ta dia-
nÔsmata (3, 2, 1), (6, 5, 4) tou R2 . Apo to Je¸rhma èpetai ìti uprqei è-
1. O T eÐnai isomorfismìc.
2. O T eÐnai monomorfismìc.
3. O T eÐnai epimorfismìc.
apo to Je¸rhma 2.5.1 kai to Pìrisma 2.5.1 èpetai ìti dim Im(T ) = dim V =
dim W kai ra o T eÐnai epimorfismìc. Upojètoume ìti o T eÐnai epimorfi-
smìc. Apo to Je¸rhma 2.5.1 kai to Pìrisma 2.5.1 èpetai ìti dim Ker T = 0
kai ra o T eÐnai kai monomorfismìc, dhlad eÐnai isomorfismìc. 2
65
Prìtash 5.1.1 JewroÔme ènan dianusmatikì q¸ro V kai ènan grammikì me-
1. An T ∈ L(V, W ) èqoume:
T 0V = 0W T = 0W .
2. An T ∈ L(V, W ) èqoume:
T IV = IW T = T.
3. An T ∈ L(V, W ) S ∈ L(W, U )
, kai R ∈ L(W, U ) èqoume:
(S + R)T = ST + RT.
4. An S ∈ L(V, W ) R ∈ L(V, U )
, kai T ∈ L(W, U ) èqoume:
T (S + R) = T S + T R.
5. An R ∈ L(W, U ) S ∈ L(W, U )
, kai T ∈ L(U, Z) èqoume:
(T S)R = T (SR).
66
5.2 PÐnakac GrammikoÔ MetasqhmatismoÔ
0
bsh B = (w1 , w2 , ..., wm ) tou W . Gia kje grammikì metasqhmatismì T ∈
L(V, W ) uprqei ènac m×n pÐnakac A tètoioc ¸ste [T v]B 0 = A[v]B , ∀v ∈ V .
m
X
T vj = aij wi
i=1
0 0
proc tic bseic B kai B . An V =W kai B=B tìte o pÐnakac A lègetai o
orÐzetai: T (x, y) = (3x + y, x − y) . JewroÔme thn bsh B = ((1, 0), (0, 1))
0 2
kai thn bsh B = ((1, −1), (1, 1)) tou R . Tìte o pÐnakac tou T wc proc tic
!
1 1
2 0
67
Pardeigma 5.2.2 JewroÔme ton grammikì metasqhmatismì T tou R2 pou
orÐzetai: T (x, y) = (3x + y, x − y) . JewroÔme thn bsh B = ((1, 0), (0, 1))
2
tou R . Tìte o pÐnakac tou T wc proc thn bsh B eÐnai
!
3 1
1 −1
0
pÐnaka tou wc proc tic bseic B kai B eÐnai isomorfismìc grammik¸n q¸rwn.
0 00
seic B, B kai B twn V, W kai U antÐstoiqa. JewroÔme T ∈ L(V, W ) kai
00
ST wc proc tic bseic B kai B eÐnai o CA .
Pìrisma 5.2.1 JewroÔme ènan dianusmatikì q¸ro V kai mÐa bsh B tou
−1 −1
pÐnakac tou T wc proc thn bsh B eÐnai o A .
Orismìc 5.2.2 JewroÔme ènan dianusmatikì q¸ro V kai dÔo bseic B kai
68
Pardeigma 5.2.3 JewroÔme ton grammikì metasqhmatismì T tou R2 pou
orÐzetai:
JewroÔme thn bsh B = ((1, 0), (0, 1)) kai thn bsh B 0 = ((1, −1), (1, 1))
tou R2 . Tìte o pÐnakac allag c bshc apo thn B kai B0 eÐnai o
!
1
2
− 12
1 1
.
2 2
Je¸rhma 5.2.4 JewroÔme ènan dianusmatikì q¸ro V kai dÔo bseic B kai
0
B tou V . JewroÔme ènan grammikì metasqhmatismì T tou V . An A eÐnai o
pÐnakac tou T wc proc thn bsh B kai A0 o pÐnakac tou T wc proc thn bsh
0
B .
orÐzetai:
JewroÔme thn bsh B = ((1, 0), (0, 1)) kai thn bsh B 0 = ((1, −1), (1, 1))
tou R2 . O pÐnakac tou T wc proc thn bsh B eÐnai o
!
3 1
A=
1 −1
!
0 2
A0 = .
2 2
69
'Opwc eÐdame sto Pardeigma 5.2.3 o pÐnakac allag c bshc apì thn B
sthn B0 eÐnai o
!
1
2
− 12
C= 1 1
.
2 2
'Eqoume
! !−1 ! !
1
3 1 2
− 12 0 2 1
2
− 12
= 1 1 1 1
.
1 −1 2 2
2 2 2 2
Orismìc 5.2.3 JewroÔme dÔo m×n pÐnakec A kai B . Lème ìti oi A, B eÐnai
−1
ìmoioi en uprqei P antistrèyimoc tètoioc ¸ste B=P AP .
diodianÔsmata
Prìtash 5.3.1 JewroÔme ènan dianusmatikì q¸ro V kai dÔo bseic B kai
0
B tou V . JewroÔme ènan grammikì metasqhmatismì T tou V . An A eÐnai o
pÐnakac tou T wc proc thn bsh B kai A0 o pÐnakac tou T wc proc thn bsh
0
pÐnakac allag c bshc apì thn B sthn B . Kai ra apo to Je¸rhma 4.1.3
70
Orismìc 5.3.2 JewroÔme ènan dianusmatikì q¸ro V kai ènan grammikì
metasqhmatismì T tou V .
3. An λ∈F eÐnai mia idiotim tou T o idiìqwroc tou T gia thn idiotim λ
eÐnai to sÔnolo twn dianusmtwn v ta opoÐa ikanopoioÔn T v = λv .
orÐzetai:
Mia idiotim tou T eÐnai to 4. 'Ena idiodinusma tou T gia thn idiotim 4 eÐnai
(T − λIV )v = 0 kai apo to Je¸rhma 5.1.2 èpetai ìti o T − λIV den eÐnai
T v = λv .
71
Pìrisma 5.3.1 JewroÔme ènan dianusmatikì q¸ro V kai ènan grammikì me-
poluwnÔmou tou T .
Pìrisma 5.3.2 JewroÔme ènan dianusmatikì q¸ro V pnw sto C kai ènan
nan dianusmatikì q¸ro pnw sto R na mhn èqei kammÐa idiotim . Prgmati,
2
jewroÔme ton grammikì metasqhmatismì T tou R pou orÐzetai:
idiotimèc sto R .
72
JewroÔme mia bsh (e1 , e2 , ..., en ) tou V tètoia ¸ste h (e1 , e2 , ..., em ) na eÐnai
bsh tou W . O pÐnakac tou T wc proc aut th bsh eÐnai thc morf c:
!
A B
,
0 C
V = W ⊕ U.
1. Ev = v , an v∈W
2. Ev = 0 , an v∈U
73
Je¸rhma 5.4.1 'Enac grammikìc metasqhmatismìc E tou V eÐnai probol
an kai mìnon an E2 = E .
2
Upojètoume ìti E =E . Jètoume: W = {x ∈ V : Ex = x} U = Ker E , .
bol pnw ston W kat m koc tou U , tìte o W eÐnai to sÔnolo twn lÔsewn
Ex = 0 .
ton W .
74
ET E = T E gia kpoia probol E pnw sto W . DeÐqnoume ìti an v∈W ,
dhlad Tv ∈ W . 2 .
2
tikì upìqwro W = {(x, 0) : x ∈ R} tou R . JewroÔme a, b, c, d sto R kai ton
gia (x, y) ∈ R2 .
2
(x, y) ∈ R eÐnai mia probol pnw ston W . Apì to Je¸rhma 5.4.2 èpetai
'Eqoume (ax, cx) = (ax, 0) gia kje (x, y) ∈ R2 an kai mìnon an c=0 .
gia (x, y) ∈ R2 .
75
BrÐskoume gia poièc timèc twn a, b, c, d o T af nei analloÐwto ton W . O
2
(x, y) ∈ R eÐnai mia probol pnw ston W . Apì to Je¸rhma 5.4.2 èpetai ìti
!
a b
c d
!
1 0
.
−1 0
! ! ! ! !
a b 1 0 1 0 a b 1 0
= ⇔
c d −1 0 −1 0 c d −1 0
! ! !
a−b 0 1 0 a−b 0
= ⇔
c−d 0 −1 0 c−d 0
! !
a−b 0 a−b 0
= .
c−d 0 b−a 0
'Ara o T af nei analloÐwto ton W an kai mìnon an a+c=b+d .
76
2. 'Eqoume ET = T E .
Apìdeixh
πT = T̃ π.
0
DeÐqnoume ìti o T̃ eÐnai kal orismènoc. Prèpei na deÐxoume ìti an v ∈V kai
0
π(T v) = π(T v ) kai o T̃ eÐnai kal orismènoc. EÔkola blèpoume ìti eÐnai ènac
grammikìc metasqhmatismìc tou V /W kai apo ton orismì tou ikanopoieÐ thn
πT = T̃ π.
77
Lème ìti o T̃ eÐnai o metasqhmatismìc phlÐko tou T pnw ston V /W .
V tètoia ¸ste (e1 , e2 , ..., em ) na eÐnai bsh tou W . EÐdame sthn pargrafo
!
A B
.
0 C
H (π(em+1 ), π(em+2 ), ..., π(en )) eÐnai mia bsh tou V /W . O pÐnakac tou T̃ wc
T̃ ρ = ρTU .
V , kai dÔo upìqwrouc W kai U tou V , analloÐwtouc apì touc T kai S kai
T̃ = S̃ tìte T =S .
5.5.2 èqoume: T̃ ρ(u) = ρT (u) kai S̃ρ(u) = ρS(u) , ìpou ρ o periorismìc thc
78
π ston U . Apì thn upìjesh èqoume: S̃ = T̃ . 'Ara ρS(u) = ρT (u) . Epeid o
5.6 Ask seic
grammikèc.
1. T (x1 , x2 ) = (1 + x1 , x2 ) .
2. T (x1 , x2 ) = (x2 , x1 ) .
3. T (x1 , x2 ) = (x21 , x2 ) .
4. T (x1 , x2 ) = (sin x1 , x2 ) .
5. T (x1 , x2 ) = (x1 − x2 , 0) .
1. Im T ∩ Ker T = {0}
2. Ker T 2 ⊆ Ker T .
eÐnai antistrèyimoc.
matismoÐ.
79
'Askhsh 5.6.5 JewroÔme th bsh e = (e1 , e2 ) tou R2 me e1 = (1, 0) e2 = ,
!
2 1
A= .
−1 3
T (f1 ) = f1 , T (f2 ) = 0.
'Askhsh 5.6.7 JewroÔme thn kanonik bsh E = (E11 , E12 , E21 , E22 ) tou
R2×2 ìpou
! ! ! !
1 0 0 1 0 0 0 0
E11 = , E12 = , E21 = , E22 =
0 0 0 0 1 0 0 1
80
OrÐzoume mia apeikìnish LA apì ton R2×2 ston R2×2 wc ex c:
LA (X) = AX.
3
sqhmatismoÔ tou opoÐou o pÐnakac wc proc thn kanonik bsh tou R eÐnai
0 1 0
A=
0 0 1 .
c b a
n−1
X
'Askhsh 5.6.9 DÐnetai polu¸numo p(x) ∈ R[x] me p(x) = xn + αi xi .
i=0
BreÐte ènan grammikì metasqhmatismì tou Rn pou na èqei qarakthristikì
polu¸numo to p(x) .
opoÐou o pÐnakac wc proc thn kanonik bsh ((1, 0), (0, 1)) tou R2 eÐnai o
!
1 1
.
1 1
81
kai D ∈ L(V ) pou orÐzetai: Dxm = mxm−1 gia kje m me 1≤m≤3 kai
D1 = 0 .
2 1 1
A=
0 1 1
−1 3 4
BreÐte mia bsh gia ton Im T kai mi bsh gia ton Ker T .
dianusmatikì q¸ro V kai èna polu¸numo p(x). DeÐxte ìti an λ eÐnai idiotim
'Askhsh 5.6.16 DÐnetai mia probol P . DeÐxte ìti oi idiotimèc thc perièqo-
m m
upìqwroi Ker T , Im T eÐnai analloÐwtoi apì ton T .
82
'Askhsh 5.6.18 DÐnetai dianusmatikìc q¸roc V kai dÔo grammikoÐ meta-
tai:
o pÐnakac wc proc thn kanonik bsh ((1, 0), (0, 1)) tou R2 eÐnai o:
!
cos t − sin t
.
sin t cos t
o pÐnakac wc proc thn kanonik bsh ((1, 0), (0, 1)) tou C2 eÐnai o:
!
cos t − sin t
.
sin t cos t
wtoi apì ton T , tìte oi upìqwroi W +U kai W ∩U eÐnai analloÐwtoi apì ton
T .
83
L(V ) : T S = 0} eÐnai dianusmatikìc upìqwroc tou L(V ) . UpologÐste thn
distash tou.
tai
o pÐnakac wc proc thn kanonik bsh ((1, 0), (0, 1)) tou R2 eÐnai o:
!
1 λ
,
0 1
m koc tou U1 + W2 .
m koc tou U1 + U2 .
84
'Askhsh 5.6.27 BreÐte poia sqèsh prèpei na uprqei metaxÔ twn a kai b
¸ste o grammikìc metasqhmatismìc T tou R2 tou opoÐou o pÐnakac wc proc
2
thn kanonik bsh ((1, 0), (0, 1)) tou R eÐnai o:
!
3 a
b −2
na eÐnai probol .
upìqwro W = {(x, 2x) : x ∈ R} tou R2 . BreÐte ìlec tic probolèc pnw ston
W .
2
tasqhmatismìc T pnw ston V lègetai eneliktikìc an T = I. DeÐxte ì-
U = {v ∈ V : T v = −v} tìte V =W ⊕U .
85
2. JewroÔme ton dianusmatikì q¸ro V twn n×n pinkwn me suntelestèc
t
T (A) = A gia A∈V . DeÐxte ìti o T eÐnai ènac eneliktikìc grammikìc
DeÐxte akìmh ìti h apeikìnish T → (T + I)/2 apì ton I sto P eÐnai 1−1 kai
epÐ.
mìnon an ST = T S .
'Askhsh 5.6.37 DÐnontai dÔo probolèc E kai F . DeÐxte ìti oi E kai F èqoun
86
Keflaio 6
Kanonikèc Morfèc
6.1 TrigwnopoÐhsh
1. 0 ⊆ V1 ⊆ V2 ⊆ ...Vn−1 ⊆ Vn = V,
3. T Vi ⊆ Vi gia i = 1, ..., n .
87
T̃ ton metasqhmatismì phlÐko pou orÐzei o T pnw ston V /V1 . Apì thn upì-
i = 2, ..., n .
Prìtash 6.1.1 JewroÔme mia bsh (e1 , e2 , ..., en ) tou V me thn idiìthta h
sh
Pn
JewroÔme èna polu¸numo p(x) = i=0 ai x i ston C[x] . O grammikìc meta-
n
sqhmatismìc p(T ) tou V eÐnai o a0 IV + a1 T + ... + an T .
JewroÔme thn apeikìnish p(x) → p(T ) apì ton C[x] ston L(V ). EÐnai
eÔkolo na doÔme ìti to sÔnolo {p(x) ∈ C[x] : p(T ) = 0} eÐnai ide¸dec tou
C[x] . Apo to Je¸rhma 1.2.2, uprqei èna monadikì polu¸numo q(x) ∈ C[x]
tètoio ¸ste:
88
me qi (x) prwtobjmia gia i = 1, ...r kai m i ∈ N∗ gia i = 1, ...r . Jètoume gia
1≤k≤r
m m
gk (x) = q1m1 (x)...qk−1
k−1 k+1
(x)qk+1 (x)...qrmr (x).
Ta gi (x) me 1≤i≤r eÐnai pr¸ta metaxÔ touc. 'Ara uprqoun hi (x) ∈ C[x] ,
r
X
gia 1≤i≤r tètoia ¸ste hi (x)gi (x) = 1 . Jètoume pk (x) = hk (x)gk (x)
i=1
gia 1≤k≤r .
2. pk (T )2 = pk (T ) , gia 1≤k≤r .
Apìdeixh
1. To q(x) diaireÐ to gk (x)gl (x) , ra kai to pk (x)pl (x) . Sunep¸c pk (T )pl (T ) =
0
r
X
2. 'Eqoume: pk (T ) = pk (T ) pi (T ) = pk (T )2 .
i=1
r
X
Prìtash 6.2.1 Jètoume Vi = pi (T )V 1 ≤ i ≤ r , . Tìte V = ⊕Vi kai oi
i=1
Vi eÐnai analloÐwtoi apì ton T .
r
X
Apìdeixh Apì to L mma 6.2.1 sungetai ìti V = ⊕Vi . Apì to Je¸rhma
i=1
5.4.2 oi Vi eÐnai analloÐwtoi apì ton T . 2
q¸rou Vi . Tìte h (B1 , B2 , ...Br ) eÐnai mia bsh tou V kai o pÐnakac tou T wc
89
T1 0 0 ··· 0
0
T2 0 ··· 0
0 0 T3 ··· 0 ,
· · · ··· ··· · · · · · ·
0 0 0 · · · Tr
ìpou Ti eÐnai o pÐnakac tou periorismoÔ tou T ston Vi wc proc th bsh Bi ,
gia 1≤i≤r . 2
Apìdeixh
m
ntistrèyimoc. Ta qimi (x), qj j (x) eÐnai pr¸ta metaxÔ touc. Uprqoun
m
si (x), sj (x) ston C[x] tètoia ¸ste si (x)qimi (x) + sj (x)qj j (x) =1 . Gia
u ∈ Vj èqoume:
m
sj (T )qimi (T )u + sj (T )qj j (T )u = u ⇒ si (T )qimi (T )u = u
r
X r
X
uj me uj ∈ Vj gia 1 ≤ j ≤ r. 'Eqoume: qimi (T )u = qimi (T )uj = 0.
j=1 j=1
Apì to 2, èqoume ìti: an i ≤ j tìte qimi (T )uj = 0 ⇒ uj = 0 . 'Ara
u = ui ∈ Vi .
to qimi (x).
90
Apìdeixh Ac eÐnai r(x) to elqisto polu¸numo tou periorismoÔ tou T sto
Vi . 'Eqoume: qimi (T )Vi = 0, ra r(x)|qimi (x). 'Ara r(x) = qim (x) gia m ∈ N∗ ,
m = mi . 2
Apìdeixh 'Amesh. 2
opoÐou o pÐnakac wc proc thn kanonik bsh ((1, 0, 0), (0, 1, 0), (0, 0, 1)) tou
3
C eÐnai o:
5 −2 1
1 2 4 .
0 0 3
Ja upologÐsoume touc q¸rouc thc prwtarqik c anlushc tou T . To elqisto
polu¸numo tou T eÐnai to (x − 3)2 (x − 4) . Apo thn Prìtash 6.2.2 èqoume ìti
3
proc thn kanonik bsh ((1, 0, 0), (0, 1, 0), (0, 0, 1)) tou C eÐnai o:
2 −2 −6
1 −1 −3
0 0 0
kai ra
V1 = {(x, y, z) ∈ C3 : x − y − 3z = 0}.
91
O pÐnakac tou (T −4IC3 ) wc proc thn kanonik bsh ((1, 0, 0), (0, 1, 0), (0, 0, 1))
tou C3 eÐnai o:
1 −2 1
1 −2 4
0 0 −1
kai ra
V2 = {(2y, y, 0) : y ∈ C}.
m
thc morf c q (x) me q(x) prwtobjmio.
EÔkola blèpoume ìti to sÔnolo {p(x) ∈ C[x] : p(T )u = 0} eÐnai ide¸dec tou
C[x] . 'Ara apo to Je¸rhma 1.2.2 uprqei èna polu¸numo pu (x) tètoio ¸ste:
nu
sunep¸c to pu (x) eÐnai thc morf c q (x) .
Orismìc 6.3.1 Lème ìti to nu eÐnai h perÐodoc tou u∈V kai sumbolÐzoume
per(u) = nu .
i=1
92
Apìdeixh Ja deÐxoume thn prìtash me epagwg sth distash tou V . Je-
morf c q ñ me ñ ≤ n . Apì thn upìjesh thc epagwg c, uprqoun ũ1 , ..., ũl
l
X
ston Ṽ tètoioi ¸ste Ṽ = ⊕C[T̃ ]ũi , kai per(ũi ) = ñi me ñi ≤ ñ ≤ n . Ja
i=1
broÔme antipros¸pouc ui twn ũi gia 1≤i≤l me per(ui ) = per(ũi ) .
0 0 0
JewroÔme u , ..., u
1 l antipros¸pouc twn ũ1 , ..., ũl ston V . An per(ui ) = ñi ,
jètoume ui = u0i . Upojètoume ìti per(u0i ) 6= ñi . Profan¸c per(u0i ) > ñi .
Epeid per(ũi ) = ñi èqoume ìti q ñi (T̃ )ũi = 0 kai ra q ñi (T )u0i ∈ C[T ]u.
'Ara q ñi (T )u0i = s(T )u gia kpoio polu¸numo s(x) ∈ C[x] . Uprqei èna
polu¸numo r(x) ∈ C[x] tètoio ¸ste to q(x) na mhn diaireÐ to r(x) kai ènac
'Eqoume:
k
per(q(T ) r(T )u) = n − k , ra per(q(T )ñi u0i ) = n − k , ra
ũi ston V . 'Ara br kame antipros¸pouc ui twn ũi gia kje i me 1≤i≤l
ston V me per(ui ) = per(ũi ) . Gia na oloklhr¸soume thn apìdeixh arkeÐ na
deÐxoume ìti:
l
X
V = ⊕C[T ]ui ⊕ C[T ]u.
i=1
l
X
Profan¸c V = ⊕C[T ]ui + C[T ]u. DeÐqnoume ìti to jroisma eÐnai eujÔ.
i=1
JewroÔme si (x) ∈ C[x] , gia kje i me 1≤i≤l kai r(x) ∈ C[x] . Upojètoume
λ
X
ìti si (T )ui + r(T )u = 0 . Ja deÐxoume ìti si (T )ui = 0 gia kje i me 1≤
i=1
l
X l
X
i≤l kai r(T )u = 0 . Epeid si (T )ui +r(T )u = 0 , èqoume: si (T̃ )ũi = 0,
i=1 i=1
93
gia kje i me 1≤i≤l , ra apì thn upìjesh thc epagwg c, si (T̃ )ũi = 0 gia
kje i me 1≤i≤l . 'Ara to q ñi (x) diaireÐ to si (x) gia kje i me 1≤i≤l .
Epeid per(ui ) = ñi èqoume qi (T )ui = 0 gia kje i me 1≤i≤l . 'Ara kai
r(T )u = 0 . 2
Parat rhsh 6.3.1 Oi q¸roi C[T ]xi den eÐnai kanonikoÐ. Exart¸ntai apì
thn epilog twn ui kai ìqi mìnon apì ton T . EpÐshc eÐnai analloÐwtoi apì ton
T .
Meletme t¸ra ton periorismì tou T s' èna q¸ro thc morf c C[T ]u .
Apìdeixh 'Ena stoiqeÐo tou C[T ]u eÐnai thc morf c s(T )u me s(x) sto C[x] .
'Eqoume: s(x) = q m (x)t(x) + r(x) me t(x), r(x) sto C[x] kai deg r(x) <
deg q m (x) = m . 'Ara s(T )u = r(T )u . Epeid to r(x) eÐnai grammikìc sundua-
m−1
smìc twn poluwnÔmwn 1, q(x), ..., q (x) ta dianÔsmata u, q(T )u, ..., q(T )m−1 u
pargoun ton C[T ]u . DeÐqnoume t¸ra ìti aut ta dianÔsmata eÐnai grammi-
m−1
X
¸ste aj q(T )j u = 0 kai kpoio apì ta aj na eÐnai diforo apì 0 . To po-
j=0
Pm−1
lu¸numo
j=0 aj q(x)j èqei bajmì gn sia mikrìtero apì to m kai ikanopoieÐ
Pm−1 j
j=0 aj q(T ) u = 0 . 'Ara prèpei na diaireÐtai apo to q(x) . Autì eÐnai topo.
bsh (u, q(T )u, ..., q(T )ni −1 u) eÐnai thc morf c:
94
λ 0 0 ··· 0
1
λ 0 ··· 0
0
1 λ ··· 0 .
· · · ··· ··· · · · · · ·
· · · ··· ··· · · · · · ·
0 0 0 ··· λ
Orismìc 6.3.2 'Enac pÐnakac thc morf c
λ 0 0 ··· 0
1
λ 0 ··· 0
0
1 λ ··· 0
· · · ··· ··· · · · · · ·
· · · ··· ··· · · · · · ·
0 0 0 ··· λ
Uprqei mia bsh tètoia ¸ste o pÐnakac tou T wc proc aut th bsh na èqei
th morf :
A1 0 0 ··· 0
0
A2 0 ··· 0
0
0 A3 ··· 0
· · · ··· ··· · · · · · ·
· · · ··· ··· · · · · · ·
0 0 0 · · · Ar
95
6.4 Kanonikèc Morfèc
Je¸rhma 6.4.1 Uprqei bsh tou V tètoia ¸ste o pÐnakac tou T wc proc
A1 0 0 ··· 0
0
A2 0 ··· 0
0 0 A3 ··· 0
· · · ··· ··· · · · · · ·
· · · ··· ··· · · · · · ·
· · · ··· ··· · · · · · ·
0 0 0 · · · As
ìpou A1 , . . . , A s eÐnai stoiqei¸deic morfèc Jordan .
Apìdeixh ProkÔptei apo tic to Pìrisma 6.2.1, kai tic Protseic 6.2.3 kai
6.3.2. 2
tou T .
dim Vi
(x − λi ) .
3. 'Eqoume mi ≤ dim Vi .
Apìdeixh ProkÔptei apo thn Prìtash 6.2.4 kai thn Prìtash 6.3.2. 2
96
Pìrisma 6.4.1 To elqisto polu¸numo tou T diaireÐ to qarakthristikì po-
lu¸numo tou T .
6.5 DiagwnopoÐhsh
smatikoÔc q¸rouc V1 , ...Vr thc prwtarqik c anlushc tou T . Apì thn prìta-
ìpou λ1 , ..., λr oi (diforec an dÔo) idiotimèc tou T . To polu¸numo p(x) èqei
97
miac bshc tou V ra kje stoiqeÐo tou V . To elqisto polu¸numo tou T
diaireÐ to p(x) , ra èqei kai autì aplèc rÐzec. 2
Apìdeixh JewroÔme tic diforec an dÔo idiotimèc λ1 , ..., λr tou T . DeÐ-
λ kai T = λIV . JewroÔme mi bsh B tou V wc proc thn opoÐa o pÐ-
lÐzoume Ti ton periorismì tou T ston Vi kai Si ton periorismì tou tou S ston
98
Apìdeixh JewroÔme k ∈ N∗ tètoio ¸ste Tk = 0 kai me m ∈ N∗ tètoio ¸ste
Sm = 0 . 'Eqoume:
k+m
X
k+m k + m k+m−i i
(T + S) = T S.
i=0
i
1. T =S+N
2. SN = N S
polu¸numa tou T .
an dÔo. JewroÔme ta polu¸numa pi (x) me i = 1, ..., r ìpwc sto L mma 6.2.1.
Jètoume:
r
X
S= λi pi (T )
i=1
r
X
N= (T − λi IV )pi (T )
i=1
99
Oi S kai N eÐnai polu¸numa tou T . 'Eqoume SN = N S . EpÐshc
r
X r
X r
X
S+N = (T − λi IV )pi (T ) + λi pi (T ) = T pi (T ) = T.
i=1 i=1 i=1
r
Y
(S − λj IV ) = 0.
j=1
Prgmati, tìte to elqisto polu¸numo tou S ja èqei aplèc rÐzec kai ra
èqoume
r
Y r X
Y r
(S − λj IV ) = ( (λi − λj )pi (T ))
j=1 j=1 i=1
r Y
X r
= (λi − λj )pi (T ) = 0.
i=1 j=1
r
X
Nk = (T − λi IV )κ pi (T ).
i=1
¸ste:
100
2. T = S0 + N 0
3. S 0N 0 = N 0S 0
0
O S metatÐjetai me touc S0 kai N0 , ra me ton T , ra kai me ton S . 'Omoia,
0 0
mhdenodÔnamoc. 'Ara R=0 kai sunep¸c S=S kai N =N . 2
opoÐou o pÐnakac wc proc thn kanonik bsh ((1, 0), (0, 1)) tou C2 eÐnai o:
!
5 −2
.
2 1
Gia na broÔme thn S+N anlush tou T ergazìmaste ìpwc sthn apìdeixh
2
kanonik bsh tou C eÐnai o
!
3 0
0 3
!
2 −2
.
2 −2
101
6.7 Ask seic
ou o pÐnakac wc proc thn kanonik bsh ((1, 0, 0), (0, 1, 0), (0, 0, 1)) tou C3
eÐnai o
3 1 −1
0 1 −1 .
0 2 4
BreÐte touc q¸rouc thc prwtarqik c anlushc tou T .
0 2 0 2
0 1 2 0 0 2
−1 1 1 0
0 −1 0 1 0 0 1 0 0
l c.
2 r
kìc tètoioc ¸ste to {I, T, T , ..., T } na eÐnai grammik exarthmèno. Uprqoun
102
r−1
X
αi ∈ C me 0 ≤ i ≤ r−1 tètoia ¸ste αi T i + T r = 0 . DeÐxte ìti to p =:
i=0
r−1
X
xr + αi xi eÐnai to elqisto polu¸numo tou T .
i=0
'Askhsh 6.7.8 DÐnetai pÐnakac n×n A . DeÐxte ìti ta paraktw eÐnai iso-
dÔnama:
2. O A eÐnai diagwnopoi simoc.
1. O T mhdenodÔnamoc.
'Askhsh 6.7.10 DeÐxte ìti kje 2×2 pÐnakac eÐnai ìmoioc m' ènan pÐnaka
1.
!
λ 1
0 λ
me λ∈C .
2.
!
λ 0
0 µ
me λ, µ ∈ C.
103
'Askhsh 6.7.11 DeÐxte ìti ènac pÐnakac A eÐnai ìmoioc me ton At .
'Askhsh 6.7.12 DeÐxte ìti ènac 3×3 mhdenodÔnamoc pÐnakac eÐnai ìmoioc m'
'Askhsh 6.7.14 BreÐte èna peperasmèno sÔnolo 4×4 pinkwn tètoio ¸ste
kje mhdenodÔnamoc 4×4 pÐnakac, na eÐnai ìmoioc m' ènan apì autoÔc kai
mìnon.
4
ntelestèc A pou ikanopoioÔn A =A . BreÐte èna uposÔnolo Y tou X me tic
idiìthtec:
Dxκ = κ · xκ−1 , 1 ≤ κ ≤ n, D1 = 0.
BreÐte to elqisto kai to qarakthristikì polu¸numo tou D . BreÐte th
x3 (x − 1)4 .
104
'Askhsh 6.7.18 Pìsec eÐnai oi dunatèc morfèc Jordan gia èna 6×6 pÐnaka
2
(x − 2) (x + 7) kai qarakthristikì (x − 2)3 (x + 7)2 .
rÐza.
2 1 0
3 0 0 .
0 0 1
'Askhsh 6.7.23 DÐnetai ènac antistrèyimoc 2×2 pÐnakac. BreÐte ìlec tic
rÐzec tou.
n−1 n
T ∈ L(V ) tètoioc ¸ste T 6= 0, T = 0. DeÐxte ìti o T den èqei rÐza sto
L(V ).
poÐou o pÐnakac wc proc thn kanonik bsh ((1, 0, 0), (0, 1, 0), (0, 0, 1)) tou C3
eÐnai o
3 1 1
0 1 0 .
6 2 4
BreÐte thn S+N anlush tou T .
105
Keflaio 7
morfèc
Orismìc 7.1.1 JewroÔme èna dianusmatikì q¸ro V pnw sto s¸ma F . Mia
ktw sunj kec:
pnw sto F . JewroÔme mia bsh (e1 , e2 , ..., en ) tou V kai mia digrammik
106
n
X n
X
u= ui ei , v = vj ej
i=1 j=1
me ui ∈ F, vj ∈ F gia 1 ≤ i ≤ n, 1 ≤ j ≤ n.
'Eqoume:
n n
! n X
n
X X X
f (u, v) = f ui ei , vj ej = ui vj f (ei , ej ).
i=1 j=1 i=1 j=1
th bsh (e1 , e2 , ..., en ). 'Eqoume: f (u, v) = ut0 Av0 , ìpou u0 = (u1 , u2 , ..., un ) ,
v0 = (v1 , v2 , ..., vn ). JewroÔme mia llh bsh (g1 , g2 , ..., gn ) tou V . Sumbo-
allag c bshc apì thn (e1 , e2 , ..., en ) sthn (g1 , g2 , ..., gn ) , èqoume:
A = P t BP.
f : R 3 × R3 → R
pou orÐzetai:
3
X
f ((x1 , x2 , x3 ), (y1 , y2 , y3 )) = xi yi
i=1
eÐnai mi digrammik morf . O pÐnakac thc f wc proc thn kanonik bsh tou
R3 eÐnai o
1 0 0
0 1 0 .
0 0 1
107
Pardeigma 7.1.2 JewroÔme ton dianusmatikì q¸ro R3 . H apeikìnish
f : R3 × R3 → R
pou orÐzetai:
f ((x1 , x2 , x3 ), (y1 , y2 , y3 )) = x1 y2 + x2 y3
eÐnai mi digrammik morf . O pÐnakac thc f wc proc thn kanonik bsh tou
3
R eÐnai o
0 1 0
0 0 1 .
0 0 0
T f (x, y) = f (T x, T y).
An (e1 , e2 , ..., en ) eÐnai mia bsh tou V A , o pÐnakac thc f wc proc aut th
V tètoioc ¸ste Tf = g .
namÐac. An (e1 , e2 , ..., en ) eÐnai mia bsh tou V kai A (antistoiq. B) eÐnai o
T0t AT0 = B.
108
7.2 Summetrikèc Digrammikèc Morfèc, Enal-
Orismìc 7.2.1 Mia digrammik morf f s' èna dianusmatikì q¸ro V lège-
Prìtash 7.2.1 Mia digrammik morf f s' èna dianusmatikì q¸ro V eÐnai
proc mia bsh (e1 , e2 , ..., en ) tou V eÐnai summetrikìc pÐnakac. An f eÐnai
(e1 , e2 , ..., en ) tou V eÐnai antisummetrikìc pÐnakac. Sth sunèqeia aut c thc
paragrfou sumbolÐzoume f mia digrammik morf s' èna q¸ro V , pou eÐnai
summetrik enallssousa.
W ⊥ = {u ∈ V : f (u, v) = f (v, u) = 0, ∀v ∈ W }.
109
O W⊥ eÐnai dianusmatikìc upìqwroc tou V kai lègetai o kjetoc tou W .
SumbolÐzoume
nh an Ker f 6= {0} .
f : R 3 × R3 → R
pou orÐzetai:
f ((x1 , x2 , x3 ), (y1 , y2 , y3 )) = x1 y2 + x2 y1
eÐnai mi summetrik digrammik morf . O pÐnakac thc f wc proc thn kano-
3
nik bsh tou R eÐnai o
0 1 0
1 0 0 .
0 0 0
H f eÐnai mi ekfulismènh digrammik morf . O pur nac thc eÐnai o
f : R 3 × R3 → R
pou orÐzetai:
f ((x1 , x2 , x3 ), (y1 , y2 , y3 )) = x1 y2 + x2 y1 + x3 y3
110
eÐnai mi summetrik digrammik morf . O pÐnakac thc f wc proc thn kano-
tai apì tic grammikèc morfèc pnw ston V pou eÐnai 0 ston W . O U eÐnai
⊥
apì ton W ston U . 'Ara:
⊥
ekfulismènh morf an kai mìnon an W +W = V.
111
Apìdeixh 'Eqoume: dim W + dim W ⊥ = dim(W + W ⊥ ) + dim(W ∩ W ⊥ ).
Apì thn Prìtash 7.2.3 èqoume: dim V = dim(W + W ⊥ ) + dim(W ∩ W ⊥ ).
'Ara W + W⊥ = V an kai mìnon an W ∩ W⊥ = 0 , dhlad an kai mìnon o
ekfulismènh morf .
Apìdeixh Apì thn Prìtash 7.2.3 èqoume ìti dim(W ⊥ )⊥ = dim W . Epeid
S' aut thn pargrafo h f eÐnai mia summetrik digrammik morf s' èna
dianusmatikì q¸ro V .
Orismìc 7.3.1 Lème ìti mia bsh (e1 , e2 , ..., en ) tou V eÐnai orjog¸nia gia
1 ≤ i ≤ n.
rhma s' aut thn perÐptwsh me epagwg . Upojètoume ìti dim V = n > 1.
Uprqei u ∈ V, u 6= 0 tètoio ¸ste f (u, u) 6= 0 . Prgmati an f (v, v) = 0
v∈V tìte èqoume:
112
f (u + w, u + w) = 0 ⇒ f (u, u) + f (w, w) + 2f (u, w) = 0 ⇒ f (u, w) =
0, ∀u ∈ V, ∀w ∈ V. Autì eÐnai topo giatÐ Ker f = {0} . 'Ara uprqei u ∈
V, u 6= 0 tètoio ¸ste f (u, u) 6= 0 . SumbolÐzoume W ton dianusmatikì q¸ro
morf kai apì thn Prìtash 7.2.4 èqoume ìti W ⊕W⊥ = V . Apì to Pìrisma
⊥
7.2.1 o periorismìc thc f ston W eÐnai mh ekfulismènh morf , ra apì
thn upìjesh thc epagwg c uprqei mia orjog¸nia bsh (e2 , e3 , ..., en ) gia ton
periorismì thc f ston W⊥ . H bsh (u, e2 , ..., en ) tou V eÐnai orjog¸nia gia
thn f .
mh ekfulismènh morf . An (e1 , e2 , ..., ek ) eÐnai mia orjog¸nia bsh gia ton
periorismì thc f ston V0 kai (ek+1 , ek+2 , ..., en ) eÐnai mia bsh tou Ker f , tìte
f : R 3 × R3 → R
pou orÐzetai:
f ((x1 , x2 , x3 ), (y1 , y2 , y3 )) = x1 y2 + x2 y1 + x3 y3
1 1
((1, , 0), (1, − , 0), (0, 0, 1))
2 2
113
k < i ≤ n. Tìte h (ek+1 , ek+2 , ..., en ) eÐnai mia bsh tou Ker f.
Pìrisma 7.3.2 Uprqei mia bsh tou V wc proc thn opoÐa o pÐnakac thc f
eÐnai diag¸nioc.
(e1 , e2 , ..., en ) gia thn f, r apì touc arijmoÔc f (ei , ei ), 1 ≤ i ≤ n eÐnai gn sia
Apìdeixh Apì to Pìrisma 7.3.1, an (e1 , e2 , ..., en ) eÐnai mia orjog¸nia bsh
orjog¸niec bseic (e1 , e2 , ..., en ) kai (g1 , g2 , ..., gn ) gia thn f . Upojètoume ìti:
gs+1 , ..., gn eÐnai grammik anexrthta kai ìti ta g1 , g2 , ..., gs er+1 , ..., en
, eÐnai
grammik anexrthta.
r+n−s≤n⇒r ≤s
s+n−r ≤n⇒s≤r kai ra r=s .
pojètoume ìti:
r
X n
X
αi ei + βj gj = 0
i=1 j=s+1
114
gia αi ∈ R gia 1≤i≤r kai βj ∈ R gia s+1≤j ≤n . 'Eqoume:
r
X n
X
αi ei = − βj gj
i=1 j=s+1
kai
r r
! n n
!
X X X X
f αi ei , αi ei =f βj gj , βj gj ⇒
i=1 i=1 j=s+1 j=s+1
r
X n
X
αi2 f (ei , ei ) = βj2 f (gj , gj ).
i=1 j=s+1
To aristerì mèloc eÐnai jetikì kai to dexiì mèloc eÐnai arnhtikì. 'Ara,
r
X n
X
αi2 f (ei , ei ) = βj2 f (gj , gj ) = 0
i=1 j=s+1
upograf r . Gia kje orjokanonik bsh (e1 , e2 , ..., en ) gia thn f r , apì touc
115
Pìrisma 7.3.5 Upojètoume ìti h f eÐnai mh ekfulismènh summetrik di-
metaxÔ touc kai tètoioi ¸ste o periorismìc thc f ston W1 na eÐnai jetik
f : R 3 × R3 → R
pou orÐzetai:
f ((x1 , x2 , x3 ), (y1 , y2 , y3 )) = x1 y2 + x2 y1 + x3 y3
1 1
((1, , 0), (1, − , 0), (0, 0, 1))
2 2
116
Orismìc 7.3.4 Upojètoume ìt h f eÐnai mi mh ekfulismènh summetrik
sm¸n tou V .
èqoume ìti: O T eÐnai orjog¸nioc gia thn f an kai mìnon an T0t AT0 = A.
Sth sunèqeia aut c thc paragrfou h f eÐnai mia jetik orismènh summe-
trik morf . Mia tètoia morf lègetai eswterikì ginìmeno. JewroÔme èna
ϕy (x) = f (y, T x) eÐnai mia grammik morf pnw ston V . Apì thn Prìtash
7.2.2 èqoume ìti ϕy = fy∗ gia kpoio y∗ ∈ V . EÔkola blèpoume ìti h apei-
∗
ton grammikì metasqhmatismì T lème ìti eÐnai o suzug c tou T . 'Eqoume
∀x ∈ V, ∀y ∈ V :
f (y, T x) = (T ∗ y, x).
117
Prìtash 7.3.3 JewroÔme ènan dianusmatikì q¸ro V pnw sto R efodia-
1. (T + S)∗ = T ∗ + S ∗
2. (λT )∗ = λT ∗
3. (λS)∗ = S ∗ T ∗
4. (T ∗ )∗ = T
V lègetai summetrikìc an T = T∗ .
T0t A = AT0 .
S' aut thn pargrafo h f eÐnai mia enallssousa digrammik morf s' èna
dianusmatikì q¸ro V .
morf .
118
k
X
1. ⊕Wi = W.
i=1
2. Wi ⊥Wj gia i 6= j 1 ≤ i ≤ n 1 ≤ j ≤ n.
, ,
¸ste
2. W ⊕ Ker f = V.
èqoume ìti o periorismìc thc f ston W1⊥ eÐnai mh ekfulismènh morf . Apì thn
q¸roc. 2
119
Pìrisma 7.4.1 An h f eÐnai mh ekfulismènh, o V eÐnai uperbolikìc q¸roc
kai h distash tou eÐnai rtia. JewroÔme èna uperbolikì epÐpedo W kai u, v
sto W tètoio ¸ste f (u, v) = 1 . Tìte o pÐnakac tou periorismoÔ thc f sto W
wc proc th bsh (u, v) tou W eÐnai:
!
0 1
.
−1 0
Prìtash 7.4.1 An f eÐnai mia enallssousa digrammik morf s' èna dia-
nusmatikì q¸ro V , uprqei r∈N kai mia bsh tou V wc proc thn opoÐa o
A1 0 ··· ··· ··· ··· 0
0
A2 · · · ··· ··· ··· 0
· · · ··· ··· ··· ··· ··· · · ·
,
· · · ··· ··· Ar ··· ··· · · ·
· · · ··· ··· ··· ··· · · ·
0
· · · ··· ··· ··· ··· ··· · · ·
0 0 ··· ··· ··· ··· 0
ìpou
!
0 1
A1 = A2 = · · · = Ar = .
−1 0
f : R 3 × R3 → R
pou orÐzetai:
eÐnai mia enallssousa digrammik morf . O pÐnakac thc wc proc thn kano-
120
nik bsh tou R3 eÐnai o
2 −3
0
−2 0 −2 .
3 2 0
H f eÐnai ekfulismènh. 'Eqoume
3
Ker f = {(z, − z, −z) : z ∈ R}.
2
'Eqoume
R3 = W ⊕ ker f.
JewroÔme thn bsh ((1, 0, 0), (0, 12 , 0), (1, − 32 , −1)) tou R3 . O pÐnakac thc f
wc proc aut th bsh eÐnai o
0 1 0
−1 0 0 .
0 0 0
A1 0 ··· ··· ··· ··· 0
0
A2 · · · ··· ··· ··· 0
· · · ··· ··· ··· ··· ··· · · ·
,
· · · ··· ··· Ar ··· ··· · · ·
· · · ··· ··· ··· ··· · · ·
0
· · · ··· ··· ··· ··· ··· · · ·
0 0 ··· ··· ··· ··· 0
121
ìpou r∈N kai
!
0 1
A1 = A2 = · · · = Ar = .
−1 0
T0t AT0 = A.
metasqhmatism¸n tou V .
S' aut thn pargrafo o V eÐnai dianusmatikìc q¸roc pnw sto s¸ma C .
122
2. f (u + v, w) = f (u, w) + f (v, w) f (u, v + w) = f (u, v) + f (u, w)
3. f (u, v) = f (v, u)
Sth sunèqeia aut c thc paragrfou h f eÐnai mia ermitian morf ston
V .
Pn
1 ≤ i ≤ n v = nj=1 vj ej
P
u= i=1 ui ei , me ui ∈ C , gia , me vj ∈ C gia
1 ≤ j ≤ n. 'Eqoume:
n n
! n X
n
X X X
f (u, v) = f ui ei , vj ej = ui vj f (ei , ej ).
i=1 j=1 i=1 j=1
pÐnakac allag c bshc apì thn (e1 , e2 , ..., en ) sthn (g1 , g2 , ..., gn ) èqoume:
A = P t BP .
tou T wc proc aut th bsh, tìte o pÐnakac thc Tf wc proc aut th bsh
123
Orismìc 7.5.2 DÔo ermitianèc morfèc f, g s' èna dianusmatikì q¸ro V lè-
⊥
SumbolÐzoume: Ker f = V = {u ∈ V : f (u, v) = f (v, u) = 0, ∀y ∈ V }.
O dianusmatikìc q¸roc Ker f lègetai pur nac thc f .
nh an Ker f 6= {0}.
2. g(αx) = ᾱg(x)
124
EÔkola deÐqnoume ìti an oi U kai W eÐnai antiisìmorfoi, tìte dim U =
dim W . An u ∈ V sumbolÐzoume fu th grammik morf pnw ston V pou
Orismìc 7.5.7 MÐa bsh (e1 , e2 , ..., en ) tou V lègetai orjog¸nia gia thn f
an f (ei , ej ) = 0 gia i 6= j 1 ≤ i ≤ n 1 ≤ j ≤ n
, , .
MÐa bsh (e1 , e2 , ..., en ) tou V , orjog¸nia gia thn f , lègetai orjokanonik
125
Pìrisma 7.5.3 Uprqei mia bsh tou V wc proc thn opoÐa o pÐnakac thc f
eÐnai diag¸nioc.
kjetoi metaxÔ touc kai tètoioi ¸ste o periorismìc thc f ston W1 na eÐnai
metasqhmatism¸n tou V .
126
Prìtash 7.5.5 JewroÔme mia mh ekfulismènh ermitian morf f se èna
An A eÐnai o pÐnakac thc f kai T0 eÐnai o pÐnakac tou T wc proc aut th bsh,
T0t AT0 = A.
Sth sunèqeia aut c thc paragrfou h f eÐnai mia jetik orismènh ermi-
tian morf . Mia tètoia morf lègetai eswterikì ginìmeno. JewroÔme èna
φu (v) = f (T v, u) eÐnai mia grammik morf pnw ston V . Apì thn prìtash
7.5.1 èqoume ìti φu = fu0 gia kpoio u0 ∈ V . EÔkola blèpoume ìti h apei-
∗
to grammikì metasqhmatismì T kai lème ìti eÐnai o suzug c tou T . Eqoume
∀u ∈ V, ∀v ∈ V
φu (v) = f (v, u0 ) , ra
f (T v, u) = f (v, T ∗ u).
èqoume:
1. (T + S)∗ = T ∗ + S ∗ .
2. (T ∗ )∗ = T .
3. (αT )∗ = ᾱT ∗ .
4. (T S)∗ = S ∗ T ∗ .
zug c an T = T∗ .
127
Prìtash 7.5.7 JewroÔme èna grammikì metasqhmatismì T tou V . Jew-
roÔme mia bsh (e1 , e2 , ..., en ) tou V . An A eÐnai o pÐnakac thc f kai T0 eÐnai
f (T v, v) = f (v, T v) = f (T v, v), ∀v ∈ V.
Upojètoume ìti f (T v, v) ∈ R, ∀v ∈ V . 'Eqoume:
f (T v, v) = f (T v, v) = f (v, T v) = f (T ∗ v, v).
Ara:
f (Su, v) + f (Sv, u) = 0
if (Su, v) − if (Sv, u) = 0
128
Apìdeixh An λ eÐnai mia idiotim tou T me idiodinusma v , èqoume:
Uprqei mia bsh tou V orjog¸nia gia thn f pou apoteleÐtai apì idiodianÔ-
smata tou T .
tìte Tu ∈ W⊥ . 'Eqoume:
⊥
èna grammikì metasqhmatismì tou W . Autìc o grammikìc metasqhmati-
smìc eÐnai autosuzug c. Apì thn upìjesh thc epagwg c uprqei mia bsh
(e2 , e3 , ..., en ) tou W⊥ orjog¸nia gia ton periorismì thc f ston W⊥ pou a-
Pìrisma 7.5.6 Uprqei mia bsh tou V orjokanonik gia thn f pou apote-
thn f an Tf = f .
129
Pìrisma 7.5.7 JewroÔme mia bsh (e1 , e2 , ..., en ) tou V orjokanonik gia
T0t T̄0 = I.
V . Uprqei mia bsh tou V orjog¸nia gia thn f pou apoteleÐtai apì idiodia-
nÔsmata tou T .
⊥ ⊥
an v∈W , tìte Tv ∈ W . ParathroÔme ìti to u eÐnai idiodinusma tou T −1
me idiotim λ−1 . Eqoume: f (T v, u) = f (v, T ∗ u) = f (v, T −1 u) = λ−1 f (v, u) =
0. Oloklhr¸noume thn apìdeixh me epagwg ìpwc sto Je¸rhma 7.5.3. 2
7.6 Ask seic
f ((x1 , y1 ), (x2 , y2 )) = x1 x2 + y1 y2 .
BreÐte ton pÐnaka thc f se kajemÐa apì tic paraktw bseic tou R2
((1, 0), (0, 1)) ((1, −1), (1, 1)).
,
f (X, Y ) = tr(XAY t ),
ìpou:
130
!
1 2
A=
3 4
eÐnai mia digrammik morf pnw ston V . BreÐte ton pÐnaka thc f sthn
0 0 0 0 1 0 0 1
'Askhsh 7.6.4 JewroÔme mia digrammik morf f s' èna dianusmatikì q¸ro
pnw ston V .
R3 tètoiec ¸ste
131
2. Kje summetrik digrammik morf ston R3 na eÐnai isìtimh me èna
stoiqeÐo tou A .
na dianusmatikì q¸ro V eÐnai isìtimec an kai mìnon an dim Ker f1 = dim Ker f2 .
¸ste:
g(u, v) = f (T u, v), ∀u ∈ V, ∀v ∈ V.
f1 f2
, tou V . DeÐxte ìti h apeikìnish f :V ×V →F pou orÐzetai:
kai mìnon an oi f1 f2
, eÐnai grammik exarthmènec.
'Askhsh 7.6.12 DÐnetai mia digrammik morf f s' èna dianusmatikì q¸ro
V . Upojètoume ìti:
132
'Askhsh 7.6.13 DÐnetai dianusmatikìc q¸roc V me eswterikì ginìmeno f
kai ènac grammikìc metasqhmatismìc T tou V . DeÐxte ìti h eikìna tou T∗
⊥
eÐnai o dianusmatikìc upìqwroc (Ker T ) tou V .
f (X, Y ) = tr(XY ∗ )
TA (X) = AXA−1 .
f (T x, x) ≥ 0 . DeÐxte ìti:
tikoÐ.
133
'Askhsh 7.6.17 JewroÔme èna dianusmatikì q¸ro V distashc 3 pnw sto
sqhmatismì T tou V tou opoÐou o pÐnakac wc proc mia bsh tou V orjokano-
α 1 1
1 0 0 .
1 0 0
DeÐxte ìti o T eÐnai jetikìc an kai mìnon an α > 0.
2
pÐnakac wc proc thn kanonik bsh tou R eÐnai o
!
a b
A= .
c d
134
DeÐxte ìti h f eÐnai eswterikì ginìmeno an kai mìnon an:
ìti dÔo isìtimec digrammikèc morfèc pnw ston V èqoun thn Ðdia upograf .
breÐte ton pÐnaka tou T∗ wc proc thn parapnw bsh. Exetste an oi T kai
T∗ metatÐjentai.
metasqhmatismì P tou V : Pu = u an u ∈ W, P u = 0 an u ∈ W⊥ .
135
Keflaio 8
EukleÐdeioi Q¸roi
roc.
Epiplèon, | hu, vi | = hu, ui1/2 hv, vi1/2 an kai mìno an ta u kai v eÐnai
grammik exarthmèna.
hv,ui
u 6= 0 . Jètoume w=v− hu,ui
u. 'Eqoume:
136
hv,ui hv,ui
hw, wi =< v − hu,ui
u, v − hu,ui
u>
hv,ui hv,ui hv,ui2
= hv, vi − hu,ui
hu, vi − hu,ui
hv, ui + hu,ui 2 hu, ui
hv,ui2
= hv, vi − hu,ui
.
hv,ui2
hv, vi − hu,ui
≥ 0 ⇒ |hv, ui| ≤ hu, ui1/2 hv, vi1/2
An ta u, v eÐnai grammik exarthmèna, eÔkola deÐqnoume ìti
Orismìc 8.1.2 An V eÐnai ènac EukleÐdeioc q¸roc kai u∈V lème nìrma
1/2
( m koc) tou u ton arijmì hu, ui . Ja sumbolÐzoume kuk th nìrma tou u .
1. kλxk = |λ||uk ∀u ∈ V ∀λ ∈ R
, ,
2. kuk ≥ 0 ∀u ∈ V
, kai kuk = 0 ⇔ u = 0
3. | hu, vi | ≤ kukkvk ∀u ∈ V ∀v ∈ V, ,
4. ku + vk ≤ kuk + kvk ∀u ∈ V ∀v ∈ V , ,
Apìdeixh Oi (1), (2) èpontai apì ton orismì thc nìrmac. H (3) èpetai apì
137
Prìtash 8.1.3 (Pujagìreio Je¸rhma) JewroÔme ènan EukleÐdeio q¸ro V
kai dÔo dianÔsmata u, v tou V . 'Eqoume:
2 2 2
ku + vk = kuk + kvk ⇔ hu, vi = 0 .
Apìdeixh
V . Upojètoume ìti ei 6= 0 ∀i 1 ≤ i ≤ m
, , kai ìti hei , ej i = 0 gia i 6= j, 1 ≤
i ≤ m, 1 ≤ j ≤ m . Tìte ta e1 , e2 , ...em eÐnai grammik anexrthta.
m
X
λi ei = 0.
i=1
* m
+ m
X X
ek , λi ei =0⇒ λi hek , ei i = 0 ⇒ λk hek , ek i = 0 ⇒ λk = 0
i=1 i=1
kleÐdeio q¸ro V . JewroÔme mia bsh (u1 , u2 , ..., un ) tou V . Uprqoun dianÔ-
1. vi 6= 0, ∀i, 1 ≤ i ≤ n .
138
2. hvi , vj i = 0 gia i 6= j, 1 ≤ i ≤ n, 1 ≤ j ≤ n .
Apìdeixh
0
JewroÔme ton dianusmatikì q¸ro V pou prgetai apo ta u1 , u2 , ..., un−1 kai
thn bsh (u1 , u2 , ..., un−1 ) tou V0 . Apo thn upìjesh thc epagwg c uprqoun
n−1 dianÔsmata v1 , v2 , ..., vn−1 pou ikanopoioÔn tic sunj kec tou Jewr ma-
toc. JewroÔme ton EukleÐdeio q¸ro V kai thn bsh (u1 , u2 , ..., un ) tou V .
Jètoume
n−1
X hun , vi i
v n = un − vi
i=1
hvi , vi i
thc epagwg c ìti to un eÐnai grammikìc sunduasmìc twn u1 , u2 , ..., un−1 , pou
eÐnai topo. 2
To Pìrisma 8.1.1 eÐnai mia eidik perÐptwsh tou Jewr matoc 7.5.1. DÐ-
Apìdeixh Apì to Je¸rhma 8.1.1 uprqei mia orjog¸nia bsh (v1 , v2 , ...vn )
tou V . Jètoume wi = vi /kvi k, ∀i me 1≤i≤n . H (w1 , w2 , ..., wn ) eÐnai mia
139
Prìtash 8.1.4 JewroÔme ènan EukleÐdeio q¸ro V kai mia orjokanonik
n
X
u= hu, ei i ei .
i=1
n
X
u= λi ei
i=1
'Eqoume:
* n +
X
hu, ej i = λi ei , ej = λj
i=1
∀j me 1≤j≤n 2
kleÐdeio q¸ro
An A eÐnai o pÐnakac tou T wc proc thn (e1 , e2 , ...en ) tìte o pÐnakac tou T∗
wc proc thn (e1 , e2 , ...en ) eÐnai o At .
140
1. O T eÐnai summetrikìc an kai mìnon an o A eÐnai summetrikìc.
Apìdeixh 'Epetai apì thn prìtash 7.3.4 kai thn prìtash 7.3.2. 2
grammikìc q¸roc.
omda.
Apìdeixh To (1) eÐnai meso. To (2) prokÔptei apo thn Prìtash 7.3.1.
⊥
upìqwro W tou V . Tìte W ⊕W =V .
⊥ ⊥
V =W +W kai ra V =W ⊕W . 2
141
Prìtash 8.3.2 JewroÔme ènan EukleÐdeio q¸ro V , èna dianusmatikì upì-
qwro W tou V kai mia orjokanonik bsh (e1 , e2 , ...ek ) tou W . SumbolÐzoume
k
X
Px = hx, ei i ei , ∀x ∈ V.
i=1
eswterikì ginìmeno:
h(x1 , x2 ), (y1 , y2 )i = x1 y1 + x2 y2 .
1 −1
(√ , √ )
2 2
eÐnai mia orjokanonik bsh tou W kai apo thn Prìtash 8.3.2 èqoume
1 −1 1 −1
P (x, y) = (x, y), ( √ , √ ) ( √ , √ )
2 2 2 2
x−y y−x
( , )
2 2
Prìtash 8.3.3 JewroÔme èna EukleÐdeio q¸ro V kai èna dianusmatikì u-
pìqwro W tou V . SumbolÐzoume P thn orj probol tou V epÐ tou W . Tìte:
2. P2 = P .
3. P = P∗ .
142
4. Im P = W Ker P = W ⊥
, .
5. An x∈V tìte kx − P xk ≤ kx − yk ∀y ∈ W , .
qwro W tou V , mia orjokanonik bsh (e1 , e2 , ...ek ) tou W kai mia orjokano-
nik bsh (ek+1 , ...en ) tou W⊥ . SumbolÐzoume S thn orj summetrÐa wc proc
ton W . Tìte
k
X n
X
Sx = hx, ei i ei − hx, ei i ei
i=1 i=k+1
n
X
x= hx, ei i ei
i=1
T¸ra, an
k
X k
X
x1 = hx, ei i ei , x2 = hx, ei i ei
i=1 i=k+1
èqoume: x = x1 + x2 x1 ∈ W x2 ∈ W ⊥
, , . 'Ara
143
k
X n
X
Sx = x1 − x2 = hx, ei i ei − hx, ei i ei
i=1 i=k+1
2. S 2 = IV .
3. S = S∗ .
4. SS ∗ = S ∗ S = IV .
tasqhmatismoÔ
L mma 8.4.1 JewroÔme ènan EukleÐdeio q¸ro V kai ènan summetrikì gram-
n
X
hx, yiCn = xi yi ,
i=1
144
ìpou x = (x1 , x2 , ..., xn ) kai y = (y1 , y2 , ..., yn ) eÐnai sto Cn . OrÐzoume ènan
n
T̃ wc proc thn kanonik bsh tou C eÐnai o A . O T̃ eÐnai autosuzug c kai
apo thn Prìtash 7.5.9 oi idiotimèc tou eÐnai pragmatikèc. 'Ara oi idiotimèc
Prìtash 8.4.1 JewroÔme ènan EukleÐdeio q¸ro V kai èna summetrikì gram-
⊥ ⊥
ìti an y∈W , tìte Ty ∈ W . Eqoume hx, T yi = hT x, yi = λ hx, yi . Ara
summetrikìc. Apì thn upìjesh thc epagwg c uprqei mia orjokanonik bsh
eκ+1 = x/ kxk .
H (e1 , e2 , ...ek , ek+1 ) eÐnai orjokanonik bsh tou V kai apoteleÐtai apì
idiodianÔsmata tou T . 2
145
Apìdeixh 'Amesh apì thn prìtash 8.4.1.
ginìmeno
n
X
h(x1 , x2 , ...xn ), (y1 , y2 , ...yn )i = xi yi
i=1
SumbolÐzoume (e1 , e2 , ...en ) thn kanonik bsh tou Rn kai T ton grammikì
metasqhmatismì tou Rn tou opoÐou o pÐnakac wc proc thn (e1 , e2 , ...en ) eÐnai
8.4.1 uprqei mia orjokanonik bsh (g1 , g2 , ...gn ) tou Rn wc proc thn opoÐa
o pÐnakac tou T eÐnai diag¸nioc. Ara, an Q eÐnai pÐnakac allag c bshc apì
'Eqoume Q = (qij ) gia 1≤i≤n 1≤j≤n , kai ta qij ikanopoioÔn tic sqèseic:
n
X
gj = qij ei
i=1
∀j me 1≤j≤n .
eÐnai to
n
X
qki qkj = hgi , gj i
k=1
146
8.5 Ask seic
'Askhsh 8.5.1 An u, v eÐnai dianÔsmata s' èna EukleÐdeio q¸ro, tètoia ¸ste
deÐxte ìti:
(U + W )⊥ = U ⊥ ∩ W ⊥ , (U ∩ W )⊥ = U ⊥ + W ⊥ .
R1
apeikìnish (p(x), q(x)) → −1 p(x)q(x)dx eÐnai èna eswterikì ginìmeno ston
∗
T = −T. DeÐxte ìti (T u, u) = 0, ∀u ∈ V.
147
'Askhsh 8.5.9 DÐnetai EukleÐdeioc q¸roc V kai dÔo summetrikoÐ grammikoÐ
mìnon an T S = ST .
Im T ∗ = (Ker T )⊥ .
((x1 , x2 )(y1 , y2 )) → x1 x2 + y1 y2 .
pÐnaka
!
cos θ − sin θ
sin θ cos θ
wc proc th bsh ((1, 0), (0, 1)) tou R2 , tìte kTθ xk = kxk , ∀x ∈ R2 .
1. O T eÐnai orjog¸nioc.
148
'Askhsh 8.5.14 JewroÔme ton dianusmatikì q¸ro Rn efodiasmèno me to
eswterikì ginìmeno:
n
X
h(x1 , x2 , ..., xn ), (y1 , y2 , ..., yn )i = xi yi .
i=1
DeÐxte ìti ta paraktw eÐnai isodÔnama gia ènan n×n pÐnaka A me pragma-
tikoÔc suntelestèc:
1. O A eÐnai orjog¸nioc.
5. An (e1 , e2 , ..., en ) eÐnai mi orjokanonik bsh tou Rn , tìte h (Ae1 , Ae2 , ..., Aen )
n
eÐnai orjokanonik bsh tou R .
2. 'Eqoume: Im P = W Ker P = W ⊥ P 2 = P
, , .
3. 'Eqoume: Im P = W P 2 = P P = P ∗
, , .
¸ste:
149
1. Im P1 = W Ker P1 = W ⊥ P12 6= P1
, , .
2. Im P2 = W Ker P2 6= W ⊥ P22 = P2
, , .
3. Im P3 6= W Ker P3 = W ⊥ P32 = P3
, , .
1. Im P1 = W P12 = P1 P1 6= P1∗
, , .
2. Im P2 = W P22 6= P2 P2 = P2∗
, , .
'Askhsh 8.5.18 DÐnetai EukleÐdeioc q¸roc V kai dÔo orjèc probolèc P1 kai
⊥
V2 = W2 ∩ (W1 ∩ W2 ) . DeÐxte ìti: P1 P2 eÐnai orj probol an kai mìnon an
eswterikì ginìmeno:
h(x1 , x2 ), (y1 , y2 )i = x1 y1 + x2 y2 .
2
qwro tou R pou pargetai apo to (3, 4) .
4. BreÐte mia bsh tou R2 wc proc thn opoÐa o pÐnakac tou P eÐnai o
!
1 0
.
0 0
150
'Askhsh 8.5.20 JewroÔme ton dianusmatikì q¸ro R3 efodiasmèno me to
eswterikì ginìmeno:
h(x1 , x2 , x3 ), (y1 , y2 , y3 )i = x1 y1 + x2 y2 + x3 y3 .
3
dianusmatikì upìqwro tou R pou pargetai apo ta dianÔsmata (1, 0, 0) kai
(0, 1, 2) tou R3 .
4. BreÐte mia bsh tou R3 wc proc thn opoÐa o pÐnakac tou P eÐnai o
1 0 0
0 1 0 .
0 0 0
!
a b
A= .
b c
BreÐte ènan orjog¸nio 2×2 pÐnaka B tètoio ¸ste o pÐnakac BAB t na eÐnai
diag¸nioc.
151
Keflaio 9
Susqetismènoi Upìqwroi
Orismìc 9.1.1 JewroÔme èna dianusmatikì q¸ro V pnw sto R . Ena upo-
x ∈ A y ∈ A λ ∈ R µ ∈ R λ + µ = 1 ⇒ λx + µy ∈ A
, , , ,
Prìtash 9.1.1 JewroÔme èna dianusmatikì q¸ro V pnw sto R kai èna
Pn Pn
xi ∈ A, λi ∈ R, ∀i me 1≤i≤n ,
i=1 λi = 1 ⇒ i=1 λi x i ∈ A
152
DeÐqnoume ìti isqÔei h sunj kh me epagwg sto n . Upojètoume ìti h sunj kh
n+1
X
λi = 1
i=1
n+1
X
σk = λi
i=1,i6=k
Uprqei k ∈ N σk 6= 0
, . Prgmati, an σk = 0 gia kje k me 1 ≤ k ≤ n+1
,
èqoume
n+1
X
σk = 0.
k=1
All
n+1
X n+1
X
σk = n λk = n.
k=1 k=1
n+1
X n+1
X
λi xi = λk xk + σk λi xi /σk .
i=1 i=1,i6=k
n+1
X
λi σk = 1
i=1,i6=k
n+1
X
λi xi /σk ∈ A.
i=1,i6=k
153
Epeid o A eÐnai susqetismènoc upìqwroc kai λk + σk = 1 èpetai ìti:
n+1
X n+1
X
λk xk + σk λi xi /σk = λi xi ∈ A.
i=1,i6=k i=1
Prìtash 9.1.2 JewroÔme èna dianusmatikì q¸ro V pnw sto R kai èna
upìqwroc tou V .
Prìtash 9.1.3 JewroÔme èna dianusmatikì q¸ro V pnw sto R kai èna
(x + y − a) − a ∈ A − a .
λ(x − a) = λx + (1 − λ)a − a .
Prìtash 9.1.4 JewroÔme èna dianusmatikì q¸ro V pnw sto R kai èna
154
Apìdeixh JewroÔme x∈A . 'Eqoume x−a = x−a+b−b . Epeid ta x, a, b
an koun sto A kai x − a + b = 1x − 1a + 1b èpetai ìti to x−a+b∈A ra
smènoc upìqwroc tou V lème distash tou A thn distash tou dianusmatikoÔ
uperepÐpedo.
Orismìc 9.1.4 JewroÔme èna dianusmatikì q¸ro V pnw sto R kai ta dia-
xrthta an:
Pn Pn
λi ∈ R ∀i 0 ≤ i ≤ n
, ,
i=0 λi = 0 ,
j6=0 λi xi = 0 ⇒ λi = 0, 0 ≤ i ≤ n
Prìtash 9.1.5 JewroÔme èna dianusmatikì q¸ro V pnw sto R kai ta dia-
tìte ta x1 −x0 , x2 −x0 , ...xn −x0 den eÐnai grammik anexrthta. Upojètoume
n
X
λi = 0
i=0
kai
n
X
λi xi = 0.
i=0
155
Tìte:
Pn Pn Pn Pn
i=0 λ i x i = 0 ⇒ i=1 λ i x i + λ 0 x 0 = 0 ⇒ i=1 λ i x i − ( i=1 λi ) x0 = 0
Pn
⇒ i=1 λi (xi − x0 ) = 0
Epeid ta λi me 0≤i≤n den eÐnai ìla 0 kai epeid
n
X
λi = 0
i=0
èpetai ìti ta λi me 1≤i≤n den eÐnai ìla 0 . 'Ara ta x1 −x0 , xr −x0 , ...xn −
x0 eÐnai grammik exarthmèna.
n
X
λi (xi − x0 ) = 0
i=1
Tìte:
Pn Pn
λi xi − ( ni=1 λi ) x0 = 0
P
i=1 λi (xi − x0 ) = 0 ⇒ i=1
Epeid
n
X n
X
λi − λi = 0
i=1 i=1
susqetismèna anexrthta. 2
Orismìc 9.2.1 JewroÔme èna dianusmatikì q¸ro V pnw sto R kai dÔo
156
lègetai susqetismènh an:
Prìtash 9.2.1 JewroÔme èna dianusmatikì q¸ro pnw sto R kai dÔo su-
n
X
n ∈ N, x ∈ A, λi ∈ R, ∀i, 1 ≤ i ≤ n, λi = 1
i=1
n
! n
X X
⇒f λi x i = λi f (xi ) .
i=1 i=1
Prìtash 9.2.2 JewroÔme èna dianusmatikì q¸ro V pnw sto R , dÔo su-
Prìtash 9.2.3 JewroÔme èna dianusmatikì q¸ro V pnw sto R , dÔo su-
f :A→B . Tìte:
157
Apìdeixh (1) JewroÔme x∈A−a y ∈A−a , . Ja deÐxoume ìti:
JewroÔme x∈A λ∈R , . Ja deÐxoume ìti: Laf (λx) = λLaf (x) . 'Eqoume
Epeid ta x+a a
, an koun ston A èqoume:
(2) JewroÔme x∈A−a . Ja deÐxoume ìti: Laf (x) = Lbf (x) . 'Eqoume:
f (x + b) − (−f (x + a) + f (x + b) + f (a)) =
f (x + b) − f (−(x + a) + x + b + a) = f (x + b) − f (b)
'Ara Laf (x) = Lbf (x) . 2
Orismìc 9.2.2 JewroÔme èna dianusmatikì q¸ro V pnw sto R , dÔo su-
158
9.3 Ask seic
'Askhsh 9.3.1 Exetste poia apì ta paraktw uposÔnola tou R2 eÐnai su-
2
sqetismènoi upìqwroi tou R :
1. R2
2. {(x, y) ∈ R2 : x − y = 2}
3. {(x, y) ∈ R2 : x2 + y 2 = 1}
4. {(x, y) ∈ R2 : 3x − y = 1}
5. {(x, y) ∈ R2 : x ≥ 0}
apeikìnish f :V →V pou eÐnai 1−1 kai epÐ. DeÐxte ìti h f −1 eÐnai susqe-
tismènh apeikìnish.
'Askhsh 9.3.5 JewroÔme ènan EukleÐdeio q¸ro V distashc 2 kai mia orjo-
159
'Askhsh 9.3.6 DÐnetai h apeikìnish f : R2 → R 2 pou orÐzetai: f (x, y) =
(3x + 1, −x), ∀(x, y) ∈ R2 . DeÐxte ìti h f eÐnai susqetismènh kai breÐte to
n
X Xn
λi = 1 kai λi xi = x.
i=0 i=0
160
'Askhsh 9.3.11 DeÐxte ìti mia eujeÐa sto R2 den mporeÐ na perièqei 3 su-
161
Keflaio 10
q¸rou
10.1 IsometrÐec
Orismìc 10.1.1 An x∈V g∈V , lème apìstash twn x kai y kai sumbolÐ-
1. d(x, y) = d(y, x) ∀x ∈ V ∀y ∈ V , .
2. d(x, y) ≥ 0 ∀x ∈ V ∀y ∈ V
, kai d(x, y) = 0 ⇔ x = y .
162
∀x ∈ V ∀y ∈ V , .
d(T x, T y) = kT x − T yk = kT (x − y)k =
hT (x − y), T (x − y)i1/2 = hx − y, x − yi1/2 = kx − yk = d(x, y) . 2
Apìdeixh DeÐqnoume pr¸ta ìti an F eÐnai mia isometrÐa tou V tètoia ¸ste
163
2. DeÐqnoume ìti hF (x), F (y)i = hx, yi ∀x ∈ V , , ∀y ∈ V . 'Eqoume:
orjokanonik bsh (e1 , e2 , ...en ) tou V . Apì ta (1) kai (2) èpetai ìti:
hF (ei ), F (ej )i = 0 an i 6= j 1 ≤ i ≤ n 1 ≤ j ≤ n
, ,
Apì to L mma 8.1.1 èpetai ìti h (F (e1 ), ...F (en )) eÐnai mia orjokanonik
bsh tou V .
n
X
x= xi ei
i=1
n
X
F (x) = λi F (ei )
i=1
'Ara
n
! n
X X
F xi ei = xi F (ei )
i=1 i=1
164
kai h F eÐnai grammikìc metasqhmatismìc tou V .
metrÐa tou V kai T −1 F (0) = T −1 (F (0)) = 0 . 'Ara apì ton isqurismì èpetai
−1
'Eqoume: T F = G ⇒ F = TG . Upojètoume ìti uprqei mia metafor
Pìrisma 10.1.2 Mia isometrÐa F tou V eÐnai 1−1 kai epÐ apeikìnish. E-
epÐ san sÔnjesh 1−1 kai epÐ apeikonÐsewn. 'Eqoume F −1 = G−1 T −1 kai ra
−1
h F eÐnai isometrÐa san sÔnjesh isometri¸n. 2
Pìrisma 10.1.3 To sÔnolo twn isometri¸n tou V eÐnai omda me prxh thn
sÔnjesh apeikonÐsewn.
0≤j≤n . Tìte uprqei mia isometrÐa F tou V tètoia ¸ste F (ai ) = bi, ∀i me
165
0≤i≤n . Epiplèon, an G eÐnai mia isometrÐa tou V tètoia ¸ste G(ai ) = bi , ∀i
me 0≤i≤n tìte G=F .
Apìdeixh Jètoume xi = ai − a0 yi = bi − b0 ∀i
, me 1 ≤ i ≤ n . Apì thn
Prìtash 9.1.5 èpetai ìti h (x1 , x2 , ...xn ) eÐnai bsh tou V . 'Ara uprqei ènac
* n n
+ * n n
+
X X X X
T( λi xi ), T ( µj x j ) = λi x i , µj x j .
i=1 j=1 i=1 j=1
'Eqoume:
* n n
+
X X
T( λi xi ), T ( µj x j ) =
i=1 j=1
* n n
+ n X
n
X X X
= λi y i , µj y j = λi µj hyi , yj i
i=1 j=1 i=1 j=1
kai
* i n
+ n X
n
X X X
λi x i , µj x j = λi µj hxi , xj i .
i=1 j=1 i=1 j=1
166
tìte G=F . Jètoume H = T−a0 F −1 F Ta0 . H H eÐnai isometrÐa kai: H(0) = 0 ,
H(xi ) = xi ∀i, 1 ≤ i ≤ n
, . Apì to Pìrisma 10.1.4 h H eÐnai orjog¸nioc
H −h . Jètoume x1 = P (x − h) + h x2 = (I − P )(x − h) , . Ta x 1 , x2
ikanopoioÔn tic sunj kec thc prìtashc. Upojètoume ìti uprqoun x01 , x02 ston
RH (x) = x1 − x2
167
Parat rhsh An 0∈H , tìte h RH eÐnai h orj summetrÐa wc proc ton
dianusmatikì upìqwro H .
RH = Th ST−h
Jètoume: x1 = P (x − h) + h x2 = (I − P )(x − h)
, . 'Eqoume x1 ∈ H x2 ⊥H ,
kai x = x1 + x2 . 'Ara
RH (x) = x1 − x2 = P (x − h) + h − (I − P )(x − h)
EpÐshc
meno:
h(x1 , x2 ), (y1 , y2 )i = x1 y1 + x2 y2 .
2
gÐzoume thn RH . To h = (1, 0) ∈ H . O H − h = {(x, y) ∈ R : x + y = 0}
eÐnai dianusmatikìc upìqwroc tou R2 . H orj summetrÐa tou R2 wc proc ton
H −h eÐnai h
168
Prìtash 10.2.3 JewroÔme èna uperepÐpedo H tou V . Tìte h RH eÐnai
2
isometrÐa kai RH =I .
Tìte:
1. To H eÐnai uperepÐpedo.
2. RH (a) = b
Apìdeixh
a+b
1. Jètoume G=H− 2
. Tìte
'Eqoume:
dim G = dim V − 1 .
a+b
2. Jètoume h= 2
kai sumbolÐzoume S thn orj summetrÐa wc proc ton
a+b
G = H −h = H − 2
. Apì thn Prìtash 10.2.2 èqoume: RH = Th ST−h
kai ra:
(a+b)
RH = Th ST−h (a) = Th S(a − 2
) = Th S( a−b
2
) .
a−b
Apì to (1) èpetai ìti to
2
eÐnai kjeto sto G . 'Ara
(a+b)
RH (a) = Th ( b−a
2
)= b−a
2
+ 2
=b
169
2
r kai deÐqnoume ìti isqÔei gia to r+1 . JewroÔme loipìn mia isometrÐa F
tou V kai upojètoume ìti uprqoun n + 1 − (r + 1) susqetismèna anexrthta
dianusmtwn a0 , a1 , ..., an .
tou V H1 , H2 , ...Hs
, tètoia ¸ste {a0 , a1 , ..., an−r } ⊆ Hj ∀j , me 1≤j≤s kai
thn perÐptwsh.
uperepÐpedo. Epiplèon,
170
∀i me 0≤i≤n−r−1 , ra {a0 , ..., an−r−1 } ⊆ H0 .
ai ∈ H 0 kai G(an−r ) = RH0 (F (an−r )) = RH0 (b) = an−r apì thn prìtash
Epeid s≤r , èqoume s+1 ≤ r+1 kai ra to sumpèrasma tou Jewr matoc.
1.
!
cos φ − sin φ
sin φ cos φ
φ∈R .
171
2.
!
cos φ sin φ
sin φ − cos φ
φ∈R .
Apìdeixh SumbolÐzoume
!
a b
c d
ton pÐnaka tou T wc proc thn kanonik bsh tou R2 . Apì thn Prìtash 8.2.2
èpetai ìti:
! ! !
a c a b 1 0
= ⇒
b d c d 0 1
a2 + c2 = 1, ab + cd = 0, b2 + d2 = 1.
2 2
b +d = 1 , èpetai ìti uprqei θ∈R tètoio ¸ste b = cos θ d = sin θ
, . Epeid
ab + cd = 0 , èqoume:
π 3π
'Ara φ − θ = 2kπ + 2
φ − θ = 2kπ + 2
. An φ − θ = 2kπ + 3π
2
o pÐnakac
tou T eÐnai o
!
cos φ − sin φ
.
sin φ cos φ
π
An φ − θ = 2kπ + 2
o pÐnakac tou T eÐnai o
!
cos φ sin φ
.
sin φ − cos φ
172
Prìtash 10.3.2 JewroÔme mia isometrÐa F tou R2 . Tìte h F èqei mia apì
1.
2.
2
pÐnakac wc proc thn kanonik bsh tou R eÐnai o:
!
cos φ − sin φ
.
sin φ cos φ
R(a, φ)R(a, ψ) = Ta R(0, φ)T−a Ta R(0, ψ)T−a = Ta R(0, φ+ψ)T−a = R(a, φ+ψ).
173
Prìtash 10.3.4 JewroÔme mia strof R(a, φ) tou R2 kai mia eujeÐa (upe-
2
'Eqoume: RH1 = Tα ST−a RH2 = Tb ST−b
, . An x∈R , tìte:
Orismìc 10.3.3 JewroÔme mia eujeÐa H tou R2 kai h∈H . Lème ìti èna
kai
174
epeid a∈H −h . 'Ara
Ta RH = RH Ta .
Apìdeixh
2
H −h . 'Eqoume: RH = Th ST−h . JewroÔme x∈R . 'Eqoume:
a
'Ara h Ta RH eÐnai summetrÐa wc proc thn eujeÐa H+ 2
.
0 a2
H =H+ 2
. To a1 eÐnai parllhlo sto H , ra eÐnai parllhlo kai sto H0 .
175
!
cos φ sin φ
.
sin φ − cos φ
G = T−a F Ta . Tìte G(0) = 0 kai apì tì pìrisma 10.1.4 èpetai ìti h G eÐnai
!
cos φ − sin φ
sin φ cos φ
o
!
cos φ sin φ
.
sin φ − cos φ
An
!
cos φ − sin φ
A=
sin φ cos φ
!
cos φ sin φ
A=
sin φ − cos φ
èpetai apì thn prìtash 10.3.8 ìti h G eÐnai summetrÐa wc proc mia eujeÐa H
tou R2 . Tìte epeid F = Ta RH T−a , h F eÐnai summetrÐa wc proc thn eujeÐa
H +a .
176
G(a) = a . Apì to pr¸to mèroc thc apìdeixhc èpetai ìti h G eÐnai summetrÐa
0 0
'Eqoume tìte, F = RH RH 0 . An c ∈ H ∩H , tìte F (c) = c . 'Ara H ∩H = ∅ .
'Ara apì thn prìtash 10.3.5 èpetai ìti h F eÐnai metafor. Upojètoume ìti
H1 = R(y, − φ2 )(H − h + y)
H2 = H − h + y
Tìte y ∈ H1 kai R(y, y2 )H1 = H2 . 'Ara apì thn Prìtash 10.3.4 èqoume:
èpetai apì thn Prìtash 10.3.5 ìti h RH RH2 eÐnai mia metafor Tz . 'Ara
F = Tz RH1 . An to z eÐnai kjeto sto H1 , apì thn prìtash 10.3.7 èpetai ìti
10.4 Ask seic
n
X
h(x1 , x2 , ..., xn ), (y1 , y2 , ..., yn )i = xi yi .
i=1
DeÐxte ìti:
DeÐxte ìti:
177
'Askhsh 10.4.3 Upojètoume ìti h F eÐnai mia isometrÐa tou Rn kai ìti u-
metafor.
logÐste thn RH .
'Askhsh 10.4.9 DÐnontai dÔo shmeÐa x kai y tou R2 . BreÐte ìlec tic isome-
2
trÐec F tou R tètoiec ¸ste F (x) = y.
178
'Askhsh 10.4.13 JewroÔme mia eujeÐa l tou R2 . BreÐte tic isometrÐec F tou
d(x1 , x2 ) = d(y1 , y2 ). BreÐte ìlec tic isometrÐec tou F tou R2 tètoiec ¸ste
F (x1 ) = y1 , F (x2 ) = y2 .
'Askhsh 10.4.15 DÐnontai dÔo eujeÐec H1 , H2 tou R2 . DeÐxte ìti RH1 RH2 =
RH2 RH1 ⇒ H1 kai H2 kjetec.
2
(RH1 RH2 RH3 ) eÐnai metafor.
'Askhsh 10.4.17 DeÐxte ìti h omda twn isometri¸n tou R2 den eÐnai meta-
jetik .
3. Gia x∈V gryte to F (x) san èkfrash twn a, b, x, ha, bi , ha, xi , hb, xi .
179
2. Gryte thn F san sÔnjesh summetri¸n wc proc uperepÐpeda tou R2 .
2
touc grammikoÔc metasqhmatismoÔc T tou R me thn idiìthta
180
BibliografÐa
2. S. Lang
Linear algebra
Springer-Verlag
3. S. A. Andreadkhc
Grammik Algebra
SummetrÐa
181