Χέρμπερτ Φέντερερ

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Χέρμπερτ Φέντερερ
Γενικές πληροφορίες
Όνομα στη
μητρική γλώσσα
Herbert Federer (Γερμανικά)
Γέννηση23 Ιουλίου 1920
Βιέννη[1]
Θάνατος21 Απριλίου 2010
Πρόβιντενς[2]
Χώρα πολιτογράφησηςΗνωμένες Πολιτείες Αμερικής
Εκπαίδευση και γλώσσες
Ομιλούμενες γλώσσεςΑγγλικά[3][4]
ΣπουδέςΠανεπιστήμιο της Καλιφόρνιας, Μπέρκλεϋ (έως 1944)[5]
Πληροφορίες ασχολίας
Ιδιότηταμαθηματικός
διδάσκων πανεπιστημίου
ΕργοδότηςΠανεπιστήμιο Μπράουν (1945–1985)[2]
Aberdeen Proving Ground (1944–1945)[6]
Αξιοσημείωτο έργοFederer–Morse theorem
Οικογένεια
ΤέκναLeslie Federer[2]
Αξιώματα και βραβεύσεις
ΒραβεύσειςΥποτροφία Γκούγκενχαϊμ (1975)[7]
βραβείο Λιρόϊ Π. Στιλ (1987)[2][8]

Ο Χέρμπερτ Φέντερερ (23 Ιουλίου 1920 στη Βιέννη, 21 Απριλίου 2010)[9][10] ήταν Αυστρο-αμερικανός μαθηματικός και ένας από τους πρωτεργάτες της γεωμετρικής θεωρίας μέτρου, στο σημείο συνάντησης της διαφορικής γεωμετρίας και της μαθηματικής ανάλυσης[11].

Βιογραφία[Επεξεργασία | επεξεργασία κώδικα]

Ο Φέντερερ γεννήθηκε στις 23 Ιουλίου 1920 στη Βιέννη της Αυστρίας. Αφού μετανάστευσε στις ΗΠΑ το 1938, σπούδασε μαθηματικά και φυσική στο Πανεπιστήμιο της Καλιφόρνιας στο Μπέρκλεϊ, όπου έλαβε το διδακτορικό του δίπλωμα ως φοιτητής του Άντονι Μορς το 1944. Στη συνέχεια, πέρασε σχεδόν ολόκληρη την καριέρα του ως μέλος του Τμήματος Μαθηματικών του Πανεπιστημίου Μπράουν, όπου τελικά συνταξιοδοτήθηκε με τον τίτλο του ομότιμου καθηγητή.

Ο Φέντερερ έγραψε περισσότερες από τριάντα ερευνητικές εργασίες πέραν του βιβλίου του "Γεωμετρική θεωρία μέτρου". Το Mathematics Genealogy Project του οφείλει εννέα διδακτορικούς φοιτητές και πάνω από εκατό απογόνους. Μεταξύ των πιο παραγωγικών μαθητών του ήταν ο αείμνηστος Φρέντερικ Τζ. Άλμγκρεν Τζούνιορ (1933-1997), καθηγητής στο Πρίνστον επί 35 χρόνια, και ο τελευταίος φοιτητής του, ο Ρόμπερτ Χαρντ, ο οποίος σήμερα εργάζεται στο Πανεπιστήμιο Ράις.

Ο Φέντερερ ήταν μέλος της Εθνικής Ακαδημίας Επιστημών. Το 1987 κέρδισε μαζί με τον συνάδελφό του στο Μπράουν Γουέντελ Φλέμινγκ το βραβείο Steele της Αμερικανικής Μαθηματικής Εταιρείας "για την πρωτοποριακή εργασία τους στον τομέα των κανονικών και ολοκληρωτικών ρευμάτων"[FF60].

Μαθηματική εργασία[Επεξεργασία | επεξεργασία κώδικα]

