KanonikŁc epif‹neiec · Kef‹laio 2 KanonikŁc epif‹neiec SÔnoyh ProkeimŁnou na or—soume...

Κεφάλαιο 2

Κανονικές επιφάνειες

Σύνοψη

Προκειμένου να ορίσουμε την έννοια της επιφάνειας στον R3, έχουμε δύο δυνατές προσεγγίσεις. Με

την πρώτη μπορούμε να ορίσουμε μια επιφάνεια ως ένα υποσύνολο του R3, ώστε για κάθε σημείο του να

υπάρχει ένα ανοικτό υποσύνολο, το οποίο να είναι ομοιομορφικό με ένα ανοικτό υποσύνολο του R2. Με τη

δεύτερη προσέγγιση μια επιφάνεια (ή καλύτερα τμήμα επιφάνειας) ορίζεται ως εικόνα μιας απεικόνισης από

ένα ανοικτό υποσύνολο του επιπέδου στον R3, η οποία και αυτή ικανοποιεί συγκεκριμένες ιδιότητες.

Η δεύτερη προσέγγιση είναι γενίκευση της περιγραφής των καμπυλών στον R3. Αν και είναι χρήσιμη

στην περιγραφή τοπικών ιδιοτήτων μιας επιφάνειας, έχει παρόλα αυτά περιορισμένη χρησιμότητα για πιο

δύσκολα προβλήματα. Για τον λόγο αυτό, θα χρησιμοποιήσουμε και τον εναλλακτικό ορισμό μιας επιφάνειας

ως ένα υποσύνολο του Ευκλείδειου χώρου R3το οποίο τοπικά να ῾῾μοιάζει᾿᾿ με ένα ανοικτό υποσύνολο του

επιπέδου. Για περισσότερες πληροφορίες προτείνουμε τα βιβλία [1], [2], [3], [4], [5], [6].

Προαπαιτούμενη γνώση

Αναλυτική Γεωμετρία, Απειροστικός Λογισμός μιας και πολλών μεταβλητών, Εισαγωγή στη Γραμμική

΄Αλγεβρα.

Ορισμός 2.1. ΄Ενα μη κενό συνεκτικό υποσύνολο M του R3ονομάζεται κανονική επιφάνεια (regular

surface) (ή τοπικά εμφυτευμένη (embedded) επιφάνεια) εάν για κάθε p ∈ M υπάρχουν ανοικτές περιοχές

V ⊂ R3, U ⊂ R2με p ∈ V και μια 1-1 απεικόνιση X : U ⊂ R2 → V ∩M ⊂ R3

, X = X(u, v) τέτοια ώστε

1. Η X να είναι ομοιομορφισμός

2. Να είναι Xu(q)×Xv(q) 6= 0 για κάθε q ∈ U .

Η απεικόνιση X ονομάζεται τοπική παραμέτρηση (local parametrization) της M και η δυάδα

(V ∩M,X−1), όπουX−1 : V ∩M → U , ονομάζεται τοπικός χάρτης (local chart) ή τοπικό σύστημα

συντεταγμένων της M στο σημείο p = X(q).

Παρατηρήσεις

1. Η απεικόνιση X ως προς ένα σύστημα συντεταγμένων Oxyz του R3έχει τη μορφή X(u, v) = (x(u, v)

, y(u, v), z(u, v)), όπου x, y, z : U ⊂ R2 → R είναι πραγματικές διαφορίσιμες απεικονίσεις, των u, v ∈ U .

2 Κανονικές επιφάνειες

Κατόπιν αυτού, η συνθήκη 2 ισοδυναμεί με το ότι τα διανύσματα

Xu(q) =(xu(q), yu(q), zu(q)

),

Xv(q) =(xv(q), yv(q), zv(q)

)είναι γραμμικώς ανεξάρτητα. Ισοδύναμα, το διαφορικό dXq : R2 → R3

είναι 1-1, δηλαδή η τάξη του πίνακα(xu(q) yu(q) zu(q)

xv(q) yv(q) zv(q)

)

είναι 2.

2. Η συλλογή A ={(Vα ∩M,X−1

α

): α ∈ I

}από τοπικούς χάρτες της M ονομάζεται άτλαντας της

M , εάν

M =⋃α∈I

(Vα ∩M

)Εάν πi : R3 → R, (i = 1, 2) είναι οι κανονικές προβολές, τότε προκύπτει το παρακάτω διάγραμμα:

Σχήμα 2.1: Τοπικό σύστημα συντεταγμένων.

Τότε η συνθήκη 2 ισοδυναμεί με το ότι

det

∂X1

∂u(q)

∂X1

∂v(q)

∂X2

∂u(q)

∂X2

∂v(q)

6= 0.

Παράδειγμα 2.1. Το επίπεδο Π = {(x, y, z) ∈ R3 : Ax + By + Γz + ∆ = 0} είναι μια κανονικήεπεφάνεια η οποία καλύπτεται με έναν μόνο χάρτη. Πράγματι, γνωρίζουμε ότι, για να ορίζεται ένα επίπεδο,

θα πρέπει ένα τουλάχιστον από τα A,B,Γ να είναι διάφορο του μηδενός. Οπότε χωρίς βλάβη της γενικότητας

Κανονικές επιφάνειες 3

υποθέτουμε ότι Γ 6= 0, άρα z =−Ax−By −∆

Γ. Θέτουμε x = u, y = v, συνεπώς είναι z = z(u, v).

Θεωρούμε τώρα την απεικόνιση

X : R2 → Π ⊂ R3

(u, v) 7→ X(u, v) =(x(u, v), y(u, v), z(u, v)

)=(u, v,

−Au−Bv −∆

Γ

).

Προφανώς η X είναι 1-1, επί και συνεχής, οπότε υπάρχει η αντίστροφη

X−1 : Π ⊂ R3 → R2, X−1(x, y, z) = (x, y),

η οποία είναι συνεχής, επομένως η απεικόνιση X είναι ομοιομορφισμός. Επίσης η X είναι διαφορίσιμη (διότι

υπάρχουν και είναι συνεχείς όλες οι μερικές παράγωγοι των απεικονίσεων x, y, z : R2 → R). Τέλος, θα

δείξουμε ότι Xu(q) ×Xv(q) 6= 0 για κάθε q = (u, v) ∈ R2. Είναι Xu = (1, 0,−A

Γ) και Xv = (0, 1,−B

Γ),

οπότε

Xu ×Xv =

∣∣∣∣∣∣∣e1 e2 e3

1 0 −AΓ

0 1 −BΓ

∣∣∣∣∣∣∣ =(− A

Γ,B

Γ, 1)

απ΄ όπου παίρνουμε ότι ‖Xu × Xv‖ 6= 0, άρα Xu × Xv 6= (0, 0, 0). Επομένως, σύμφωνα με τον Ορισμό

