Κεφάλαιο 6 Το Θαυμαστό Θεώρημα Σύνοψη Στο Κεφάλαιο αυτό αποδεικνύουμε ένα από τα δύο κεντρικά θεωρήματα της θεωρίας επιφανειών το άλλο είναι το Θεώρημα των auss-bonnet. Το θεώρημα αυτό είναι γνωστό ως Θαυμαστό Θεώρημα Theorema gregium και αποδείχτηκε απο τον Johann Carl Friedrich auss το 828. Ο auss εντυπωσιάστηκε από το γεγονός ότι η καμπυλότητα μιας επιφάνειας, αν και ορίζεται ως μέγεθος το οποίο εξαρτάται από τον τρόπο που βλέπουμε την επιφάνεια εξωτερικά, τελικά εξαρτάται μόνο από την εσωτερική γεωμετρία της επιφάνειας, δηλαδή τη μετρική. Με άλλα λόγια, η καμπυλότητα auss είναι μια ισομετρική αναλλοίωτη. Στο Κεφάλαιο 5 είδαμε ότι η καμπυλότητα auss σε οποιοδήποτε σημείο μιας επιφάνειας M δίνεται από την σχέση K = eg f 2, δηλαδή εξαρτάται τόσο από την πρώτη όσο και από τη δεύτερη θεμελιώδη F 2 μορφή. Γεωμετρικά, αυτό σημαίνει ότι για να διαπιστώσουμε την κύρτωση μιας επιφάνειας, πρέπει να την παρατηρήσουμε από μακριά. Αυτό το οποίο απέδειξε ο auss και το θεώρησε ως Θαυμαστό Θεώρημα Theorema gregium είναι ότι η ποσότητα eg f 2 είναι δυνατόν να εκφραστεί συναρτήσει των ποσοτήτων, F, εσωτερικές ποσότητες της επιφάνειας, αν και από μόνες τους οι ποσότητες e, f, g δεν είναι εσωτερικές ποσότητες της επιφάνειας. Συνεπώς, η καμπυλότητα auss μιας επιφάνειας μπορεί να πιστοποιηθεί μετρηθεί από έναν παρατηρητή ο οποίος βρίσκεται επάνω στην επιφάνεια και όχι εκτός αυτής. Το αποτέλεσμα αυτό του auss χρησιμοποίησε αρκετά αργότερα ο μαθητής του eorg Friedrich Bernhard Riemann, προκειμένου να ορίσει έννοια καμπυλότητας σε έναν χώρο οποιασδήποτε διάστασης, γνωστός σήμερα ως λεία πολλαπλότητα. Για περισσότερες πληροφορίες προτείνουμε τα βιβλία [], [2], [3], [4], [5], [6], [7], [8], [9]. Προαπαιτούμενη γνώση Διαφορικός Λογισμός μιας και πολλών μεταβλητών, Γραμμική Άλγεβρα. Η διατύπωση του θεωρήματος έχει ως εξής: Θεώρημα 6.. Θαυμαστό Θεώρημα Theorema gregium Εστω M μια κανονική επιφάνεια του R 3. Τότε η καμπυλότητα auss K της M καθορίζεται πλήρως από την πρώτη θεμελιώδη μορφή. Ισοδύναμα, η καμπυλότητα auss παραμένει αναλλοίωτη, όταν η επιφάνεια παραμορφώνεται χωρίς τέντωμα. Κάποια άμεσα συμπεράσματα είναι τα εξής:
2 Το θαυμαστό Θεώρημα Πόρισμα 6.. Εάν δύο επιφάνειες είναι τοπικά ισομετρικές, τότε οι καμπυλότητες auss στα αντίστοιχα σημεία τους είναι ίσες. Πόρισμα 6.2. Δεν υπάρχει τοπική παραμέτρηση της σφαίρας S 2 η οποία να διατηρεί τις αποστάσεις. Ισοδύναμα, δεν είναι δυνατόν να γίνει ένα κομμάτι της σφαίρας επίπεδο, ώστε τα μήκη να διατηρούνται. Απόδειξη. Εστω ότι υπάρχει μια τοπική παραμέτρηση X : U R 2 S 2 η οποία να είναι ισομετρία. Τότε η καμπυλότητα auss του επιπέδου και της σφαίρας θα ήταν ίσες. Αλλά γνωρίζουμε ότι για την σφαίρα η καμπυλότητα auss είναι σταθερή K = 0, που είναι η καμπυλότητα του επιπέδου. Απόδειξη του Θεωρήματος 6.. Θυμίζουμε ότι η καμπυλότητα auss ορίζεται ως η ορίζουσα του τελεστή σχήματος της επιφάνειας, άρα θα πρέπει να εκφράσουμε την ορίζουσα αυτή συναρτήσει των, F,. Εστω X : U M μια τοπική παραμέτρηση της επιφάνειας M. Τότε η πρώτη θεμελιώδης μορφή καθορίζεται από τον πίνακα F F = [DX][DX] t X u, X u X u, X v =. X u, X v X v, X v Είναι γνωστό ότι το σύνολο {X u, X v } αποτελεί μια βάση του εφαπτόμενου χώρου της M στο σημείο Xu, v XU. Χρησιμοποιούμε τη διαδικασία ram-schmidt, προκειμένου να πάρουμε μια ορθοκανονική βάση {Z, W } του εφαπτόμενου χώρου ως εξής: Θέτουμε και και τελικά είναι Z = X u W = X v X v, Z Z = X v X v, X u X u X u, X u W = W W = F 2 X v F X u. = X v F X u, Από τις παραπάνω εκφράσεις των διανυσμάτων Z και W προκύπτει ότι υπάρχουν συναρτήσεις a, b, c : U R, οι οποίες εξαρτώνται μόνο από τις συναρτήσεις, F,, έτσι ώστε Z = ax u, W = bx u + cx v. Ορίζουμε μια τοπική απεικόνιση auss N : XU S 2 ως N = X u X v X u X v = Z W. Τότε το σύνολο {Z, W, N} αποτελεί μια θετικά προσανατολισμένη ορθοκανονική βάση του R 3 επί του ανοικτού XU M δηλαδή για κάθε u, v U είναι NXu, v XU. Συνεπώς, τα διανύσματα Z u, Z v, W u, W v θα γράφονται ως γραμμικός συνδυασμός των στοιχείων της βάσης αυτής ως εξής: Z u = Z u, Z Z + Z u, W W + Z u, N N Z v = Z v, Z Z + Z v, W W + Z v, N N W u = W u, Z Z + W u, W W + W u, N N W v = W v, Z Z + W v, W W + W v, N N.
Το θαυμαστό Θεώρημα 3 Ελέγξτε τις παραπάνω ισότητες παίρνοντας διαδοχικά τα εσωτερικά γινόμενα των διανυσμάτων στο αριστερό μέλος με τα Z, W, N. Επειδή τα διανύσματα Z, W έχουν μέτρο, παραγωγίζουμε τις ισότητες Z, Z = W, W = διαδοχικά ως προς u και v και παίρνουμε ότι Z u, Z = Z v, Z = W u, W = W v, W = 0, συνεπώς οι παραπάνω εκφράσεις των διανυσμάτων Z u, Z v, W u, W v απλουστεύονται ως εξής: Z u = Z u, W W + Z u, N N 6. Z v = Z v, W W + Z v, N N 6.2 W u = W u, Z Z + W u, N N 6.3 W v = W v, Z Z + W v, N N. 6.4 Στη συνέχεια, ο παρακάτω υπολογισμός δείχνει ότι η ποσότητα Z u, W είναι συνάρτηση των, F, : U R και ανάλογα αποδεικνύεται και για την ποσότητα Z v, W άσκηση: Z u, W = ax u u, W = a u X u + ax uu, bx u + cx v = a u b + a u cf + ab X uu, X v + ac X uu, X v = a u b + a u cf + 2 ab u + acf u 2 v. Η απόδειξη θα τελειώσει εκφράζοντας την ποσότητα Z u, W v Z v, W u συναρτήσει της καμπυλότητας auss K και των, F,. Πράγματι, είναι Z u, W v Z v, W u = Z uv, W + Z u, W v Z vu, W Z v, W u = Z u, W v Z v, W u = K F 2, όπου στην τελευταία ισότητα χρησιμοποιήσαμε το παρακάτω λήμμα. Συπεπώς, η καμπυλότητα auss της επιφάνειας M εκφράζεται ως K = Z u, W v Z v, W u, F 2 δηλαδή εξαρτάται μόνο από τις συναρτήσεις, F, και τις παραγώγους αυτών και το θεώρημα αποδείχτηκε. Λήμμα 6.. Με τις παραπάνω υποθέσεις ισχύει η ισότητα Z u, W v Z v, W u = K F 2. a a 2 Απόδειξη. Εστω A = ο πίνακας του τελεστή σχήματος S Xu,v ως προς τη βάση {X u, X v }, a 2 a 22 όπου deta = a a 22 a 2 a 2 = K. Τότε έχουμε ότι N u = a X u + a 2 X v και N v = a 2 X u + a 22 X v,
4 Το θαυμαστό Θεώρημα όπου θυμίζουμε ότι e = N u, X u = N, X uu κλπ. Επίσης, είναι N u N v, N = a X u + a 2 X v a 2 X u + a 22 X v, N = a a 22 a 2 a 2 X u X v, N = K F 2 N, N = K F 2. Ταυτόχρονα όμως, παραγωγίζοντας κατάλληλα την ισότητα N, Z = N, W = 0 ως προς u και v και λαμβάνοντας υπόψη τις σχέσεις 6. 6.4 προκύπτει ότι N u N v, N = N u N v, Z W = N u, Z N v, W N u, W N v, Z = Z u, N N, W v W u, N N, Z v = Z u, W v Z v, W u, και το λήμμα αποδείχτηκε. Από την απόδειξη του θαυμαστού θεωρήματος προκύπτει και η εξής αναμενόμενη πλέον έκφραση της καμπυλότητας K συναρτήσει των, F, και των μερικών παραγώγων τους: K = det 2 vv + F uv 2 uu 2 u F u 2 v F v 2 u F det 2 v F F 2 2 0 2 v 2 u 2 v F 2 u F Ο Frobenius έδωσε στον τύπο αυτό την ακόλουθη συμμετρικότερη μορφή u v [ K = 4 F 2 det 4 F F u F v 2 v F u ] Fv u F 2 v F 2 u F 2 u v Τέλος, στην ειδική περίπτωση που το δίκτυο των παραμετρικών γραμμών επί της επιφάνειας είναι ορθογώνιο δηλαδή η παραμέτρηση της επιφάνειας είναι ορθογώνια, οπότε F = F u = F v = 0, η παραπάνω σχέση γίνεται [ K = + ] u u v v Ολες οι προηγούμενες εκφράσεις είναι χρήσιμες για υπολογισμούς, ιδιαιτέρως όταν γίνεται χρήση υπολογιστή. Το παρακάτω δύσκολο θεώρημα απαντά στο ερώτημα πώς σχετίζονται δύο επιφάνειες με ίσες την πρώτη και δεύτερη θεμελιώδη μορφή. Ferdinand eorg Frobenius 6.5
Λυμένα παραδείγματα 5 Θεώρημα 6.2. Εστω M, M 2 δύο κανονικές επιφάνειες του R 3 και έστω φ : M M 2 μια αμφιδιαφόριση που διατηρεί την πρώτη και δεύτερη θεμελιώδη μορφή των M και M 2 αντίστοιχα, δηλαδή ισχύει I p X, Y = I φp dφp X, dφ p Y II p X, Y = II p dφp X, dφ p Y για κάθε p M, X, Y T p M. Τότε η φ : M M 2 είναι ο περιορισμός φ = Φ M στερεάς κίνησης Φ : R 3 R 3 περιορισμένη στην επιφάνεια M. : M M 2 μιας Ερώτημα-Προβληματισμός. Θα θέλαμε να προσκαλέσουμε τον αναγνώστη να προβληματιστεί κατά πόσον το αποτέλεσμα του Θαυμαστού Θεωρήματος είναι απόρροια κάποιων τυχαίων ακροβασιών με παραγωγίσεις, ή υπάρχει κάποια βαθύτερη μαθηματική αιτιολόγηση πίσω από αυτό. 6. Λυμένα παραδείγματα Παράδειγμα 6.. Αν η πρώτη θεμελιώδης μορφή μιας επιφάνειας M δίνεται ως Iu, v = u 2 + v 2 c 2 2 du2 + dv 2, όπου c R, αποδείξτε ότι η καμπυλότητα auss K αυτής είναι σταθερή. Λύση Από τη δοθείσα έκφραση της πρώτης θεμελιώδους μορφής έχουμε = = u 2 + v 2 c 2 2, F = 0. Άρα το παραμετρικό δίκτυο της επιφάνειας είναι ορθογώνιο, κατά συνέπεια η θεμελιώδης εξίσωση του auss θα έχει τη μορφή 6.5, δηλαδή [ K = + ]. u u v v Αλλά είναι =, επομένως θα έχουμε [ K = + ]. 6.6 u u v v Είναι όμως, άρα, και = u 2 + v 2 c 2 = u 2 + v 2 c 2 u = 2u u 2 + v 2 c 2 2, v u = 2u u 2 + v 2 c 2, v 2v = u 2 + v 2 c 2 2 2v = u 2 + v 2 c 2.
6 Το θαυμαστό Θεώρημα Επομένως, u u = 2u2 2v 2 + 2c 2 u 2 + v 2 c 2, v v = 2v2 2u 2 + 2c 2 u 2 + v 2 c 2 2. 6.7 Η σχέση 6.6, λόγω των σχέσεων 6.7 γίνεται 2u K = u 2 + v 2 c 2 2 2 2v 2 + 2c 2 u 2 + v 2 c 2 2 + 2v2 2u 2 + 2c 2 u 2 + v 2 c 2 2 = u 2 + v 2 c 2 2 4c 2 u 2 + v 2 c 2 2 = 4c2 = σταθερό, οπότε η επιφάνεια M είναι πράγματι σταθερής καμπυλότητας auss. Παράδειγμα 6.2. Να βρεθούν οι τιμές της σταθεράς λ, ώστε η επιφάνεια της οποίας η πρώτη θεμελιώδης μορφή παίρνει την έκφραση να έχει μηδενική καμπυλότητα. Λύση ds 2 = v λ du 2 + u λ dv 2, Από την έκφραση της πρώτης θεμελιώδους μορφής συμπεραίνουμε άμεσα ότι = v λ, F = 0, = u λ. 6.8 Επομένως η εξίσωση της καμπυλότητας του auss θα δίνεται από την σχέση Από τις σχέσεις 6.8 τώρα εύκολα έχουμε ότι [ K = + ]. 6.9 u u v v οπότε άρα Επίσης, είναι = u λ 2 v λ 2, v = λ 2 v λ 2, u = λ 2 u λ 2 v λ 2, u u v v v = λ 2 u = λ 2 u λ 2 2, λ 2 u λ 2 v λ 2. 6.0 = λ 2 u λ 2 v λ 2 = λ 2 λ 2 u λ λ 2 v 2 2. 6.
Ασκήσεις 7 Η σχέση 6.9 λοιπόν λόγω των 6.0, 6. και του γεγονότος ότι K = 0, γίνεται λ λ 2 2 u λ 2 2 v λ 2 + u λ λ 2 v 2 = 0. 6.2 Η σχέση αυτή όμως ικανοποιείται για κάθε u, v, δηλαδή είναι ταυτότητα ως προς τα u, v. Κατά συνέπεια, έχουμε ότι οπότε λ λ 2 2 = 0, λ = 0 ή λ = 2. Στην πρώτη περίπτωση λ = 0 τα θεμελιώδη ποσά πρώτης τάξης γίνονται =, F = 0, =, οπότε η πρώτη θεμελιώδης μορφή γράφεται ds 2 = du 2 + dv 2, ενώ στη δεύτερη περίπτωση λ = 2 τα αντίστοιχα θεμελιώδη ποσά πρώτης τάξης είναι = v 2, F = 0, = u 2 και η πρώτη θεμελιώδης μορφή γράφεται ds 2 = v 2 du 2 + u 2 dv 2. 6.2 Ασκήσεις. Εκφράστε την ποσότητα Z v, W στην απόδειξη του Θεωρήματος 6. ως συνάρτηση των, F, : U R. 2. Εστω α 0, π 2 και έστω M α η επιφάνεια με τοπική παραμέτρηση X α : R + R M, με τιμή θ θ X α r, θ = r sin α cos, r sin α sin, r cos α. sin α sin α Υπολογίστε την καμπυλότητα auss K της M α. 3. Εστω M μια κανονική επιφάνεια και έστω X : U M μια ορθογώνια παραμέτρηση, δηλαδή τέτοια ώστε F = 0. Αποδείξτε ότι η καμπυλότητα auss δίνεται από την έκφραση K = 2 v + u. v u 4. Εστω M μια κανονική επιφάνεια και έστω X : U M μια ισοθερμική παραμέτρηση, δηλαδή τέτοια ώστε F = 0 και =. Αποδείξτε ότι η καμπυλότητα auss δίνεται από την έκφραση K = 2 2 u Εναλλακτικά, η παραπάνω έκφραση γράφεται ως 2 ln + 2 v K = 2 2 ln, ln 2.
8 Το θαυμαστό Θεώρημα όπου η συνάρτηση 2 f ονομάζεται ο τελεστής Laplace της f. Κάντε εφαρμογή για τις περιπτώσεις όπου = 4 + u 2 + v 2 2, = 4 u 2 v 2 2, = u 2. 5. Αποδείξτε ότι η καμπυλότητες auss των επιφανειών M, M 2 με αντίστοιχες παραμετρήσεις Xu, v = u cos v, u sin v, v Y u, v = u cos v, u sin v, ln u είναι ίσες, εντούτοις οι επιφάνειες έχουν διαφορετικές πρώτες θεμελιώδεις μορφές. Συνεπώς, το αντίστροφο του Πορίσματος 6. δεν ισχύει. 6. Εξετάστε αν υπάρχει παραμετρημένη επιφάνεια με = =, F = 0, e = = g, f = 0.
Βιβλιογραφία [] M. Abate and F. Torena, Curves and Surfaces, Springer 202. [2] C. Bär, lementary Differential eometry, Cambridge Univ. Press 200. [3] M. P. do Carmo, Differential eometry of Curves and Surfaces, Prentice-Hall 976. [4] J. Oprea, Differential eometry and Its Applications, The Mathematical Assocation of America, 2007. [5] Β. Ι. Παπαντωνίου, Διαφορική Γεωμετρία, Εκδ. Πανεπιστ. Πατρών, Πάτρα, 203. [6] A. Pressley, lementary Differential eometry, Second dition, Springer 200. Μετάφραση: Στοιχειώδης Διαφορική Γεωμετρία, Πανεπιστημιακές Εκδόσεις Κρήτης, Κρήτη 202. [7] C. F. auss, eneral Investigations of Curved Surfaces of 827 and 825, The Princeton University Library, 902. [8] C. F. auss, eneral Investigations Of Curved Surfaces Unabridged, Wexford College Press, 2007. [9] C. F. auss, eneral Investigations of Curved Surfaces, Dover Publications, 2005. 9