Professional Documents
Culture Documents
Υπερμαθηματικός
ΑΛΓΕΒΡΙΚΟΣ
ΤΑΝΥΣΤΙΚΟΣ ΛΟΓΙΣΜΟΣ
ΚΑΙ
ΣΥΝΑΛΛΟΙΩΤΗ ΠΑΡΑΓΩΓΙΣΗ
ΕΚΔΟΣΕΙΣ
ΑΞΙΩΜΑ
Θεσσαλονίκη 2007
Κάθε γνήσιο αντίτυπο φέρει την υπογραφή του συγγραφέα
ΕΚΔΟΣΕΙΣ ΑΞΙΩΜΑ
Στρ. Μακρυγιάννη 1 Θεσσαλονίκη Τ.Κ. 54635
τηλ. 2310270252
Αν διαβάσεις το βιβλίο μου
“ ΚΛΑΣΙΚΟΣ
ΤΑΝΥΣΤΙΚΟΣ ΛΟΓΙΣΜΟΣ
ΚΑΙ
ΕΦΑΡΜΟΓΕΣ ”
τότε το βιβλίο αυτό
“ ΑΛΓΕΒΡΙΚΟΣ
ΤΑΝΥΣΤΙΚΟΣ ΛΟΓΙΣΜΟΣ
ΚΑΙ
ΣΥΝΑΛΛΟΙΩΤΗ ΠΑΡΑΓΩΓΙΣΗ ”
θα είναι ένας απλός θεωρητικός περίπατος .
Σ’ αυτό το βιβλίο υπάρχει αυστηρή θεωρητική τεκμηρίωση , και απο-
τελεί την κορύφωση του “ τανυστικώς συλλογίζεσθαι” .
Παρεμβάλλουμε στο αυστηρό κείμενο ελεύθερα αναγνώσματα για τον
ορθό προσανατολισμό του αναγνώστη .
Πολλά παραδείγματα και σχήματα συμβάλλουν στην εμπέδωση της
γνώσης . Δεν αφήνουμε “ σκοτεινά σημεία” , επειδή επιθυμούμε την
θεωρητική αναβάθμιση του αναγνώστη .
Ο Τανυστικός Λογισμός , ως κορύφωση της Γεωμετρίας , της Ανά-
λυσης και της Άλγεβρας , στοχεύει μονίμως στη διατύπωση μαθηματι-
κών σχέσεων ανεξάρτητα από το σύστημα συντεταγμένων .
Ρ Ρ
Χώρος Riemann
Ευκλείδειος χώρος
ΚΕΦΑΛΑΙΟ 2
Πράξεις με τανυστές
1. Ο δ.χ. τανυστών του ίδιου τύπου ……………………………61
2. ( Εξωτερικό ) γινόμενο τανυστών ……………………………64
3. Συστολή δεικτών μικτού τανυστή ……………………………67
4. Εσωτερικά γινόμενα τανυστών ………………………………69
5. Κανόνας του πηλίκου …………………………………………73
6. Ασκήσεις …………………………………………………….. 79
ΚΕΦΑΛΑΙΟ 3
Ειδικοί τανυστές
1. Συμμετρικοί και Αντισυμμετρικοί τανυστές ………………... 83
2. Ο διανυσματικός χώρος E n∧ ( 2 ) …………………………… 88
3. Ο διανυσματικός χώρος E ∗n ∧ ( 2 ) ……………………………93
4. Εξωτερικό γινόμενο ∧ δύο διανυσμάτων ………………. .95
5. Εξωτερικό γινόμενο ∧ δύο γραμμικών μορφών ………... 98
6. Μετασχηματισμός συνιστωσών στο χώρο E n∧ ( 2 ) ………..100
7. Μετασχηματισμός συνιστωσών στο χώρο E ∗n ∧ ( 2 ) ………. 102
8. Ευκλείδειοι τανυστές ……………………………………….103
9. Συμμετρικοί και Αντισυμμετρικοί Ευκλείδειοι τανυστές …. 110
10. Ασκήσεις ……………………………………………………112
ΚΕΦΑΛΑΙΟ 4
Άλγεβρα τανυστών
ΚΕΦΑΛΑΙΟ 5
Συναλλοίωτη παραγώγιση
1. Τοπολογικές πολλαπλότητες ……………………………… 171
2. Διαφορίσιμες πολλαπλότητες ……………………………… 176
3. Διαφορίσιμες απεικονίσεις ………………………………… 188
4. Διαφορίσιμες καμπύλες πάνω σε διαφορίσιμη πολ/τητα ….. 194
5. Εφαπτόμενα διανύσματα πάνω σε διαφορίσιμη πολ/τητα … 196
6. Τανυστικά πεδία …………………………………………… 212
7. Διαφορικό συνάρτησης Vn → ℝ ………………………. 216
8. Διαφορικό απεικόνισης Vn → Vm ………………………. 221
9. Εμφύτευση και Εμβάπτιση ………………………………… 232
10. Παράγωγος συνάρτησης από διανυσματικό πεδίο ………… 243
11. Απόλυτη παράγωγος / Συναλλοίωτη παράγωγος ………… 245
12. Ιδιότητες της συναλλοίωτης παραγώγισης …………………260
13. Αυτοπαράλληλες καμπύλες ………………………………... 267
14. Αφφινική σύνδεση σε υποπολλαπλότητα …………………. 269
15. Ασκήσεις …………………………………………………….273
α1 , α 2 , . . . , α n ( με κάτω δείκτες )
β1 , β2 , . . . , βn ( με άνω δείκτες )
n
1 2
α 1 β + α 2 β + . . . + α nβ = n
∑α β
i =1
i
i
Σχόλιο
Στις πρακτικές εφαρμογές του Τανυστικού Λογισμού , ο αριθμός n
είναι σταθερός και παριστάνει τη διάσταση του χώρου στον οποίο εργα-
ζόμαστε , π.χ. στις εφαρμογές της Kλασικής Φυσικής είναι n = 3
10
ΠΑΡΑΔΕΙΓΜΑΤΑ
∂φ ∂φ ∂φ ∂φ
1 dφ = d x1 + d x 2 + ... + dx n dφ = dx i
∂x 1
dx 2
∂x n
∂xi
2 ( x 1 ) 2 + ( x 2 ) 2 + ... + ( x n ) 2 xkxk
3 3
4 ∑∑ g
p =1 q =1
p q dx
p
dx q g p q dx p dx q , n = 3
5 x 1 x 1 + x 2 x 2 + ... + x n x n xjxj
6 α 1 x 1 + α 2 x 2 + ... + α n x n = 1 αpx p =1
7 A p 1 A 1 r + A p 2 A 2 r + ... + A p n A n r Ap qAq r
8 δ11 + δ 22 + ... + δ nn = n δ pp = n
9 r = x1 e 1 + x 2 e 2 + x 3 e 3 r = x i ei , n = 3
r r r r r r
r r r r
r ∂r ∂r ∂r r ∂r
10 d r = 1 d x + 2 dx + 3 dx 3
1 2
d r = i dx i , n = 3
∂x ∂x ∂x ∂x
11 r = x 1 e1 + x 2 e 2 + x 3 e 3 r = xj e j
r r r r r r
, n=3
dφ d φ d x 1 ∂ φ d x 2 ∂ φ d x 3 dφ ∂φ dx p
12 = + + 3 = ,n=3
d t ∂ x1 d t ∂ x 2 d t ∂ x dt d t ∂ x p dt
11
1 αν i = j
δ ij =
0 αν i ≠ j
Ο μοναδιαίος πίνακας
1 0 0 L 0
0 1 0 L 0
In = 0 0 1 L 0
M M M L M
0 0 0 L 1
γράφεται
I n = [ δ ij ]
Σχόλιο
Υπάρχουν και άλλα δύο “ δέλτα του Kronecker” τα εξής :
1 αν i = j 1 αν i = j
δi j = δi j =
0 αν i ≠ j 0 αν i ≠ j
Παραδείγματα
• Για n = 2 οι ποσότητες δ ij δίνονται με την ισότητα πινάκων
δ11 δ12 1 0
2 =
δ1 δ 22 0 1
• Θα αποδείξουμε ότι δ qp δ qr = δ pr
Απόδειξη
Έχουμε :
δ qp δ qr = δ1p δ1r + δ p2 δ 2r + . . .+ δ pn δ nr
1 αν p = r
=
0 αν p ≠ r
= δ pr
• Θα αποδείξουμε ότι δ qp δ qp = n
Απόδειξη
Έχουμε :
δ qp δ qp = δ pp = δ11 + δ 22 + . . . + δ nn = n
λόγω της προηγούμενης απόδειξης και του ορισμού του δέλτα του
Kronecker .
13
Έστω
e1 , e2 , . . . , e n (δείκτες κάτω)
x1 , x2 , . . . , xn (δείκτες άνω)
x = xi e i
Παράδειγμα
Έστω Ε = ℝ 2
Είναι n = 2
Μια βάση του Ε είναι x2
η κανονική βάση x
e2
e1 = ( 1 , 0 ) , e 2 = ( 0 , 1)
e1 x1
Για κάθε x ∈ E υπάρχουν
πραγματικοί αριθμοί x 1 , x 2
έτσι ώστε να ισχύει
x = x 1 e1 + x 2 e 2
e1 , e 2 , . . . , e n (δείκτες άνω)
y1 , y 2 , . . . , y n (δείκτες κάτω)
y = y 1e1 + y 2 e 2 + . . . + y n e n
y = y iei
Σχόλιο
Τα διανύσματα - στοιχεία του Ε ∗ είναι οι γραμμικές απεικονίσεις
του Ε στο ℝ , δηλαδή
Ε ∗ = { γραμμικές μορφές E → ℝ }
Έστω
Ε = ℝ 2 = { ( x1 , x 2 ) / x1 , x 2 ∈ ℝ }
Οι γραμμικές μορφές
φ:Ε→ℝ
είναι γραμμικές απεικονίσεις , οπότε έχουν γενικό τύπο
φ ( x 1 , x 2 ) = α 1 x 1 + α 2 x 2 , όπου α1 , α 2 ∈ ℝ
Θέτοντας
φ = (( α 1 , α 2 )) ( Σύμβολο Κ. Κυβεντίδη )
y2
e2
e1 y1
Σχόλιο 1
Το διάνυσμα - στοιχείο y ∈ Ε ∗ είναι η γραμμική μορφή
y = (( y1 , y 2 ))
με αναλυτικό τύπο
y ( x1 , x 2 ) = y1x1 + y 2 x 2
για κάθε x 1 , x 2 ∈ ℝ
Σχόλιο 2
Το διάνυσμα στοιχείο y = (( 2 , 3 )) ∈ Ε ∗ είναι η γραμμική μορφή
y:E → ℝ
με τύπο
y ( x1 , x 2 ) = 2 x1 + 3 x 2
για κάθε x 1 , x 2 ∈ ℝ
16
4. Δυϊκή βάση
Θεωρούμε τον n - διάστατο πραγματικό διανυσματικό χώρο Ε .
Ο διανυσματικός χώρος Ε ∗ είναι ο δυϊκός του Ε και ισχύει
dimE = n = dimE ∗
Έστω
e1 , e 2 , . . . , e n
e i ( e j ) = δ ij
Όταν ορίζεται μια βάση του Ε τότε βρίσκουμε ακριβώς μια βάση του Ε ∗
η οποία είναι δυϊκή αυτής του Ε και αντιστρόφως .
Παράδειγμα
Ε = ℝ 2 = { ( x1 , x 2 ) / x1 , x 2 ∈ ℝ }
Ε ∗ = ( ℝ 2 ) ∗ = { (( α 1 , α 2 )) / α 1 , α 2 ∈ ℝ }
e 1 = (1 , 0 ) e 2 = ( 0 , 1) e 1 = (( 1 , 0 )) e 2 = (( 0 , 1 ))
e 1 = ( 0 , 1) e 2 = (1 , 0 ) e 1 = (( 0 , 1 )) e 2 = ((1 , 0 ))
1 1
e1 = (2 , 0) e 2 = ( 0 , 3) e 1 = , 0 e 2 = 0 ,
2 3
1 1
e1 = , 0 e 2 = 0 , e 1 = (( 2 , 0 )) e 2 = (( 0 , 3 ))
2 3
e 1 = (1 , 0 ) e 2 = (1 , 1 ) e 1 = (( 1 , − 1 )) e 2 = (( 0 , 1 ))
17
Ελεύθερο σχόλιο
Στο παρακάτω σχήμα ταυτίσαμε το διανυσματικό χώρο Ε = ℝ 2 με
το διανυσματικό χώρο Ε ∗ = ( ℝ 2 ) ∗ << ως η μια διαφάνεια επάνω
στην άλλη , σαν να είναι μόνο ένα “ ουδέτερο” επίπεδο , όπου όμως οι
διαφάνειες δεν έχουν χάσει την αυτονομία τους >> .
e 1 = ( 1 , 0)
e1 = (( 1 ,−1))
1 0
=1> 0
1 1
1 −1
=1> 0
0 1
e1 ⊥ e 2 και e 2 ⊥ e1
Ε ∗ = ( ℝ 2 ) ∗ = { (( α , β )) / α , β ∈ ℝ }
Έστω
e 1 = (( α 1 , β 1 )) , e 2 = (( α 2 , β 2 ))
Έχουμε :
e 1 ( e 1 ) = δ 11 ⇔ (( α 1 , β 1 )) ( 1 , 0 ) = 1 ⇔ α 1 ⋅ 1 + β 1 ⋅ 0 = 1
e 1 ( e 2 ) = δ 12 ⇔ (( α 1 , β 1 )) ( 1 , 1 ) = 0 ⇔ α 1 ⋅ 1 + β 1 ⋅ 1 = 0
(∗)
2 2
e (e 1) = δ 1 ⇔ (( α 2 , β 2 )) ( 1 , 0 ) = 0 ⇔ α 2 ⋅ 1 + β 2 ⋅ 0 = 0
e 2 ( e 2 ) = δ 22 ⇔ (( α 2 , β 2 )) ( 1 , 1 ) = 1 ⇔ α 2 ⋅ 1 + β 2 ⋅ 1 = 1
Επομένως
e 1 = (( 1 , − 1 )) , e 2 = (( 0 , 1 ))
Σχόλιο
Τα διανύσματα e 1 , e 2 είναι οι γραμμικές απεικονίσεις (γραμμικές
μορφές)
e1 : ℝ2 → ℝ
με τύπο
e 1 ( x , y ) = 1 ⋅ x + ( −1 ) ⋅ y = x − y
και
e 2 : ℝ2 → ℝ
με τύπο
e 2 ( x , y ) = 0 ⋅ x + 1⋅ y = y
19
II) φ( x , λ y + μ y′ ) = λ φ ( x , y ) + μ φ ( x , y′ )
για κάθε λ , μ ∈ ℝ και για κάθε x ∈ E και για κάθε y , y′∈ F
Παράδειγμα
Ε = ℝ2 , F= ℝ
φ : Ε × F → ℝ με τύπο φ( (α , β) , γ) = α γ + β γ
Έχουμε :
Ι) φ( λ ( α , β ) + μ ( α′ , β′ ) , γ ) = φ ( ( λ α + μ α′ , λ β + μ β′ ) , γ )
= ( λ α + μ α′ ) γ + ( λ β + μ β′ ) γ
= λ α γ + μ α′ γ + λ β γ + μ β′ γ
= λ ( α γ + β γ ) + μ ( α′ γ + β′ γ )
= λ φ ( ( α , β ) , γ ) + μ (φ ( α′ , β′ ) , γ )
Ε∗ × F∗ → ℝ
E⊗F
Σχόλιο
Ο δ.χ. Ε ∗ είναι ο δυϊκός του δ.χ. Ε
Ο δ.χ. ( Ε ∗ ) ∗ είναι φυσικά ισόμορφος με το δ.χ. Ε
Αυτό σημαίνει ότι τα στοιχεία του δ.χ. Ε μπορούμε να τα θεωρήσου-
με ως γραμμικές απεικονίσεις ( γραμμικές μορφές )
Ε∗ → ℝ
ΘΕΩΡΗΜΑ
Αν Ε και F είναι πραγματικοί διανυσματικοί χώροι , τότε ισχύει
Απόδειξη
Έστω
e1 , e 2 , . . . , e n και b1 , b 2 , . . . , b m
e1 , e 2 , . . . , e n και b1 , b 2 , . . . , b m
Πράγματι :
Έστω δύο τυχαία στοιχεία
x = x 1 e1 + x 2 e 2 + . . . + x n e n = x i e i ∈ E ∗
y = y 1 b1 + y 2 b 2 + . . . + y m b m = x j b j ∈ F ∗
φ : E ∗ ⊗ F∗ → ℝ
Επομένως ισχύει
φ ( x , y ) = φ ( x i e i , y jb j ) = x i y j φ ( e i , b j ) (1)
x i y j φ ( ei , b j ) ∈ ℝ
οπότε ισχύει
φ(e i , bj ) ∈ ℝ
φ(e i , b j ) = λi j ∈ ℝ
φ(x , y) = x i y j λ i j (2)
ε i j : E ∗ × F∗ → ℝ
ε i j ( x , y) = x i y j
ε ij ∈ E⊗F
φ ( x , y ) = λi j ε i j ( x , y )
και επομένως ισχύει
φ = λi j ε i j (3)
ξ i j ε i j = 0 , με ξij∈ ℝ
ξ i j ε i j ( x , y ) = 0 , με 0 ∈ ℝ (4)
ξ i j ε i j ( e r , b s ) = 0 , με 0 ∈ ℝ (5)
e r = δ ir e i και b s = δ sj b j
ξ i j ε i j ( δ ir e i , δ sj b j ) = 0 ⇔
ξ i j δ ir δ sj ε i j ( e i , b j ) = 0
Ορισμοί – Παρατηρήσεις
Δίνονται οι πραγματικοί διανυσματικοί χώροι Ε και F με
dimE = n και dimF = m
Έστω e1 , e 2 , . . . , e n μια βάση του Ε , και b1 , b 2 , . . . , b m
μια βάση του F .
Έστω τώρα δύο τυχαία διανύσματα
x = xi ei ∈ Ε
και
y=yjbj ∈F
(1)
e i ⊗ e j = δ ir δ sj ε r s = ε i j
IV) Τα διανύσματα
εij = ei ⊗ej
Σχόλιο
Το τυχαίο στοιχείο Τ ∈ Ε ⊗ F γράφεται
T = T i j e i ⊗ ej ή Τ= Tijεij
Ελεύθερο ανάγνωσμα
Ονομάζουμε “ ελεύθερο ανάγνωσμα ” ένα μη μαθηματικό κείμενο
το οποίο όμως μεταδίδει στον αναγνώστη με ταχύ τρόπο << την ουσία
που κρύβεται πίσω από τους μαθηματικούς τύπους ή σχέσεις >> ,
δηλαδή << τα μυστικά της γνώσης >> .
Τανυστικό γινόμενο
Έστω Ε = ℝ 2 με κάποια βάση e1 , e 2 . Είναι dimE = 2
Έστω F = ℝ 3 με κάποια βάση b1 , b 2 , b 3 . Είναι dimF = 3
Το τυχαίο στοιχείο του Ε είναι
x = x 1 e1 + x 2 e 2 ……………
“ καρτεσιανό γινόμενο”
Το τυχαίο στοιχείο του F είναι …….”πολ/σμός” ……
1 2 3 ………!!!……………
y = y b1 + y b 2 + y b 3
Το στοιχείο x ⊗ y του E ⊗ F είναι το
x ⊗ y = ( x 1e1 + x 2 e 2 ) ⊗ ( y 1 b1 + y 2 b 2 + y 3 b 3 )
= x 1 y 1 ( e1 , b1 ) + x 1 y 2 ( e1 , b 2 ) + x 1 y 3 ( e1 , b 3 )
+ x 2 y 1 ( e 2 , b1 ) + x 2 y 2 ( e 2 , b 2 ) + x 2 y 3 ( e 2 , b 3 )
Ας συμβολίσουμε συνοπτικά (αυθαίρετα)
( e i , ej ) = e i ⊗ ej
Επομένως ισχύει
x ⊗ y = x 1 y 1e1 ⊗ b1 + x 1 y 2 e1 ⊗ b 2 + x 1 y 3 e1 ⊗ b 3
+ x 2 y 1e 2 ⊗ b1 + x 2 y 2 e 2 ⊗ b 2 + x 2 y 3 e 2 ⊗ b 3
Σχόλιο 1
Το τυχαίο στοιχείο z ∈ E ⊗ F γράφεται
z = λ 11 ε 11 + λ 12 ε12 + λ 13 ε 13 + λ 21 ε 21 + λ 22 ε 22 + λ 23 ε 23 όπου λ i j ∈ ℝ
Στην ειδική περίπτωση λ i j = x i + y j το στοιχείο z ∈ E ⊗ F γράφεται
z = x ⊗ y δηλαδή τότε το z είναι αναλύσιμο στοιχείο .
Σχόλιο 2
Προφανώς ισχύει dim ( E ⊗ F ) = 6 = 2 ⋅ 3 = ( dim E ) ⋅ (dim F)
26
ΘΕΩΡΗΜΑ
Αν Ε , F , G είναι πραγματικοί διανυσματικοί χώροι πεπερασμένης
διάστασης , τότε οι τανυστικοί χώροι
(Ε ⊗ F) ⊗ G και Ε ⊗ ( F ⊗G )
είναι φυσικά ισόμορφοι .
Απόδειξη
Έστω
e1 , e 2 , . . . , e n μια βάση του δ.χ. Ε
ψ
( E ⊗ F) ⊗ G → Ε ⊗ (F ⊗ G )
Τ S
e i = A si′ e s′
b j = B lj′ b l′
β k = Γ kt ′ β t ′
Σχόλιο 1
Επομένως μπορούμε να γράψουμε
( E ⊗ F) ⊗ G = E ⊗(F ⊗ G ) = E ⊗ F ⊗ F
δηλαδή να μη χρησιμοποιήσουμε παρένθεση αφού ισχύει η προσεται-
ριστική ιδιότητα .
Σχόλιο 2
Προφανώς ισχύει επίσης
E⊗F = F⊗E
λόγω φυσικής ισομορφίας .
28
φ : E ∗ × F∗ × G ∗ → ℝ
( x , y, z ) a φ ( x , y , z )
Ι) φ ( λ x + μ x ′ , y , z ) = λ φ ( x , y , z ) + μ φ ( x ′ , y , z )
II) φ ( x , λ y + μ y ′ , z ) = λ φ ( x , y , z ) + μ φ ( x , y ′ , z )
III) φ ( x , y , λ z + μ z ′ ) = λ φ ( x , y , z ) + μ φ ( x , y , z ′ )
( φ1 + φ 2 ) ( x , y , z ) = φ1 ( x , y , z ) + φ 2 ( x , y , z )
(λφ)(x,y,z)=λφ(x,y,z)
e1 , e 2 , . . . , e n του δ.χ. Ε
b1 , b 2 , . . . , b m του δ.χ. F
β1 , β 2 , . . . , β r του δ.χ. G
e1 , e 2 , . . . , e n του δ.χ. Ε ∗
b1 , b 2 , . . . , b m του δ.χ. F ∗
β1 , β 2 , . . . , β r του δ.χ. G ∗
Τ : E ∗ × F∗ × G ∗ → ℝ
x = x i e i ∈ E∗
y = y j b j ∈ F∗
z = z k β k ∈ G∗
T ( x , y , z ) = T ( x i e i , y j b j , z k β k ) = x i y j z k T (e i , b j , β k )
T(e i , b j , β k ) = T i j k ∈ℝ
T( x , y , z ) = x i y j z k T i j k
δηλαδή
T( x , y , z ) = T i j k x i y j z k
ε i j k : E ∗ × F∗ × G ∗ → ℝ
ε i j k ( x , y , z ) = xi y j zk
T( x , y , z ) = T i j k ε i j k ( x , y , z )
για κάθε ( x , y, z ) ∈ E ∗ × F ∗ × G ∗
Συνεπώς ισχύει
T = T i jk ε i j k
ξ i j k ε i j k = 0 , όπου ξijk ∈ ℝ
31
Τότε θα ισχύει
ξ i j k ε i j k (x , y , z) = 0 , με 0 ∈ ℝ
για κάθε ( x , y , z ) ∈ E ∗ × F∗ × G ∗
ξ i j k ε i j k ( e l , b s , β t ) = 0 , με 0 ∈ ℝ (∗)
Όμως ισχύει
e l = δ il e i
b s = δ sj b j
β t = δ tk β k
ξ i j k ε i j k ( δ li e i , δ sj b j , δ kt β k ) = 0 με 0 ∈ ℝ
⇔ ξ i j k δ il δ sj δ tk ε i j k ( e i , b j , β k ) = 0 με 0 ∈ ℝ
ξ i j k δ il δ sj δ kt = 0 , με 0 ∈ ℝ
δηλαδή
ξ l s t = 0 , με 0 ∈ ℝ
dim ( E ⊗ F ⊗ G ) = n ⋅ m ⋅ r
ΘΕΩΡΗΜΑ
Ο διανυσματικός χώρος W των τριγραμμικών μορφών πάνω στο
καρτεσιανό γινόμενο E ∗ × F ∗ × G ∗ είναι φυσικά ισόμορφος με το
διανυσματικό χώρο E ⊗ F ⊗ G
Απόδειξη
Έστω
T =Tijk εijk
ψ
W → E ⊗ F ⊗ G
Τ a S
όπου
S = T i j k ei ⊗ b j ⊗ β k
( Ισχύει ως γνωστόν e i ⊗ b j ⊗ β k = ( e i ⊗ b j ) ⊗ β k = e i ⊗ ( b j ⊗ β k ) )
e i = A il′ e l′
b j = B sj′ e s′
β k = Γ kt′ e t′
ε i j k ( x , y , z ) = xi y j z k ⇔
ε i j k = A li ′ B sj′ Γ kt′ ε l′ s′ t′
και
S = T i j k e i ⊗ b j ⊗ β k = T i j k A li ′ B sj′ Γ kt′ e l′ ⊗ b s′ ⊗ β t′ =
= T l′ s ′ t ′ e l ′ ⊗ b s′ ⊗ β t ′
p τανυστικοί παράγοντες
Ισχύει
dimE ( p ) = n ⋅ n ⋅ ⋅ ⋅ n = n p
p παράγοντες
Σχόλιο
Ο διανυσματικός χώρος Ε ( p ) είναι φυσικά ισόμορφος με το
διανυσματικό χώρο των p - γραμμικών μορφών
E∗ × E∗ × . . . × E∗ → ℝ
p καρτεσιανοί
παράγοντες
Συνέπειες
Έστω e1 , e 2 , . . . , e n μια βάση του δ.χ. Ε
Τα διανύσματα e i 1 i 2 ⋅⋅⋅i p = e i 1 ⊗ e i 2 ⊗ . . . ⊗ e i p αποτελούν μια βάση
του διανυσματικού χώρου Ε ( p )
Ορισμός
Έστω Ε ∗ ο δυϊκός του Ε
Η q - τανυστική δύναμη του Ε ∗ δίνεται με τον τύπο
(q)
E∗ = Ε∗ ⊗ Ε∗ ⊗ . . . ⊗ Ε∗
q τανυστική παράγοντες
Ισχύει
dimE ∗ ( q ) = n ⋅ n ⋅ ⋅ ⋅ n = n q
q παράγοντες
q καρτεσιανοί
παράγοντες
35
Παράδειγμα 1
Δίνεται ο πραγματικός διανυσματικός χώρος Ε = ℝ 2
Είναι dimE = 2 . Έστω e1 , e 2 μια βάση του Ε .
Έχουμε :
E (1) = E με βάση e1 , e 2
E ( 3 ) = E ⊗ E ⊗ Ε με διάσταση dimE ( 3 ) = 2 3 = 8
και με βάση τα διανύσματα
e111 = e1 ⊗ e1 ⊗ e1
e112 = e1 ⊗ e1 ⊗ e 2
e121 = e1 ⊗ e 2 ⊗ e1
e122 = e1 ⊗ e 2 ⊗ e 2
e 211 = e 2 ⊗ e1 ⊗ e1
e 212 = e 2 ⊗ e1 ⊗ e 2
e 221 = e 2 ⊗ e 2 ⊗ e1
e 222 = e 2 ⊗ e 2 ⊗ e 2
Σχόλιο
Στην εύρεση των δεικτών χρησιμοποιήσαμε , στην τανυστική δύναμη
E ( 2 ) το δενδροδιάγραμμα :
1 11
1
2 12
Αρχή
1 21
2
2 22
36
Παράδειγμα 2
Δίνεται ο πραγματικός διανυσματικός χώρος Ε = ℝ 2
Είναι dimE = 2 . Έστω e1 , e 2 μια βάση του Ε .
Ο αντίστοιχος - δυϊκός χώρος Ε ∗ έχει διάσταση dimE ∗ = 2
Έστω η αντίστοιχη - δυϊκή βάση e1 , e 2 του Ε ∗
Έχουμε :
(1)
E∗ = E∗ με βάση e1 , e 2
(2)
E∗ = E ∗ ⊗ E ∗ με διάσταση dimE ∗ ( 2 ) = 2 2 = 4
και με βάση τα διανύσματα
e 11 = e 1 ⊗ e 1
e12 = e1 ⊗ e 2
e 21 = e 2 ⊗ e1
e 22 = e 2 ⊗ e 2
(3)
E∗ = E ∗ ⊗ E ∗ ⊗ Ε ∗ με διάσταση dimE ∗ ( 3 ) = 2 3 = 8
και με βάση τα διανύσματα
e111 = e1 ⊗ e1 ⊗ e1
e112 = e1 ⊗ e1 ⊗ e 2
e121 = e1 ⊗ e 2 ⊗ e1
e122 = e1 ⊗ e 2 ⊗ e 2
e 211 = e 2 ⊗ e1 ⊗ e1
e 212 = e 2 ⊗ e1 ⊗ e 2
e 221 = e 2 ⊗ e 2 ⊗ e1
e 222 = e 2 ⊗ e 2 ⊗ e 2
37
Παράδειγμα 3
Δίνεται ο πραγματικός διανυσματικός χώρος Ε = ℝ 2
Είναι dimE = 2 . Έστω e1 , e 2 μια βάση του Ε .
Έστω Ε ∗ ο δυϊκός του Ε . Είναι dimE ∗ = dim( ℝ 2 ) ∗ = 2
Έστω e1 , e 2 η αντίστοιχη (δυϊκή) βάση του Ε ∗
Ο διανυσματικός χώρος Ε ( 2 ) έχει ως βάση τα διανύσματα
e11 , e12 , e 21 , e 22
E∗ × E∗ → ℝ
με τύπους
e11 ( x , y ) = x 1 y1
e12 ( x , y ) = x 1 y 2
e 21 ( x , y ) = x 2 y1
e 22 ( x , y ) = x 2 y 2
για κάθε x = x1e1 + x2e2 ∈Ε ∗ και για κάθε για κάθε y = y1e1 + y 2 e 2 ∈Ε ∗
Το τυχαίο στοιχείο Τ ∈ Ε ( 2 ) γράφεται
T : E∗ × E∗ → ℝ
με τύπο
= T 11 x 1 y 1 + T 12 x 1 y 2 + T 21 x 2 y 1 + T 22 x 2 y 2
για κάθε x = x1e1 + x2e2 ∈Ε ∗ και για κάθε για κάθε y = y1e1 + y 2 e 2 ∈Ε ∗
38
Παράδειγμα 4
Δίνεται ο πραγματικός διανυσματικός χώρος Ε = ℝ 2
Είναι dimE = 2 . Έστω e1 , e 2 μια βάση του Ε .
Έστω Ε ∗ ο δυϊκός του Ε . Είναι dimE ∗ = dim( ℝ 2 ) ∗ = 2
Έστω e1 , e 2 η αντίστοιχη (δυϊκή) βάση του Ε ∗
Ο διανυσματικός χώρος Ε ∗ ( 2 ) έχει ως βάση τα διανύσματα
e11 , e12 , e 21 , e 22
όπου eij = ei ⊗e j
E×E → ℝ
με τύπους
e11 ( x , y ) = x 1 y 1
e12 ( x , y ) = x 1 y 2
e 21 ( x , y ) = x 2 y 1
e 22 ( x , y ) = x 2 y 2
για κάθε x = x1e1 + x2e2 ∈ Ε και για κάθε για κάθε y = y1e1 + y 2 e 2 ∈ Ε
Το τυχαίο στοιχείο Τ ∈ Ε ∗ ( 2 ) γράφεται
T:E×E → ℝ
με τύπο
για κάθε x = x1e1 + x 2e2 ∈ Ε και για κάθε για κάθε y = y 1e1 + y 2 e 2 ∈ Ε
39
7. ( Αφφινικοί ) τανυστές
Δίνεται ο πραγματικός διανυσματικός χώρος Ε , διάστασης
dimE = n
Έστω W ο διανυσματικός χώρος
W = E( p ) ⊗ E∗ (q)
(τανυστικό γινόμενο)
Κάθε στοιχείο (δηλαδή διάνυσμα) του W ονομάζεται αφφινικός
τανυστής ή απλά τανυστής .
Έστω ένα τανυστής Τ ∈ W . Λέμε τις εκφράσεις :
p
• Ο τανυστής Τ είναι τύπου
q
Ειδικές περιπτώσεις
p
Ι) Όταν q=0 τότε ο Τ είναι τύπου και ονομάζεται
0
αντιαλλοίωτος τανυστής τάξης p
0
ΙΙ) Όταν p = 0 τότε ο Τ είναι τύπου και ονομάζεται
q
συναλλοίωτος τανυστής τάξης q
1
III) Όταν p = 1 και q = 0 τότε ο είναι τύπου και
Τ
0
ονομάζεται αντιαλλοίωτο διάνυσμα ή απλά διάνυσμα , αφού
τότε Τ ∈ Ε
0
IV) Όταν p = 0 και q=1 Τ είναι τύπου και
τότε ο
1
ονομάζεται συναλλοίωτο διάνυσμα ή απλά δυϊκό διάνυσμα , αφού
τότε Τ ∈ Ε ∗
40
Παραδείγματα
Ο παρακάτω πίνακας είναι διευκρινιστικός :
1
Ε 1 διάνυσμα
0
0 δυϊκό
Ε∗ 1
1
διάνυσμα
2 αντιαλλοίωτος 2
Ε ( 2 ) ⊗ E∗ 3
1 συναλλοίωτος 1
1 αντιαλλοίωτος 1
E ⊗ E∗ ( 2) 3
2 συναλλοίωτος 2
2 άνω 2
Ε ( 2) ⊗E ∗ ( 2) 4
2 κάτω 2
2 2 φορές
E (2) = E ⊗ E 2 αντιαλλοίωτος
0
0
E∗ ( 2 ) = E∗ ⊗ E∗ 2 2 φορές
2 συναλλοίωτος
3 αντιαλλοίωτος
E ( 3) = E ⊗ E ⊗ E 3
0 τάξης 3
0 συναλλοίωτος
E ∗( 3) = E ∗ ⊗ E ∗ ⊗ E ∗ 3
3 τάξης 3
μικτός τανυστής
3
E ( 3) ⊗ E∗ 4 αντιαλλοίωτος 3
1 συναλλοίωτος 1
3
E ( 3) ⊗ E ∗ ( 2 ) 5 αντιαλλοίωτος 3
2 συναλλοίωτος 2
41
Διευκρινίσεις
Ι) Δίνεται ο πραγματικός διανυσματικός χώρος Ε με dimE = n
p
Ονομάζουμε τανυστή τύπου κάθε διάνυσμα του διανυσμα-
q
τικού χώρου
W = E (p) ⊗ E ∗ (q)
dim W = dim ( E ( p ) ⊗ E ∗ ( q ) )
= ( dim E ( p ) ) (dim E ∗ ( q ) )
= np ⋅ nq
= np+ q
E ⊗ E∗ ⊗ E∗ ⊗ E ⊗ E∗ = E( 2 ) ⊗ E ∗ ( 3 )
E∗ ⊗ E ⊗ E = E ( 2 ) ⊗ E∗ (1)
E∗ ⊗ E ⊗ E∗ ⊗ E ⊗ E ⊗ E = E( 4 ) ⊗ E∗ ( 2 )
8. Συνιστώσες τανυστή
Θεωρούμε το διανυσματικό χώρο (τανυστικό χώρο)
E ( p ) ⊗ E∗ (q)
p
των τανυστών τύπου
q
Έστω e1 , e 2 , . . . , e n μια βάση του δ.χ. Ε και e1 , e 2 , . . . , e n
η αντίστοιχη (δυϊκή) του δ.χ. Ε ∗
Τότε τα διανύσματα
j j ⋅⋅⋅ j j
e i11 i 22⋅⋅⋅i pq = e i1 ⊗ e i 2 ⊗ . . . ⊗ e i p ⊗ e j1 ⊗ e j2 ⊗ . . . ⊗ e q
i i ⋅⋅⋅i j j ⋅⋅⋅ j
T = t j11 j22 ⋅⋅⋅ jpq ⋅ e i11 i 22⋅⋅⋅i pq
i i ⋅⋅⋅i
t j11 j22 ⋅⋅⋅ jpq
Σχόλιο 1
Οι συνιστώσες του τανυστή Τ είναι σε πλήθος n p+q
Σχόλιο 2
j j ⋅⋅⋅ j
Τα διανύσματα βάσης e i11 i 22⋅⋅⋅i pq είναι ( p + q ) - γραμμικές μορφές
πάνω στο καρτεσιανό γινόμενο E ∗ ( p ) ⊗ E ( q )
43
Παράδειγμα 1
2
Ο τανυστικός χώρος E ( 2 ) ⊗ E ∗ ( 3 ) περιέχει τανυστές τύπου
3
Τα διανύσματα
e ij11 ij22 j3 = e i1 ⊗ e i 2 ⊗ e j1 ⊗ e j2 ⊗ e j3
Οι πραγματικοί αριθμοί
T ij11 ij22 j3
2
Ο τανυστής Τ είναι τύπου και έχει τάξη 2 + 3 = 5
3
Έστω ότι dimE = 4
n p + q = 4 2 + 3 = 4 5 = 1024
e ij11 ij22 j3
( 2)
είναι 5 - γραμμικές μορφές πάνω στο καρτεσιανό γινόμενο E ∗ ⊗E ( 3 )
δηλαδή είναι 5 - γραμμικές απεικονίσεις
E∗ × E∗ × E × E × E → ℝ
44
Παράδειγμα 2
Δίνεται ο πραγματικός διανυσματικός χώρος Ε = ℝ 2 και (αυτόματα )
ο δυϊκός Ε ∗
Είναι dimE = 2 = dimE ∗
1
Ο τανυστικός χώρος E ⊗ E ∗ περιέχει τανυστές τύπου
1
Τα διανύσματα
e ij = e i ⊗ e j
T = t ij e ij
n p + q = 2 1+1 = 2 2 = 4
Τα διανύσματα βάσης
E∗ × E
e ij : E ∗ × E → ℝ
Π.χ. η
e 12 : E ∗ × E → ℝ
έχει τύπο
e12 ( x , y ) = x 1 y 2
Παράδειγμα 3
Δίνεται ο πραγματικός διανυσματικός χώρος Ε με dimE = 3
T = T ij e ij
S = Si j ei j
R = R i j ei j
Σχόλιο
Η παράσταση ενός τανυστή με τη βοήθεια πινάκων , μπορεί να γίνει
μόνο όταν ο τανυστής έχει τάξη ≤ 2
46
Ελεύθερη εικόνα Ι
Δίνεται ο πραγματικός διανυσματικός χώρος Ε = ℝ 2
Στο παρακάτω “ ουδέτερο επίπεδο” βλέπουμε έναν τανυστή Τ
3
τύπου δηλαδή
0
T ∈ E (3)
Ε
Ε
Ε
Έχουμε :
Τ = ( Τi jk ) , όπου i , j , k ∈ { 1 , 2 }
Σχόλιο
Η ελεύθερη εικόνα είναι ελεύθερο ανάγνωσμα .
47
Ελεύθερη εικόνα ΙI
Δίνεται ο πραγματικός διανυσματικός χώρος Ε = ℝ 2
Στο παρακάτω “ ουδέτερο επίπεδο” βλέπουμε έναν τανυστή Τ
0
τύπου δηλαδή
3
(3)
T ∈ E∗
Ε∗
Ε∗
Ε∗
Έχουμε :
Τ = ( Τi j k ) , όπου i , j , k ∈ { 1 , 2 }
Σχόλιο
Η ελεύθερη εικόνα είναι ελεύθερο ανάγνωσμα .
48
(3)
T ∈ E( 2 ) ⊗ E∗
Ε
Ε
Ε∗
Ε∗
Ε∗
Έχουμε :
Τ = ( Τ ik jl m ) , όπου i , j , k , l , m ∈ { 1 , 2 }
Σχόλιο
Η ελεύθερη εικόνα είναι ελεύθερο ανάγνωσμα .
49
p
Δίνεται ο χώρος E ( p ) ⊗ E∗ των τανυστών τύπου όπου
(q)
q
∗
ο δ.χ. Ε έχει βάση e1 , e 2 , . . . , e n και ο δ.χ. Ε έχει την αντί-
στοιχη βάση e1 , e 2 , . . . , e n ( δυϊκή της e i )
Για διδακτικούς λόγους θα κάνουμε την απόδειξη
2
Δίνεται λοιπόν ο δ.χ. E ( 2 ) ⊗ E ∗ (3)
των τανυστών τύπου
3
e ij11 ij22 j3 = e i1 ⊗ e i 2 ⊗ e j1 ⊗ e j2 ⊗ e j3
όπου ο πίνακας
A ik′
A ik′
′ ′ ′ ′
e lk11′ lk2′2 l 3 = e k1′ ⊗ e k′2 ⊗ e l′1 ⊗ e l′2 ⊗ e l 3
′ ′ ′
= A ik11′ A ik2′2 A lj11 A lj22 A lj33 e i1 ⊗ e i 2 ⊗ e j1 ⊗ e j2 ⊗ e j3
Επομένως
′ ′ ′ ′
e lk11′ lk2′2 l 3 = A ik11′ A ik2′2 A lj1′1 A lj2′2 A lj33 e ij11 ij22 j3 (1)
′ ′ ′
e kj11 jk2 2j3 = A ik11′ A ik2′2 A lj1′1 A lj2′2 A lj3′3 e lk11′ lk2′2 l 3 (2)
′ ′ ′
e ij11 ij22 j3 και e lk11′ lk2′2 l 3
αντίστοιχα .
Έχουμε :
′ ′ ′
T = t ij11 ij22 j3 e ij11 ij22 j3 = t lk′11′ lk′2′2 l′3 e lk11′ lk2′2 l 3 (3)
51
′ ′ ′ ′ ′ ′
t ij11 ij22 j3 A ik11′ A ik2′2 A lj1′1 A lj2′2 A lj3′3 e lk11′ lk2′2 l 3 = t lk′11′ lk′2′2 l′3 e lk11′ lk2′2 l 3
′ ′ ′
Επειδή τα e lk11′ lk2′2 l 3 αποτελούν βάση , άρα αυτά είναι γραμμικά
ανεξάρτητα και επομένως η τελευταία σχέση γίνεται
t lk′11′ lk′2′2 l′3 = A ik11′ A ik2′2 A lj1′1 A lj2′2 A lj3′3 t ij11 ij22 j3 (4)
′
t ij11 ij22 j3 = A ik11′ A ik2′2 A lj1′1 A lj2′2 A lj33 t lk′11′ lk′2′2 l′3 (5)
ΠΡΟΤΑΣΗ
Η ικανή και αναγκαία συνθήκη ώστε οι n 2 + 3 ποσότητες
Παρατήρηση
p
Παρόμοια πρόταση ισχύει γενικά για n p + q ποσότητες τύπου
q
j1 j2 j
που αναφέρονται σε μια βάση e i1 ⊗ e i 2 ⊗ . . . e i p ⊗ e ⊗ e ⊗ … ⊗ e q
του χώρου E( 2 ) ⊗ E∗ ( q )
Σχόλιο
Η παραπάνω ΠΡΟΤΑΣΗ είναι κριτήριο με το οποίο αποφαινόμαστε
ότι οι (άγνωστες) ποσότητες (∗) είναι συνιστώσες τανυστή .
Αν αυτές οι ποσότητες δεν μεταβάλλονται σύμφωνα με τα αναφερό-
μενα στην ΠΡΟΤΑΣΗ , τότε αυτές δεν μπορούν να θεωρηθούν συνιστώ-
σες ενός κάποιου τανυστή .
52
Παράδειγμα
Δίνεται το αντιαλλοίωτο διάνυσμα Τ ∈ Ε όπου
Τ = T i ei και e i βάση του Ε ,
0
Ο τανυστής R είναι τύπου επομένως μετασχηματίζεται ως
2
προς νέα βάση του χώρου (αναφοράς) Ε σύμφωνα με τους τύπους
R i j = A ir′ A sj′ R r′ s′ (2)
10. ΑΣΚΗΣΕΙΣ
ΙΙ) ( x 1 ) 2 + ( x 2 ) 2 + . . .+ ( x n ) 2 = 1
ΙΙΙ) g 11d x 1 d x 1 + g 12 d x 1 d x 2 + g 21 d x 2 d x 1 + g 22 d x 2 d x 2
ΙΙ) A ir A si = δ sr
δ qp όταν n=4
5) Να βρεθεί το γινόμενο
δ qp δ qp δ sp
10) Πότε μια βάση e i του Ε ∗ ονομάζεται δυϊκή της βάσης e j του Ε ;
( Ε είναι πραγματικός διανυσματικός χώρος με dimE = n < ∞ )
v : E∗ → ℝ
δηλαδή να βρείτε τον τύπο της γραμμικής απεικόνισης v .
( Ε∗ )∗ = Ε
( Ε ⊗ F )∗ = E ∗ ⊗ F∗
ei j = ei ⊗ e j
ei j : E∗ ( 2 ) → ℝ
ei j = ei ⊗ e j
ei j : E ( 2 ) → ℝ
e ij = e i ⊗ e j
e ij : E ∗ ⊗ E → ℝ
Τ : E ⊗ E∗ ⊗ E∗ ⊗ E∗ ⊗ E → ℝ
27) Να βρεθεί το πλήθος των στοιχείων της βάσης των παρακάτω δια-
νυσματικών χώρων :
Ι) E( 2 ) ⊗ E∗ ( 3 ) , όπου Ε = ℝ 2
ΙΙ) E ( 2 ) ⊗ E ∗ ( 3 ) , όπου Ε = ℝ 3
ℝn = ℝ ⊗ ℝ ⊗ . . . ⊗ ℝ = ℝ , n≥1
n τανυστική παράγοντες
I) ( Τ + S ) ( x 1 , x 2 , ..., x p , y1 , y 2 , ..., y q ) =
= T ( x 1 , x 2 , ..., x p , y1 , y 2 , ..., y q ) +
S ( x 1 , x 2 , ..., x p , y1 , y 2 , ..., y q )
= λ Τ ( x 1 , x 2 , ..., x p , y1 , y 2 , ..., y q )
για κάθε λ ∈ ℝ
Υπενθύμιση
Ο τανυστής Τ ∈ Ε ( p ) ⊗ E ∗ ( q ) είναι μια ( p + q ) - γραμμική μορφή
Τ : E∗ ( p ) × E( q ) → ℝ
Σχόλιο
Η σχέση (1) λέει ότι το άθροισμα ( p + q ) - γραμμικών μορφών
είναι ( p + q ) - γραμμική μορφή πάνω στο καρτεσιανό γινόμενο
E∗ ( p ) × E q
Η σχέση (ΙΙ) λέει ότι το γινόμενο πραγματικού αριθμού με μια
( p + q ) - γραμμική μορφή είναι πάλι ( p + q ) - γραμμική μορφή πάνω
στον ίδιο χώρο .
62
Συνεχίζουμε :
Έστω e1 , e 2 , . . . , e n μια βάση του Ε και e1 , e 2 , . . . , e n
η αντίστοιχη (δυϊκή) βάση του Ε ∗
Τότε , όπως είδαμε στο Κεφάλαιο 1 , μια βάση του τανυστικού χώρου
E ( p ) ⊗ E ∗ ( q ) είναι η
j
e i1 ⊗ e i 2 ⊗ . . . ⊗ e i p ⊗ e j1 ⊗ e j2 ⊗ . . . ⊗ e q
( Τ + S ) ( x 1 , x 2 , ..., x p , y1 , y 2 , ..., y q ) =
i i ⋅⋅⋅i j
= Tj11 j22⋅⋅⋅ jqp e i1 ⊗ e i 2 ⊗ ... e i p ⊗ e j1 ⊗ e j2 ⊗ ... ⊗ e q ( x1 , x 2 ,..., x p , y1 , y 2 ,..., y q )
i i ⋅⋅⋅i j
+ S j11 j22 ⋅⋅⋅ jpq e i1 ⊗ e i 2 ⊗ ... ⊗ e i p ⊗ e j1 ⊗ e j2 ⊗ ... ⊗ e q ( x1 , x 2 ,..., x p , y1 , y 2 ,...,y q )
και επομένως
i1 i 2 ⋅⋅⋅i p i i ⋅⋅⋅i jq
T+S= ( T j1 j2 ⋅⋅⋅ jq + S j11 j22 ⋅⋅⋅ jpq ) e i1 ⊗ e i 2 ⊗ ... ⊗ e i p ⊗ e j1 ⊗ e j2 ⊗ ... ⊗ e
Ορισμός
Ορίζουμε την αφαίρεση δύο τανυστών Τ και S με τον τύπο
T − S = T + (− S )
Παράδειγμα
Δίνεται πραγματικός διανυσματικός χώρος (αναφοράς) Ε και ο
τανυστικός χώρος
W = E( 3 ) ⊗ E∗ ( 2 )
3
Τα στοιχεία του δ.χ. W είναι οι τανυστές τύπου
2
Έστω οι τανυστές
Τ ,R∈W
με συνιστώσες
3
Το άθροισματά τους S = T + R είναι τανυστής τύπου και
2
έχει συνιστώσες
3
Η διαφορά τους D = T − R είναι τανυστής τύπου και έχει
2
συνιστώσες
D ij11 ij22 j3 = T ij11 ij22 j3 − R ij11 ij22 j3
3
Ο τανυστής Α = −T είναι τανυστής τύπου και έχει συνιστώσες
2
3
Ο τανυστής Β = 10 Τ είναι τανυστής τύπου και έχει συνιστώσες
2
Σχόλιο
Το τανυστικό γινόμενο Τ ⊗S ονομάζεται επίσης εξωτερικό
γινόμενο τανυστών ή απλά γινόμενο τανυστών και συμβολίζεται
Τ S (προφανώς με κίνδυνο παρεξήγησης από τον αναγνώστη με μικρή
συγκέντρωση προσοχής) .
Παρατήρηση
Αν
(q) ( q′ )
Τ ∈ E( p ) ⊗ E∗ και S ∈ E ( p′ ) ⊗ E ∗
τότε
( q + q′ )
T ⊗ S ∈ E ( p + p′ ) ⊗ E ∗
Παράδειγμα
2
Αν ο τανυστής Τ είναι τύπου και ο τανυστής S είναι
3
4 2 + 4 6
τύπου τότε ο τανυστής T ⊗ S είναι τύπου =
5 3 + 5 8
65
ΘΕΩΡΗΜΑ
Το τανυστικό γινόμενο T ⊗ S έχει συνιστώσες το γινόμενο των
συνιστωσών των τανυστών Τ και S .
Απόδειξη
1
Θα κάνουμε την απόδειξη όταν ο τανυστής Τ είναι τύπου
1
0
και ο τανυστής S είναι τύπου . ( Η γενική απόδειξη είναι πα-
2
ρόμοια , απλώς έχει μεγάλες παραστάσεις) .
Σύμφωνα με τον ορισμό του τανυστικού γινομένου τανυστών , ισχύει
T ⊗ S = ( x 1 , y 1 , y 2 , y 3 ) = Τ( x 1 , y1 ) ⋅ S ( y 2 , y 3 ) (1)
T ⊗ S ( x 1 , y1 , y 2 , y 3 ) = [ T ij e i ⊗ e j ( x 1 , y1 )] ⋅ [S k l e k ⊗ e l ( y 2 , y 3 )]
= T ij e i ( x 1 ) e j ( y1 ) ⋅ S k l e k ( y 2 ) e l ( y 3 )
Οι ποσότητες
e i (x) , e j ( y1 ) , e k ( y 2 ) , el ( y 3 )
T ⊗ S ( x 1 , y1 , y 2 , y 3 ) = T ij S k l e i ( x 1 ) e j ( y1 ) e k ( y 2 ) e l ( y 3 )
δηλαδή
T ⊗ S ( x 1 , y1 , y 2 , y 3 ) = ( T ij S k l e i ⊗ e j ⊗ e k ⊗ e l ) ( x 1 , y1 , y 2 , y 3 )
Συνεπώς
T ⊗ S = T ij S k l e i ⊗ e j ⊗ e k ⊗ e l
δηλαδή συμβολικά
( T ⊗ S ) ij k l = Tji S k l
66
Παρατηρήσεις
Ι) Για το γινόμενο τανυστών ισχύουν οι παρακάτω ιδιότητες :
• Γενικά ΤS≠ST
• Προσεταιριστική ιδιότητα
(ΤS)R=T(SR)
R(T+S)=RT+RS
• Αν λ ∈ ℝ τότε
(λT)S=T(λS)=λ(TS)
1
Ο τανυστής Τ είναι τύπου και έχει συνιστώσες T ij
1
0
Ο τανυστής S είναι τύπου και έχει συνιστώσες Skl
2
1 0 1 + 0 1
+ = =
1 2 1 + 2 3
R ij k l = T i S k l
67
ΘΕΩΡΗΜΑ
p
Από την (απλή) συστολή δεικτών ενός μικτού τανυστή τύπου
q
p − 1
προκύπτει ένας (νέος) τανυστής τύπου
q − 1
Απόδειξη
Για διδακτικούς λόγους θα κάνουμε την απόδειξη για τανυστή τύπου
2
. ( Η γενική περίπτωση ακολουθεί τα ίδια διδακτικά ίχνη ) .
3
Έστω λοιπόν ότι ένας τανυστής Τ έχει συνιστώσες t ik jl m
Οι συνιστώσες τους ως προς νέα βάση του δ.χ. αναφοράς συνδέονται
με τη σχέση
t ik jl m = t ik′′jl′ ′ m′ A ii′ A jj′ A kk′ A ll′ A mm′
1
είναι συνιστώσες ενός τανυστή τύπου
2
Παρατήρηση
Όταν λέμε “ συστολή δεκτών . . .” στο εξής θα εννοούμε απλή συ-
στολή ή διπλή συστολή ή ...αρκεί να το επιτρέπει ο τύπος του τανυστή .
Το είδος της συστολής θα διευκρινίζεται κάθε φορά ή θα προκύπτει από
τα συμφραζόμενα .
68
Παραδείγματα
2
Δίνεται ο τανυστής Τ = ( T ik jl m ) που είναι τύπου
3
2 − 1 1
S = ( S lj m ) που είναι τύπου =
3 − 1 2
όπου
n
S j
lm = ∑T
i =1
ij
il m , με n = dimE
2 − 2 0
R =(Rm ) που είναι τύπου =
3 − 2 1
όπου
n n
Rm = ∑ ∑T
i =1 j =1
ij
ij m , με n = dimE
1 −1 0
M =( M r ) που είναι τύπου =
2 − 1 1
όπου
n n n
M m = ∑S
j =1
j
j m = ∑ ∑T
j=1 i =1
ij
ij m
Σχόλιο
Προφανώς στον τανυστή R ( ή Μ ) δεν μπορεί να γίνει καμιά
συστολή επειδή δεν είναι μικτός τανυστής .
69
Σχόλιο
Έχουμε μνημονικά :
Παράδειγμα 1
Δίνονται οι τανυστές
x = x ie i δηλαδή x = (x i) ∈ E = ℝ2
και
y = yj e j δηλαδή y = ( y j ) ∈ E∗ = ( ℝ 2 ) ∗
x εσωτερικώς επί y = x i y j = x i y i = x1 y1 + x 2 y 2
με i = j
Σχόλιο
Προφανώς δεν υπάρχει άλλο εσωτερικό γινόμενο μεταξύ των x και y .
Έτσι , σωστά χρησιμοποιήσαμε το “ οριστικό άρθρο ” το στην
έκφραση “ Το εσωτερικό γινόμενο . . .”
(Εκτελέσαμε τη μια και μοναδική συστολή η οποία θα μπορούσε να γίνει) .
70
Παράδειγμα 2
Δίνονται οι τανυστές
Επομένως
1
Τ = ( T i
j k ) τύπου T ⊗S
2
είναι τύπου
1 1 1 2
S = ( S lm ) τύπου + =
1 2 1 3
1
“ Πρώτο” : T ij k S ml = T ij k S il τύπου
2
i=m
1
“ Δεύτερο” : T ij k S ml = T ij k S mj τύπου
2
j= l
1
“ Τρίτο ” : T ij k S ml = T ij k S km τύπου
2
k= l
0
“ Τέταρτο” : T ij k S ml = T ij k S ij τύπου
1
i = m και j = l
0
“ Πέμπτο ” : T ij k S ml = T ij k S ik τύπου
1
i = m και k = l
Σχόλιο
Στο “ τέταρτο” και στο “ πέμπτο ” εσωτερικό γινόμενο , κάναμε
διπλή συστολή .
Στο “ τέταρτο” και στο “ πέμπτο” κάναμε (σε πλήθος) μέγιστες
δυνατές συστολές .
71
Παράδειγμα 3
Δίνεται ο τανυστής
2
( T ik jl m ) τύπου
3
1
δ = ( δ sr ) τύπου
1
δ sr T ik jl m = δ sr T ik jl r = T ik jl s
r=m
Όμως ισχύει
T ik jl s = T ik jl m
Επομένως ισχύει
δ sr T ik jl m = T ik jl m
r=m
δηλαδή
δ sr T ik jl r = T ik jl s
Σχόλιο
Βλέπουμε ότι ο τανυστής του Kronecker έχει “ συμπεριφορά
μονάδας” όταν πολλαπλασιάζεται εσωτερικά μ’ έναν άλλο τανυστή .
Ομοίως ισχύει
δ sr T ik jl m = Tki lj m
δηλαδή
δ sr T sk jl m = Tkrlj m
72
Διευκρινίσεις
p p′
Δίνεται ο τανυστής Τ τύπου και ο τανυστής S τύπου
q q′
p + p ′ − 1
q + q ′ − 1
p + p′ − 2
q + q′ − 2
κ.ο.κ.
• Έστω
r 1 = min{ p , q ′ }
r2 = min{ p′ , q }
p + p ′ − ( r1 + r2 )
q + q ′ − (r + r )
1 2
ΛΗΜΜΑ
Αν Τ( p , q , r ) είναι μια άγνωστη ποσότητα τέτοια ώστε
T ( p , q , r ) A qr m = 0
Τ( p , q , r ) = 0
ταυτοτικά (δηλαδή T = ( T ij k ) = 0 μηδενικός τανυστής ) .
Απόδειξη
Αφού A qr m είναι αυθαίρετος , επιλέγουμε έναν τανυστή τέτοιον
ώστε να έχει μια συγκεκριμένη συνιστώσα μη μηδενική (ας πούμε για
q = 2 , r = 3 ) , ενώ όλες οι άλλες συνιστώσες να είναι μηδέν .
Τότε ισχύει
T ( p , 2 , 3 ) A 32 m = 0
Τ( p , q , r ) A qr s = B sp
Τ = ( Τ( p , q , r ) )
είναι τανυστής .
Πράγματι :
Μεταβαίνοντας σε νέες βάσεις του πραγματικού διανυσματικού χώρου
(αναφοράς) Ε έχουμε
T ( j , k , l ) A kl m = B jm
T ( j , k , l ) M qk M sm M lr A qr s = M sm M pj B sp = M sm M pj T(p , q , r )A qr s
δηλαδή
M sm [ M qk M lr T ( j , k , l ) − M pj T( p , q , r ) ] A qr s = 0
δ αs [ M qk M lr T ( j , k , l ) − M pj T( p , q , r ) ] A qr s = 0
δηλαδή
[ M qk M lr T ( j , k , l ) − M pj T ( p , q , r ) ] A qr α = 0
75
M qk M lr T ( j , k , l ) − M pj T ( p , q , r ) = 0
δ km δ αl T ( j , k , l ) − M pj M qm M rα T ( p , q , r ) = 0
οπότε
T ( j , m , α ) = Μ pj M qm M rα T ( p , q , r )
Παρατηρήσεις
Ι) Αν κάποιο εσωτερικό γινόμενο μιας ποσότητας
Τ = Τ( p , q , r )
A = ( A qr m )
B = ( B sp )
Τ = ( Τ pr q )
Παράδειγμα 1
Δίνεται ο συνήθης Ευκλείδειος πραγματικός διανυσματικός χώρος
Ε = ℝ n και μια βάση του e1 , e 2 , . . . , e n
Το εσωτερικό γινόμενο δύο διανυσμάτων
x = x i ei ∈ Ε
y = yj ej ∈ Ε
<x,y> = ∑g
i,j
ij xi y j = gi j xi y j
όπου
g i j = < ei , e j >
= x i y j < ei , e j >
= x i′ y j′ δ ik′′ δ lj′′ g k′ l′
= x k′ y l′ g k′ l′
δηλαδή
g i j x i y j = g k′ l′ x k′ y l′
Σχόλιο
Το εσωτερικό γινόμενο < x , y > είναι μια αναλλοίωτη ποσότητα .
77
Παράδειγμα 2
Έστω ( g i j ) ο αντίστροφος πίνακας του πίνακα των ποσοτήτων -
συνιστωσών ( g i j ) ενός συναλλοίωτου τανυστή τάξης 2 με
g = det ( g i j ) ≠ 0
Τότε έχουμε :
g i j g i k = δ kj (∗)
G′ = ( g i j )
Σχόλιο 1
Θέτοντας G = ( g i j ) λέμε ότι ο τανυστής G′ είναι ο αντίστροφος
του G .
Σχόλιο 2
Για το στοιχείο στη θέση ( i , j ) ισχύει
συμπαράγοντας του g i j
gi j =
g
Σχόλιο 3
Η σχέση (∗) προκύπτει από τον υπολογισμό των οριζουσών.
( ΔΙΑΒΑΣΕ ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ) .
78
Παράδειγμα 3
Δίνεται ο πραγματικός διανυσματικός χώρος Ε διάστασης dimE = n
Έστω
f:E→E
x = x i ei ∈ E
x = xj ej ∈E
Τότε ισχύει
A 11 A12 L A1n
1
A A 22 L A n2
[ x ,x , ..., x ]=[ x ,x ,..., x ] 2
1 2 n 1 2 n
M M L M
1
A n A 2n L A nn
ή συνοπτικά
x i = x i A ij
Α = ( A ij )
είναι τανυστής .
79
6. ΑΣΚΗΣΕΙΣ
3. Ο διανυσματικός χώρος E n∗ ∧ ( 2 )
4. Εξωτερικό γινόμενο ∧ δύο διανυσματών
5. Εξωτερικό γινόμενο ∧ δύο γραμμικών μορφών
6. Μετασχηματισμός συνιστωσών στο χώρο E n∧ ( 2 )
2
Έστω Τ ένας τανυστής τύπου πάνω στο διανυσματικό χώρο
0
(αναφοράς) E n δηλαδή
T ∈ E (n2 ) = E n ⊗ E n
2
Ο τανυστής Τ τύπου ονομάζεται συμμετρικός τανυστής
0
όταν ισχύει
T( x , y ) = T( y , x )
∗
για κάθε x , y ∈ E n
T ( e i , e j ) = T ( e j , e i ) αφού e i ∈ E ∗n
δηλαδή
T i j = T ji
Αντιστρόφως
Έστω ότι ισχύει T i j = T j i για κάθε i , j ∈ { 1 , 2 , . . . , n }
Θα αποδείξουμε ότι ισχύει η ιδιότητα του ορισμού .
Πράγματι
Για κάθε x , y ∈ E ∗n έχουμε x = x i e i , y = yj ej και
T ( x , y ) = T( x i e i , y je j )
= x i y j T ( ei , e j )
= xi y j T i j
= y j xi T ji
= y j x i T ( e j , ei )
= T ( y je j , x i e i )
= Τ( x , y )
και επομένως ο τανυστής Τ είναι συμμετρικός .
Συμπέρασμα
2
Ο τανυστής Τ τύπου είναι συμμετρικός αν και μόνο αν
0
T i j = T ji
0
Ο τανυστή Τ τύπου ονομάζεται συμμετρικός τανυστής , όταν
2
ισχύει
T( x , y ) = T( y , x )
για κάθε x , y E n
Συμπέρασμα
0
Ο τανυστής Τ τύπου είναι συμμετρικός , αν και μόνο αν
2
T i j = Tj i
85
2
Ο τανυστής Τ τύπου ονομάζεται αντισυμμετρικός τανυστής
0
όταν ισχύει
T( x , y ) = − T( y , x )
∗
για κάθε x , y ∈ E n
Συμπέρασμα
2
Ο τανυστής Τ τύπου είναι αντισυμμετρικός αν και μόνο αν
0
T i j = −T j i
0
Ο τανυστής Τ τύπου ονομάζεται αντισυμμετρικός τανυστής
2
όταν ισχύει
T ( x , y ) = −T ( y , x )
για κάθε x , y ∈ E n
Συμπέρασμα
0
Ο τανυστής Τ τύπου είναι ανισυμμετρικός αν και μόνο αν
2
T i j = −T j i
86
Παράδειγμα 1
2
Δίνεται ο αντισυμμετρικός τανυστής T = ( T i j ) τύπου
0
Να αποδειχθεί ότι
T ii = 0
Απόδειξη
Επειδή ο Τ είναι αντισυμμετρικός , άρα ισχύει
T i j = −T j i
Για j = i προκύπτει
T i i = −T i i ⇔ 2 T i i = 0 ⇔ T i i = 0
Παράδειγμα 2
2
Δίνεται ο συμμετρικός τανυστής T = ( t i j ) τύπου και ο
0
0
αντισυμμετρικός τανυστής R = ( R i j ) τύπου
2
Να αποδειχθεί ότι
Rij tij =0
Απόδειξη
Επειδή ο Τ είναι συμμετρικός , άρα ισχύει
tij = tji
Επειδή ο R είναι αντισυμμετρικός , άρα ισχύει
R i j = − R ji
2Rij tij =0 ⇔
Rij tij =0
87
Παράδειγμα 3
0
Δίνεται ο αντισυμμετρικός τανυστής A = ( A i j ) τύπου
2
Να αποδειχθεί ότι
( δ ij δ sr + δ is δ rj ) A i r = 0
Απόδειξη
Έχουμε :
( δ ij δ sr + δ is δ rj ) A i r = δ ij δ sr A i r + δ is δ rj A i r
= A js +Asj
= A j s + (− A j s )
= 0
Παράδειγμα 4
Δίνονται οι αντισυμμετρικοί τανυστές A = ( α i j ) και Β = ( b k l )
Θέτουμε
A ⊗ B = C = ( c ikjl )
Απόδειξη
Επειδή ο τανυστής Α είναι αντισυμμετρικός , άρα ισχύει
α i j = − αj i
b k l = − bl k
α i j b k l = α j i bl k
δηλαδή
c ikjl = c lj ik
88
2. Ο διανυσματικός χώρος E n∧ ( 2 )
E (n 2 ) = E n ⊗ E n
T1 + T2 και λ T1
ανήκουν στο S .
Συνεπώς το S είναι διανυσματικός υποχώρος του E (n 2 )
Ο διανυσματικός (υπο)χώρος S συμβολίζεται E n∧ ( 2 )
2
Διανυσματικός χώρος E (n 2 ) ( τανυστές τύπου )
0
Διανυσματικός χώρος E n∧ ( 2 )
2
( αντισυμμετρικοί τανυστές τύπου )
0
ΘΕΩΡΗΜΑ
Για το διανυσματικό χώρο E n∧ ( 2 ) ισχύει
n
dim E n∧ ( 2 ) =
2
Απόδειξη
Έστω e1 , e 2 , . . . , e n μια βάση του En
Τότε , τα διανύσματα
ei ⊗ e j , i,j∈{1,2, ...,n}
T = ( Ti j )
T i j = − Tj i
και
T ii = 0
T = T i j ei ⊗ej
ή ισοδύναμα
T= ∑t
i<j
ij
ei ⊗ e j + ∑t
i>j
ij
ei ⊗ e j (1)
Έχουμε :
∑t
i>j
ij
ei ⊗ e j = ∑t
j>i
ji
e j ⊗ ei =
= ∑ (− t
j>i
ij
) e j ⊗ ei
= ∑ (− t
i< j
ij
) e j ⊗ ei (2)
90
T= ∑t
i<j
ij
ei ⊗ e j + ∑ (− t
i< j
ij
) e j ⊗ ei
δηλαδή
T= ∑t
i< j
ij
( ei ⊗ e j − e j ⊗ ei ) (3)
ei ⊗ e j − e j ⊗ ei , με i < j (4)
n
dim E ∧n ( 2 ) =
2
91
Συμπεράσματα
Ι) Ο διανυσματικός χώρος E (n 2 ) έχει ως βάση τα διανύσματα
ei ⊗ ej
e i ⊗ e j − e j ⊗ e i , με i<j
Διανυσματικός χώρος E (n 2 )
( τανυστικός χώρος )
Διανυσματικός χώρος E ∧n ( 2 )
(τανυστικός χώρος)
n
VI) Ισχύει dim E ∧n ( 2 ) =
2
Παράδειγμα
Δίνεται ο πραγματικός διανυσματικός χώρος E3
Είναι dim E 3 = 3
Έστω e1 , e 2 , e 3 μια βάση του E 3
Ο διανυσματικός χώρος (τανυστικός χώρος)
E 3( 2 ) = E 3 ⊗ E 3
έχει διάσταση
dim E (3 2 ) = 32 = 9
e1 ⊗ e1 e1 ⊗ e 2 e1 ⊗ e 3
e 2 ⊗ e1 e2 ⊗ e2 e2 ⊗ e3
e 3 ⊗ e1 e3 ⊗ e2 e3 ⊗ e3
3 3!
dim E 3∧ ( 2 ) = = =3
2 2 ! 1!
Τα παρακάτω 3 διανύσματα είναι μια βάση του E 3∧ ( 2 )
e1 ⊗ e 2 − e 2 ⊗ e1
e1 ⊗ e 3 − e 3 ⊗ e1
e2 ⊗ e3 − e3 ⊗ e2
Σχόλιο
Όλες αυτές οι βάσεις προέκυψαν από την αρχική βάση του E n
93
3. Ο διανυσματικός χώρος E ∗n ∧ ( 2 )
Δίνεται ο πραγματικός διανυσματικός χώρος En
Έστω e1 , e 2 , ..., e n μια βάση του E n και e1 , e 2 , ..., e n
η αντίστοιχη βάση του E ∗n (δυϊκή) .
Θεωρούμε το διανυσματικό χώρο
E ∗n ( 2 ) = E ∗n ⊗ E ∗n
0
Τα στοιχεία - διανύσματα του E ∗n ( 2 ) είναι οι τανυστές τύπου
2
Ας συμβολίσουμε με S το σύνολο όλων των αντισυμμετρικών τα-
νυστών του χώρου E ∗n ( 2 )
Αν T1 , T2 ∈ S και λ ∈ ℝ τότε τα στοιχεία
T1 + T2 και λ T1
ανήκουν στο S .
Συνεπώς το S είναι διανυσματικός υποχώρος του E ∗n ( 2 )
Ο διανυσματικός (υπο)χώρος S συμβολίζεται E ∗n ∧ ( 2 )
Αποδεικνύεται , όπως στην προηγούμενη παράγραφο , ότι ισχύει
n
dim E ∗n ∧ ( 2 ) =
2
ei ⊗ e j
(2)
ΙΙ) Ο διανυσματικός χώρος E ∗n ∧ έχει ως βάση τα διανύσματα
e i ⊗ e j − e j ⊗ e i , με i<j
(2)
III) Ο διανυσματικός χώρος E ∗n ∧ είναι διανυσματικός υποχώρος
του διανυσματικού χώρου E ∗n ( 2 )
(2)
Ο χώρος E ∗n ∧ συμβολίζεται επίσης ∧ ∗n ( 2 ) και ονομάζεται
2η εξωτερική δύναμη του χώρου E ∗n
( E ∗n είναι ο δυϊκός χώρος του χώρου αναφοράς E n ) .
94
Παράδειγμα
Δίνεται ο πραγματικός διανυσματικός χώρος E 3
Είναι dim E 3 = 3
Έστω e1 , e 2 , e 3 μια βάση του E 3 και e1 , e 2 , e 3 η αντίστοιχη
βάση του E ∗ (δυϊκή) . Είναι dim E ∗ = 3
Ο διανυσματικός χώρος (τανυστικός χώρος)
E ∗3 ( 2 ) = E ∗3 ⊗ E ∗3
έχει διάσταση
dim E ∗3 ( 2 ) = 32 = 9
e1 ⊗ e 1 e1 ⊗ e 2 e1 ⊗ e 3
e 2 ⊗ e1 e2 ⊗ e2 e2 ⊗ e3
e 3 ⊗ e1 e3 ⊗ e2 e3 ⊗ e3
3 3!
dim E ∗3 ∧ ( 2 ) = = =3
2 2 ! 1!
Τα παρακάτω 3 διανύσματα είναι μια βάση του E ∗3 ∧ ( 2 )
e1 ⊗ e 2 − e 2 ⊗ e 1
e1 ⊗ e 3 − e 3 ⊗ e1
e2 ⊗ e3 − e3 ⊗ e2
Σχόλιο
Όλες αυτές οι βάσεις προέκυψαν από την αρχική βάση του E n
95
x ∧ y = x ⊗ y − y ⊗ x ∈ E (n 2 )
Έστω ότι
x = x i ei και y = yj ej
Έχουμε :
x ∧ y = ( x i ei ) ⊗ ( y j e j ) − (y j e j ) ⊗ ( x i ei ) ⇔
x ∧ y = x i y j (e i ⊗ e j ) − y j x i ( e j ⊗ e i ) (1)
Όμως ισχύει
y j x i ( e j ⊗ e i ) = y r x s (e r ⊗ e s ) = y i x j (e i ⊗ e j ) = . . .
x ∧ y = x i y j ( e i ⊗ e j ) − y i x j (e i ⊗ e j ) ⇔
x ∧ y = (x i y j − y i x j ) ( ei ⊗ e j ) (2)
p i j = xi y j − yi x j
p i j = − p ji
96
• x∧(y+z) = x∧y + x ∧ z
• x∧y = −y∧x
• x∧x=0
ei ∧ e j = ei ⊗ e j − e j ⊗ ei , με i < j
Παράδειγμα 1
Δίνονται τα διανύσματα x = x i e i και y = y j e j του πραγματικού
διανυσματικού χώρου E n , όπου e1 , e 2 , . . . , e n είναι μια βάση
του E n . Αν p i j είναι οι συνιστώσες του x ∧ y ∈ E (n 2 ) ως προς
τη βάση e i ⊗ e j του E (n 2 ) , τότε να αποδείξετε ότι ισχύει
p i j p r s + pi r ps j + pi s p j r = 0
Απόδειξη
Έχουμε γενικά pi j = x i y j − y i x j = x i y j − x j yi
Επομένως
p i j p r s + pi r ps j + pi s p j r =
= x i y jx r ys − x i y jx s y r − x jy i x r y s + x jy i x s y r
+ xi y r xs y j − xi yr x jys − x r yi xs y j + x r yi x jys
Παράδειγμα 2
Θα βρούμε τις συνιστώσες του εξωτερικού γινομένου e k ∧ e l ,όπου
e1 , e 2 ,..., e n είναι μια βάση του πραγματικού διανυσματικού χώρου E n
Έχουμε : e k ∧ e l = e k ⊗ e l − e l ⊗ e k , με k , l ∈ { 1 , 2 , …, n }
Π.χ.
e1 ∧ e1 = e1 ⊗ e1 − e1 ⊗ e1 = 0
e1 ∧ e 2 = e1 ⊗ e 2 − e 2 ⊗ e1
κ.ο.κ.
Όμως εμείς θα χρησιμοποιήσουμε το γενικό τύπο
x ∧ y = ( x i y j − x j y i )(e i ⊗ e j ) , όπου pi j = xi y j − x jy i
Έχουμε : e k = δ ik e i και e l = δ lj e j , όπου i , j ∈ { 1 , 2 , …, n }
N 11 = 0 , N 12 = 1 , N 21 = −1 , N 22 = 0 και N i j = 0 σε κάθε
άλλη περίπτωση .
98
x ∧ y = x ⊗ y − y ⊗ x ∈ E ∗n ( 2 )
Έστω ότι
x = x i ei και y = yj ej
Έχουμε :
x ∧ y = ( x i ei ) ⊗ ( y j e j ) − (y j e j ) ⊗ ( x i ei ) ⇔
x ∧ y = ( x i y j − y i x j ) ( ei ⊗ e j )
e i ∧ e j = e i ⊗ e j − e j ⊗ e i , με i < j
∧ (2)
αποτελούν μια βάση του E ∗n
99
Παράδειγμα 1
Δίνεται ο πραγματικός διανυσματικός χώρος E n και e1 , e 2 ,..., e n
1 2 n
μια βάση του . Έστω e , e ,..., e η αντίστοιχη βάση του E ∗n (δυϊκή) .
Δίνονται οι γραμμικές μορφές x = x i e i και y = y je j οι οποίες
είναι (ως γνωστόν) στοιχεία του διανυσματικού χώρου E ∗n
Αν p i j είναι οι συνιστώσες του x ∧ y ∈ E ∗n ( 2 ) ως προς τη βάση
e i ⊗ e j του E ∗n ( 2 ) τότε να αποδείξετε ότι
pi j pr s + pi r ps j + pi s p j r = 0
Απόδειξη
Έχουμε γενικά pi j = x i y j − y i x j = x i y j − x j yi
Επομένως
pi j pr s + pi r ps j + pi s p j r = 0
Παράδειγμα 2
Θα βρούμε τις συνιστώσες του εξωτερικού γινομένου e k ∧ e l , όπου
e1 , e 2 , . . . , e n είναι η βάση του δυϊκού χώρου E ∗n
Έχουμε (παρόμοια με το παράδειγμα 2 της προηγούμενης παραγράφου)
e k = δ ik e i αι e l = δ lj e j , όπου i , j ∈ { 1 , 2 , . . . , n }
N 12 = δ 11 δ 22 − δ 12 δ 12 = 1 − 0 = 1
N 21 = − N12 = −1
N 22 = δ 12 δ 22 − δ 12 δ 22 = 0
και
N i j = 0 σε κάθε άλλη περίπτωση .
100
e k′ = A ik′ e i
ei ⊗ e j και e k′ ⊗ e l′
T= ∑T
i< j
(i j)
ei ∧e j
T (i j) = T i j
i <j
T ( k ′ l′ ) = Tkl
k<l
Έχουμε
T i j = A ik ′ A lj ′ T k ′ l′ άρα T ( i j ) = A ik ′ A lj ′ T k ′ l′
οπότε
T (i j) = ∑A
k ′ < l′
i
k′ A lj ′ T k′ l′ + ∑A
k ′ > l′
i
k′ A lj ′ T k′ l′
δηλαδή
T (i j) = ∑A
k ′ < l′
i
k′ A lj ′ T k′ l′ + ∑A
k ′ < l′
i
l′ A kj ′ T l′ k′
άρα
T (i j) = ∑( A
k ′ < l′
i
k′ A lj ′ − A li ′ A kj ′ ) T k′ l′
A ik′ A kj ′
T (i j) = T ( k ′ l′ )
A il′ A lj′
Διευκρινιστικές πράξεις
= ∑T
i<j
ij
ei ⊗ e j + ∑T
j>i
ji
e j ⊗ ei
= ∑T
i< j
ij
ei ⊗ e j − ∑T
i<j
ij
e j ⊗ ei
= ∑T
i< j
ij
( ei ⊗ e j − e j ⊗ ei )
= ∑T
i< j
ij
ei ∧ e j
= T ( i j ) e i ∧ e j , με i < j
102
e k′ = A ik′ e i
e i ⊗ e j και e k ′ ⊗ e l′
T= ∑T
i<j
(i j) ei ∧ e j
T( i j ) = Ti j
i<j
T ( k ′ l′ ) = Tk l
k<l
A ik ′ A kj′
T( i j ) = T ( k′ , l′ )
A il′ A lj ′
103
8. Ευκλείδειοι τανυστές
x = x i ei και y = yj ej
με τον τύπο
< x , y > = g i j xi y j
g i j = g ji
< x ,x> ≥0
και
<x,x>=0 ⇔ x=0
για κάθε x ∈ E n
Λέμε ότι δίνεται ένας Ευκλείδειος χώρος E n
Στο βιβλίο μου “ ΚΛΑΣΙΚΟΣ ΤΑΝΥΣΤΙΚΟΣ ΛΟΓΙΣΜΟΣ ΚΑΙ
ΕΦΑΡΜΟΓΕΣ ” διευκρινίζω το λογικό διάγραμμα :
Ευκλείδειος χώρος
x j = g i j xi
y = x j ej
G =(gij )
συμπαράγοντας του g i j
gij =
g
Ισχύει προφανώς g i k g k j = δ ij
G′ = ( g i j )
G=( gij )
και το διάνυσμα
x = x i ei
xj = gi j x i
Αντιστρόφως
Έστω ότι το διάνυσμα x έχει συναλλοίωτες συνιστώσες x i δηλαδή
x = x i ei
xi = g j i x j
πολ/ζοντας με g j i προκύπτει
g j i xi = g j i g j i x j ⇔
g j i xi = x j ⇔
xj = gj i xj
i1 i 2 i 3 ⋅⋅⋅i p
t
i i 3 ⋅⋅⋅i p i i 2 i 3 ⋅⋅⋅i p
t j12 = g i1 j1 t 1
i ⋅⋅⋅i i i 2 i 3 ⋅⋅⋅i p
t j13 j2 p = g i1 j1 g i 2 j2 t 1
…………………………
i i 2 i 3 ⋅⋅⋅i p
t j1 j2 j3 ⋅⋅⋅ jp = g i1 j1 g i 2 j2 ⋅ ⋅ ⋅ g i p jp t 1
p − 1
1
p − 2
2
………
0
p
αντίστοιχα .
p p − 1 p − 2 0
, , , . . . ,
0 1 2 p
107
Αντιστρόφως
Έστω ότι ο Ευκλείδειος τανυστής Τ δίνεται με τις συναλλοίωτες
συνιστώσες του
t j1 j2 j3 ⋅⋅⋅ jp
i i 2 i 3 ⋅⋅⋅i p i p jp
t1 = g i1 j1 g i 2 j2 ... g t j1 j2 j3 ⋅⋅⋅ jp
1 2 p
, , . . . ,
p −1 p − 2 0
Τελικό συμπέρασμα
Σε Ευκλείδειους διανυσματικούς χώρους , είναι περιττό να θεωρούμε
συναλλοίωτους , μικτούς , αντιαλλοίωτους τανυστές της ίδιας τάξης
ως διαφορετικά γεωμετρικά αντικείμενα .
108
Παράδειγμα
Δίνεται ο Ευκλείδειος διανυσματικός χώρος E 3 = ℝ 3 με τη μετρική
( g i j ) που δίνεται με την ισότητα
g11 g12 g13 2 0 0
g g 22 g 23 = 0 3 0
21
g 31 g 32 g 33 0 0 4
2 0 0
Έχουμε : g = det [ g i j ] = 0 3 0 = 24
0 0 4
Επομένως
3 0
(−1)1+1
συμπαράγοντας του g11 0 4 1
g11 = = =
g 24 2
1 1
Ομοίως g 22 = , g 33 = και g i j = 0 σε κάθε άλλη περίπτωση .
3 4
Συνεπώς
g11 g 12 g 13 1 / 2 0 0
21 23
g g 22 g = 0 1 / 3 0
g 31 g 32 g 33 0 0 1 / 4
Τα διανύσματα e1 = ( 2 , 0 , 0) , e 2 = ( 0 , 3 , 0 ) , e 3 = ( 0 , 0 , 4 )
αποτελούν μια βάση του E 3 = ℝ 3
Ισχύει
g i j = < ei , e j >
δηλαδή
< e1 , e1 > = g 11 = 2 , < e 2 , e 2 > = 3 , < e 3 , e 3 > = 4
και
< e i , e j > = 0 σε κάθε άλλη περίπτωση .
1 1 1
Τα διανύσματα e1 = , 0 , 0 , e 2 = 0, ,0 , e 3 = 0,0,
2 3 4
αποτελούν την αντίστοιχη βάση του E 2 = ( ℝ ) (δυϊκή) και ισχύει
∗ 3 ∗
gi j = < ei , e j >
1 1 1
δηλαδή < e1 , e1 > = g 11 =
, < e 2 , e 2 > = g 22 = , < e 3 , e 3 > = g 33 =
2 3 4
i j
και < e , e > = 0 σε κάθε άλλη περίπτωση .
109
Συνεχίζουμε :
Για το διάνυσμα
x = α e1 + β e 2 + γ e 3
έχουμε
< x , x > = g i j x i x j = 2 α 2 + 3β 2 + 4 γ 2
δηλαδή
x 1 = g i 1 x i = g11 x 1 +g 21 x 2 + g 31 x 3
= 2 ⋅ α + 0 ⋅β + 0 ⋅ γ
= 2α
x 2 = g i 2 x i = g12 x 1 + g 22 x 2 + g 32 x 3
= 0 ⋅ α + 3⋅β + 0 ⋅ γ
= 3β
x 3 = g i 3 x i = g13 x 1 + g 23 x 2 + g 33 x 3
= 0⋅α + 0 ⋅β + 4 ⋅ γ
= 4γ
Επομένως ισχύει
x = 2 α e1 + 3 β e 2 + 4 γ e 3
Έχουμε :
1 1 1
< x , x > = gi j xi x j = ( 2 α ) 2 + ( 3 α ) 2 + ( 4 α ) 2 = 2 α 2 + 3β 2 + 4 γ 2
2 3 4
Επομένως , το μήκος του διανύσματος x είναι
tij = tji
t i j = gi k g j l t k l = gi k g j l t l k = t j i
Αντιστρόφως
Αν οι συναλλοίωτες συνιστώσες του είναι συμμετρικές , τότε εύκολα
προκύπτει ότι οι αντιαλλοίωτες συνιστώσες του είναι συμμετρικές (δη-
λαδή ο Ευκλείδειος τανυστής είναι συμμετρικός) .
ti j = − t j i
t i j = gi k g j l t k l = − gi k g j l t l k = − t j i
Αντιστρόφως
Αν οι συναλλοίωτες συνιστώσες του είναι αντισυμμετρικές , τότε
εύκολα προκύπτει ότι , οι αντιαλλοίωτες συνιστώσες του είναι αντι-
συμμετρικές (δηλαδή ο Ευκλείδειος τανυστής είναι αντισυμμετρικός) .
111
Παράδειγμα
Δίνεται η αναλλοίωτη φ = θ i j x i y j
Θα αποδείξουμε ότι πάντοτε μπορούμε να γράψουμε
φ = gi j xi y j
Απόδειξη
Έχουμε
φ = θi jx i y j = θ j i x j yi = θ j i x i y j
Σχόλιο
Γενικά η αναλλοίωτη
< x , y > = θ i j xi y j
10. ΑΣΚΗΣΕΙΣ
2 0
1) Να αποδειχθεί ότι κάθε τανυστής τύπου ή μπορεί
0 2
να γραφεί ως άθροισμα δύο τανυστών : ενός συμμετρικού , και
ενός αντισυμμετρικού τανυστή .
ti j = t j i
gij = gj i
ti j = − t j i
αi j = − α j i
E 2∧ ( 2 ) , E 3∧ ( 2 ) , E 4∧ ( 2 ) , E 5∧ ( 2 )
E 2∗ ∧ ( 2 ) , E 3∗ ∧ ( 2 ) , E 4∗ ∧ ( 2 ) , E ∗5 ∧ ( 2 )
E (2 2 ) και E 2∧ ( 2 )
E ∗2 ( 2 ) και E 2∗ ∧ ( 2 )
T = t ( i j ) e i ∧ e j , με i < j
114
T = t ( i j ) e i ∧ e j , με i < j
1. Η συμμετρική ομάδα S p
9. Ο διανυσματικός χώρος E ∗n ∧ ( p )
10.Οι τελεστές Α και S στην τανυστική άλγεβρα
11.Εξωτερικό γινόμενο ∧ στο χώρο t ( E n )
σ
1. .1
2. .2
3. .3
1 2 3
σ 2 = δηλαδή σ2 = 1 3 2
1 3 2
1 2 3
σ 5 = δηλαδή σ5 = 2 3 1
2 3 1
Έχουμε :
1 2 3
σ 2 o σ 5 = δηλαδή σ 2 o σ 5 = σ 4 ή σ 2 σ 5 = σ 4 (συνοπτικά)
3 2 1
και
1 2 3
σ 5 o σ 2 = δηλαδή σ 5 o σ 2 = σ 4 ή σ 5 σ 2 = σ 4 (συνοπτικά)
2 1 3
+ 1 αν σ άρτια μετάθεση
sign σ =
− 1 αν σ περιττή μετάθεση
1 2 3
σ =
σ(1) σ(2) σ(3)
ή συνοπτικά
σ = σ(1) σ(2) σ(3)
xy∈V
x(y+z)=xy+xz
(y+z)x =yx+zx
III) Μικτή
λ(xy)=(λx)y=x(λy)
Σχόλιο 1
Όταν επιπλέον ισχύει
x(yz)=(xy)z
Σχόλιο 2
Όταν επιπλέον ισχύει
xy=yx
ψ = ( Τ 0 , T1 , T2 , . . . , T k , . . . ) = { T k }
με στοιχεία
T k ∈ E (n k ) , k = 1 , 2 , . . .
T0 ∈ E n( 0 ) = ℝ
t ( En)
λ ψ = ( λ Τ 0 , λ Τ1 , . . . , λ Τ k , . . . )
για κάθε
ψ = { Τk } , ψ′ = { Τ ′k } , λ ∈ ℝ
Για κάθε
ψ = ( Τ 0 , T1 , T 2 , . . . , T k , . . . )
ψ ′ = ( Τ ′0 , T1′ , T2′ , . . . , T ′k , . . . )
ψ ⊗ ψ′
με τον τύπο
…………….. ∑ T ⊗ T′ , ……)
i + j=k
i j
Ι) ψ ⊗ ( ψ ′ + ψ ′′ ) = ψ ⊗ ψ ′ + ψ ⊗ ψ ′′
ΙΙ) ( ψ ′ + ψ ′′ ) ⊗ ψ = ψ ′ ⊗ ψ + ψ ′′ ⊗ ψ
ΙΙΙ) λ ( ψ ⊗ ψ ′ ) = ( λ ψ ) ⊗ ψ ′ = ψ ⊗ ( λ ψ ′ )
και επιπλέον
( ψ ⊗ ψ ′ ) ⊗ ψ ′′ = ψ ⊗ ( ψ ′ ⊗ ψ ′′ )
Σχόλιο
Με ανάλογο τρόπο ορίζεται η τανυστική άλγεβρα πάνω στο χώρο E ∗n
δηλαδή η t ( E ∗n )
122
Ελεύθερο ανάγνωσμα
Όψη 1
Έστω ότι
ψ = Τ 0 + T 1 + T2
ψ ′ = Τ ′0 + T1′
Έχουμε :
Γενικά είναι
ψ ⊗ ψ′ ≠ ψ′ ⊗ ψ
Όψη 2
Έστω ότι
ψ = ( Τ 0 , T1 , T2 , 0 , 0 , . . . )
ψ ′ = ( Τ ′0 , T1′ , 0 , 0 , 0 , . . . )
Έχουμε:
Γενικά είναι
ψ ⊗ ψ′ ≠ ψ′ ⊗ ψ
Υπενθύμιση
Γενικά , το οποιοδήποτε “ Ελεύθερο ανάγνωσμα” δεν θεωρείται
δεσμευτικό μαθηματικό κείμενο .
123
σ = σ(1) σ(2)...σ( p) ∈ S p
[σ]
( [ σ ] ) ( φ1 , φ 2 , . . . , φ p ) = Τ( φ σ (1) , φ σ ( 2 ) , . . . , φ σ ( p ) )
για κάθε
T ∈ E (n p ) , με φ j ∈ E n∗
( [ σ ] [ τ ] Τ ) ( φ1 , φ 2 ,..., φ p ) = ( [ σ ] Τ ) ( φ τ ( 1 ) , φ τ ( 2 ) ,…, φ τ ( p ) )
= Τ( φ σ τ ( 1 ) , φ σ τ ( 2 ) ,…, φ σ τ ( p ) )
= ( [ σ τ] Τ ) ( φ1 , φ 2 ,..., φ p )
Επομένως ισχύει
[ σ τ ] = [ σ ] [ τ ] , για κάθε σ , τ ∈ S p
Αν θέσουμε
σ ο = 1 2...p (ταυτοτική μετάθεση)
τότε ισχύει
[ σο ] Τ = Τ , για κάθε T ∈ E n( p )
( [ σ ] ( φ ( 1 ) ⊗ φ ( 2 ) ⊗ . . . ⊗ φ ( p ) )) ( x 1 , x 2 , . . . , x n ) =
= ( φ ( 1) ⊗ φ ( 2 ) ⊗ . . . ⊗ φ ( p ) ) ( x σ (1) , x σ ( 2 ) , . . . , x σ ( p ) )
Επομένως ισχύει
[ σ ] ( φ ( 1 ) ⊗ φ ( 2 ) ⊗ . . . ⊗ φ ( p ) ) = φ σ − 1 (1) ⊗ φ σ − 1 ( 2 ) ⊗ . . . ⊗ φ σ − 1 ( p )
Σχόλιο
Με ανάλογο τρόπο εργαζόμενοι βρίσκουμε ότι ο τελεστής [ σ ] δρα
στο τανυστικό γινόμενο
ε (1) ⊗ ε ( 2 ) ⊗ . . . ⊗ ε ( p ) , με ε ( j) ∈ E n
( [ σ ] Τ ) ( φ1 , φ 2 , . . . , φ n ) = Τ ( φ σ (1) , φ σ (2) , . . . , φ σ ( p ) )
για κάθε
T ∈ E (np ) , με φ j ∈ E ∗n
1
A=
p ! σ∈S ∑
sign (σ) [ σ ]
p
1
S=
p ! σ∈S ∑
[σ]
p
1
[τ]Α=
p ! σ∈S∑sign(σ) [ τ ] [ σ ]
p
1
=
p! σ ∑ sign( τ
1 ∈S p
−1
σ1 ) [ σ 1 ]
1
=
p! σ ∑ sign( τ
1 ∈S p
−1
) sign (σ 1 ) [ σ1 ]
1
=
p! σ ∑ sign( τ) sign (σ ) [ σ
1 ∈S p
1 1 ]
= sign ( τ ) Α
[ τ ] Α = sign(τ) Α
126
Παρατηρήσεις
Ι) Για τον τελεστή Α ισχύει
1
A2 = ∑
p ! τ∈S
p
sig(τ) [ τ ] Α
1
= ∑
p ! τ ∈S
(sign(τ)) 2 A
p
1
= ∑
p! τ ∈ S
(+1 )A
p
=Α
δηλαδή
A2 ≡ A
p
• Ένας τανυστής T ∈ E (np ) , δηλαδή τύπου ονομάζεται τελείως
0
αντισυμμετρικός ή πλήρως αντισυμμετρικός ή συνοπτικά αντισυμμε-
τρικός , όταν για κάθε φ i ∈ E ∗n και για όλα τα σ ∈ S p ισχύει :
δηλαδή
[ σ ] Τ = sign(σ)Τ
Σχόλιο
Με παρόμοιο τρόπο ορίζεται ο αντισυμμετρικός τανυστής T ∈ E ∗n ( p )
0
δηλαδή τύπου
p
p
• Ένας τανυστής T ∈ E (np ) , δηλαδή τύπου ονομάζεται τελείως
0
συμμετρικός ή πλήρως συμμετρικός ή συνοπτικά συμμετρικός ,όταν
για κάθε φ i ∈ E ∗n και για όλα τα σ ∈ S p ισχύει :
δηλαδή
[σ]Τ =Τ
Σχόλιο
Με παρόμοιο τρόπο ορίζεται ο συμμετρικός τανυστής T ∈ E ∗n ( p )
0
δηλαδή τύπου
p
128
Παρατήρηση 1
Ι) Θεωρούμε τον τυχαίο τανυστή T ∈ E (np )
Για τον τελεστή Α της προηγούμενης παραγράφου , ισχύει
Επομένως ισχύει
[ τ ] Α Τ = sign(τ) Α Τ
και επομένως
1 1
AT = ∑
p ! σ ∈S
sign(σ) [ σ ] Τ =
p
p ! σ ∈S
T=T ∑
p
δηλαδή
ΑΤ=Τ
Σχόλιο
Με παρόμοιο τρόπο ορίζεται ο χώρος
∧ ∗n ( p ) ≡ E ∗n ∧ ( p ) = A(E ∗n ( p ) )
129
Παρατήρηση 2
Ι) Θεωρούμε τον τυχαίο τανυστή T ∈ E (np )
Για τον τελεστή S της προηγούμενης παραγράφου , ισχύει
[ τ ] S = S , για κάθε τ ∈ S p
Επομένως ισχύει
[τ]ST=ST
1 1
ST= ∑
p ! σ ∈S
[ σ ]T =
p
p ! σ ∈S ∑
T=T
p
δηλαδή
ST=T
1
S= ∑
p ! σ ∈S
[σ]
p
Σχόλιο
Με παρόμοιο τρόπο ορίζεται ο χώρος
E ∗n ∨ ( p ) = S ( E ∗n( p ) )
130
Παράδειγμα
Δίνεται ο πραγματικός διανυσματικός χώρος E n
1
= [ sign (σ 1 ) [ σ1 ] + sign (σ 2 ) [ σ 2 ]]
2!
1
= ( [ σ1 ] − [ σ 2 ] )
2
2
Θεωρούμε τον τυχαίο τανυστή T ∈ E (n2 ) , δηλαδή τύπου
0
Ο Τ είναι μια διγραμμική μορφή
Τ : E ∗n × E ∗n → ℝ
όπου
T( φ1 , φ 2 ) ∈ ℝ , με φ1 , φ 2 ∈ E ∗n
Έχουμε :
1
AT = ( [ σ1 ] − [ σ 2 ] ) T
2
1
= ( [ σ1 ] T − [ σ 2 ] T )
2
και επομένως
1
A T ( φ1 , φ 2 ) = ( [ σ 1 ] T ( φ1 , φ 2 ) − [ σ 2 ] T ( φ1 , φ 2 ) ) ⇔
2
1
A T ( φ1 , φ 2 ) = ( T ( φ 1 , φ 2 ) − T ( φ 2 , φ1 ) )
2
Ο τανυστής ΑΤ : E ∗n × E ∗n → ℝ έχει τον παραπάνω τύπο και είναι
αντισυμμετρικός τανυστής , δηλαδή
A T ∈ E n∧ ( 2 )
131
1
= ( [ σ1 ] + [ σ 2 ] )
2!
1
= ( [ σ1 ] + [ σ 2 ] )
2
Θεωρούμε τον τυχαίο τανυστή T ∈ E (n2 ) (της προηγούμενης σελίδας).
Έχουμε :
1
S T = ( [ σ1 ] + [ σ 2 ] ) T
2
1
= ( [ σ1 ] T + [ σ 2 ] T )
2
και επομένως
1
S T ( φ1 , φ 2 ) = ( [ σ 1 ] T ( φ1 , φ 2 ) + [ σ 2 ] T ( φ1 , φ 2 ) ) ⇔
2
1
S T ( φ1 , φ 2 ) = ( T ( φ1 , φ 2 ) + T ( φ 2 , φ1 ) )
2
Ο τανυστής S Τ : E ∗n × E ∗n → ℝ έχει τον παραπάνω τύπο και είναι
συμμετρικός τανυστής , δηλαδή
S T ∈ E ∨n ( 2 )
Συμπεράσματα
• T ∈ E (n2 )
• A T ∈ E ∧n ( 2 ) = A ( E (n2 ) )
• S T ∈ E ∨n ( 2 ) = S ( E (n2 ) )
• Ισχύει Τ = AT + ST
αντι- συμμετρική
συμμετρική συνιστώσα
συνιστώσα
Σχόλιο
2 0
Γενικά , ισχύει για τανυστές τύπου ή
0 2
Τ αντισυμμετρικός ⇔ ΑΤ = Τ ( δηλαδή ST = 0 )
Τ συμμετρικός ⇔ S Τ = Τ ( δηλαδή AT = 0 )
132
Τ : E ∗n × E ∗n × . . . × E ∗n → ℝ
p καρτεσιανοί παράγοντες
1
AT = ∑
p ! σ ∈S
sign (σ) ( [ σ ] Τ )
p
1
i
( A T ) ( e i1 , e i 2 ,..., e p ) = ∑
p ! σ ∈S
σ( i )
sign (σ) Τ(e σ(i1 ) , e σ(i 2 ) ,..., e p )
p
1
= ∑
p ! σ ∈S
p
σ( i ) σ( i )⋅⋅⋅σ( i )
sign (σ) Τ 1 2 p
δηλαδή
1
(1) ( AT )
i1 i 2 ⋅⋅⋅i p
= ∑
p ! σ ∈S
p
k k ⋅⋅⋅k
sign (σ) Τ 1 2 p
όπου θέσαμε
σ (i1 ) σ(i 2 ) … σ (i p ) = k 1 k 2 . . . k p
σ (i1 ) σ(i 2 ) … σ (i p )
133
i i ⋅⋅⋅i k k ⋅⋅⋅k
Στη σχέση (2) οι ποσότητες ( A T ) 1 2 p και T 1 2 p είναι
συνιστώσες τανυστών , επομένως σύμφωνα με τον κανόνα του πηλίκου ,
οι ποσότητες
i i ⋅⋅⋅i
ε k11 k2 2 ⋅⋅⋅pk p
p
είναι συνιστώσες τανυστή τύπου , δηλαδή το έψιλον του Kronecker
p
p
είναι τανυστής τύπου
p
Σχόλιο
0
Αν ο τανυστής Τ είναι τύπου τότε εργαζόμενοι με παρόμοιο
p
τρόπο , βρίσκουμε ότι οι συνιστώσες του αντισυμμετρικού τανυστή ΑΤ
δίνονται με τον τύπο
1 k1 k 2 ⋅⋅⋅k p
( A T ) i1 i 2 ⋅⋅⋅i p = ε i i ⋅⋅⋅i Ti1 i 2 ⋅⋅⋅i p
p! 1 2 p
Παρατήρηση
Αν T ∈ E (np ) τότε
A T ∈ E ∧n ( p ) = A ( E (np ) )
και αν T ∈ E ∗n ( p ) τότε
A T ∈ E ∗n ∧ ( p ) = A ( E ∗n ( p ) )
134
ΕΝΗΜΕΡΩΤΙΚΟ ΣΗΜΕΙΩΜΑ
i i ⋅⋅⋅i i i ⋅⋅⋅i
ε k11 k2 2 ⋅⋅⋅pk p δ k11 k2 2 ⋅⋅⋅pk p
i i 2 ⋅⋅⋅i p
e1 = ε 1i12i⋅2⋅⋅⋅p⋅⋅i p ε i1 i 2 ⋅⋅⋅i p = δ 1i12i⋅2⋅⋅⋅p⋅⋅i p
i1 i 2 ⋅⋅⋅i p i i 2 ⋅⋅⋅i p
∈ = g e1 θ i1 i 2 ⋅⋅⋅i p = g ε i1 i 2 ⋅⋅⋅i p
1 i i 2 ⋅⋅⋅i p 1 i i 2 ⋅⋅⋅i p
∈ i1 i 2 ⋅⋅⋅i p = e i1 i 2 ⋅⋅⋅i p θ1 = ε1
g g
8. Ο διανυσματικός χώρος E ∧n ( p )
(1) T= ∑t
1≤ l 1 ,l 2 ,...,l p ≤ n
l 1 l 2 ...l p
e l1 ⊗ e l 2 ⊗ . . . ⊗ e l p
∑t
i1 i 2 ...i p
σ( i1 ) σ( i 2 )...σ( i p )
e σ ( i1 ) ⊗ e σ ( i 2 ) ⊗ . . . ⊗ e σ ( i p )
T= ∑t
i1 i 2 ...i p
∑ sign (σ) (e σ(1) ⊗ e σ(2) ⊗ . . . ⊗ e σ( p )
n
συνδυασμοί
p
δηλαδή
T=
n
∑t i 1 i 2 ...i p
A( e i 1 ⊗ e i 2 ⊗ . . . ⊗ e i p )
συνδυασμοί
p
Παρατήρηση
Θέτουμε
e i1 i 2 ...i p = A(e i1 ⊗ e i 2 ⊗ . . . ⊗ e i p ) , με i1 < i 2 < ... < i p
∑ε
p!
l 1 l 2 ...l p
i1 i 2 ...i p (e l1 ⊗ e l 2 ⊗ . .. . ⊗ e l p ) = A ( e i1 ⊗ e i 2 ⊗ . . . ⊗ e i p )
T= ∑t
n
i1 i 2 ...i p
e i1 i 2 ...i p
p
i i ...i
Οι ποσότητες t 1 2 p ονομάζονται περιορισμένες συνιστώσες του
Τ ως προς τη βάση e i1 i 2 ...i p επειδή ακριβώς υφίσταται ο περιορισμός
n
i1 < i 2 < ... < i p και επομένως η άθροιση περιέχει όρους (δηλαδή
p
η άθροιση ως προς τους δείκτες δεν είναι απόλυτα ελεύθερη) .
Γι’ αυτό χρησιμοποιείται επίσης ο συμβολισμός
T= ∑t ( i1 i 2 ...i p )
e ( i1 i 2 ...i p )
lp
e l1 ⊗ e l 2 ⊗ . . . ⊗ e
όπου 0 ≤ l1 , l 2 , . . . , l p ≤ n
(2) φ=
n
∑φ i1 i 2 ...i p
i
A( e i1 ⊗ e i 2 ⊗ . . . ⊗ e p )
p συνδυασμοί
Παρατήρηση
Θέτουμε
i i 2 ... i p i
e1 = A (e i1 ⊗ e i 2 ⊗ . . . ⊗ e p ) , με i1 < i 2 < . . . < i p
∑ε p!
i1 i 2 ...i p
l 1 l 2 ...l p
l
( e l 1 ⊗ e l 2 ⊗ . . . ⊗ e p ) = A ( e i1 ⊗ e i 2 ⊗ . . . ⊗ e p )
i
T= ∑φ
n
i1 i 2 ...i p e1
i i 2 ...i p
p
n
και επομένως η άθροιση περιέχει όρους (δηλαδή η άθροιση ως
p
προς τους δείκτες δεν είναι απόλυτα ελεύθερη) .
Γι’ αυτό χρησιμοποιείται επίσης ο συμβολισμός
φ= ∑φ ( i1 i 2 ...i p ) e
( i1 i 2 ...i p )
Σχόλιο
Ισχύει (με ακριβή συμβολισμό) σύμφωνα με τα παραπάνω
i i 2 ...i p i i ...i l
e1 = ε l11 l2 2 ...pl p (e l 1 ⊗ e l 2 ⊗ . . . ⊗ e p )
και
( i1 i 2 ... i p ) i
e = A ( e i1 ⊗ e i 2 ⊗ . . . ⊗ e p )
Την παρένθεση στους δείκτες , για οπτικούς λόγους , δεν τη γράφουμε
και εννοείται ότι υπάρχει από τα συμφραζόμενα .
139
Παράδειγμα 1
Δίνεται ο πραγματικός διανυσματικός χώρος E 2 = ℝ 2 (δηλαδή το
συνηθισμένο προσανατολισμένο επίπεδο) .
e2 e1
e1 e2
Σχόλιο
Αν από τη διατεταγμένη βάση ( e1 , e 2 ) μεταβαίνουμε στη διατεταγ-
μένη βάση ( e 2 , e1 ) ,δηλαδή αν εναλλάξουμε τις βάσεις (ή ισοδύναμα
αν από τη μετάθεση 12 μεταβούμε στη 21 ) , τότε ισχύει
S( x , y) = − S( y , x )
140
Παράδειγμα 2
Δίνεται ο πραγματικός διανυσματικός χώρος E n = ℝ n (δηλαδή ο
συνηθισμένος προσανατολισμένος χώρος διάστασης n ).
e3
( Η περίπτωση n = 3 )
e1 e2
ξ 2 = ξ 21e1 + ξ 22 e 2 + . . . + ξ 2 n e n
………………………………..
ξ n = ξ n1e1 + ξ n 2 e 2 + . . . + ξ n n e n
V ( ξ1 , ξ 2 , . . . , ξ n ) = [ ξ1 , ξ 2 , . . . , ξ n ]
όπου
ξ 11 ξ 12 L ξ 1n
ξ 21 ξ 22 L ξ 2n
[ ξ 1 , ξ 2 , . . . , ξ n ] = det ( ξ 1 , ξ 2 , . . . , ξ n ) =
M M L M
ξ n1 ξn2 L ξnn
Η απεικόνιση
V : E n × En × . . .× E n → ℝ
n παράγοντες
είναι μια n - γραμμική μορφή , δηλαδή είναι μια εξωτερική μορφή
τάξης n (συνοπτικά : n - εξωτερική μορφή) , δηλαδή
V ∈ E ∗n ∧ ( n ) ⊂ E ∗n ( n )
Σχόλιο
Αν εναλλάξουμε δύο διαδοχικά διανύσματα της διατεταγμένης βάσης
(τότε αυτό σημαίνει αλλαγή δύο γραμμών στην ορίζουσα) , και επομένως
ο προσανατολισμένος όγκος V θ’ αλλάξει πρόσημο . Αυτό σημαίνει
ότι από τη μετάθεση δεικτών 1 2 . . . n μεταβαίνουμε σ’ άλλη
( άρτια → περιττή ) .
Π.χ.
V ( ξ 1 , ξ 2 , ξ 3 , . . . , ξ n ) = − V( ξ 2 , ξ 1 , ξ 3 , . . . , ξ n )
141
φ = ( T 0 , T1 , T 2 . . . , T k , . . . )
τότε ορίζουμε
Αφ = ( A T 0 , A T 1 , A T2 . . . , A T k , . . . )
Sφ = ( S T 0 , S T 1 , S T2 . . . , S T k , . . . )
Παρατηρήσεις
Ι) Οι Α και S είναι γραμμικοί τελεστές στην τανυστική άλγεβρα t ( E n )
V) Συμβολίζουμε :
α(Ε n ) = A t(E n )
s (Ε n ) = St(E n )
Σχόλιο
Όμοια συμπεράσματα έχουμε για τους τελεστές Α και S στην τανυ-
στική άλγεβρα t ( E ∗n )
142
ΙΙ) (ψ + ψ′) ∧ φ = ψ ∧ φ + ψ′ ∧ φ
ΙΙΙ) λ (φ ∧ ψ) = (λ φ) ∧ ψ = φ ∧ (λ ψ) , λ ∈ ℝ
IV) φ ∧ (ψ ∧ ψ′) = (φ ∧ ψ) ∧ ψ′
για κάθε φ , ψ , ψ′ ∈ t ( E n )
Απόδειξη
Ι) και ΙΙ) Ο τελεστής Α είναι γραμμικός και το τανυστικό γινόμενο
φ ⊗ ψ είναι γραμμικό ως προς καθένα από τους δύο παράγοντες ,
συνεπώς το ίδιο ισχύει και για το εξωτερικό γινόμενο .
ΙΙΙ) Έχουμε :
λ (φ ∧ ψ) = λ Α (φ ⊗ ψ )
= Α λ (φ ⊗ ψ )
= Α(λ φ ⊗ ψ ) = (λ φ) ∧ ψ
= Α(φ ⊗ λ ψ ) = φ ∧ (λ ψ)
= Α( (φ ⊗ ψ) ⊗ ψ ′ ) = Α( A (φ ⊗ ψ) ⊗ ψ ′ ) =
= (φ ∧ ψ) ∧ ψ′
δηλαδή
φ ∧ (ψ ∧ ψ′) = (φ ∧ ψ) ∧ ψ′
Σχόλιο
Επομένως μπορούμε να γράψουμε
φ ∧ (ψ ∧ ψ′) = (φ ∧ ψ) ∧ ψ′ = φ ∧ ψ ∧ ψ′
144
G(E n ) = (α(Ε n ) , ∧ )
όπου
α(Ε n ) = Α t ( E n )
Χώρος t( En )
Χώρος α ( E n )
Πρόταση 2
Στην περίπτωση
φ ∈ Ε (np ) και ψ ∈ Ε (np )
έχουμε :
Ι) φ ⊗ ψ = [ σ ] (ψ ⊗ φ) στο χώρο E (np + q ) , όπου
1 2 L q , q +1 L q + p
σ =
p +1 p + 2 L p + q , 1 L p
ΙΙ) φ ∧ ψ = ( −1 ) p q ψ ∧ φ
Απόδειξη
Ι) Έχουμε :
(φ ⊗ ψ) ( θ (1) , θ (2) , . . . , θ ( p ) , θ ( p + 1) , . . . , θ ( p + q ) ) =
Συνεπώς
φ ⊗ ψ = [ σ ] (ψ ⊗ φ)
ΙΙ) Έχουμε :
φ ∧ ψ = Α(φ ⊗ ψ ) = Α( [ σ ] (ψ ⊗ φ)) = sign(σ) Α(ψ ⊗ φ) =
= ( −1 ) p q (ψ ∧ φ)
αφού
sign(σ) = ( −1 ) p q
Επομένως φ ∧ ψ = ( −1 ) p q ψ ∧ φ
Παρατήρηση
Ισχύει προφανώς ψ ∧ φ = (−1 ) p q φ ∧ ψ
Πόρισμα
Αν x , y ∈ E n τότε ισχύουν οι σχέσεις :
ΙΙΙ) λ ( α ∧ β ) = ( λ α ) ∧ β = α ∧ ( λ β ) , λ ∈ ℝ
IV) α ∧ ( β ∧ γ ) = ( α ∧ β ) ∧ γ
για κάθε α , β , γ ∈ t ( E ∗n )
Σχόλιο
Επομένως μπορούμε να γράψουμε
α∧(β∧γ) = (α∧β)∧γ = α∧β∧γ
Πρόταση 2
Στην περίπτωση
α ∈ Ε ∗n ( p ) και β ∈ Ε ∗n ( q )
ισχύει
α ∧ β = ( −1 ) p q β ∧ α
Πόρισμα
Αν οι μορφές α , β είναι περιττού βαθμού , π.χ.
α , β ∈ E ∗n
τότε ισχύουν οι σχέσεις
α∧β = −β∧α και α∧α = 0
Παρατήρηση
Έστω ότι α είναι μια p - μορφή , δηλαδή
α ∈ Ε ∗n ( p )
και ότι β είναι μια q - μορφή , δηλαδή
β ∈ Ε ∗n ( q )
τότε α ∧ β είναι μια ( p + q ) - μορφή , δηλαδή
α ∧ β ∈ Ε ∗n ( p + q )
Ενημερωτικό σημείωμα
Για τον ορισμό του εξωτερικού γινομένου υπάρχουν δύο τύποι στη
διεθνή βιβλιογραφία :
(p + q) !
2ος ορισμός : φ∧ψ= A (φ ⊗ ψ) (π.χ. Spivak)
p! q!
Συμπεράσματα
Επειδή οι δύο ορισμοί διαφέρουν κατά σταθερό παράγοντα , γι’ αυτό
χρησιμοποιήσαμε τον ορισμό του Kastler στην απόδειξη των ιδιοτήτων
του γινομένου, αφού και ο ορισμός του Spivak οδηγεί στις ίδιες ακριβώς
ιδιότητες .
Όταν όμως ενδιαφερόμαστε για την αναλυτική έκφραση του γινομένου
∧ τότε πρέπει (οπωσδήποτε) να χρησιμοποιείται ο ορισμός του Spivak ,
ο οποίος είναι διορθωτικός του ορισμού του Kastler .
Αυτός ο τελευταίος προβληματισμός αφορά , π.χ. το “ Λογισμό των
Διαφορικών Μορφών” , με τον οποίο δεν θα ασχοληθούμε σ’ αυτό το
βιβλίο .
149
Σημαντική υπενθύμιση
Στον Τανυστικό Λογισμό ενδιαφερόμαστε για τη διατύπωση σχέσεων
ανεξάρτητα από τη βάση του χώρου αναφοράς .
150
ω1 , ω 2 , . . . , ω q : E n → ℝ
Το εξωτερικό γινόμενο
ω1 ∧ ω 2 ∧ . . . ∧ ω q
iq
φ = e i1 ∧ e i 2 ∧ . . . ∧ e , με i1 < i 2 < ... < i q
Προφανώς
φ ∈ Ε ∗n ∧ ( q )
Επειδή γενικά
e l = δ lr e r
r r ...r i i i ...i
φ l 1 l 2 ...l q = ε l11 l2 2 ...lq q δ ir11 δ ir22 . . . δ r qq = ε l11 l2 2 ...lq q
i i 2 ...i q
e1 , με i1 < i 2 < ... < i q
Επομένως ισχύει
i i 2 ,,, i q iq
e1 = e i1 ∧ e i 2 ∧ . . . ∧ e , με i1 < i 2 < ... < i q και q≤n
151
n n
Επειδή dim E ∗n ( q ) = συμπεραίνουμε ότι αυτά τα εξω-
q q
∗ ∧ ( q)
τερικά γινόμενα ορίζουν μια βάση του E n
Έτσι , αν α είναι μια q - εξωτερική μορφή , τότε θα ισχύει
α= ∑α
n
i1 i 2 ...i q e i1 ∧ e i 2 ∧ . . . ∧ e
iq
q
Παράδειγμα 1
Έστω e1 , e 2 , e 3 μια βάση του δ.χ. E ∗3
Περίπτωση q = 2 : Οι 2 - εξωτερικές μορφές
e1 ∧ e 2 , e1 ∧ e 3 , e2 ∧ e3
3 3!
Είναι dim E ∗n ( 2) = = =3
2 2 ! 1!
e1 ∧ e 2 ∧ e 3
3
Είναι dim E ∗n ( 3) = = 1
3
Περίπτωση q = 1: Οι 1 - μορφές
e1 , e 2 , e 3
Περίπτωση q = 0 : Είναι E ∗n ∧ ( 0) = ℝ ∗
152
0 30 = 1 E ∗3 ( 0 ) = ℝ ∗ 1 E ∗3 ∧ ( 0 ) = ℝ ∗ 3
e1 e1
1 31 = 3 e2 3 e1 2
e3 e2
ei ⊗ e j e1 ∧ e 2
2 32 = 9 i=1,2,3 3 e1 ∧ e 3 1
j=1,2,3
e 2 ∧ e3
ei ⊗ e j ⊗ ek
3 3 3 = 27 i=1,2,3 1 e1 ∧ e 2 ∧ e 3 0
j=1,2,3
k=1,2,3
Έχουμε :
e 1 ∧ e 2 ∧ e 3 = A (e 1 ⊗ e 2 ⊗ e 3 ) (Kastler)
(1 + 1 + 1) !
e1 ∧ e 2 ∧ e 3 = A(e1 ⊗ e 2 ⊗ e 3 ) = 6 ⋅ A(e1 ⊗ e 2 ⊗ e 3 ) (Spivak)
1! 1! 1!
153
Παράδειγμα 2
Έστω e1 , e 2 μια βάση του E ∗2
Ο παρακάτω πίνακας είναι διευκρινιστικός ( n = 2 ) :
0 20 = 1 E ∗2 ( 0 ) = ℝ ∗ 1 E ∗2 ∧ ( 0 ) = ℝ ∗ 3
e1 e1
1
1 2 =2 2 1
e2 e2
e1 ⊗ e 1
2 22 = 4 e1 ⊗ e 2 1 e1 ∧ e 2 0
e 2 ⊗ e1
e2 ⊗ e2
Πρόταση 1
Οι γραμμικές μορφές ω1 , ω 2 , ..., ω q είναι γραμμικά εξαρτημένες ,
αν και μόνο αν
ω1 ∧ ω 2 ∧ . . . ∧ ω q = 0
Απόδειξη
Έστω ότι οι γραμμικές μορφές ω1 , ω 2 , ..., ω q είναι γραμμικά
εξαρτημένες . Τότε μια απ’ αυτές χ.π.τ.γ. η ω1 είναι γραμμικός συν-
δυασμός των άλλων , δηλαδή
q
1
ω = ∑λ ω
j= 2
j
j
Επομένως
q
1 2
ω ∧ ω ∧ ... ∧ ω = q
∑λ (ω ∧ ω
j= 2
j
j 2
∧ . . . ∧ ωq ) = 0
Αντιστρόφως
Έστω ότι οι μορφές ω1 , ω 2 , ..., ω q είναι γραμμικά ανεξάρτητες .
Σύμφωνα με γνωστό θεώρημα της ΓΡΑΜΜΙΚΗΣ ΑΛΓΕΒΡΑΣ ,
μπορούμε την ακολουθία
ω1 , ω 2 , ..., ω q
να τη συμπληρώσουμε έτσι ώστε να γίνει μια βάση
ω1 , ω 2 , ..., ω q , θ q+1 , ... , θ n
Άρα , κανένα από αυτά δεν μπορεί να είναι ίσο με μηδέν , και επομένως
το γινόμενο
ω1 ∧ ω 2 ∧ . . . ∧ ω q
δεν μπορεί να είναι μηδενική μορφή , δηλαδή είναι
ω1 ∧ ω 2 ∧ . . . ∧ ω q ≠ 0
155
Πρόταση 2
Δίνονται οι γραμμικά ανεξάρτητες μορφές
ω1 , ω 2 , ..., ω q
Αν οι γραμμικές μορφές
φ1 , φ 2 ... , φ q
φi = ∑A
j =1
ij ωj , όπου Aij = A ji
Απόδειξη
Συμπληρώνουμε τις μορφές ω1 , ω 2 , ..., ω q σε μια βάση
q n
φi = ∑A
j =1
ij
j
ω + ∑B
r = q +1
ir θr
φ i ∧ ω i = 0 , i = 1 , 2 , . . . ,q
προκύπτει
∑ (Ai< j
ij − A j i ) ωi ∧ ω j + ∑B
r = q +1
ir ωi ∧ θ r = 0
Επομένως ισχύει
A i j − A ji = 0 και Bir = 0
οπότε
q
φi = ∑Aj =1
ij ω j , με A i j = A j i
156
Παράδειγμα 1
Δίνονται οι γραμμικές μορφές
ω1 = 2 e1 − e 2
ω 2 = − 6 e1 + 3 e 2
= 6 e 1 ∧ e 2 − 6 e1 ∧ e 2 = 0
Παράδειγμα 2
Δίνονται οι γραμμικές μορφές
ω1 = e1 + e 2 + e 3
ω 2 = e1 − e 2 + 2 e 3
0
+ e ∧ e − e ∧ e 2 + 2 e 2 ∧ e3
2 1 2
0
+ e ∧ e − e ∧ e + 2 e ∧ e3
3 1 3 2 3
= − e1 ∧ e 2 + 2 e1 ∧ e 3
− e1 ∧ e 2 + 2 e 2 ∧ e 3
− e1 ∧ e 3 + e 2 ∧ e 3
= − 2 e1 ∧ e 2 + e1 ∧ e 3 + 3 e 2 ∧ e 3 ≠ 0
Παράδειγμα 3
Δίνονται τα διανύσματα
r r r
α = 2 e1 +e 2
r r r
β = e1 − e 3
δηλαδή
r r r r r r r r
α ∧ β = ( −1 ) e1 ∧ e 2 + ( −2 ) e1 ∧ e 3 + (−1 ) e 2 ∧ e 3
Σχόλιο
Έχουμε :
r
α ∈ Ε3 dim E 3 = 3
r
β ∈ Ε3
r r 3
α ∧ β ∈ Ε 3∧ (2) dim E 3∧ ( 2 ) = = 3
2
r r r r r r
e1 ∧ e 2 , e1 ∧ e 3 , e 2 ∧ e3
158
α(Ε n ) = A t(E n )
G(E n ) = ( α(Ε n ) , ∧ )
e i1 i 2 ...i p = A(e i1 ⊗ e i 2 ⊗ . . . ⊗ e i p )
όπου
e i1 i 2 ...i p = e i1 ∧ e i 2 ∧ . . . ∧ e i p
δηλαδή
e i1 ∧ e i 2 ∧ . . . ∧ e i p = A(e i1 ⊗ e i 2 ⊗ . . . ⊗ e i p )
όπου 0≤p≤n
159
θ = ( υ 0 , υ1 , υ 2 , . . . , υ p , . . . )
όπου
υ p ∈ E ∧n ( p )
i i 2 ...i p
θ = ( t 0 , t 1i e i , t i21 i 2 e i1 ∧ e i 2 , . . . , t p1 e i1 ∧ e i 2 ∧ . . . ∧ e i p , . . .)
{ e i1 ∧ e i 2 ∧ . . . ∧ e i p }
n
G ( E n ) = E n∧ ( 0) + E n∧ (1) + . . . + E n∧ ( n ) = ⊕ E n∧ ( p )
p =0
Σχόλιο
Όταν p = 0 τότε ο δείκτης i 0 δεν υπάρχει ,δηλαδή τότε αναφερό-
μαστε σε βάση του E ∧n ( 0 ) = ℝ
Το παράδειγμα που ακολουθεί είναι διευκρινιστικό .
160
Παράδειγμα
Θα εξετάσουμε την περίπτωση n = 3
( Δίνεται ο πραγματικός διανυσματικός χώρος E3)
Έστω e1 , e 2 , e 3 μια βάση του E 3
Η άλγεβρα του Grassmann G ( E 3 ) έχει διάσταση
dim G ( E 3 ) = 2 3 = 8
1, e1 , e 2 , e 3 , e1 ∧ e 2 , e1 ∧ e 3 , e 2 ∧ e 3 , e1 ∧ e 2 ∧ e 3 όπου 1∈ℝ
θ = ( θ 0 , θ1i e i , θ i2 j e i ∧ e j , θ 3i j k e i ∧ e j ∧ e k )
όπου
1≤ i < j< k ≤ 3 ⇒ i = 1 , j = 2 , k = 3
Π.χ.
θ = ( 5 , 2 e1 + 3 e 2 − e 3 , 4 e1 ∧ e 2 + e1 ∧ e 3 − 5 e 2 ∧ e 3 , 2003 e1 ∧ e 2 ∧ e 3 )
Ελεύθερο ανάγνωσμα
Το στοιχείο
θ = 5 + 2 e1 + 3 e 2 − e 3 + 4 e1 ∧ e 2 + e1 ∧ e 3 − 5 e 2 ∧ e 3 + 2003e1 ∧ e 2 ∧ e 3
G ( E3 )
161
G ( E ∗n ) = ( α ( Ε ∗n ) , ∧ )
i i 2 ... i p i i
e1 = A ( e i1 ⊗ e i 2 ⊗ . . . ⊗ e p ) = e i1 ∧ e i 2 ∧ . . . ∧ e p
i
{ e i1 ∧ e i 2 ∧ . . . ∧ e p } , 1 ≤ i1 < i 2 < . . . < i n ≤ n
n
G ( E ∗n ) = E ∗n ∧ ( 0) + E ∗n ∧ (1) + . . . + E ∗n ∧ ( n ) = ⊗ E ∗n ∧ ( p )
p=0
i
φ = ( t 0 , t 1i e i , t i21 i 2 e i1 ∧ e i 2 , . . . , t ip1 i 2 ...i p e i1 ∧ e i 2 ∧ . . . ∧ e p , . . . )
Έχουμε :
Σχόλιο
Είναι φανερό ότι οι διανυσματικοί χώροι G ( E n ) και G ( E ∗n )
είναι ισόμορφοι .
162
Παράδειγμα
Θα εξετάσουμε την περίπτωση n = 2
(Δίνεται ο πραγματικός χώρος E 2 )
Έστω
e1 , e 2 μια βάση του δ.χ. E 2
και
e1 , e 2 η αντίστοιχη του δ.χ. E ∗2 (δυϊκή)
dim G ( E ∗2 ) = 2 2 = 4
1 , e1 , e 2 , e1 ∧ e 2 όπου 1 ∈ ℝ ∗
φ = ( φ 0 , φ1i e i , φ i2 j e i ∧ e j )
όπου
1≤ i < j≤ 2 ⇒ i = 1 , j = 2
Π.χ.
φ = ( 5 , 3 e1 + 4 e 2 + e 3 , 2003 e1 ∧ e 2 )
Ελεύθερο ανάγνωσμα
Το στοιχείο
φ = 5 + 3 e1 + 4 e 2 + e 3 + 2003 e1 ∧ e 2
G ( E ∗2 )
163
15. ΑΣΚΗΣΕΙΣ
9) Δίνονται τα στοιχεία
ψ = ( Τ 0 , T1 ) ∈ t ( E n )
ψ ′ = ( Τ ′0 , T1′ , T2′ ) ∈ t ( E n )
ψ ⊗ ψ′ ≠ ψ′ ⊗ ψ
ΙΙ) A2 = A
ΙΙ) S 2 = S
A ( E ∗n ( p ) ) και S ( E ∗n ( p ) )
p
17) Πότε ένας τανυστής Τ τύπου ονομάζεται αντισυμμετρικός ;
0
0
18) Πότε ένας τανυστής Τ τύπου ονομάζεται αντισυμμετρικός ;
p
p
19) Πότε ένας τανυστής Τ τύπου ονομάζεται συμμετρικός ;
0
0
20) Πότε ένας τανυστής Τ τύπου ονομάζεται συμμετρικός ;
p
E n∧ ( p ) και E n∧ ∗ ( p )
E ∨n ( p ) και E ∨n ∗ ( p )
312
ε 123 και ε 12345
21534
ε 3 12
και ε 21534
312
δ 123 και δ 12345
21534
3 3 3 3
, , ,
0 1 2 3
166
E ∨3 ( 2 ) , E ∗3 ∨ ( 2 )
38) Ποιό είναι το κύριο ενδιαφέρον μας στον Τανυστικό Λογισμό γενικά ;
A ( e1 ⊗ e 2 ⊗ e 3 )
όπου Α είναι ο τελεστής αντισυμμετρίας .
1. Τοπολογικές πολλαπλότητες
2. Διαφορίσιμες πολλαπλότητες
3. Διαφορίσιμες απεικονίσεις
4. Διαφορίσιμες καμπύλες πάνω σε διαφορίσιμη
πολλαπλότητα
5. Εφαπτόμενα διανύσματα πάνω σε διαφορίσιμη
πολλαπλότητα
6. Τανυστικά πεδία
7. Διαφορικό συνάρτησης Vn → ℝ
8. Διαφορικό απεικόνισης Vn → Vm
9. Εμφύτευση και Εμβάπτιση
10. Παράγωγος συνάρτησης από διανυσματικό πεδίο
11. Απόλυτη παράγωγος / Συναλλοίωτη παράγωγος
12. Ιδιότητες της συναλλοίωτης παραγώγισης
13. Αυτοπαράλληλες καμπύλες
14. Αφφινική σύνδεση σε υποπολλαπλότητα
15. Ασκήσεις
1. Τοπολoγικές πολλαπλότητες
Παραδείγματα
ℝ2
S 2 = { ( x , y , z) / x 2 + y 2 + z 2 = 1 }
Β Α
Γ Δ
173
Σχόλιο
Ο ορισμός της τοπολογικής πολλαπλότητας που δόθηκε , εξυπηρετεί
τις ανάγκες αυτού του βιβλίου .
174
Διευκρίνιση
Θα αποδείξουμε ότι η σφαίρα S 2 του χώρου ℝ 3 είναι (τοπολο-
λογική) πολλαπλότητα διάστασης 2
Απόδειξη
Η εξίσωση ορισμού της σφαίρας S 2 είναι
x 2 + y 2 + z2 = 1
Συνεπώς
z = ± 1− x2 − y2
Παράδειγμα
Στον τρισδιάστατο χώρο ℝ 3 δίνεται η σφαίρα S 2 με εξίσωση
x 2 + y 2 + z2 = 1
Για το άνω ημισφαίριο ( z > 0 ) ισχύει
z= 1− x2 − y2
Έστω U το άνω ημισφαίριο
U = { ( x , y , z ) / x 2 + y 2 + z 2 = 1 και z > 0 }
={(x,y, 1− x2 − y2 ) / x , y ∈ ℝ }
και V ο ανοικτός δίσκος
V = { ( x , y , 0 ) / x2 + y2 < 1 }
Είναι
V ⊂ { ( x , y , 0 ) / x , y ∈ ℝ } = ℝ2 To = εδώ σημαίνει
ισόμορφη ταύτιση
U
2 2
( x , y, 1 − x − y )
(x,y,0) V
Η απεικόνιση
φ1 : U → V
που ορίζεται με τον τύπο (προβολή στο επίπεδο xy ) :
φ1 ( x ,y , z ) = ( x , y , 0 )
είναι ομοιομορφισμός επί (δηλαδή φ1 και φ1−1 είναι συνεχείς και επί ).
Επομένως η φ1 είναι ένας τοπικός χάρτης πάνω στη σφαίρα S 2
Σχόλιο
Ο τοπικός χάρτης ονομάζεται επίσης τοπικό σύστημα συντεταγμένων .
176
2. Διαφορίσιμες πολλαπλότητες
{ U i , φ i } i∈I
Vn = UU
i∈I
i
φ i : U i → Vi ⊂ ℝ n
φ j : U j → Vj ⊂ ℝ n
Παρατηρήσεις
• Ο ομοιομορφισμός φ i j έχει αντίστροφο
φ j i = φ i− 1j = φ i o φ −j 1
Ui ∩ U j
Ui Uj
φi φj
Vi = φ i ( U i ) φ j ( U j ) = Vj
φj i
ℝn
φi j
φi ( U i ∩ U j ) φ j ( Ui ∩ U j )
Ui ∩ U j
φi φj
φj i
φi ( U i ∩ U j ) φ j ( Ui ∩ U j )
φi j
178
Σχόλια
ℝn
179
Ελεύθερο ανάγνωσμα 1
• Στο παρακάτω σχήμα βλέπουμε έναν τοπικό χάρτη (τοπικό σύστημα
συντεταγμένων) στη σφαίρα S 2
S2
T2
ℝ2
180
Ελεύθερο ανάγνωσμα 2
Στο παρακάτω σχήμα βλέπουμε δύο τοπικούς χάρτες (δύο τοπικά
συστήματα συντεταγμένων) :
φ1
φ2
ℝn ℝn
ℝn ( “ στροφή” )
ℝn ( “ μεταφορά” )
Ελεύθερο ανάγνωσμα 3
Το επίπεδο ℝ 2 είναι πολλαπλότητα διάστασης 2 (δηλαδή αν βρε-
θούμε στο επίπεδο , έχουμε δύο βαθμούς ελευθερίας για να κινηθούμε
πάνω σ’ αυτό) .
Στο παρακάτω σχήμα βλέπουμε έναν άτλαντα του ℝ 2 (καρτεσιανό
σύστημα συντεταγμένων ( x ,y) ).
(1,2)
1
ℝ2
-3 -2 -1 O 1 2 3
-1
-2
ℝ2
π (1,π)
Ο 1 2 3 4 5 άξονας ρ
Σχόλιο
Από τον άτλαντα “ καρτεσιανό σύστημα” προς τον άτλαντα “ πολικό
σύστημα συντεταγμένων” μεταβαίνουμε με τη βοήθεια των τύπων
x = ρ συν φ
(ρ,φ)≠(0,0)
y = ρ ημφ
και αντιστρόφως . Έχουμε την Ιακωβιανή ορίζουσα :
∂x ∂x
∂ ( x , y) ∂ρ ∂φ συν φ − ρ ημ φ
= = =ρ≠0
∂ (ρ,φ) ∂ y ∂y ημ φ ρ συν φ
∂ρ ∂φ
182
• Συνεχίζουμε τη θεωρία :
Ας συμβολίσουμε με A r ( Vn ) το σύνολο όλων των ατλάντων κλά-
σης c r οι οποίοι ορίζονται πάνω στην πολλαπλότητα Vn
Δύο στοιχεία αυτού του συνόλου
S = { Ui , φi } , S′ = { U′i , φ′i }
A r ( Vn )
Ορισμός
Ονομάζουμε διαφορίσιμη πολλαπλότητα (ή διαφορική πολλαπλό-
τητα) διάστασης n και κλάσης C r κάθε n - διάστατη πολλαπλό-
τητα Vn εφοδιασμένη με μια κλάση ισοδυναμίας από το σύνολο A r ( Vn )
Παρατηρήσεις
Ι) Όταν δύο άτλαντες ανήκουν στην ίδια κλάση ισοδυναμίας τότε αυτοί
ορίζουν την ίδια διαφορική δομή πάνω στην πολλαπλότητα Vn
Π.χ.
Στη διαφορίσιμη πολλαπλότητα ℝ 2 (επίπεδο) οι άτλαντες “καρτε-
σιανό σύστημα συντεταγμένων (x , y) ” και “ πολικό σύστημα συντε-
ταγμένων ( ρ , φ )” , ανήκουν στην ίδια κλάση ισοδυναμίας , άρα
ορίζουν την ίδια διαφορίσιμη δομή πάνω στο ℝ 2
ΙΙ) Έστω P ένα τυχαίο σημείο της Vn που ανήκει στην τομή δύο
περιοχών συντεταγμένων U i και Uj
Τότε οι χάρτες { U i , φ i } και { U j , φ j } δίνουν στο σημείο Ρ δύο
αντίστοιχες συντεταγμένες
P ( x1 , x 2 , . . . , x n ) και P ( x1 , x 2 , . . . , x n )
Από τον ορισμό της διαφορίσιμης πολλαπλότητας , προκύπτει ότι
αυτές οι συντεταγμένες συνδέονται μεταξύ τους με τις σχέσεις
x k = f k (x1 , x 2 , . . . , x n ) k=1,2, ...,n
Σχόλιο
Οι συναρτήσεις f 1 , f 2 , . . . , f n είναι διαφορίσιμες κλάσης C r
και η Ιακωβιανή τους είναι διάφορη του μηδενός , δηλαδή
∂f 1 ∂f 2 ∂f1
L
∂ x1 ∂x 2 ∂x n
∂ ( f 1 , f 2 ,..., f n ) ∂f 2 ∂f 2 ∂f 2
= ∂ x1 L
1 2
∂ ( x , x ,..., x ) n ∂x 2 ∂x n ≠ 0
M M L M
∂f n ∂f n ∂f n
L
∂ x1 ∂x 2 ∂x n
184
Παράδειγμα 1
Ο χώρος ℝ n είναι διαφορίσιμη πολλαπλότητα διάστασης n και
κλάσης C ∞ διότι :
Ορίζεται ο άτλαντας ( ℝ n , Ι ) όπου
Ι : ℝn → ℝn
είναι η ταυτοτική απεικόνιση η οποία είναι ομοιομορφισμός επί του ℝ n
στον εαυτό του , και Ι είναι κλάσης C ∞ δηλαδή άπειρες φορές παρα-
γωγίσιμη (διαφορίσιμη) .
2. Κυλινδρικές συντεταγμένες ( φ , φ , z )
5. Παραβολοειδείς συντεταγμένες ( u , υ , φ )
9. Ελλειψοειδείς συντεταγμένες ( λ , μ , ν )
Παράδειγμα 2
Δίνεται η διαφορίσιμη πολλαπλότητα ℝ 3 και ο άτλαντας “ καρτε-
σιανές συντεταγμένες ( x , y , z ) ”
Με τους τύπους μετασχηματισμού
x = ρ συνφ
y = ρ ημφ ( ρ , φ , z ) ≠ ( 0 , 0 , 0)
z=z
Έχουμε :
∂x ∂x ∂x
∂ρ ∂φ ∂z συν φ − ρ ημ φ 0
∂ (x , y , z ) ∂y ∂y ∂y
= = ημ φ ρ συν φ 0 = ρ ≠ 0
∂ (ρ,φ,z) ∂ρ ∂φ ∂z
∂z ∂z ∂z 0 0 1
∂ρ ∂φ ∂x
ρ= x2 + y2
y
φ = τοξ εφ ( x ,y , z ) ≠ ( 0 , 0 , 0 )
x
z=z
Σχόλιο 2
Το σύνολο των μετασχηματισμών (όπως παραπάνω) του ℝ 3 εφο-
διασμένο με την πράξη της σύνθεσης (επιτρεπτής αντικατάστασης ) απο-
τελεί ΟΜΑΔΑ …
186
Παράδειγμα 3
Δίνεται η σφαίρα S 2 με εξίσωση
x 2 + y 2 + z2 = 1
φ 1 : S 2 ( x > 0) → ℝ 2
φ 2 : S 2 ( y < 0) → ℝ 2
φ1 ( P ) = φ1 ( x , y , z ) = ( 0 , y , z ) = ( y , z )
φ 2 ( P ) = φ 2 ( x , y , z) = ( x , 0 , z ) = ( x , z )
( x , 0 , z ) ≡ ( x , z ) ∈ ℝ2
ορίζεται ως εξής :
φ 12 ( y , z ) = φ 12 (0 , y , z ) = φ 2 ( φ 1−1 (0 , y , z ))
= φ2 ( 1− y2 − z2 , y , z ) = ( 1− y 2 − z2 , 0 , z )
= ( 1− y2 − z2 , z )
f1 ( y , z ) = 1− y2 − z2
f2 ( y , z ) = z
∂ f1 ∂ f1 −y −z
∂y ∂z 1 − y 2 − z2 1− y 2 − z2
∂ ( f1 , f 2 )
= =
∂( y , z ) ∂f2 ∂f 2 0 1
∂y ∂z
y
= − ≠0
1− y2 − z2
Σχόλιο
Για τον αντίστροφο μετασχηματισμό φ 21 η Ιακωβιανή ορίζουσα
ισούται με
1− y2 − z2
− ≠0
y
188
3. Διαφορίσιμες απεικονίσεις
f : Vm → Vn
Παρατηρήσεις
▶ Η συνθήκη ΙΙ) του ορισμού είναι ανεξάρτητη από την εκλογή των
τοπικών χαρτών της Vm και Vn
Απόδειξη
Έστω δύο άλλοι τοπικοί χάρτες ( U′ , φ′ ) και ( V′ , ψ′ ) στα σημεία
x και f ( x ) αντίστοιχα .
Έχουμε :
ψ′ o f o φ′ −1 = ψ′ o Ι ψ( V ) o f o I φ( U ) o φ′ −1
= ( ψ ′ o ψ − 1 ) o ψ o f o φ − 1 o (φ o φ ′ − 1 )
F = ψ o f o φ −1 : ℝ m → ℝ n
f1 , f 2
,..., f n
y i = f i ( x 1 , x 2 ,..., x m ) , i = 1 , 2 , . . . , n
φ : Δ → ℝ
φ o ψ −1 : ψ (Δ ) → ℝ
Σχόλιο
Το συμπέρασμα αυτό προκύπτει από τον ορισμό της διαφορίσιμης
απεικόνισης , και σαφώς είναι ανεξάρτητο από την εκλογή του το-
πικού χάρτη κάλυψης του Δ .
190
f : Vm → ℝ
x ∈ Vm
g 0 ( u 1 , u 2 , . . . , u m ) = f ( y ) , όπου y = φ 0− 1 (u )
x j ( y) = u j , j = 1 , 2 , . . . , m
Τότε έχουμε
f ( y ) = g 0 ( x 1 ( y ) , x 2 ( y ) , . . . , x m ( y ))
και
f = g 0 (x1 , x 2 , . . . , x m )
Συμπέρασμα
Αν f είναι μια διαφορίσιμη συνάρτηση ορισμένη σε μια περιοχή
της Vm τότε αυτή μπορεί να μελετηθεί σε κάθε σημείο αυτής της
περιοχής ως συνάρτηση m μεταβλητών
x1 , x 2 , . . . , x m
Παράδειγμα
Ο μοναδιαίος κύκλος
S1 = { ( x , y ) / x2 + y2 = 1 }
είναι διαφορίσιμη πολλαπλότητα διάστασης 1
Το επίπεδο
ℝ2 = { ( x , y ) / x , y ∈ ℝ }
είναι διαφορίσιμη πολλαπλότητα διάστασης 2
Θα μελετήσουμε την απεικόνιση
f : S1 → ℝ 2
που δίνεται με τον τύπο
f ( x , y ) = ( 2x , 2y ) για κάθε ( x , y ) ∈ S 1
2
f (P) = Q
1 P
-1 1 -2 2
-1
-2
f : S1 ℝ2
Ελεύθερο ανάγνωσμα
Θα επεξεργαστούμε “ με άλλα λόγια ” το παράδειγμα της προηγού-
μενης σελίδας
2
f (P) = Q
1 P
-1 x 1 -2 2
-1
-2
f : S1 ℝ2
με τύπο
f(x,y) = ( 2x,2y)
y= 1− x2
(οπότε γνωρίζω το x σημαίνει αυτόματα ότι γνωρίζω το y ) .
Έτσι , το σημείο Ρ του άνω ημικυκλίου ελέγχεται από το σημείο
x ∈ [ −1 , 1 ] ⊂ ℝ
Η εικόνα είναι
Q = f ( P) = f ( x , y ) = ( 2x , 2y ) = ( 2x , 2 1 − x 2 ) ∈ ℝ 2
x a ( 2x , 2 1 − x 2 )
ℝ → ℝ2
• Ορισμός
Μια διαφορίσιμη απεικόνιση κλάσης Cr
f
Vm → Vn
ονομάζεται διαφορομορφισμός ή (diffeomorphism) όταν είναι 1-1
και επί , και η αντίστροφή της
f −1
Vm → Vn
Σχόλιο
Όταν μεταξύ δύο διαφορίσιμων πολλαπλοτήτων Vm και Vn κλά-
σης C k υπάρχει (ορίζεται) διαφορομορφισμός , τότε λέμε ότι οι Vm
και Vn είναι διαφορόμορφες (diffeomorph) .
Παραδείγματα
Ι) Κάθε αφφινική απεικόνιση του ℝ 3
x ′ = α1 x + β1 y + γ1z + c1
α1 β1 γ1
y′ = α 2 x + β 2 y + γ 2 z + c 2 με α2 β2 γ2 ≠ 0
z′ = α 3 x + β 3 y + γ 3 z + c 3 α3 β3 γ3
α β
−∞ +∞
Σχόλιο 1
Με παρόμοιο τρόπο ορίζονται καμπύλες πάνω στην πολλαπλότητα
Vn ορισμένη στα ημιανοικτά διαστήματα
( α , β ] και [ α , β )
Σχόλιο 2
Αν φ : ( α , β ) → Vn είναι μια καμπύλη , τότε χρησιμοποιούμε
τη (γεωμετρική) έκφραση “ Το φ( t ) , t ∈(α , β) είναι ένα σημείο
της καμπύλης” .
195
T2 φ : [α ,β] → T2
φ(α) φ(β)
φ(β)
φ(α)
S2 φ : [ α , β ] → S2
φ(t)
ℝ2 φ : ( α , β ) → ℝ2
φ Ρ φ : ( α , β ) → Vn
Vn ψ ψ : ( α′ , β′ ) → Vn
φ( t 0 ) = ψ( t 0 )
για t 0 ∈ (α , β ) ∩ (α ′, β ′)
( Στο σημείο Ρ )
196
Ρ
Θ
( x1 , x 2 , . . . . , x n )
φ(0)
φ(−1) φ(1)
x j = φ j (t) , i = 1 , 2 , . . . , n
r
• Ονομάζουμε εφαπτόμενο διάνυσμα λ της καμπύλης φ στο
σημείο Ρ , το διατεταγμένο σύνολο n αριθμών
dx j
όπου x& 0j είναι η τιμή της συνάρτησης , για t = 0 (δηλαδή
dt
dφ j
x& 0j = /t =0 , j = 1 , 2 , . . . , n
dt
r
λ
P
Αντίστροφα
Κάθε διατεταγμένο σύνολο n - αριθμών
x j = x 0j t
όπου x 0j = φ j (0)
Σχόλιο
Σύντομα ο παραπάνω ορισμός θα τροποποιηθεί - βελτιωθεί .
198
Ρ
Tp
Περίπτωση n = 2
r r
λ λ
Ρ P
Β
B
Α
A
φ : [ − 1 , 1 ] → Vn ψ : [ − 1 , 1 ] → Vn
Σχόλιο
Σκέψου τη σάρωση αντίστροφα , δηλαδή από το Β στο Α πάνω
“ σύρμα ΑΒ ”
199
x i = t + x i0
r
e2 x2
r
e1
Ρ
x1
Περίπτωση n = 2
Σχόλιο 1
Οι παραπάνω καμπυλόγραμμες συντεταγμένες μπορούν να οριστούν
ανεξάρτητα από το δοσμένο άτλαντα με παρόμοιο τρόπο .
Σχόλιο 2
r r r
Όταν η παράμετρος t παριστάνει μήκος τόξου s τότε e1 , e 2 ,..., e n
είναι μοναδιαία (σε μετρικούς χώρους) .
200
r r
e2 e1′
r
e ′2
r
Ρ
e1 Tp
x1 , x 2 , . . . , x n
x1 , x 2 , . . . , x n
x j = x j ( x 1 , x 2 , . . . , x n } “ σε γλώσσα Φυσικής”
x j = ψ j ( x1 , x 2 , . . . , x n }
201
Επομένως ισχύει
dx j ∂ x j ∂x i
= i j=1,2, ...,n
dt t= 0 ∂ x p dt t =0
δηλαδή (σε συνοπτική γραφή)
x& 0 = A ij x& i0 (με συμβολισμό του Einstein)
όπου θέσαμε
∂x j i=1,2,...,n
A ij = i
∂x p j=1,2,...,n
και ισχύει
∂ ( x 1 , x 2 ,..., x n )
det A ij = ≠0
∂ ( x 1 , x 2 ,..., x n )
r
Έτσι το ίδιο διάνυσμα λ προσδιορίζεται από δύο σύνολα συνιστω-
σών
{ x& 0j } και { x& 0j }
{ x j } και { x j }
αντίστοιχα .
(Στην παραπάνω διατύπωση αναφερόμαστε σε διατεταγμένες n - άδες).
Συμπέρασμα r
Ένα εφαπτόμενο διάνυσμα λ στο σημείο Ρ μιας πολλαπλότητας
Vn είναι μια κλάση ισοδυναμίας συνιστωσών { x& 0j } σύμφωνα με
τον ορισμό (συνοπτική γραφή)
{ x& 0j } ∼ { x& 0j } ⇔ x j = A ij x i
Ελεύθερο σχόλιο
→
Ένα << ακόντιο OA >> δεν μπορούμε να ισχυριστούμε ότι έχει
συγκεκριμένες συνιστώσες στο ℝ 2 (κι’ όμως είναι το ίδιο ακόντιο) .
Α Α
ℝ2 Ο ℝ2
Ο
202
U′ U
Ρ
V
Ρ
Uf Ug
∑
r r
λ ( f (g1 , g 2 ,..., g k )) = f i ( P ) λ( g i )
i =1
όπου
∂f
f i ( P ) =
∂g i P
204
Παρατηρήσεις
r
Ι) Όταν λέμε ότι λ είναι γραμμική απεικόνιση του D r ( P ) εννο-
ούμε ότι ισχύει
r r r
λ(αf + βg ) = αλ(f ) + β λ(g )
∑
r r
λ ( f (g1 , g 2 )) = fi ( P ) λ ( gi )
i =1
2
∂f r
= ∑
i =1
∂ gi
λ ( g i )
p
∂f r ∂f r
= λ ( g 1 ) + λ ( g 2 )
∂g1 p ∂g2 p
r r
= g1 ( P ) λ ( g1 ) + g 2 ( P ) λ ( g 2 )
δηλαδή
r r r
λ ( g1 g 2 ) = g1 ( P ) λ ( g1 ) + g 2 ( P ) λ ( g 2 ) (∗)
Γενικά r
Κάθε γραμμική απεικόνιση λ που παρουσιάζει την ιδιότητα (∗)
ονομάζεται “ τελεστής διαφόρισης ” .
r
Επομένως , κάθε εφαπτόμενο διάνυσμα λ στο σημείο Ρ ∈ Vn
είναι “ τελεστής διαφόρισης του D r ( P ) ”
r
( Το λ είναι τελεστής διαφόρισης . . . στο συγκεκριμένο σημείο Ρ ) .
205
r
λ2 r r
λ1 + λ 2
Ρ
r
λ1
r r
Το εφαπτόμενο διάνυσμα λ 1 + λ 2 ορίζεται με τη σχέση
r r r r
( λ1 + λ 2 ) ( f ) = λ1 ( f ) + λ 2 ( f )
Πρόταση
Ισχύει :
dim T p ( Vn ) = n
Απόδειξη
Ο εφαπτόμενος χώρος T p στο τυχαίο σημείο Ρ της διαφορίσιμης
πολλαπλότητας Vn είναι διανυσματικός χώρος .
Η διάσταση της πολλαπλότητας Vn είναι n .
r
e2 λ
Ρ e1
Περίπτωση n = 2
f ( x1 , x 2 , . . . , x n ) ∈ ℝ
n
∂f r i
∑ i λ( x )
r
λ f ( x1 , x 2 , . . . , x n ) = (1)
i =1 ∂x p
για κάθε f ∈ D r ( P )
207
∂ ( α f1 + β f 2 ) ∂ f1 ∂f 2
e i ( α f1 + β f 2 ) = = α i +β i
r
∂x i
p ∂x p ∂x p
r r
= α e i ( f1 ) + β e i ( f 2 )
∂ f ( g 1 , g 2 ,..., g k )
e i ( f ( g 1 , g 2 ,..., g k )) =
r
∂xi p
∂ f ∂ g1 ∂f ∂g 2 ∂f ∂g k
= + + ...+
∂ g1 ∂ x ∂g 2 ∂ x ∂g k ∂ x i p
i i
k
∂f ∂g j
= ∑j =1
i
∂ g j ∂ x p
k
∂f ∂g j
= ∑j=1
i
∂ g j p ∂ x p
n
∂f r
= ∑ ∂g
j=1 j
e i (g j )
p
r
Επομένως οι (πλήθους n ) απεικονίσεις e i ανήκουν στο χώρο T p
208
r
Θέτοντας λ ( x i ) = λ i ∈ ℝ για i = 1 , 2 , . . . , n και λαμβάνοντας
υπόψη την (2) , η (1) γράφεται :
n n
n
r
∑ ∑ ∑ λ e (f )
r
λ(f ) = λ e i (f ) =
i
[ λ e i ] (f ) =
i i
r r
i
i =1 i =1 i =1
δηλαδή
n
r
∑
r
λ (f ) = λ i e i (f )
i =1
οπότε ισχύει
∑λ e
r i r
λ= i
i =1
r
Συνεπώς κάθε εφαπτόμενο διάνυσμα λ γράφεται ως γραμμικός
r r r
συνδυασμός των διανυσμάτων e 1 , e 2 , . . . , e n
r r r
Θα αποδείξουμε τώρα ότι τα e 1 , e 2 , . . . , e n είναι γραμμικά
ανεξάρτητα . Πράγματι :
Έστω η σχέση
r r
ξi ei = 0
r
(3) όπου 0 ∈ Tp
∂x j
ξ i = 0 ⇔ ξ i δ ij = 0 ⇔ ξ j = 0 , για
i
j = 1 , 2 , . . . ,n
∂ x p
r r r
Άρα τα e 1 , e 2 , . . . , e n είναι γραμμικά ανεξάρτητα και επομένως
αποτελούν βάση του χώρου T p που αντιστοιχεί ( με φυσικό τρόπο )
στο σύστημα συντεταγμένων που θεωρήσαμε στο σημείο P ∈ Vn
Αυτό σημαίνει ότι
dim T p = n = dim Vn
Διευκρίνιση Ι
Θα εξετάσουμε την περίπτωση αλλαγής βάσης στον εφαπτόμενο χώ-
ρο T p . Σ’ ένα τοπικό σύστημα συντεταγμένων x 1 , x 2 , . . ., x n για
τα διανύσματα της βάσης του διανυσματικού χώρου T p έχουμε
r ∂
ei = , i = 1 , 2 , . . . ,n
∂xi
r ∂
λ = λi , λi ∈ ℝ
∂xi
r
Ασφαλώς το λ είναι ένας διαφορετικός τελεστής . . . στο Ρ .
Έστω τώρα ότι το σημείο Ρ βρίσκεται συγχρόνως και σε μια άλλη
περιοχή συντεταγμένων με συντεταγμένες { x j } για τα διάφορα σημεία
r
αυτής της περιοχής .
Τότε , στο σημείο Ρ ορίζονται δύο φυσικές βάσεις του εφαπτόμενου
χώρου T p οι
e ′1 , e ′2 , . . . , e ′n
r r r r r r
e1 , e 2 , . . . , e n και
x j = x j ( x 1 , x 2 ,..., x n )
Από τη σχέση
∂ ∂xj ∂
=
∂ xi ∂xi ∂xi
προκύπτει ότι ισχύει
e i = A ij e ′j
r r
όπου
∂x j
A = i
j
i ( πίνακας n × n )
∂x p
210
∂ ∂x i ∂
=
∂x j ∂x j ∂x i
e ′j = A ij e i
r r
όπου
∂xi
A ij = j ( πίνακας n × n )
∂x
Προφανώς ισχύει
A ij A kj = δ ik
∂ x1 ∂x 2 ∂x n
1 L
∂x ∂ x1 ∂ x1
∂ x1 ∂x 2 ∂x n
Aj = 2
i
L
∂x ∂ x2 ∂x 2
M1 M M M
∂x ∂x 2 ∂x n
∂x n L
∂x n ∂ x n p
με
∂(x 1 , x 2 , . . . , x n )
det ( A ij ) = n
= θ≠0
∂ ( x , x , . . . , x ) p
1 2
Ισχύει επίσης
∂(x 1 , x 2 , . . . , x n ) 1
det ( A ij ) = n
= ≠0
∂ ( x , x , . . . , x ) p θ
1 2
Διευκρίνιση ΙΙ r
Ορίσαμε το εφαπτόμενο διάνυσμα λ με δύο τρόπους :
1ος τρόπος ( γεωμετρικός )
2ος τρόπος ( αλγεβρικός )
r
λ
Ρ
Συμπέρασμα r
Το εφαπτόμενο διάνυσμα λ μπορούμε να το θεωρούμε γεωμετρικό
(π.χ. για τον έλεγχο της φαντασίας κ.λ.π.) ή να το θεωρούμε αλγεβρικό
(π.χ. στους θεωρητικούς - λογικούς συλλογισμούς μας κ.λ.π.).
Ελεύθερο σχόλιο
Η μετάβαση από τη Γεωμετρία της εμπειρίας στην Άλγεβρα της Λογικής
είναι ένα αναγκαίο βήμα για την αναβάθμιση του Μαθηματικού από
Εμπειροτέχνη σε Ερευνητή .
212
6. Τανυστικά πεδία
r
• Ονομάζουμε διανυσματικό πεδίο λ πάνω σε μια πολλαπλότητα
Vn μια απεικόνιση
UT
r r
λ : Vn → p , με λ( Ρ ) ∈ Τ p
P ∈ Vp
r
λ ( P)
Ρ
r
“ Τα ακόντια λ ( Ρ) , Ρ ∈ V n εφάπτονται στον n - διάστατο υμένα Vn ”
r
Αν { e i } είναι η φυσική βάση του T p η οποία αντιστοιχεί στο
τοπικό σύστημα συντεταγμένων { x i } τότε για το διανυσματικό πεδίο
r
λ έχουμε
r
λ ( Ρ ) = λ1 ( P ) e 1 + λ 2 ( P ) e 2 + . . . + λ n ( P ) e n
r r r
δηλαδή
r
λ = λ1 e 1 + λ 2 e 2 + . . . + λ n e n
r r
r
λ(Ρ)
Ρ Tp
r
Αν οι συνιστώσες λ i του διανυσματικού πεδίου λ είναι διαφο-
ρίσιμες συναρτήσεις στο σημείο Ρ της κλάσης C k , τότε λέμε ότι
r
το διανυσματικό πεδίο λ είναι της κλάσης C k
Σχόλιο
Προφανώς πάνω σε μια διαφορίσιμη πολλαπλότητα ορίζονται ,γενικά ,
διανυσματικά πεδία σε άπειρο πλήθος .
213
ω : Vn → UT
P ∈ Vn
∗
p , με ω( Ρ ) ∈ Τ ∗p
ω(Ρ)
ω( Ρ )
T ∗p
P
Ελεύθερο σχόλιο
Υπενθυμίζουμε ότι τα “ χειροπιαστά γεωμετρικά αντικείμενα T p και
T ∗p ταυτίζονται” , όμως τα “ λογικά αντικείμενα T p και T ∗p δεν
ταυτίζονται ” , δηλαδή
r
λ(Ρ) ω(Ρ)
Ρ Tp T ∗p
Ρ Ρ
k
Ονομάζουμε τανυστικό πεδίο τύπου πάνω σε μια διαφορίσιμη
l
πολλαπλότητα Vn μια απεικόνιση
S : Vn → U( T
P ∈ Vn
(k)
p ⊗ T ∗p ( l ) )
με S ( P ) ∈ T (p k ) ⊗ T ∗p ( l )
r
Ο τανυστής S(P) , ως προς τη φυσική βάση { e i } δηλαδή ei
που αντιστοιχεί στο τοπικό σύστημα συντεταγμένων { x i } στο σημείο
Ρ γράφεται
οπότε
όπου οι συναρτήσεις
Sij11 ij22......ijkl
1
Τανυστικό πεδίο τύπου
0
ή
r
Διανυσματικό πεδίο λ Αντιαλλοίωτο τανυστικό πεδίο τάξης 1
ή
Αντιαλλοίωτο πεδίο τάξης 1
0
Τανυστικό πεδίο τύπου
1
ή
Γραμμική διαφορική μορφή ω Συναλλοίωτο τανυστικό πεδίο τάξη 1
ή
Συναλλοίωτο πεδίο τάξης 1
k
Μικτό πεδίο S Τανυστικό πεδίο τύπου
l
7. Διαφορικό συνάρτησης Vn → ℝ
f:U→ ℝ
Θέτουμε
r r
( df ) p ( v ) = v(f )
x j (P) = x j , j = 1 , 2 , . .. , n
θα έχουμε
∂x j
( d x ) p ( e i ) = e i ( x ) = i = δ ij
j j
r r
∂x p
Συνεπώς το σύνολο
( d x1 ) p , ( d x 2 ) p , . . . , ( d x n ) p
Η διατεταγμένη βάση
( d x1 ) p , ( d x 2 ) p , . . . , ( d x n ) p
( df ) p = λ j ( d x j ) p
Έχουμε :
( df ) p ( e i ) = λ j ( d x j ) p ( e i ) = λ jδ ij
r r
επομένως
∂f
λ i = ( d f ) p ( e i ) = e i (f ) = i
r r
∂x p
Συνεπώς , έχουμε τελικά :
∂f
( df ) p = i ( d x i ) p
∂x p
για κάθε P ∈ U , οπότε
∂f
df = i
dx i (συμβολισμός του Einstein)
∂x
ή σε αναλυτική μορφή
∂f ∂f ∂f
df = 1
d x 1 + 2 d x 2 + ... + n d x n
∂x ∂x ∂x
Σχόλιο
Όλα τα παραπάνω ισχύουν και για το ανοικτό σύνολο U = Vn
218
∂
∂ x2
P ∂
∂ x1
Tp
Περίπτωση n = 2
r
Το σύστημα των διανυσματικών πεδίων λ i που ορίζεται με τη σχέση
∂
λ i (P) = ( e i ) p = i , i = 1 , 2 , . . . , n
r r
∂x p
∂ ∂ ∂
1
, 2
,..., (διατεταγμένη γραφή)
∂x ∂x ∂x n
Σχόλιο
r
Υπενθυμίζουμε “ ως έμμονη ιδέα ” ότι κάθε λ ∈ Τ p ορίζει έναν
τελεστή διαφόρισης στο σημείο Ρ ( δηλαδή του δ.χ. D r ( P ) )
219
dx 2
P
dx1
T ∗p
Περίπτωση n = 2
Σχόλιο
Δίνεται η γραμμική διαφορική μορφή
ω : Vn → T ∗p
ω ( Ρ ) = λ i ( P )[ d x i ] p
ω( Ρ) : Tp → ℝ
220
Ελεύθερο ανάγνωσμα
Δίνεται η διαφορίσιμη πολλαπλότητα Vn κλάσης C r και το σημείο
P ∈ U ⊂ Vn
∂
dx 2 ∂ x2
T ∗p ∂
P ∂ x1
dx1
Tp
Περίπτωση n = 2
∂ ∂ ∂
Τα 1
, 2
,..., αποτελούν βάση του T p ( “ ακόντια” )
∂x ∂x ∂x n
8. Διαφορικό απεικόνισης Vn → Vm
φ : Vn → Vm
f ∈ D ∞ ( φ ( P ))
φ
Ρ φ( Ρ )
φ̂ f f
f (φ( Ρ )) ∈ ℝ
Η απεικόνιση
φ̂ f = f o φ
( φ ∗ ) p v : D ∞ ( φ ( Ρ )) ℝ
r
f v ( φ̂ f ) , όπου v ∈ Tp ( Vn )
r r
222
Ι) [ ( φ ∗ ) p v ] ( α f + β g ) = α [ ( φ ∗ ) p v ] (f ) + β [ ( φ ∗ ) p v ] (g )
r r r
(γραμμικότητα)
Απόδειξη
[ ( φ ∗ ) p v ] ( α f + β g ) = v ( φ̂ α f + β g )
r r
r
= v (( α f + β g ) o φ)
r
= v ( α ( f o φ ) + β ( g o φ ))
r r
= α v(f o φ) + β v(g o φ)
= α v ( φ̂ f ) + β v ( φ̂ g )
r r
= α [ ( φ ∗ ) p v ] (f ) + β [ ( φ ∗ ) p v ] (g )
r r
ΙΙ) [ ( φ ∗ ) p v ] ( f ⋅ g ) = [ ( φ ∗ ) p v ] (f ) ⋅ g ( φ ( Ρ )) + f (φ ( Ρ )) ⋅ [ ( φ ∗ ) p v ] (g )
r r r
Απόδειξη
[ ( φ ∗ ) p v ] ( f ⋅ g ) = v ( φ̂ f ⋅g )
r r
r
= v ( ( f ⋅ g ) o φ)
r
= v ( ( f o φ ) ⋅ ( g o φ))
= v ( φ̂ f ⋅ φ̂ g )
r
= v ( φ̂ f ) ⋅ φ̂ g ( P ) + φ̂ f ( P ) ⋅ v ( φ̂ g )
r r
= [ ( φ ∗ ) v ] ( f ) ⋅ g ( φ ( Ρ )) + f ( φ ( Ρ )) ⋅ [ ( φ ∗ ) p v ] ( g )
r r
223
( φ ∗ ) p : T p ( Vn ) Tφ ( Ρ) ( Vm )
r r
v ( φ∗ ) p ( v )
Συμπέρασμα
Αν έχουμε μια διαφορίσιμη απεικόνιση
φ : Vn → Vm
όπου θέσαμε ( d φ) p = ( φ ∗ ) p
∂ φi
B = j ( P ) , i=1,2, ...,m
∂x j=1,2,...,n
y i ( φ ( Ρ )) = y i ( y 1 , y 2 , . . . , y m ) = y i
για i = 1 , 2 , . . . , m
224
Πράγματι έχουμε :
∂ ∂ ∂f ∂φ i
( d φ ) p j (f ) = j (f o φ) = i j
∂x p ∂x p ∂y φ ( p) ∂ x p
Επομένως
m
∂ ∂ φi ∂
( dφ) p j =
∂x p
∑i =1
j
∂x
i
p ∂y
φ ( p)
⇔
∂ ∂ ∂ ∂ ∂ ∂
( dφ ) p 1 , 2 ,..., n = 1 , 2 ,..., m
∂x ∂x ∂x ∂y ∂y ∂y
∂ φ1 ∂ φ1 ∂ φ1
L
∂ x1 ∂x 2 ∂x n
∂φ 2 ∂φ 2 ∂φ 2
L = Β
∂ x1 ∂x 2 ∂x n
M M M M
∂φ m ∂φ m ∂φ m
L
∂ x1 ∂x 2 ∂ x n P
rank p ( φ )
rank( φ)
rank p ( φ ) = n ≤ m
ΠΡΟΤΑΣΗ
Αν για τη διαφορίσιμη απεικόνιση
φ : Vn → Vm
ισχύει
rank(φ) = n ≤ m
τότε υπάρχουν τοπικά συστήματα συντεταγμένων
x1 , x 2 , . . . , x n και y1 , y 2 , . . . , y m
για κάθε ζεύγος Ρ και φ( Ρ ) τέτοια ώστε να ισχύει
yi o φ = xi , i = 1 , 2 , …, n
και
yj oφ = 0 , j = n +1 , . . . , m
Απόδειξη
Έστω ( x 1 , x 2 , ..., x n ) και ( y 1 , y 2 , ... , y m ) τοπικά συστήματα
συντεταγμένων σε περιοχές του Ρ και φ( Ρ ) αντίστοιχα .
Χωρίς περιορισμό της γενικότητας , υποθέτουμε ότι
xi ( P) = 0 για i = 1 , 2 , . . . , n
y j ( φ ( Ρ )) = 0 για j = 1 , 2 , . . . , m
Ρ φ(Ρ)
επιθυμητή θέση
(τοπικά)
επιθυμητή θέση
(τοπικά)
(0,0,…,0) (0,0,…,0)
πλήθος n πλήθος m
χ.π.τ.γ. χ.π.τ.γ.
226
∂ φ1 ∂ φ1 ∂ φ1
L
∂ x1 ∂x 2 ∂x n
∂ φk ∂φ 2 ∂φ 2 ∂φ 2
l ( P) = L
∂x p ∂ x1 ∂x 2 ∂x n
M M M M
∂φ m ∂φ m ∂φ m
L
∂ x1 ∂x 2 ∂ x n P
έχει τάξη ( rank ) n .
Υποθέτουμε λοιπόν χωρίς περιορισμό της γενικότητας (χ.π.τ.γ.) ότι
ο n × n πίνακας
∂ φk i=1,2, ...,n
i ( P ) ,
∂x j=1,2,...,n
∂ φk
det i ( P ) ≠ 0
∂x
Θέτοντας
x i = φ i , για i = 1 , 2 , . . . , n
∂ ( x1 , x 2 , . . . , x n )
≠0
∂ ( x1 , x 2 , . . . , x n )
Θέτουμε
yj = yj , για j = 1 , 2 , . . . , n
και
y j = y j − F j ( y 1 , y 2 ,..., y n ) , για j = n +1 , …, m
Τότε έχουμε :
∂ y1 ∂ y1 ∂ y1 ∂ y1
L L
∂ y1 ∂yn ∂ y n +1 ∂ym
M M M M
∂y n ∂yn ∂y n ∂yn
L L
∂ ( y ,..., y
1 m
∂ y1 ∂yn ∂ y n +1 ∂ym
=
∂ ( y ,..., y
1 m
φ( p) ∂ y n +1 ∂ y n +1 ∂ y n +1 ∂ y n +1
L L
∂ y1 ∂yn ∂ y n +1 ∂ym
M M M M
∂ym ∂y m ∂y m ∂ym
L L
∂ y1 ∂yn ∂ y n +1 ∂ym φ(p)
1 0 L 0 0 0 L 0
0 1 L 0 0 0 L 0
M M M M M M M M
0 0 L 1 0 0 L 0
= =1≠ 0
∂ F n +1 ∂ F n +1
− L L − 1 0 L 0
∂ y1 ∂y n
M M 0 1 L 0
∂ Fm ∂ Fm
− L L − 0 0 L 1
∂ y1 ∂y n φ(Ρ)
y j o φ = y j o φ − F ( y 1 o φ,..., y n o φ) = y j o φ − F ( x 1 ,..., x n ) = 0
Παράδειγμα 1
Δίνεται η απεικόνιση
φ : ℝ2 → ℝ3
φ ( x , y ) = (x ′ , y ′ , z′ )
όπου
x′ = x 2
y′ = x y συναρτήσεις ορισμού
z′ = y
d x ′ = 2 x dx + 0dy
d y ′ = y dx + x dy
d z′ = 0 d x + 1d y
∂x′ ∂x′
∂x ∂y 2x 0
∂y′ ∂y′
y
∂x = x στο Ρ(x ,y)
∂y
0
∂ z′ ∂ z′ 1
∂ x ∂ y
Συνεχίζουμε :
Έστω ψ ο περιορισμός της φ στη διαφορίσιμη πολλαπλότητα
Μ = { ( x , y ) / 2x2 − y = 0 } ⊂ ℝ 2
Έχουμε
dim M = 1
M y = 2x2
Παραβολή
y ′ = 2x 3 και d y ′ = 6x 2 d x
z′ = 2x 2 dz′ = 4xd x
∂x′
∂x 2x
∂ y′
= 6 x 2
∂x
4 x
∂ z′
∂ x
rank( ψ ) = 1
230
Παράδειγμα 2
Δίνεται η απεικόνιση
φ : ℝ3 → ℝ3
φ ( x , y , z ) = ( x ′ , y ′ , z′ )
όπου
x′ = x y
y′ = y συναρτήσεις ορισμού
z′ = z
dx′ = y dx + x dy + 0 dz
d y ′ = 0 d x + 1d y + 0 d z
d z′ = 0 d x + 0 d y + 1d z
∂ x′ ∂ x′ ∂ x′
∂x ∂y ∂z y x 0
∂ y′ ∂ y′ ∂ y′
∂x = 0 1 0
∂y ∂z
0 0 1
∂ z′ ∂ z′ ∂ z′
∂ x ∂y ∂ z
Επομένως rank(φ) = 3
Συνεχίζουμε :
Έστω ψ ο περιορισμός της φ στη διαφορίσιμη πολλαπλότητα
L = { ( x , y , z ) / y = 0 } ⊂ ℝ3
Έχουμε :
dimL = 1
Επίπεδο y=0
y′ = 0 και d y′ = 0 dz
z′ = z d z ′ = 1d z
Ο πίνακας της ψ είναι
∂ x′
∂z 0
∂ y ′
∂z = 0
∂z ′ 1
∂ z
Επομένως rank(ψ) = 1
232
φ : Vn → Vm
Αν η απεικόνιση
( d φ ) p : T p ( V n ) → T φ ( p ) ( Vm )
Εμφύτευση
Εμβάπτιση
233
Παράδειγμα 1
Δίνεται η απεικόνιση
φ : ℝ → ℝ2
φ ( x ) = ( x′ , y′ )
όπου
x′ = x
συναρτήσεις ορισμού
y′ = x 3
y = x3
φ(Ρ)
Ρ φ
ℝ ℝ2
φ(ℝ)
d x′ = 1 d x
dy′ = 3 x 2 dx
∂ x′
∂x 1
=
∂ y′ 3 x 2
∂x
Επομένως rank(φ) = 1
Συνεχίζουμε :
Η απεικόνιση
( dφ ) p : T p ( ℝ ) → T φ ( p ) ( ℝ 2 )
δηλαδή η απεικόνιση
( dφ ) p : ℝ → T φ ( p ) ( ℝ 2 )
δίνεται με τον τύπο
( d φ ) p : ( dx ) = ( dx′ , dy′ )
όπου
d x ′ = 1d x
d y′ = 3 x 2 dx
Η ( d φ ) p είναι απεικόνιση 1-1 διότι τοπικά στο Ρ(x) έχουμε :
( d φ ) p [ ( dx ) 1 ] = ( dφ ) p [ ( dx ) 2 ] ⇒
1 ( dx ) 1 = 1 ( dx ) 2 και 3 x 2 ( dx ) 1 = 3 x 2 ( dx ) 2 ⇒
( dx ) 1 = ( dx ) 2
( x 1 , x 13 ) = ( x 2 , x 32 ) ⇒
x1 = x 2 και x 13 = x 32 ⇒
x1 = x 2
άρα η φ είναι απεικόνιση 1-1
Επομένως η φ είναι μια εμβάπτιση της ℝ στην ℝ 2
Σχόλιο
Παράδειγμα 2
Δίνεται η απεικόνιση
φ : ℝ → ℝ2
που ορίζεται με τον τύπο
φ( t ) = ( x ′ , y ′ )
όπου
x ′ = t − 2 ημ t
συναρτήσεις ορισμού
y ′ = 1 − 2 συν t
φ(ℝ)
Α Β
φ
ℝ2
ℝ Ο
Ελεύθερο σχόλιο
Το “ λαστιχάκι ℝ ” το πετάξαμε στο επίπεδο ℝ 2 σύμφωνα με τον
κανόνα φ
φ
ℝ ℝ2
“ τίκ” “ τάκ”
Το λαστιχάκι ℝ εμφυτεύτηκε στο ℝ 2
Έγινε “ λαστιχάκι φ( ℝ ) ” με αυτοτομές (στα …Α , Β ,… ) , αφού
η φ δεν είναι εμβάπτιση .
( Η καμπύλη φ( ℝ ) ονομάζεται “ τροχοειδής καμπύλη ” ή “ επιμήκης
κυκλοειδής ” .
236
Παράδειγμα 3
Δίνεται η απεικόνιση
φ : ℝ → ℝ2
που ορίζεται με τον τύπο
φ( t ) = ( x ′ , y ′ )
όπου
x ′ = συν t
συναρτήσεις ορισμού
y ′ = ημ t
1 φ(ℝ)
φ
ℝ2
ℝ -1 1
-1
Σχόλιο 1
Το “ λαστιχάκι ℝ” το πετάξαμε στο επίπεδο ℝ 2 σύμφωνα με τον
κανόνα φ .
Το λαστιχάκι ℝ εμφυτεύτηκε στο ℝ 2
Έγινε “ λαστιχάκι φ( ℝ ) ” δηλαδή μοναδιαίος κύκλος (απείρως
επικαλυπτόμενος ).
Η φ δεν είναι 1-1 προφανώς , αφού η καμπύλη φ( ℝ ) έχει άπειρες
αυτοτομές .
Σχόλιο 2
Η απεικόνιση
ψ : [ 0 , 2 π ) → ℝ2
με τύπο
ψ ( t ) = ( συν t , ημ t )
Λεπτομέρειες
Ι) Αν η τοπολογία της Vn συμπίπτει με την τοπολογία που έχει ως
υποχώρος της Vm , τότε λέμε ότι η Vn είναι ομαλή υποπολλα-
πλότητα της Vm
Εικόνα
Ρ Μ
ℝ2
Tp (M)
Παραδείγματα
Ι) Θεωρούμε τις διαφορίσιμες πολλαπλότητες
V2 = { ( x , y , 0 ) / x , y ∈ ℝ } (επίπεδο x y )
V3 = ℝ 3 = { ( x , y , z ) / x , y , z ∈ ℝ }
V2 = ℝ 2 = { ( x , y ) / x , y ∈ ℝ }
V3 = ℝ 3 = { ( x , y , z ) / x , y , z ∈ ℝ }
V2′ = { ( x , y , 0 ) / x , y ∈ ℝ }
Tp (S1 )
S1 Ρ
S1
Παρατηρήσεις
Ι) Έστω Μ μια n - διάστατη υποπολλαπλότητα του αφφινικού
χώρου ℝ m και ( x 1 , x 2 , . . . , x n ) ένα τοπικό σύστημα συντε-
ταγμένων της Μ στο σημείο P ∈ M
Αν θέσουμε
y k o I = φ k ( x1 , x 2 , . . . , x n ) , k = 1 , 2 , . . . ,m
∂ xi
(P) , k = 1 , 2 , . . . , m
T p (M)
P
9
ℝ2
( x1 , x 2 , . . . , x n ) και ( y1 , y 2 , . . . , y n )
y j(P) = 0 , j = 1 , 2 , . . . , m
και αφετέρου
y k o I = xk , k = 1 , 2 , . . . , n
y j oI =0 , j = n +1 , . . . , m
∧ ∧
U ∩ Vm = { q ∈ U / y j (q ) = 0 , για j = n +1 , . . . , m }
∧
U
P
U
Vm
Vn
241
dim Vn = m − k
Μ = { Ρ ∈ Vm / f i ( P ) = 0 , για i = 1 , 2 , . . . , k }
όπου
Vm διαφορίσιμη πολλαπλότητα διάστασης m
και
f i ∈ D ∞ ( Vm )
V) Αν το σύνολο
Μ = { Ρ ∈ Vm / f i ( P ) = 0 , i = 1 , 2 , . . . , k }
Σχόλιο
Κάθε εξίσωση f = 0 δεν ορίζει υποχρεωτικά κλειστή υποπολλαπλό-
τητα . Π.χ. θεωρούμε την πολλαπλότητα ℝ 2 και τη συνάρτηση
f(x,y)=xy
Η εξίσωση f(x,y)=0 δίνει
xy=0 ⇔ x=0 ή y=0
Όμως η τοπολογική πολλαπλότητα
Μ = { x = 0 ή y = 0 } ⊂ ℝ2
δεν είναι κλειστή υποπολλαπλότητα της ℝ 2
( Ακριβέστερα η Μ δεν είναι ούτε διαφορίσιμη πολλαπλότητα ) .
ℝ2
F ∞ ( Vn )
D ∞ ( Vn )
→ →
Αν f ∈ D ∞ ( Vn ) και F1 , F 2 ∈ F ∞ ( Vn ) τότε ορίζουμε την
πρόσθεση διανυσματικών πεδίων και το γινόμενο διαφορίσιμης συ-
νάρτησης f με διανυσματικό πεδίο ως εξής :
→ → → →
( F1 + F 2 ) ( P ) = F1 ( P ) + F 2 ( P )
→ →
( f ⋅ F1 ) ( P ) = f ( P ) F1 ( P )
για κάθε P ∈ Vn
→ →
f ( g F1 ) = ( f g ) F1
→ → → →
f ( F1 + F 2 ) = f F1 + f F 2
→ → →
( f + g ) F 1 = f F1 + g F 1
→ →
για κάθε f , g ∈ D ∞ ( Vn ) και για κάθε F1 , F 2 ∈ F ∞ ( Vn )
244
n
→ ∂
X= ∑ξ
i =1
i
∂xi
→
X f : Vn → ℝ
με τον τύπο
→ →
X f ( P ) = [ X ( P )] ( f ) , για κάθε P ∈ Vn
n
→ → ∂f
( X f ) ( P ) = [ X( P )] ( f ) = ∑ ξ ( P ) ∂ x
i =1
i
i
p
→
οπότε η συνάρτηση X f είναι κλάσης C ∞
→ → →
X(f + g) = Xf + Xg
→ → →
X(f g ) = (Xf ) g + f (Xg)
Σχόλιο
→
Επομένως , τα διανυσματικά πεδία X που ορίζονται πάνω στη
διαφορίσιμη πολλαπλότητα Vn συσχετίζονται με την παραγώγιση
των συναρτήσεων
f : Vn → ℝ
245
(1) λ i = A ij λ j
∂xi ∂
A ij = j και λ = λ j
r
όπου
∂x ∂xj
Σχόλιο
Επομένως , πρέπει να βρούμε ένα θεωρητικό τέχνασμα ώστε να “ εξα-
λειφθεί ο ενοχλητικός όρος” τροποποιώντας την έννοια της παραγώγισης .
246
ω kj
d A ij + A kj ω ki = A ki ω kj (σχέση ορισμού)
όπου
∂xi ∂x k ∂xi
A ik = k , A kj = j , A ij = j
∂x ∂x ∂x
Παρατηρήσεις
Ι) Κάθε διαφορίσιμη πολλαπλότητα έχει μια τουλάχιστον αφφινική σύν-
δεση.
Vn
247
r ∂
Έστω λ = λj ένα διανυσματικό πεδίο πάνω στην πολλαπλότη-
∂x j
τα Vn . Στην τομή δύο περιοχών συντεταγμένων ισχύει
∂xi
λ i = A ij λ j , όπου A ij = j
∂x
Διαφορίζοντας , προκύπτει :
d λ i = ( d A ij ) λ j + A ij d λ j (1)
d λ i = ( ω kj A ik − ωki A kj ) λ j + A ij d λ j ⇔
d λ i + ω ik λ k = A ij ( d λ j + ω kj λ k ) (2)
d λ j + ω kj λ k
Σχόλιο
r
Το διανυσματικό πεδίο λ είναι αντιαλλοίωτο τάξης 1 , δηλαδή
1
τανυστικό πεδίο τύπου
0
248
Συνεχίζουμε :
Έστω { d x j } το φυσικό σύστημα συναναφοράς που ορίζεται σε μια
περιοχή της Vn . Τότε οι μορφές ω kj γράφονται ως γραμμικός
συνδυασμός των μορφών { d x j } δηλαδή
ω kj = Γ kj i d x i
λ ,i j A μj = A si λ s, μ ⇔
λ ,i j A μj A μk = A μk A si λ s, μ ⇔
λ ,i j δ kj = A μk A si λ s, μ ⇔
λ ,i k = A μk A si λ s, μ
Σχόλιο
Μερικοί συγγραφείς το δικό μας “ απόλυτο διαφορικό” το ονομάζουν
“ συναλλοίωτο διαφορικό” .
249
Παρατηρήσεις
Ι) Οι συντελεστές της αφφινικής σύνδεσης ω kj είναι οι ποσότητες
Γ kj i
∂ μi
μ i, j = j
− μ k Γ ik j
∂x
∂ λi
λ ,i j = j
+ λ k Γ kj μ
∂x
IV) Έχουμε :
ω kj = Γ kj i d x i
όπου γενικά
Γ kj i ≠ Γ ij k
250
f : Vn → ℝ
∂f
df = i
dx i
∂x
όπου
∂f
μi =
∂x i
∂f
f, i =
∂xi
Π.χ.
Για την f : ℝ 2 → ℝ με τύπο f( x ,y ) = x y έχουμε
df = y d x + x d y
δηλαδή
f, x = y και f, y = x
Θέτοντας
x1 = x , x2 = y
έχουμε f ( x1 , x 2 ) = x1 x 2 οπότε
df = x 2 d x 1 + x 1 d x 2
και
f,1 = x2 και f , 2 = x1
251
r
λ0
Ρ (γ) Vn
x i = x i (t) , όπου 0 ≤ t ≤ 1
D λi dλ i dxk
≡ + Γ ij k λ j =0 (∗)
dt dt dt
x i = x i (t)
λ i (t)
r r
λ λ ti
(γ)
r
λ0
Ρ
253
Το διάνυσμα
Dλ i d λ i dx k j
= + Γ ij k λ
dt dt dt
r
ονομάζεται απόλυτη παράγωγος του λ = { λ i } κατά μήκος του
δρόμου (γ)
D λi
=0
dt
Dμ i dμi dx k
= − μ i Γ ij k
dt dt dt
Όταν ισχύει
Dμ i
=0
dt
2
• Έστω Τ = ( t ik j ) ένα τανυστικό πεδίο τύπου κατά μήκος του
1
δρόμου (γ) ο οποίος βρίσκεται σε μια περιοχή της διαφορίσιμης πολλα-
πλότητας Vn
Ρ (γ) Vn
t=0
t ik j μ i v j λ k
η οποία προκύπτει από τον πολ/σμό με συστολή των δεικτών των πεδίων
που θεωρήσαμε (εσωτερικό γινόμενο) .
Κατά μήκος του δρόμου (γ) έχουμε :
d ij dt i j dμ
( tk μ i v j λk ) = μ i v j λk + ti j i v j λk +
dt dt dt
dv j dλ k
+ t ik j μ i λ k + t ik j μ i v j (1)
dt dt
Dμ i Dvj Dλk
=0 και =0 και =0 (2)
dt dt dt
255
d ij k d t ik j k ij k s dx
l
(tk μ i vj λ ) = μi v j λ + t k μs v j λ Γ i l +
dt dt dt
dx l dx l
+ t ik j μ i v s λ k Γ sj l − t ik j μ i v j λ s Γ sk l ⇔
dt dt
d ij d t ik j dx l
(t k μ i v j λ ) =
k
+ (t k Γ s l + t k Γ s l − t s Γ k l )
sj i is j ij s
μi v j λ
k
dt dt dt
D t ik j d t ik j i j dx
l
= + ( Γ s l t k + Γs l t k − Γ k l t s )
i sj j is s
dt dt dt
2
είναι συνιστώσες τανυστικού πεδίου τύπου
1
Ο τανυστής αυτός συμβολίζεται
DT
dt
ij
DT D ti j
=
d t k dt
Σχόλιο
Στους παραπάνω συμβολισμούς η παράμετρος t είναι άσχετη με το
συμβολισμό t ki j
256
p
Τ = ( T j11 j22 ... jpq ) ένα τανυστικό πεδίο τύπου το οποίο
i i ...i
Έστω
q
ορίζεται κατά μήκος του τόξου (γ) (όπως πριν) .
Η απόλυτη παράγωγος ( ή φυσική παράγωγος )
DT
dt
έχει συνιστώσες
i i ...i i i ...i p
D T j11 j22 ... jpq d T j11 j22 ... jpq dx i
dt
=
dt
+ ∑Γ
α =1
iα
ji T
i1 ...i α − 1 , j , i α + 1 ...i p
j1 j2 ... jq
dt
q
dx i
− ∑β =1
i i ...i
Γ rkβ i Tr11...r2β − 1p, k , rβ + 1 ...rq
dt
Σχόλιο
p DT
Αν ο τανυστής Τ είναι τύπου τότε και ο τανυστής
q dt
p
είναι του ίδιου τύπου
q
Γι’ αυτό η απόλυτη παράγωγος (ή φυσική παράγωγος) ονομάζεται
επίσης εσωτερική ( intrinsic) παράγωγος
D
dt DT
Τ
dt
p p
q q
257
p
Τ = ( T j11 j22... jqp ) ένα τανυστικό πεδίο τύπου το οποίο
i i ...i
• Έστω
q
ορίζεται σε μια περιοχή ενός τυχαίου σημείου Ρ της διαφορίσιμης
πολλαπλότητας , και (γ) μια καμπύλη διερχόμενη από το Ρ στην
περιοχή αυτή .
Ρ
(γ) Vn
i i ...i
d T j11 j22 ... jpq ∂ T ji11 ji22......ijqo d x λ
=
dt ∂ xλ dt
∂ T ji1 ji 2......ij p p q d xλ
DT
i1 i 2 ...i p
j1 j2 ... jq = 1 2λ q +
∂x ∑ iα
Γ T
jλ
i1 ...i α − 1 , j , i α + 1 ...i p
ji j2 ... jq − ∑ Γ krβ i Tr11...r2β − 1p, rβ + 1 ...rq
i i ...i
dt
α =1 β =1
D λT
i i ...i
i1 i 2 ...i p i1 i 2 ...i p
∂ T j11 j22... jqp
( D λT ) j1 j2 ... jq , λ ≡ T j1 j2 ... jq , λ = +
∂x λ
+ ∑Γ
α =1
iα
jλ
i ...i
T j11 j2 ...α −j1p
, j , i α + 1 ...i p
− ∑Γ
β =1
k
rβ i
i i ...i
Tr11...r2β − 1p, k , rβ + 1 ...rq
Σχόλιο
p
Αν ο τανυστής Τ είναι τύπου τότε ο τανυστής D λ T είναι
q
p
τύπου (δηλαδή διαφορετικού από τον τύπο του τανυστή Τ ) .
q + 1
Γι’ αυτό η συναλλοίωτη παράγωγος (covariant derivative) ονομά-
ζεται επίσης εξωτερική παράγωγος
Dλ
Τ Dλ T
p p
q q + 1
259
Ευκλείδειος Μερική
χώρος παράγωγος
Ευκλείδειος dF
χώρος dt
p
III) Το απόλυτο διαφορικό ενός τανυστικού πεδίου Τ τύπου
q
i i ...i i i ...i
ορίζεται με τη σχέση D T j11 j22... jqp = ( D λ T j11 j22... jqp ) d x λ
p
Επομένως το DT είναι τύπου
q
Χώρος Riemann DT
Ευκλείδειος
dF
χώρος
Σχόλιο
Τα παραπάνω μνημονικά διαγράμματα εστιάζονται στον ένα και μονα-
δικό κεντρικό πυρήνα του ΤΑΝΥΣΤΙΚΟΥ ΛΟΓΙΣΜΟΥ που είναι η δια-
τύπωση σχέσεων ανεξαρτήτως του συστήματος αναφοράς του παρατη-
ρητή .
260
Δηλαδή
p
όπου α , β ∈ ℝ και S , T είναι τανυστές τύπου
q
− S ij t r ν Γ μr λ − S ij t μ r Γ rν λ =
∂ ∂
= λ
( S ij t μ ν ) + S ij λ
( t μ ν ) + S rj t μ ν Γ ir λ
∂x ∂x
− S ir t μ ν Γ rj λ − S ij t r ν Γ μr λ − S ij t μ r Γ rν λ =
∂
= λ ( S ij ) + S ij Γ ir λ − S ir Γ rj λ t μ ν +
∂x
∂
+ S ij λ ( t μ ν ) − t r ν Γ μr λ − t μ r Γ rν λ =
∂x
= S ij , λ t μ ν + S ij t μ ν , λ
Γενικά : ( S T ) , λ = ( S , λ ) T + S ( T, λ )
261
δ = ( δ qp )
Έχουμε :
δ qp , λ = δ qr Γ pr λ − δ pr Γ qr λ = Γ qp λ − Γ qp λ = 0
ij ∂ T ik j
T k,λ = λ
+ Γ ir λ T rk j + Γ rj λ T ikr − Γ kr λ T ir j
∂x
∂ T ik j
λ
+ Γ ir λ T ir j + Γ rj λ T ii r − Γ ir λ T ir j (1)
∂x
∂ T ik j
T ii ,j λ = + Γ rj λ T ii r (2)
∂x λ
Γ ir λ T ir j − Γ ir λ T ir j = Γ βα λ T βα j − Γ βα λ T βα j = 0
φ = φ ( x1 , x 2 , . . . , x n )
∂ ∂φ ∂ ∂φ
k = λ
∂xλ ∂x ∂x
k
∂x
∂φ
φ, k =
∂xk
∂φ ∂ 2φ
φ , k λ = ( φ , k ) , λ = k = − Γ hk λ φ , h (1)
∂x ∂ ∂
λ k
, λ x x
∂φ
αφού οι ποσότητες είναι συνιστώσες συναλλοίωτου διανύσματος .
∂x k
263
όπου θέσαμε
1
T kh λ = − ( Γ kh λ − Γ hλ k )
2
1
Οι ποσότητες T hk λ είναι συνιστώσες τανυστή τύπου και
2
ορίζονται σε κάθε σημείο της πολλαπλότητας (αναφοράς) Vn
Ο τανυστής (τανυστικό πεδίο)
T = ( T hk λ )
Σχόλιο 1
Οι διαδοχικές συναλλοίωτες παραγωγίσεις αριθμητικής συνάρτησης ,
υπακούουν στο αντιμεταθετικό νόμο μόνο όταν η στρέψη της πολλαπλό-
τητας είναι μηδέν .
Σχόλιο 2
Όταν Τ = 0 τότε λέμε ότι έχουμε αφφινική σύνδεση χωρίς στρέψη .
264
∂2 λi ∂ ∂ λh
λ i, k μ = + ( Γ i
hk ) λ h
+ Γ i
hk + λ ,hk Γ ih μ − λ ,i h Γ hk μ ⇒
∂xμ ∂x k ∂xμ ∂xμ
i ∂ 2 λi h
∂ Γ ih k
λ ,kμ = μ k +λ + Γ ih k ( λ ,hμ − Γ hr μ λ r ) + Γ ih μ λ ,hk − Γ hk μ λ i, h ⇒
∂x ∂x ∂xμ
∂2 λi ∂ Γ ih k
h
λ i
= μ k +λ − Γ ir k Γ rh μ + ( Γ ih k λ ,hμ + Γ ih μ λ ,hk ) − Γ hk μ λ ,i h
,kμ
∂x ∂x ∂x μ
Επειδή ο δεύτερος και ο τρίτος όρος στο δεύτερο μέλος είναι συμμε-
τρικοί ως προς k και μ προκύπτει
∂ Γ ih μ ∂ Γ ih k
λ i, k μ − λ i, μ k = − λ h − − Γ ir k Γ rh μ + Γ ir μ Γ rh k
∂x k
∂x μ
i
∂ Γ hi μ ∂ Γ hi k
R hk μ = k
− μ
− Γ ir k Γ hr μ + Γ ri μ Γ rh k (2)
∂x ∂x
r
Η σχέση (1) αληθεύει για κάθε διανυσματικό πεδίο λ και συμπε-
ραίνουμε ότι οι ποσότητες R ih k μ οι οποίες δίνονται με τη σχέση (2)
1
είναι συνιστώσες τανυστικού πεδίου τύπου και ορίζονται σε κάθε
3
σημείο της πολλαπλότητας Vn
265
R = ( R ih k μ )
Σχόλιο
Από τη σχέση (1) της προηγούμενης σελίδας προκύπτει ότι ακόμη και
αν η αφφινική σύνδεση είναι χωρίς στρέψη ( δηλαδή Τ = 0 ) πάλι οι
διαδοχικές συναλλοίωτες παραγωγίσεις δεν υπακούουν στον αντιμεταθε-
τικό νόμο .
Γενικά
i i ...i
Έστω S = ( S j11 j22 ... jpq ) ένα τανυστικό πεδίο ορισμένο πάνω στη διαφο-
ρίσιμη πολλαπλότητα Vn
Τότε αποδεικνύεται (με αυξημένη συγκέντρωση προσοχής) ότι ισχύει
i i ...i i i ...i
S j11 j22 ... jpq , k λ − S j11 j22 ... jpq , λ k =
= ∑S
α =1
i1 ...i p
j1 ... j α − 1 h jα + 1 ... jq R hjα k λ
− ∑S
β =1
i i ...i β − 1 h i β + 1 ...i p
j1 ... jq
i i ...i
R hβ k λ − 2 S j11 ... jpq , h T kh λ
Πόρισμα
Όταν η στρέψη Τ και η καμπυλότητα R μιας διαφορίσιμης πολλα-
πλότητας Vn είναι μηδέν , δηλαδή
ΑΛΓΕΒΡΙΚΟΣ ΚΛΑΣΙΚΟΣ
ΤΑΝΥΣΤΙΚΟΣ ΛΟΓΙΣΜΟΣ ΤΑΝΥΣΤΙΚΟΣ ΛΟΓΙΣΜΟΣ
Γ hk λ
h h
Γ hk λ = Γ λh k =
k λ λ k
Στρέψη Τ της Vn
h
T=0
ως προς ω k
(γ)
Α Β Vn
dxi
Αφού τα εφαπτόμενα διανύσματα της (γ) είναι τα όπου
dt
x i = x i ( t ) είναι εξισώσεις της καμπύλης σε κάποια περιοχή συντεταγ-
μένων της Vn , συμπεραίνουμε ότι οι αυτοπαράλληλες καμπύλες εί-
ναι οι ολοκληρωτικές καμπύλες του συστήματος (καμπύλες λύσεις του
συστήματος)
d2xi i dx i dx k
+ Γ jk =0
dt 2 dt dt
Σχόλιο
Όταν μια διαφορίσιμη πολλαπλότητα (αναφοράς) Vn είναι εφοδια-
σμένη με “ μετρική ” ds 2 = g p q d x p d x q και Α , Β είναι δύο
σημεία σε μια περιοχή της Vn , τότε υπάρχει μοναδική γεωδαισιακή
καμπύλη (γ) η οποία συνδέει τα Α και Β . (Είναι ο συντομότερος
δρόμος που συνδέει το Α με το Β . . . ) .
268
Παράδειγμα
Θεωρούμε τη διαφορίσιμη πολλαπλότητα
V2 = ℝ 2 = { ( x 1 , x 2 ) / x i ∈ ℝ }
Β
Α (ε)
d 2 x1 d2x 2
=0 και =0
dt 2 dt 2
x1 = αt + b , x 2 = α ′t + b ′
Σχόλιο 1
Τα εφαπτόμενα διανύσματα μιας οποιασδήποτε ευθείας (ε) του ℝ 2
είναι παράλληλα κατά μήκος της (ε)
Σχόλιο 2
→
Από ένα δεδομένο σημείο Α και μια δεδομένη κατεύθυνση (π.χ. AB )
διέρχεται ακριβώς μια ευθεία (ε) του επιπέδου .
Σχόλιο 3
Ο συντομότερος δρόμος ο οποίος συνδέει δύο διαφορετικά σημεία Α
και Β του επιπέδου ℝ 2 είναι το ευθύγραμμο τμήμα ΑΒ
269
Tp ( Vm )
Tp ( Vn )
Ρ
Vn
Vm
p.r
X q. s
= M qp ⊗ N sr
x i = x i (t) , 0 ≤ t ≤1
και
u α = u α (t) , 0 ≤ t ≤1
και
Τότε :
Η ποσότητα
T iα β A i B α C β
d i α β
d T iα β dA
(1) (T α β A iB C ) = A i B α C β + T iα β i B α C β +
dt dt dt
i d Bα β i α dC
β
+T αβ Ai C + T α β Ai B
dt dt
Επειδή τα διανυσματικά πεδία
Ai , Bq , Cβ
dBα du δ
+ L′ αγ δ B γ =0
dt dt
dCβ du δ
+ L′ βγ δ C γ =0
dt dt
d d T iα β dx k du δ
(2) ( T iα β A i B α C β ) = + Li j k T αj β − L ′αγδ T iγ β
dt dt dt dt
du δ
− L′βγδ T iα γ A i B α C β
dt
d T iα β dx k du δ du δ
(3) + Li j k T αj β − L′α γδ T iγ β − L′βγδ T iα γ
dt dt dt dt
i
∂ T αi β
T αβ,γ = γ
+ L ij k T αj β B kγ − L′αδγ T δi β − L′βδγ T αi δ
∂u
όπου θέσαμε
∂x k
B kγ =
∂ uγ
273
15. ΑΣΚΗΣΕΙΣ
S1 = { ( x , y ) / x 2 + y 2 = 1 } ⊂ ℝ 2
16) Να θεωρήσετε δύο δικά σας (αφφινικά) επίπεδα στο χώρο ℝ 3 και
μετά να τα ταυτίσετε , δηλαδή να βρείτε μια απεικόνιση ταύτισης
αφφινικών χώρων .
( Διάβασε το βιβλίο μου “ ΑΦΦΙΝΙΚΗ ΓΕΩΜΕΤΡΙΑ ” ).
f : ℝ2 → ℝ3
ονομάζεται διαφορίσιμη κλάσης C ∞ ;
f : ℝ → ℝ3
η οποία να μην είναι διαφορίσιμη ;
f : ℝ3 → ℝ2
η οποία να είναι διαφορίσιμη κλάσης C 5
f : ℝ2 → ℝ2
275
0
27) Να σχεδιάσετε ένα δικό σας τανυστικό πεδίο τύπου πάνω στον
1
κύκλο S 1
ii) απεικόνισης ℝ 2 → ℝ 3
iii) απεικόνισης ℝ 3 → ℝ 2
iv) απεικόνισης ℝ → ℝ 2
( Να αναφέρετε από ένα δικό σας παράδειγμα ) .
S1 = { ( x , y ) / x 2 + y 2 = 1 } ⊂ ℝ 2
S1 = { ( x , y ) / x 2 + y 2 = 1 } ⊂ ℝ 2
φ : ℝ2 → ℝ
→
κλάσης C ∞ από ένα διανυσματικό πεδίο X ∈ F ∞ ( ℝ 2 ) ;
1
L ij k = ( Γ ij k + Γ ik j )
2
είναι συντελεστές συμμετρικής αφφινικής σύνδεσης πάνω στην
πολλαπλότητα Vn
277
T = ( t ik jl )
όπου t ik jl = δ ik δ lj
ℝ2 = { ( x , y ) / x , y ∈ ℝ }
A(x ,y)
v
e2
P e1
v = x e1 + y e 2
Γράφουμε συμβολικά
v=(x,y)
ℝ n = { ( x1 , x 2 , . . . , x n ) / x i ∈ ℝ }
282
A((α , β ))
φ
2
e
P e1
Σχόλιο 2
Η βάση e 1 , e 2 ονομάζεται αντίστροφη ( reciprocal ) της βάσης
e 1 , e 2 , π.χ. στο βιβλίο μου “ ΚΛΑΣΙΚΟΣ ΤΑΝΥΣΤΙΚΟΣ ΛΟΓΙΣΜΟΣ
ΚΑΙ ΕΦΑΡΜΟΓΕΣ ” .
283
ℝ2 = { ( x , y ) / x , y ∈ ℝ } = { ( α , β ) / α , β ∈ ℝ }
( ℝ 2 ) ∗ = { (( α , β )) / α , β ∈ ℝ } = { (( x , y)) / x , y ∈ ℝ }
φ( x , y ) = α x + β y
θέτοντας
φ = (( α , β ))
γράφεται συμβολικά
(( α , β )) ( x , y ) = α x + β y
Έχουμε :
( ℝ 2 ) ∗ = { φ : ℝ 2 → ℝ / φ γραμμική απεικόνιση }
v (( α , β )) = x α + y β
θέτοντας
v=(x,y)
γράφεται συμβολικά
( x , y ) (( α , β )) = x α + y β
Έχουμε :
ℝ 2 = { v : ( ℝ 2 ) ∗ → ℝ / v γραμμική απεικόνιση }
Συμπεράσματα
Ι) Κάθε διάνυσμα του ( ℝ 2 ) ∗ είναι γραμμική απεικόνιση (ονομάζεται
γραμμική μορφή) ℝ2 → ℝ
4. Γραμμικοί Μετασχηματισμοί
∗
F F
ℝ n
→ ℝ n και ( ℝ ) → ( ℝ n ) ∗
n
2 F∗
Η λεγόμενη ανάστροφη απεικόνιση ( ℝ ) ← ( ℝ 2 ) ∗
ορίζεται με τον τύπο
F ∗ (( α , β )) = (( α ′ , β ′ ))
όπου
α′ 1 3 α
β′ = 2 4 β
Η F ∗ είναι γραμμικός μετασχηματισμός του ( ℝ 2 ) ∗
Ο αναλυτικός τύπος της F είναι
F ∗ (( α , β )) = (( α + 3β , 2α + 4β ))
χρησιμοποιώντας τα σύμβολα του Κ. Κυβεντίδη .
Σχόλιο 1
Ο πίνακας του γραμμικού μετασχηματισμού F είναι ο
1 2
A=
3 4
ενώ ο πίνακας του γραμμικού μετασχηματισμού F ∗ είναι ο
T
1 2 1 3
A =A =
∗ T
=
3 4 2 4
Σχόλιο 2
Παρόμοια ισχύουν στη γενική περίπτωση .
285
Μετασχηματισμοί του ℝ n
Παραδείγματα
Ι) Γραμμικός μετασχηματισμός του ℝ 2
F( x , y ) = ( x + 2y , 3x + 4y )