2.1, το επίπεδο Π είναι μια κανονική επιφάνεια η οποία καλύπτεται από έναν μόνο χάρτη (Π, X−1), όπου

X−1 : Π ⊂ R3 → R2.

Παράδειγμα 2.2. ΄Εστω U ανοικτό υποσύνολο του R2και f : U → R μια διαφορίσιμη συνάρτηση. Τότε

η απεικόνιση X : U →M με τιμή

X(u, v) =(u, v, f(u, v)

)αποτελεί μια τοπική παραμέτρηση του γραφήματος

M ={

(u, v, f(u, v)) : (u, v) ∈ U}

της f . Ο αντίστοιχος τοπικός χάρτης (M,X−1) όπου X−1 : M → U είναι X−1(x, y, z) = (x, y). Συνεπώς

το σύνολο M είναι μια κανονική επιφάνεια.

Στο παραπάνω παράδειγμα το σύνολο M είναι το γράφημα της απεικόνισης f : R2 → R με f(x, y) = z.

Ανάλογα, το γράφημα μιας απεικόνισης g : R2 → R με g(x, z) = y είναι το σύνολο {(u, g(u, v), v) : (u, v) ∈R2} με παραμέτρηση Y (u, v) = (u, g(u, v), v), ενώ το γράφημα της απεικόνισης h : R2 → R με h(y, z) = x

είναι το σύνολο {(h(u, v), u, v) : (u, v) ∈ R2} με παραμέτρηση W (u, v) = (h(u, v), u, v). Οι πραμετρή-

σεις αυτής της μορφής καλούνται παραμετρήσεις τύπου Monge. Εύκολα βλέπουμε ότι η παραμέτρηση του

επιπέδου στο Παράδειγμα 2.1 είναι παραμέτρηση τύπου Monge.

Παράδειγμα 2.3. ΄Εστω S2 ={

(x, y, z) ∈ R3 : x2 + y2 + z2 = 1}η μοναδιαία σφαίρα του R3

. ΄Εστω

N = (0, 0, 1), S = (0, 0,−1) ο βόρειος και ο νότιος πόλος αντίστοιχα. Θέτουμε UN = S2 \ {N}, US =

S2 \ {S} και ορίζουμε τις απεικονίσεις XN : UN → R2, XS : US → R2(στερεογραφικές προβολές) ως

XN (x, y, z) =1

1− z(x, y),

XS(x, y, z) =1

1 + z(x, y).


Τότε το σύνολο A ={

(UN , XN ), (US , XS)}αποτελεί έναν άτλαντα της σφαίρας S2

.

΄Ασκηση Να γίνει αναλυτικός έλεγχος ότι ικανοποιείται ο Ορισμός 1.1.

Σχήμα 2.2: Στερεογραφική προβολή.

Ο παραπάνω ορισμός μιας επιφάνειας παρουσιάζει τεχνικές δυσκολίες στην εφαρμογή του. Θα δούμε

τώρα έναν εναλλακτικό τρόπο κατασκευής επιφανειών στον R3μέσω του θεωρήματος πεπλεγμένης συνάρ-

τησης. Χρειαζόμαστε κατ΄ αρχάς να υπενθυμίσουμε τα εξής:

΄Εστω F = (F1, . . . , Fm) : U ⊂ Rn → Rm μια διαφορίσιμη απεικόνιση στο ανοικτό υποσύνολο U τουRn και p ∈ U . Τότε το διαφορικό DF (p) : Rn → Rm στο p είναι μια γραμμική απεικόνιση της οποίας οm× n πίνακας (ως προς τις κανονικές βάσεις των Rn,Rm) είναι ο

[DF (p)] =

∂F1

∂x1(p) · · · ∂F1

∂xn(p)

.

.

....

∂Fm∂x1

(p) · · · ∂Fm∂xn

(p)

.

Συχνά θα γράφουμε τον παραπάνω πίνακα απλά ως DF (p). Στην ειδική περίπτωση όπου F : U ⊂ Rn → R,τότε ο πίνακας του διαφορικού DF (p) : Rn → R είναι ο 1× n πίνακας

[DF (p)] =

[∂F

∂x1(p), . . . ,

∂F

∂xn(p)

].

Το αντίστοιχο διάνυσμα

( ∂F∂x1

(p), . . . ,∂F

∂xn(p))λέγεται κλίση (grand) της F και συμβολίζεται με gradF

ή ∇F , με άλλα λόγια η κλίση της απεικόνισης F στο σημείο p είναι ο πίνακας του διαφορικού [DF (p)]

γραμμένος ως διάνυσμα.

΄Εστω τώρα γ : R → U ⊂ Rn μια διαφορίσιμη καμπύλη με γ(0) = p, γ′(0) = Z ∈ R. Τότε η σύνθεσηF ◦γ : R→ Rm είναι μια καμπύλη στον Rm και από τον κανόνα της αλυσίδας προκύπτει ότι το εφαπτόμενοδιάνυσμά της στο σημείο F (p) ∈ Rm είναι

d

dt

(F ◦ γ(t)

)∣∣∣t=0

= DF (γ(0))γ′(0) = DF (p)Z.


Σημειώνουμε ότι η τελευταία ισότητα είναι ένα διάνυσμα του Rm, που η παράστασή του προκύπτει ως τογινόμενο ενός m×n και ενός n×1 πίνακα. Συνεπώς, το διαφορικό DF (p) μιας απεικόνισης F : Rn → Rm

μπορεί να θεωρηθεί ως μια γραμμική απεικόνιση, η οποία απεικονίζει εφαπτόμενα διανύσματα στο p ∈ U ⊂Rn σε εφαπτόμενα διανύσματα στο F (p) ∈ Rm. Από τον λογισμό πολλών μεταβλητών ισχύει το εξήςαποτέλεσμα:

Πρόταση 2.1. Το διαφορικό DF (p) μιας απεικόνισης F : Rn → Rm δεν εξαρτάται από την επιλογή τηςκαμπύλης γ.

Το παρακάτω θεώρημα είναι ίσως το πιο κεντρικό θεώρημα της κλασικής Ανάλυσης.

Θεώρημα 2.1. (Θεώρημα Αντίστροφης Απεικόνισης)

΄Εστω U ⊂ Rn ανοικτό και F : U ⊂ Rn → Rn διαφορίσιμη. Υποθέτουμε ότι στο p ∈ U το διαφορικό

DF (p) : Rn → Rn της F στο p είναι αντιστρέψιμη (ως γραμμική απεικόνιση). Τότε υπάρχουν ανοικτέςπεριοχές Up 3 p, Vq 3 q = F (p) έτσι ώστε η f = F |Up : Up → Vq να είναι 1-1, επί και η αντίστροφή της

f−1 : Vq → Up να είναι διαφορίσιμη. Επιπλέον, για το διαφορικό της f−1ισχύει:

Df−1(q) =(DF (p)

)−1.