Κατά τις δεκαετίες του 1940 και 1950, ο Φέντερερ συνέβαλε με πολλές μελέτες στη διεπαφή της γεωμετρίας και της θεωρίας του μέτρου. Τα θέματα περιλάμβαναν την επιφάνεια, τη διορθωσιμότητα των συνόλων και τον βαθμό στον οποίο η διορθωσιμότητα θα μπορούσε να αντικατασταθεί από την ομαλότητα στην κλασική ανάλυση επιφανειών. Ένα ιδιαίτερα αξιοσημείωτο πρώτο επίτευγμα (βελτιώνοντας την προηγούμενη εργασία του Αβραάμ Μπεσίκοβιτς) ήταν ο χαρακτηρισμός των αμιγώς ανελαστικών συνόλων ως εκείνων που "εξαφανίζονται" κάτω από σχεδόν όλες τις προβολές[12][13] Ο Φέντερερ είχε επίσης αξιοσημείωτη συμβολή στη μελέτη του θεωρήματος του Γκριν σε χαμηλή κανονικότητα[14]. Η θεωρία της χωρητικότητας με τροποποιημένους εκθέτες αναπτύχθηκε από τον Φέντερερ και τον Γουίλιαμ Ζίμερ[15]. Στην πρώτη του δημοσιευμένη εργασία, που έγραψε με τον επιβλέποντα καθηγητή του Άντονι Μορς, ο Φέντερερ απέδειξε το θεώρημα Φέντερερ-Μορς, το οποίο δηλώνει ότι οποιαδήποτε συνεχής υπερέκθεση μεταξύ συμπαγών μετρικών χώρων μπορεί να περιοριστεί σε ένα υποσύνολο Μπορέλ ώστε να γίνει έγχυση, χωρίς να αλλάξει η εικόνα[16].

Μια από τις πιο γνωστές εργασίες του Φέντερερ, το Curvature Measures, δημοσιεύτηκε το 1959[17][18], με σκοπό να καθιερώσει θεωρητικές διατυπώσεις της ανάλυσης δεύτερης τάξης στη διαφορική γεωμετρία, ιδίως της καμπυλότητας. Ο τύπος του θεωρήματος του Στάινερ αποτέλεσε θεμελιώδες προηγούμενο για το έργο του Φέντερερ- δηλώνει ότι ο όγκος μιας γειτονιάς ενός κυρτού συνόλου στον Ευκλείδειο χώρο ορίζεται από ένα πολυώνυμο. Εάν το όριο του κυρτού συνόλου είναι ένα λείο υπομέσο, οι συντελεστές του τύπου του Στάινερ ορίζονται από την καμπυλότητά του. Η εργασία του Φέντερερ αποσκοπούσε στην ανάπτυξη μιας γενικής διατύπωσης αυτού του αποτελέσματος. Η κλάση των υποσυνόλων που προσδιόρισε είναι η κλάση των υποσυνόλων θετικού εύρους, η οποία περιλαμβάνει τόσο την κλάση των κυρτών συνόλων όσο και την κλάση των λείων υποδιαστολών. Απέδειξε τον τύπο του Στάινερ για την κλάση αυτή, προσδιορίζοντας ως συντελεστές γενικευμένα ολοκληρώματα κβαντικής μάζας (που ονομάζονται μέτρα καμπυλότητας από τον Φέντερερ). Στην ίδια εργασία, ο Φέντερερ απέδειξε τον τύπο coarea, ο οποίος έχει γίνει ένα τυπικό αποτέλεσμα στα εγχειρίδια της θεωρίας μέτρου[19].

Η δεύτερη σημαντική εργασία του Φέντερερ, Normal and Integral Currents, γράφτηκε σε συνεργασία με τον Γουέντελ Φλέμινγκ[20]. Στην εργασία τους, έδειξαν ότι το πρόβλημα του Πλατώ για ελάχιστες επιφάνειες μπορεί να επιλυθεί στην κατηγορία των ολοκληρωτικών ρευμάτων, τα οποία μπορούν να θεωρηθούν ως γενικευμένες υποπολλαπλότητες. Επιπλέον, προσδιόρισαν νέα αποτελέσματα σχετικά με το ισοπεριμετρικό πρόβλημα και τη σχέση του με το θεώρημα ολοκλήρωσης Σόμπολεφ. Η εργασία τους εγκαινίασε μια νέα περίοδο γόνιμης έρευνας σε μια μεγάλη κατηγορία μεταβλητών γεωμετρικών προβλημάτων, και ειδικότερα στις ελάχιστες επιφάνειες.