Ορισμός 2.2. ΄Εστω U ⊂ Rn ανοικτό και F : U → Rm διαφορίσιμη.

1. ΄Ενα σημείο p ∈ U ονομάζεται κρίσιμο σημείο (critical point) της F , εάν το διαφορικό

DF (p) : Rn → Rm

δεν είναι επί. Διαφορετικά, το p ονομάζεται κανονικό σημείο (regular point).

2. ΄Ενα σημείο q ∈ F (U) ονομάζεται κανονική τιμή (regular value) της F , εάν κάθε σημείο της αντί-

στροφης εικόνας F−1({q}) του q είναι κανονικό. Διαφορετικά, το q ονομάζεται κρίσιμη τιμή (critical

value) της F .

΄Εστω f : U ⊂ R3 → R μια διαφορίσιμη απεικόνιση και U ένα ανοικτό υποσύνολο του R3. Τότε ο

πίνακας του διαφορικού Df(p) της f στο σημείο p είναι ο 1× 3 πίνακας

[Df(p)] =

(∂f

∂x(p),

∂f

∂y(p),

∂f

∂z(p)

).

Για να είναι η απεικόνιση Df(p) : R3 → R επί (δεδομένου ότι έχει πεδίο τιμών διάστασης 1) πρέπει

και αρκεί τουλάχιστον ένα από τα∂f

∂x(p),

∂f

∂y(p),

∂f

∂z(p) να είναι διαφορετικό από το μηδέν. Συνεπώς, το

q ∈ f(U) είναι κανονική τιμή της απεικόνισης f : U ⊂ R3 → R εάν και μόνο εάν οι μερικές παράγωγοι∂f

∂x(p),

∂f

∂y(p),

∂f

∂z(p) δεν μηδενίζονται ταυτόχρονα στο f−1(q), ή ισοδύναμα το f−1(q) δεν περιέχει κρίσιμα

σημεία.

Χρησιμοποιώντας τώρα το παραπάνω Θεώρημα Αντίστροφης Απεικόνισης, μπορούμε να αποδείξουμε το

επόμενο θεώρημα κατασκευής επιφανειών στον R3. Πολλές φορές το θεώρημα αυτό αναφέρεται και ως

Θεώρημα Πεπλεγμένης Συνάρτησης (για τη θεωρία επιφανειών).


Θεώρημα 2.2. ΄Εστω U ⊂ R3ανοικτό, f : U → R διαφορίσιμη απεικόνιση και q μια κανονική τιμή της

f , δηλαδή ισχύει (∇f)(p) =

(∂f∂x

(p),∂f

∂y(p),

∂f

∂z(p))6= 0,

για κάθε p ∈M = f−1({q}). Τότε το σύνολο M είναι μια κανονική επιφάνεια του R3

.

Απόδειξη. ΄Εστω p ένα τυχαίο σημείο του συνόλου M . Η κλίση (∇f)(p) στο p δεν είναι μηδέν, οπότε

χωρίς βλάβη της γενικότητας, υποθέτουμε ότι∂f

∂z(p) 6= 0. Ορίζουμε την απεικόνιση F : U ⊂ R3 → R3

με

τιμή

F (x, y, z) = (x, y, f(x, y, z)).

Ο πίνακας του διαφορικού DF (p) στο σημείο p είναι

[DF (p)] =

1 0 0

0 1 0∂f

∂x

∂f

∂y

∂f

∂z

p

,

η ορίζουσα του οποίου είναι ίση με det([DF (p)]) =∂f

∂z

∣∣∣p6= 0. Από το Θεώρημα Αντίστροφης Απεικόνισης

υπάρχουν ανοικτές περιοχές Up 3 p,Wl 3 l = F (p), έτσι ώστε η απεικόνιση f = F |Up : Up → Wl να είναι

1-1, επί και η αντίστροφή της

f−1 : Wl → Up, (u, v, t) 7→ (u, v, g(u, v, t))

να είναι διαφορίσιμη, όπου g : Wl ⊂ R3 → R. ΄Επεται ότι ο περιορισμός

X = f−1Wl

: Wl → R3

στο σύνολο (συγκεκριμένα το επίπεδο) Wl = {(u, v, t) ∈ Wl : t = q} είναι διαφορίσιμη συνάρτηση. ΄Αρα ηαπεικόνιση X : Wl → Up ∩M είναι μια τοπική παραμέτρηση. Επειδή το σημείο p είναι τυχαίο, το σύνολο

M είναι μια κανονική επιφάνεια του R3.

Παράδειγμα 2.4. ΄Εστω f : R3 → R η διαφορίσιμη απεικόνιση

f(x, y, z) = x2 + y2 + z2

και p = (x, y, z) ∈ R3. Η κλίση ∇f(p) είναι ∇f(p) =

(2x, 2y, 2z

)|p = 2p, συνεπώς κάθε θετικός

πραγματικός αριθμός r είναι μια κανονική τιμή της f . ΄Αρα η σφαίρα

S2r = {(x, y, z) ∈ R3 : x2 + y2 + z2 = r2} = f−1

({r2}

)ακτίνας r είναι μια κανονική επιφάνεια του R3

.

Παράδειγμα 2.5. ΄Εστω r,R ∈ R με 0 < r < R. Θεωρούμε τη διαφορίσιμη συνάρτηση

f : U = {(x, y, z) ∈ R3 : x2 + y2 6= 0} → R


με τιμή

f(x, y, z) = z2 +(√

x2 + y2 −R)2.

Θεωρούμε την αντίστροφη εικόνα αυτής

T2 = f−1({r2}

)= {(x, y, z) ∈ R3 : z2 +

(√x2 + y2 −R

)2= r2}.

Τότε η κλίση της f στο p = (x, y, z) είναι

∇f(p) =2√

x2 + y2

(x(√x2 + y2 −R), y(

√x2 + y2 −R), z

√x2 + y2

).

Ισχυριζόμαστε ότι το r2είναι μια κανονική τιμή της f . Πράγματι, αν το p ∈ T2

ήταν τέτοιο ώστε∇f(p) = 0,

τότε z = 0, άρα θα ήταν

∇f(p) =2r√x2 + y2

(x, y, 0) 6= 0,

άτοπο. Συνεπώς, το σύνολο T2είναι μια κανονική επιφάνεια του R3

, η οποία ονομάζεται δακτύλιος ή τόρος

(torus)

Σχήμα 2.3: Ο τόρος T2.

Με την ίδια μέθοδο των Παραδειγμάτων 2.4 και 2.5 μπορούμε εύκολα να αποδείξουμε ότι οι επόμενες

εξισώσεις ορίζουν κανονικές επιφάνειες:

Ελλειψοειδέςx2

a2+y2

b2+z2

c2= 1

Μονόχωνο υπερβολοειδέςx2

a2+y2

b2− z2

c2= 1

Δίχωνο υπερβολοειδέςx2

a2− y2

b2− z2

c2= 1

Υπερβολικό παραβολοειδέςx2

a2− y2

b2− z = 0,

για a, b, c 6= 0.

Ερχόμαστε τώρα σε μια εναλλακτική περιγραφή μιας επιφάνειας (ή καλύτερα τμήματος επιφάνειας). Η

διαδικασία αυτή αποτελεί γενίκευση της περιγραφής μιας καμπύλης μέσω απεικονίσεων παραμέτρησης.

Ορισμός 2.3. Μια κανονική παραμετρημένη επιφάνεια (regular parametrized surface) είναι μια απεικό-

νιση X : U ⊂ R2 → R3(U ανοικτό υποσύνολο του R2

) τέτοια ώστε για κάθε q ∈ U να ισχύει

Xu(q)×Xv(q) 6= 0. (∗)


Παρατηρήσεις

1. Η εικόνα X(U) ονομάζεται και τμήμα επιφάνειας.

2. Η συνθήκη (∗) είναι ισοδύναμη με το ότι το διαφορικό DX(q) : R2 → R3είναι 1-1.

3. Μια κανονική παραμετρημένη επιφάνεια ονομάζεται και εμβαπτισμένη (immersed) επιφάνεια του R3.

Ορισμός 2.4. ΄Εστω M μια κανονική επιφάνεια του R3. Μια διαφορίσιμη απεικόνιση X : U ⊂ R2 →M

(U ανοικτό) αποτελεί μια παραμέτρηση (parametrization) της M εάν:

1. η X είναι επί.

2. Για κάθε p ∈ U υπάρχει ανοικτή περιοχή Up 3 p τέτοια ώστε η απεικόνιση X|Up : Up → X(Up) να

είναι μια τοπική παραμέτρηση της M .

΄Εστω X(U) ένα τμήμα μιας επιφάνειας η οποία να ορίζεται απο την απεικόνιση X : U ⊂ R2 → R3. Ας

θεωρήσουμε το σημείο q = (u0, v0) ∈ U . Τότε η εικόνα της ευθείας v = v0 μέσω της απεικόνισης X θα

είναι η καμπύλη

γ(u) ≡ X(u, v0)

στην επιφάνειαX(U), η οποία θα διέρχεται από την εικόναX(q) του σημείου q. Η επιφανειακή αυτή καμπύλη

θα ονομάζεται u-καμπύλη. Εντελώς ανάλογα, η εικόνα της ευθείας u = u0 του επιπέδου U ⊂ R2μέσω

της απεικόνισης X, είναι η καμπύλη με εξίσωση

γ(v) ≡ X(u0, v)

στην επιφάνεια X(U), η οποία θα διέρχεται επίσης, από την είκονα X(q) του σημείου q και ονομάζεται

v-καμπύλη.

Αν τώρα επιτρέψουμε τις μεταβλητές u, v να πάρουν όλες τις τιμές από το πεδίο ορισμού U , τότε ορίζεται

ένα πλέγμα ευθειών οριζοντίων και καθέτων, τέτοιο ώστε από κάθε σημείο q του U να διέρχεται μοναδικό

ζεύγος τέτοιων ευθειών. Η εικόνα αυτού του πλέγματος μέσω της X ορίζει ένα πλέγμα επιφανειακών

καμπυλών της X(U) που την καλύπτουν. Δηλαδή από κάθε σημείο q = (u0, v0) της X(U) διέρχεται μία

και μοναδική u-καμπύλη, η v = v0 και μία και μοναδική v-καμπύλη, η u = u0. Το ζεύγος (u0, v0) λέγεται

ζεύγος καμπυλόγραμμων συντεταγμένων του σημείου q.

Ορισμός 2.5. ΄Εστω X : U ⊂ R2 → M μια τοπική παραμέτρηση της επιφάνειας M . Τότε για κάθε

σημείο (u0, v0) του U :

(1) Το διάνυσμα της ταχύτητας της u-παραμετρικής καμπύλης, v = v0, συμβολίζεται με Xu(u0, v0).

(2) Το διάνυσμα της ταχύτητας της v-παραμετρικής καμπύλης, u = u0, συμβολίζεται με Xv(u0, v0).

Παράδειγμα 2.6. Θα δώσουμε δύο διαφορετικές παραμετρήσεις του επιπέδου Oxy και θα ορίσουμε

τις παραμετρικές καμπύλες αυτού. Θεωρούμε την εξίσωση X(u, v) = (u, v, 0). Η συνάρτηση αυτή είναι

διαφορίσιμη και επιπλέον Xu × Xv 6= 0, άρα είναι πράγματι μια παραμέτρηση του επιπέδου z = 0. Το

πλέγμα των παραμετρικών γραμμών αυτού, ορίζεται από τις ευθείες u = u0, v = v0, όπου (u0, v0) ∈ R2,

που είναι ευθείες παράλληλες προς τους άξονες των συντεταγμένων. Ας θεωρήσουμε τώρα την εξίσωση


X(u, v) = (u cos v, u sin v, 0). Η παράσταση αυτή είναι επίσης, όπως εύκολα αναγνωρίζεται, μια παραμέ-

τρηση του επιπέδου, εκτός του σημείου (0, 0, 0). Το πλέγμα των παραμετρικών γραμμών στην περίπτωση

αυτή αποτελείται από τις ακόλουθες καμπύλες:

(α) Τις u-καμπύλες (v = v0) που ορίζονται από την εξίσωση

X(u, v0) = (u cos v0, u sin v0, 0).

Οι παραμετρικές εξισώσεις αυτών των καμπυλών (για τα διάφορα v0) είναι x = u cos v0 και y =

u sin v0. Απαλείφοντας την παράμετρο u μεταξύ αυτών των εξισώσεων, έχουμε

y = x tan v0.

Αλλά η τελευταία εξίσωση για τα διάφορα v0 ∈ [0, 2π] εκφράζει οικογένεια ευθειών οι οποίες διέρ-

χονται από την αρχή O(0, 0) των συνταταγμένων.

(β) Τις v-καμπύλες (u = u0), που ορίζονται από την εξίσωση

X(u0, v) = (u0 cos v, u0 sin v, 0).

Οι παραμετρικές εξισώσεις αυτών των καμπυλών είναι x = u0 cos v και y = u0 sin v. Απαλείφοντας

την παράμετρο v μεταξύ αυτών, έχουμε

x2 + y2 = u20.

Η εξίσωση όμως αυτή για τα διάφορα u0 ∈ R \ {0} εκφράζει μια οικογένεια κύκλων κέντρου (0, 0).

΄Ετσι κάθε σημείο του επιπέδου (u0, v0) ορίζεται από την τομή της ευθείας y = x tan v0 και του

κύκλου x2 + y2 = u20.