Το 1969 ο Φέντερερ δημοσίευσε το βιβλίο του Γεωμετρική Θεωρία Μέτρου, το οποίο συγκαταλέγεται μεταξύ των έργων με τις περισσότερες αναφορές στα μαθηματικά[21][22]. Πρόκειται για ένα περιεκτικό έργο που ξεκινά με μια λεπτομερή περιγραφή της πολυγραμμικής άλγεβρας[23] και της θεωρίας μέτρου. Το κύριο μέρος του βιβλίου είναι αφιερωμένο στη μελέτη της διορθωσιμότητας και της θεωρίας των ρευμάτων. Το βιβλίο κλείνει με εφαρμογές στον λογισμό των μεταβολών. Το βιβλίο του Φέντερερ θεωρείται ένα έγκυρο σύγγραμμα στον τομέα αυτό και περιλαμβάνει πολλά νέα αποτελέσματα εκτός από πολύ υλικό από παλαιότερες έρευνες του Φέντερερ και άλλων. Μεγάλο μέρος της συζήτησης του βιβλίου του για τα ρεύματα και τις εφαρμογές τους περιορίζεται στους ολοκληρωτικούς συντελεστές. Αργότερα ανέπτυξε τη βασική θεωρία στο πλαίσιο πραγματικών συντελεστών[24].

Ένα συγκεκριμένο αποτέλεσμα που αναλύεται λεπτομερώς στο βιβλίο του Φέντερερ είναι ότι οι ελάχιστες υπερεπιφάνειες του Ευκλείδειου χώρου που ελαχιστοποιούν το εμβαδόν τους είναι λείες σε χαμηλές διαστάσεις. Περίπου την ίδια εποχή, οι Ενρίκο Μπομπιέρι, Έννιο Ντε Τζιόρτζι και Ενρίκο Τζούστι απέδειξαν ότι μια ελάχιστη υπερεπιφάνεια στον οκταδιάστατο ευκλείδειο χώρο, που εντοπίστηκε για πρώτη φορά από τον Τζέιμς Σάιμονς, είναι ελαχιστοποιούμενη σε εμβαδόν. Ως εκ τούτου, είναι άμεση η κατασκευή ελάχιστων υπερεπιφανειών του Ευκλείδειου χώρου που ελαχιστοποιούν το εμβαδόν τους και έχουν μοναδικά σύνολα κωδικοδιαστάσεων επτά. Το 1970, ο Φέντερερ απέδειξε ότι αυτή η κωδικοδιάσταση είναι βέλτιστη: όλα αυτά τα μοναδικά σύνολα έχουν κωδικοδιάσταση τουλάχιστον επτά.[25] Το επιχείρημά του για τη μείωση της διάστασης για το σκοπό αυτό έχει γίνει ένα τυπικό μέρος της βιβλιογραφίας για τη γεωμετρική θεωρία μέτρου και τη γεωμετρική ανάλυση.[26][27] Αργότερα, ο Φέντερερ βρήκε επίσης μια νέα απόδειξη του αποτελέσματος των Μπομπιέρι-Ντε Τζιόρτζι-Γκιούστι.[28].

Σημαντικές δημοσιεύσεις[Επεξεργασία | επεξεργασία κώδικα]

Ο Φέντερερ ήταν συγγραφέας περίπου τριάντα ερευνητικών εργασιών, καθώς και του διάσημου εγχειριδίου του Γεωμετρική Θεωρία Μέτρου.

  • Federer, Herbert (1959). "Curvature measures". Transactions of the American Mathematical Society. 93 (3): 418–491. doi:10.1090/S0002-9947-1959-0110078-1. MR 0110078. Zbl 0089.38402.
  • Federer, Herbert; Fleming, Wendell H. (1960). "Normal and integral currents". Annals of Mathematics. Second Series. 72 (3): 458–520. doi:10.2307/1970227. JSTOR 1970227. MR 0123260. Zbl 0187.31301.
  • Federer, Herbert (1969). Geometric measure theory. Die Grundlehren der mathematischen Wissenschaften. Vol. 153. Berlin–Heidelberg–New York: Springer-Verlag. doi:10.1007/978-3-642-62010-2. ISBN 978-3-540-60656-7. MR 0257325. Zbl 0176.00801.
  • Federer, Herbert (1970). "The singular sets of area minimizing rectifiable currents with codimension one and of area minimizing flat chains modulo two with arbitrary codimension". Bulletin of the American Mathematical Society. 76 (4): 767–771. doi:10.1090/S0002-9904-1970-12542-3. MR 0260981. Zbl 0194.35803.
  • Federer, Herbert; Ziemer, William P. (1973). "The Lebesgue set of a function whose distribution derivatives are p-th power summable". Indiana University Mathematics Journal. 22 (2): 139–158. doi:10.1512/iumj.1973.22.22013. MR 0435361. Zbl 0238.28015.
  • Federer, Herbert (1975). "Real flat chains, cochains and variational problems". Indiana University Mathematics Journal. 24 (4): 351–407. doi:10.1512/iumj.1975.24.24031. MR 0348598. Zbl 0289.49044.