Παράδειγμα 2.7. Ο δακτύλιος T2του Παραδείγματος 2.5 προκύπτει με περιστροφή του κύκλου {(x, 0, z) ∈

R3 : z2 + (x−R)2 = r2} του επιπέδου (x, z), περί τον άξονα z (βλ. Σχήμα 2.4).

Σχήμα 2.4: Ο δακτύλιος T2ως επιφάνεια εκ περιστροφής.

Συνεπώς, μπορούμε να παραμετρήσουμε τοπικά τον δακτύλιο μέσω της απεικόνισης (τοπική παραμέτρη-

ση)

X : R2 → T2

X(u, v) =

cos v − sin v 0

sin v cos v 0

0 0 1

R+ r cosu

0

r sinu

.


Παράδειγμα 2.8. Θεωρούμε τη μοναδιαία σφαίρα S2του R3

. Μια τοπική παραμέτρηση της σφαίρας S2

με γεωγραφικές συντεταγμένες είναι η απεικόνιση

X : U = {(θ, φ) : −π/2 < θ < π/2, 0 < φ < 2π} → S2

X(θ, φ) =(

cos θ cosφ, cos θ sinφ, sin θ).

Σημειώστε ότι X(U) = S2 \ C, όπου C = {(x, 0, z) ∈ S2 : x ≥ 0} είναι ένας μέγιστος κύκλος της S2.

Παράδειγμα 2.9. ΄Εστω γ = (r, 0, z) : I → R2μια κανονική καμπύλη στο επίπεδο (x, z) τέτοια ώστε

r(s) > 0 και r(s)2 + z(s)2 = 1 για κάθε s ∈ I. Περιστρέφοντας την καμπύλη αυτή περί τον άξονα z,

προκύπτει μια κανονική επιφάνεια εκ περιστροφής (surface of revolution), η οποία παραμετροποιείται μέσω

της απεικόνισης

X : R2 → R3

X(u, v) =

cos v − sin v 0

sin v cos v 0

0 0 1

r(u)

0

z(u)

=

r(u) cos v

r(u) sin v

z(u)

.

Σχήμα 2.5: Επειφάνειες εκ περιστροφής.

Παρατήρηση

Η καμπύλη γ ονομάζεται γενέτειρα (generating curve) και ο άξονας z καλείται άξονας περιστροφής της

επιφάνειας. Τα σημεία της γ, κατά την περιστροφή της, διαγράφουν κύκλους, τους οποίους καλούμε

παραλλήλους της επιφάνειας, ενώ η καμπύλη γ και οι νέες θέσεις της (κατά την περιστροφή) αποτελούν

τους μεσημβρινούς της επιφάνειας.

Ορισμός 2.6. ΄Εστω M μια κανονική επιφάνεια του R3. Μια συνεχής απεικόνιση γ : I → M (I ⊂ R

ανοικτό) ονομάζεται λεία (ή διαφορίσιμη) καμπύλη στην M , εάν η γ είναι διαφορίσιμη ως απεικόνιση με

τιμές στο R3.

Λείες απεικονίσεις 11

΄Εστω γ1 : I →M και γ2 : J →M δύο επιφανειακές καμπύλες οι οποίες τέμνονται στο σημείο p ∈M ,δηλαδή υπάρχει t0 ∈ I και s0 ∈ J τέτοια ώστε γ1(t0) = γ2(s0) = p. Η γωνία των δύο καμπυλών είναι ίση

με τη γωνία που σχηματίζουν τα εφαπτόμενα διανύσματα στο σημείο τομής αυτών, δηλαδή

cos θ =〈γ′1(t0), γ′2(s0)〉‖γ′1(t0)‖ · ‖γ′2(s0)‖

Θα κλείσουμε το κεφάλαιο αυτό ορίζοντας την έννοια της διαφορίσιμης απεικόνισης μεταξύ επιφανειών.

2.1 Λείες απεικονίσεις

Θέλουμε να ορίσουμε την έννοια της λείας απεικόνισης f : M1 → M2, όπου M1 και M2 είναι κανονικές

επιφάνειες. Δεν είναι προφανές πώς μπορούμε να το κάνουμε αυτό, διότι ως τώρα γνωρίζουμε πώς να

ορίζουμε λείες απεικονίσεις μεταξύ ανοικτών υποσυνόλων Ευκλείδειων χώρων. Αρχίζουμε με μια ειδική

περίπτωση.

Ορισμός 2.7. ΄Εστω M μια κανονική επιφάνεια του R3. Μια πραγματική συνάρτηση f : M → R

ονομάζεται λεία ή διαφορίσιμη (smooth or differentiable), εάν για κάθε τοπική αναπαράσταση X : U →M

της M , η σύνθεση f ◦X : U ⊂ R2 → R είναι διαφορίσιμη.

Σχήμα 2.6: Η απεικόνιση f ◦X : U ⊂ R2 → R.

Πρόταση 2.2. ΄Εστω M μια κανονική επιφάνεια του R3και f : M → R. Η απεικόνιση f είναι λεία εάν

και μόνο εάν, για κάθε τοπική παραμέτρηση X : U ⊂ R2 →M , η απεικόνιση f ◦X είναι λεία.

Απόδειξη. Υποθέτουμε πρώτα ότι η απεικόνιση f είναι λεία. Σύμφωνα με τον Ορισμό 2.7, υπάρχει τοπική

αναπαράσταση Y : V →M της M τέτοια ώστε η

f ◦ Y : V → R


να είναι λεία. Συνεπώς, η απεικόνιση f ◦X = f ◦ Y ◦ Y −1 ◦X : U ∩ V → R είναι λεία ως σύνθεση τωνλείων απεικονίσεων f ◦ Y και Y −1 ◦X. Το αντίστροφο είναι προφανές.

Ορισμός 2.8. Μια απεικόνιση φ : M1 →M2 μεταξύ δύο κανονικών επιφανειών του R3ονομάζεται λεία ή

διαφορίσιμη, εάν για κάθε δύο τοπικές παραμετρήσεις (U1, X1) της M1 και (U2, X2) της M2 η απεικόνιση

X−12 ◦ φ ◦X1

∣∣U

: U ⊂ R2 → R2,

που ορίζεται στο ανοικτό U = X−11

(X1(U1) ∩ φ−1

(X2(U2)

))⊂ R2, είναι διαφορίσιμη.

Σχήμα 2.7: Η απεικόνιση X−12 ◦ φ ◦X1

∣∣U

: U ⊂ R2 → R2.

Πρόταση 2.3. ΄Εστω φ1 : M1 → M2 και φ2 : M2 → M3 δύο λείες απεικονίσεις μεταξύ κανονικών

επιφανειών του R3. Τότε η σύνθεση φ2 ◦ φ1 : M1 →M3 είναι λεία.

Απόδειξη. Επειδή η απεικόνιση φ1 είναι λεία μεταξύ δύο κανονικών επιφανειών του R3, τότε από τον Ορισμό

2.8, για κάθε δύο παραμετρήσεις X1 : U1 →M1 και X2 : U2 →M2 η σύνθεση

X−12 ◦ φ1 ◦X1 : X−1

1

(X1(U1) ∩ φ−1(X2(U2))

)⊂ R2 → R2

θα είναι λεία. Ομοίως, για τη λεία απεικόνιση φ2, για κάθε δύο τοπικές παραμετρήσεις θα έχουμε ότι η

απεικόνιση

X−13 ◦ φ2 ◦X2 : X−1

2

(X2(U2) ∩ φ−1

2 (X3(U3)))⊂ R2 → R2

θα είναι λεία. Για τη σύνθεση φ2 ◦ φ1 : M1 → M3 παρατηρούμε ότι, αν επιλέξουμε τις παραμετρήσεις

X1 : U1 ⊂ R2 → R και X3 : U3 ⊂ R2 → R, τότε η απεικόνιση

X−13 ◦ (φ2 ◦ φ1) ◦X1 : W ⊂ R2 → R2

είναι λεία στο ανοικτό σύνολο W = X−11

(X1(U1) ∩ (φ2 ◦ φ1)−1(X3(U3))

), ως σύνθεση των λείων απεικο-

νίσεων X−13 ◦ φ2 ◦X2 και X

−12 ◦ φ1 ◦X1.

Λυμένα παραδείγματα 13

Πρόταση 2.4. ΄Εστω M1,M2 κανονικές επιφάνειες του R3και φ : U ⊂ R3 → R3

διαφορίσιμη απεικόνιση

στο ανοικτό U , τέτοια ώστε M1 ⊂ U και φ(M1) ⊂ M2. Τότε ο περιορισμός φ|M1 : M1 → M2 είναι λεία

απεικόνιση μεταξύ των δύο επιφανειών.

Απόδειξη. ΄Εστω p τυχαίο σημείο της M1 και X1 : U1 ⊂ R2 → M1, X2 : U2 ⊂ R2 → M2 δύο παραμετρή-

σεις, γύρω από τα σημεία p και φ(p) αντίστοιχα, τέτοιες ώστε p ∈ X1(U1), φ(X1(U1)) ⊂ X2(U2). Τότε

όμως, η απεικόνιση

X−12 ◦ φ ◦X1 : U1 ⊂ R2 → U2 ⊂ R2

είναι διαφορίσιμη στο X1(p), ως σύνθεση των διαφορίσιμων απεικονίσεων X−12 και φ ◦X1. Αλλά είναι

X−12 ◦ φ ◦X1 = X−1

2 ◦ φ|M1 ◦X1,

οπότε η απεικόνιση φ|M1 είναι διαφορίσιμη στο σημείο p. Επειδή όμως το σημείο p είναι ένα τυχαίο σημείο

της M1, η απεικόνιση φ|M1 : M1 →M2 θα είναι διαφορίσιμη.

Παράδειγμα 2.10. ΄Εστω f : R3 → R3, f(x, y, z) = (ax, by, cz) με abc > 0. Προφανώς η f είναι

διαφορίσιμη. Ο περιορισμός της f στη σφαίρα S2είναι μια διαφορίσιμη απεικόνιση από την σφαίρα σε ένα

ελλειψοειδές, όπου η σφαίρα είναι το σύνολο

S2 = {(x, y, z) ∈ R3 : x2 + y2 + z2 = 1}

και το ελλειψοειδές είναι το σύνολο

E = {(x, y, z) ∈ R3 :x2

a2+y2

b2+z2

c2= 1}.

Ορισμός 2.9. Μια διαφορίσιμη απεικόνιση φ : M1 → M2 μεταξύ δύο κανονικών επιφανειών του R3

ονομάζεται αμφιδιαφόριση (diffeomorphism), εάν είναι 1-1, επί και η αντίστροφη φ−1 : M2 → M1 είναι

διαφορίσιμη. Τότε οι επιφάνειες M1 και M2 ονομάζονται αμφιδιαφορικές.

Παράδειγμα 2.11. Η απεικόνιση f : S2 → S2με f(x, y, z) = (−x,−y,−z) είναι αμφιδιαφόριση. Πράγ-

ματι, παρατηρούμε ότι η f είναι 1-1 και επί με f−1 = f . Επίσης, η f είναι ο περιορισμός (επί της S2) της

διαφορίσιμης απεικόνισης

F : R3 → R3, (x, y, z) 7→ (−x,−y,−z).

΄Αρα σύμφωνα με την Πρόταση 2.4, η f είναι επίσης διαφορίσιμη

Πρόταση 2.5. ΄Εστω f : M1 → M2 μια αμφιδιαφόριση. Εάν X1 είναι μια τοπική παραμέτρηση της

επιφάνειας M1, τότε η f ◦X1 είναι μια τοπική παραμέτρηση της επιφάνειας M2.

Μερικές φορές θα φανεί χρήσιμο αντί των αμφιδιαφορίσεων να θεωρούμε λείες απεικονίσεις που ι-

κανοποιούν μια ελαφρώς ασθενέστερη συνθήκη. Μια λεία απεικόνιση f : M1 → M2 καλείται τοπική

αμφιδιαφόριση, εάν για κάθε σημείο p ∈ M1 υπάρχει ανοικτό υποσύνολο U της M1, τέτοιο ώστε το f(U)

να είναι ανοικτό υποσύνολο τηςM2 και η f |U : U → f(U) να είναι αμφιδιαφόριση. Είναι προφανές ότι κάθε

αμφιδιαφόριση είναι τοπική αμφιδιαφόριση (αρκεί να πάρουμε U = M1). Επιπλέον, η Πρόταση 2.5 ισχύει αν

η f είναι τοπική αμφιδιαφόριση, υπό τον όρο ότι ο περιορισμός της στην εικόνα του X1 είναι 1-1.


2.2 Λυμένα παραδείγματα

Παράδειγμα 2.12. ΄Εστω X : U → R3, X(u, v) = (u cosh v, u sinh v, u2) όπου U = {(u, v) ∈ R2 : u >

0}. Αποδείξτε ότι η X αποτελεί μια κανονική παραμέτρηση (του τμήματος) της επιφάνειας του υπερβολικούπαραβολοειδούς

M = {(x, y, z) ∈ R3 : z = x2 − y2}.

Λύση

΄Εστω X(u, v) = (x, y, z). Τότε x2 − y2 = u2(

cosh2 v − sinh2 v)

= u2, άρα X(u, v) ∈ M για κάθε

(u, v) ∈ U . ΄Εστω V = X(U). Πρέπει να δείξουμε τα εξής:

α) η X είναι 1− 1

β) η X είναι διαφορίσιμη (άρα συνεχής)

γ) η X−1 : V → U είναι συνεχής

δ) ισχύει Xu ×Xv 6= 0 για κάθε (u, v) ∈ U .

Πράγματι,