Παραπομπές[Επεξεργασία | επεξεργασία κώδικα]

  1. Εθνική Βιβλιοθήκη της Γερμανίας: (Γερμανικά) Gemeinsame Normdatei. Ανακτήθηκε στις 11  Δεκεμβρίου 2014.
  2. 2,0 2,1 2,2 2,3 MacTutor History of Mathematics archive.
  3. plus.si.cobiss.net/opac7/conor/189624675.
  4. CONOR.SI. 189624675.
  5. (Αγγλικά) Mathematics Genealogy Project. 10278.
  6. www.nasonline.org/member-directory/deceased-members/55851.html.
  7. (Αγγλικά) Guggenheim Fellows database. herbert-federer.
  8. www.ams.org/prizes-awards/pabrowse.cgi?parent_id=28.
  9. «NAS Membership Directory: Federer, Herbert». National Academy of Sciences. Ανακτήθηκε στις 15 Ιουνίου 2010. 
  10. «Herbert Federer - Biography». Maths History (στα Αγγλικά). Ανακτήθηκε στις 22 Μαΐου 2023. 
  11. Parks, H. (2012) Remembering Herbert Federer (1920–2010), NAMS 59(5), 622-631.
  12. Federer, Herbert (1996). «Geometric Measure Theory» (στα αγγλικά). Classics in Mathematics. doi:10.1007/978-3-642-62010-2. ISSN 1431-0821. https://link.springer.com/book/10.1007/978-3-642-62010-2. 
  13. Pertti Mattila. Geometry of Sets and Measures in Euclidean Spaces.
  14. Vladimir Maz'ya. Sobolev spaces. With applications to elliptic partial differential equations.
  15. «Full-text Article». www.iumj.indiana.edu. Ανακτήθηκε στις 22 Μαΐου 2023. 
  16. Parthasarathy, K. R. (1967). Probability measures on metric spaces. Probability and Mathematical Statistics. New York-London: Academic Press, Inc.
  17. Federer, Herbert (1959). «Curvature measures» (στα αγγλικά). Transactions of the American Mathematical Society 93 (3): 418–491. doi:10.1090/S0002-9947-1959-0110078-1. ISSN 0002-9947. https://www.ams.org/tran/1959-093-03/S0002-9947-1959-0110078-1/. 
  18. Rolf Schneider. Convex Bodies: the Brunn–Minkowski theory.
  19. Evans and Gariepy. Measure Theory and Fine Properties of Functions.
  20. Federer, Herbert; Fleming, Wendell H. (1960). «Normal and Integral Currents». Annals of Mathematics 72 (3): 458–520. doi:10.2307/1970227. ISSN 0003-486X. https://www.jstor.org/stable/1970227. 
  21. Federer, Herbert (1996). «Geometric Measure Theory» (στα αγγλικά). Classics in Mathematics. doi:10.1007/978-3-642-62010-2. ISSN 1431-0821. https://link.springer.com/book/10.1007/978-3-642-62010-2. 
  22. «American Mathematical Society». American Mathematical Society (στα Αγγλικά). Ανακτήθηκε στις 22 Μαΐου 2023. 
  23. «MULTILINEAR ALGEBRA» (PDF). 
  24. «Full-text Article». www.iumj.indiana.edu. Ανακτήθηκε στις 22 Μαΐου 2023. 
  25. Federer, Herbert (1970). «The singular sets of area minimizing rectifiable currents with codimension one and of area minimizing flat chains modulo two with arbitrary codimension» (στα αγγλικά). Bulletin of the American Mathematical Society 76 (4): 767–771. doi:10.1090/S0002-9904-1970-12542-3. ISSN 0002-9904. https://www.ams.org/bull/1970-76-04/S0002-9904-1970-12542-3/. 
  26. Giusti, Enrico (1984). Minimal Surfaces and Functions of Bounded Variation. doi:10.1007/978-1-4684-9486-0. http://dx.doi.org/10.1007/978-1-4684-9486-0. 
  27. Simon, Leon (1986). «Asymptotic behaviour of minimal submanifolds and harmonic maps». Proceedings of Symposia in Pure Mathematics: 369–377. doi:10.1090/pspum/044/840287. ISSN 2324-707X. http://dx.doi.org/10.1090/pspum/044/840287. 
  28. «Full-text Article». www.iumj.indiana.edu. Ανακτήθηκε στις 22 Μαΐου 2023. 

Εξωτερικοί σύνδεσμοι[Επεξεργασία | επεξεργασία κώδικα]