α) ΄Εστω X(u1, v1) = X(u2, v2). Τότε προκύπτει το σύστημα

u1 cosh v1 = u2 cosh v2

u1 sinh v1 = u2 sinh v2

u21 = u2

2.

Η τρίτη εξίσωση δίνει u1 = ±u2 και επειδή u1, u2 > 0 παίρνουμε u1 = u2. Λόγω του ότι η συνάρτηση sinh

είναι 1-1 προκύπτει ότι v1 = v2, άρα η X είναι 1-1.

β) ΗX είναι διαφορίσιμη επειδή οι συνιστώσες συναρτήσεις της είναι διαφορίσιμες πραγματικές συναρτήσεις.

γ) Για να βρούμε την αντίστροφη X−1 : V → U πρέπει να λύσουμε το σύστημα των εξισώσεων

x = u cosh v, y = u sinh v, z = u2

ως προς u, v. Είναι u =√z, v = tanh−1 y

x άρα η αντίστροφη είναι

X−1 : V → U, (x, y, z) 7→ (u, v) =(√z, tanh−1 y

x

),

η οποία είναι συνεχής. Συνεπώς, η X είναι ομοιομορφισμός.

δ) Είναι Xu =(

cosh v, sinh v, 2u), Xv =

(u sinh v, u sinh v, 0

), άρα

Xu ×Xv =(− 2u2 cosh v, 2u2 sinh v, u

)6= (0, 0, 0) για κάθε (u, v) ∈ U.

Παράδειγμα 2.13. Να δείξετε ότι η συνάρτηση X : (0,∞) × (0,∞) → R3, X(u, v) = (u, 2u, uv2)

αποτελεί παραμέτρηση επιφάνειας.

Λυμένα παραδείγματα 15

Λύση

Η X είναι λεία, αφού οι μερικές παράγωγοι των u, 2u, uv2είναι συνεχείς και επίσης είναι 1-1, επειδή

X(u1, v1) = X(u2, v2)⇒ (u1, v1) = (u2, v2).

Η αντίστροφη απεικόνιση δίνεται ως

X−1(x, y, z) =

(x,

√z

x

),

η οποία είναι συνεχής, αφού για κάθε (x, y, z) ∈ X(U) ισχύει ότι x 6= 0 (και x, z > 0). Τέλος, με απλούς

υπολογισμούς βρίσκουμε ότι

Xu ×Xv = (4uv,−2uv, 0) 6= (0, 0, 0),

οπότε η απεικόνιση X αποτελεί μια παραμέτρηση μιας επιφάνειας.

Παράδειγμα 2.14. Εξετάστε εάν το σύνολοM = {(x, y, z) ∈ R3 : x−z+f(y−z) = 0}, όπου f : R→ Rμια διαφορίσιμη συνάρτηση, είναι μια κανονική επιφάνεια.

Λύση

Θεωρούμε την απεικόνιση F : R3 → R με F (x, y, z) = x− z + f(y − z). ΄Εχουμε ότι M = F−1({0}). Ηαπεικόνιση F είναι διαφορίσιμη και

∇F (x, y, z) = (1, f ′(y − z),−1− f ′(y − z)).

Παρατηρούμε ότι για κάθε (x, y, z) ∈ M είναι ∇F (x, y, z) 6= (0, 0, 0), άρα όλα τα σημεία του συνόλου

M = F−1({0}) είναι κανονικά, επομένως το M είναι μια κανονική επιφάνεια.

Παράδειγμα 2.15. Να δειχθεί ότι το σύνολο M = {(x, y, z) ∈ R3 : xy + xz − zy + y2 = 2} είναι μιακανονική επιφάνεια και να βρείτε μια παραμέτρηση αυτής σε μια περιοχή του σημείου (1, 1,−1).

Λύση

Θέτουμε F (x, y, z) = xy + xz − zy + y2 − 2, οπότε M = F−1({0}). Αρκεί να δείξουμε ότι το σύνολο Mδεν περιέχει κρίσιμα σημεία. Είναι

∇F (x, y, z) = (y + z, x− z + 2y, x− y).

Τα κρίσιμα σημεία της F είναι τα σημεία για τα οποία ισχύει ∇F (x, y, z) = (0, 0, 0), δηλαδή

y + z = 0, x− z + 2y = 0, x− y = 0 ⇔ x = y = z = 0.

Το (0, 0, 0) δεν ανήκει στο σύνολο M , οπότε το M αποτελεί μια κανονική επιφάνεια του R3. Προκειμένου

να βρούμε μια παραμέτρηση θα λύσουμε ως προς y. Επειδή είναι y2 + y(x− z)− 2 + xz = 0 παίρνουμε

y =−(x− z)±

√(z − x)2 − 4(xz − 2)

2.

Το σημείο (1, 1,−1) ικανοποιεί την παραπάνω εξίσωση μόνο όταν πάρουμε το +. ΄Αρα θέτοντας

X(u, v) =(u,−u+ v +

√(u− v)2 + 8− 4uv

2, v)

έχουμε μια παραμέτρηση της επιφάνειας M σε μια περιοχή του σημείου (1, 1,−1).


Παράδειγμα 2.16. Να βρεθούν οι τιμές του c ∈ R για τις οποίες το σύνολο

S = {(x, y, z) ∈ R3 : 4x5 + 2y3 − y + 3z2 = c}

είναι μια κανονική επιφάνεια του R3

Λύση

΄Εστω f : R3 → R με f(x, y, z) = 4x5 + 2y3 − y + 3z2. Τότε S = f−1(c). Για να είναι το σύνολο S

κανονική επιφάνεια, θα πρέπει να μην περιέχει κρίσιμα σημεία. ΄Εχουμε

∇f(x, y, z) = 0 ⇔ (∂f

∂x,∂f

∂y,∂f

∂z) = (0, 0, 0)

⇔ (20x4, 6y2 − 1, 6z) = (0, 0, 0)

⇔ (x, y, z) = (0,± 1√6, 0),

άρα τα κρίσιμα σημεία της f είναι τα (0, 1√6, 0), (0,− 1√

6, 0). Εάν (0, 1√

6, 0) ∈ f−1(c) τότε f((0, 1√

6, 0)) = c

δηλαδή c = − 2

3√

6. Παρόμοια, εάν (0,− 1√

6, 0) ∈ f−1(c) τότε θα είναι c =

2

3√

6. Επομένως το σύνολο

S = f−1(c) ορίζει μια κανονική επιφάνεια για κάθε c ∈ R \ {± 2

3√

6}.

Παράδειγμα 2.17. Ποιό από τα παρακάτω υποσύνολα του R3αποτελεί μια κανονική επιφάνεια;

α) M1 = {(x, y, z) ∈ R3 : x2 + y2 = z}

β) M2 = {(x, y, z) ∈ R3 : x2 + y2 = z2}.

Σε θετική περίπτωση βρείτε μια παραμέτρηση της επιφάνειας.

Λύση

α) Θεωρούμε τη συνάρτηση f : R3 → R, f(x, y, z) = x2 + y2 − z. Τότε M1 = f−1(0) και

∇f = (2x, 2y,−1) 6= (0, 0, 0) για κάθε (x, y, z) ∈ R3.

Μια παραμέτρηση της M1 είναι η X(u, v) = (u, v, u2 + v2).

β) Θεωρούμε τη συνάρτηση f : R3 → R, f(x, y, z) = x2 + y2 − z2. Τότε M2 = f−1(0) και

∇f = (2x, 2y,−2z)

το οποίο είναι μη μηδενικό διάνυσμα για κάθε (x, y, z) ∈M2\{(0, 0, 0)}. ΄Αρα ηM2 είναι κανονική επιφάνεια

σε κάθε σημείο, εκτός από το (0, 0, 0) όπου δεν είναι κανονική. Παραπέμπουμε στη βιβλιογραφία για πλήρη

απόδειξη του σημείου αυτού. Μια παραμέτρηση των δύο κανονικών τμημάτων της M2 είναι

X± : R2 \ {(0, 0)} → R3, X±(u, v) =(u, v,±

√u2 + v2

).

Παράδειγμα 2.18. Να κατασκευαστεί μια αμφιδιαφόριση μεταξύ του ελλειψοειδούς

E = {(x, y, z) ∈ R3 :x2

a2+y2

b2+z2

c2= 1}, abc 6= 0

και της μοναδιαίας σφαίρας με κέντρο το 0, δηλαδή S2 = {(x, y, z) ∈ R3 : x2 + y2 + z2 = 1}.

Ασκήσεις 17

Λύση

Θεωρούμε την απεικόνιση F : R3 → R3με F (x, y, z) = (

x

a,y

b,z

c), η οποία είναι, προφανώς αμφιδιαφόριση,

με αντίστροφη την F−1 : R3 → R3, (x, y, z) 7→ (ax, by, cz). Εύκολα προκύπτει ότι F (E) ⊂ S2

και

F−1(S2) ⊂ E. Επομένως, η απεικόνιση

f = F |S : E → S2

είναι μια αμφιδιαφόριση.

2.3 Ασκήσεις

1. Ποιό από τα παρακάτω υποσύνολα του R3αποτελεί μια κανονική επιφάνεια;

M1 ={

(x, y, z) ∈ R3 : x2 + y2 = z}

M2 ={

(x, y, z) ∈ R3 : x2 + y2 = z2}

M3 ={

(x, y, z) ∈ R3 : x2 + y2 − z2 = 1}

M4 ={

(x, y, z) ∈ R3 : x sin z = y cos z}.

Για τα σύνολα τα οποία αποτελούν μια κανονική επιφάνεια του R3, βρείτε μια παραμέτρηση.

2. Βρείτε μια παραμέτρηση του επιπέδου ax+ by + cz = d του R3.

3. Κατασκευάστε μια αμφιδιαφόριση ϕ : S2 →M μεταξύ της μοναδιαίας σφαίρας S2και του ελλειψοειδούς

M ={

(x, y, z) ∈ R3 : x2 + 2y2 + 3z2 = 1}.

4. ΄Εστω U ={

(u, v) ∈ R2 : −π < u < π , 0 < v < 1}και X : U → R3

με X(u, v) = (sinu, sin(2u), v).

΄ΕστωM = X(U). Σχεδιάστε το γράφημα του συνόλουM και δείξτε ότι η X είναι διαφορίσιμη, 1-1 και ότι

είναι μια κανονική παραμέτρηση, παρόλα αυτά δείξτε ότι η X−1δεν είναι συνεχής. Είναι η M μια κανονική

επιφάνεια του R3 ;

5. Εργαστείτε όπως στο Παράδειγμα 2.6, για τις επιφάνειες που ορίζονται ως ακολούθως:

(1) Την σφαίρα X(u, v) = (r cosu sin v, r sinu sin v, r cos v), 0 ≤ u ≤ 2π, −π2≤ v ≤ π

2

(2) Τον κώνο X(u, v) = (u cos v, u sin v, αu)

(3) Τον κύλινδρο X(u, v) = (α cosu, α sin v, βv)

(4) Το ελλειψοειδές X(u, v) = (α cosu cos v, β sinu cos v, γ sin v)

(5) Το υπερβολικό παραβολοειδές X(u, v) = (αu coshu, βu sinh v, u2)

6. ΄Εστω f(x, y, z) = (x+y+z−1)−1και g(x, y, z) = xyz2

. Να βρεθούν τα κρίσιμα σημεία και οι κρίσιμες

τιμές των f, g. Για ποιές τιμές του c είναι τα σύνολα f−1({c}) και g−1({c}) κανονικές επιφάνειες του R3;

7. Να δικαιολογηθεί γιατί το ελλειπτικό παραβολοειδές, που καθορίζεται από την εξίσωση z = x2 + y2,

είναι αμφιδιαφορικό με ένα επίπεδο.


8. Να αποδειχθεί ότι η απεικόνιση X : U → R3με X(u, v) = (a cosu sin v, b sinu sin v, c cos v), όπου

U = R× (0, π), είναι παραμέτρηση του ελλειψοειδούς. Να περιγραφούν οι u- και v-καμπύλες.

9. ΄Εστω a, b 6= 0. Αποδείξτε ότι οι εξισώσεις x2 + y2 + z2 = ay και x2 + y2 + z2 = bz ορίζουν κανονικές

επιφάνειες του R3. Στη συνέχεια, αποδείξτε ότι οι επιφάνειες αυτές τέμνονται κάθετα.

Βιβλιογραφία

[1] M. Abate and F. Torena, Curves and Surfaces, Springer 2012.

[2] C. Bar, Elementary Differential Geometry, Cambridge Univ. Press 2010.

[3] M. P. do Carmo, Differential Geometry of Curves and Surfaces, Prentice-Hall 1976.

[4] J. Oprea, Differential Geometry and Its Applications, The Mathematical Assocation of America,

2007.

[5] Β. Ι. Παπαντωνίου, Διαφορική Γεωμετρία, Εκδ. Πανεπιστ. Πατρών, Πάτρα, 2013.

[6] A. Pressley, Elementary Differential Geometry, Second Edition, Springer 2010. Μετάφραση: Στοι-

χειώδης Διαφορική Γεωμετρία, Πανεπιστημιακές Εκδόσεις Κρήτης, Κρήτη 2012.

19

KanonikŁc epif‹neiec · Kef‹laio 2 KanonikŁc epif‹neiec SÔnoyh ProkeimŁnou na or—soume...

Documents

Transcript of KanonikŁc epif‹neiec · Kef‹laio 2 KanonikŁc epif‹neiec SÔnoyh ProkeimŁnou na or—soume...