Ο Σμέιλ γεννήθηκε στο Φλιντ του Μίσιγκαν και εισήχθη στο Πανεπιστήμιο του Μίσιγκαν το 1948[13][14]. Στην αρχή ήταν καλός μαθητής, καθώς είχε πάρει άριστα σε μια σειρά μαθημάτων μαθηματικών που δίδασκε ο Μπομπ Θραλ. Ωστόσο, το δεύτερο και το τρίτο έτος σημαδεύτηκαν από κακούς βαθμούς, κυρίως B, C και ακόμη και ένα F στην πυρηνική φυσική. Ωστόσο, με λίγη τύχη, ο Σμέιλ έγινε δεκτός ως μεταπτυχιακός φοιτητής στο τμήμα μαθηματικών του Πανεπιστημίου του Μίσιγκαν. Για άλλη μια φορά, ο Σμέιλ έπαιρνε κακή βαθμολογία με μέσο όρο το Γ ως μεταπτυχιακός φοιτητής. Όταν ο πρόεδρος του τμήματος, Hildebrandt, απείλησε τον Σμέιλ με αποβολή, αποφάσισε να πάρει τις σπουδές του στα σοβαρά[15]. Ο Σμέιλ πήρε τελικά το διδακτορικό του το 1957, υπό τη διεύθυνση του Ραούλ Μποτ, και ξεκίνησε την καριέρα του ως καθηγητής στο Πανεπιστήμιο του Σικάγο.
Στις αρχές της καριέρας του, ο Σμέιλ ενεπλάκη σε μια αντιπαράθεση σχετικά με τα σχόλια που έκανε για τις εργασιακές του συνήθειες κατά την απόδειξη της εικασίας Πουανκαρέ σε υψηλή διάσταση. Ισχυρίστηκε ότι η καλύτερη δουλειά του είχε γίνει "στις παραλίες του Ρίο"[16][17]. Στο παρελθόν έχει δραστηριοποιηθεί πολιτικά σε διάφορα κινήματα, όπως το κίνημα για την ελευθερία του λόγου. Το 1966, αφού ταξίδεψε στη Μόσχα με υποτροφία του NSF για να παραλάβει το μετάλλιο Φιλντς, παραχώρησε εκεί συνέντευξη Τύπου για να καταγγείλει την αμερικανική θέση στο Βιετνάμ, τη σοβιετική επέμβαση στην Ουγγαρία και τη σοβιετική κακομεταχείριση των διανοουμένων. Μετά την επιστροφή του στις ΗΠΑ, δεν μπόρεσε να ανανεώσει την υποτροφία του[18]. Κάποια στιγμή κλήθηκε[19] από την Επιτροπή Αντιαμερικανικών Δραστηριοτήτων της Βουλής των Αντιπροσώπων.
Το 1960 ο Σμέιλ έλαβε υποτροφία Σλόαν και διορίστηκε στη Μαθηματική Σχολή του Μπέρκλεϊ, ενώ τον επόμενο χρόνο έγινε καθηγητής στο Κολούμπια. Το 1964 επέστρεψε στο Μπέρκλεϊ, όπου πέρασε το μεγαλύτερο μέρος της καριέρας του. Έγινε ομότιμος καθηγητής στο Μπέρκλεϊ το 1995 και ανέλαβε καθηγητής στο Δημοτικό Πανεπιστήμιο του Χονγκ Κονγκ. Έχει επίσης συγκεντρώσει με την πάροδο των ετών μία από τις καλύτερες ιδιωτικές συλλογές ορυκτών που υπάρχουν. Πολλά από τα ορυκτά δείγματα του Σμέιλ υπάρχουν στο βιβλίο The Smale Collection: Beauty in Natural Crystals (Η συλλογή Σμέιλ: Η ομορφιά των φυσικών κρυστάλλων)[20].
Από το 2003 έως το 2012, ο Σμέιλ ήταν καθηγητής στο Τεχνολογικό Ινστιτούτο της Τογιότα στο Σικάγο[21].Από την 1η Αυγούστου 2009, έγινε διακεκριμένος καθηγητής στο Δημοτικό Πανεπιστήμιο του Χονγκ Κονγκ.
Το 1988, ο Σμέιλ έλαβε το βραβείο Chauvenet[22]από το MAA. Το 2007, ο Σμέιλ τιμήθηκε με το Βραβείο Βόλφ στα Μαθηματικά[23].
Έρευνες
Ο Σμέιλ απέδειξε ότι η προσανατολισμένη ομάδα διαφορμορφισμού της δισδιάστατης σφαίρας έχει τον ίδιο τύπο ομοτοπίας με την ειδική ορθογώνια ομάδα των πινάκων 3 × 3.[24] Το θεώρημα του Σμέιλ έχει αναπαραχθεί και επεκταθεί μερικές φορές, κυρίως σε υψηλότερες διαστάσεις υπό τη μορφή της εικασίας του Σμέιλ,[25] καθώς και σε άλλους τοπολογικούς τύπους [26].
Σε ένα άλλο από τα παλαιότερα έργα του, μελέτησε τις βυθίσεις της δισδιάστατης σφαίρας στον ευκλείδειο χώρο[27]. Συνδέοντας τη θεωρία των βυθίσεων με την αλγεβρική τοπολογία των πολλαπλοτήτων Stiefel, μπόρεσε να αποσαφηνίσει πλήρως πότε δύο βυθίσεις μπορούν να παραμορφωθούν η μία στην άλλη μέσω μιας οικογένειας βυθίσεων. Από τα αποτελέσματά του προκύπτει άμεσα ότι η τυπική βύθιση της σφαίρας στον τρισδιάστατο χώρο μπορεί να παραμορφωθεί (με βυθίσεις) στην άρνησή της, η οποία είναι πλέον γνωστή ως εμβύθιση της σφαίρας. Επίσης, επέκτεινε τα αποτελέσματά του σε σφαίρες υψηλότερων διαστάσεων[28], και ο διδακτορικός του φοιτητής Μόρις Χιρς επέκτεινε την εργασία του σε βυθίσεις γενικών λείων πολλαπλών[29]. Μαζί με το έργο του Τζον Νας για τις ισομετρικές εμβυθίσεις, η θεωρία των Hirsch-Smale για τις εμβυθίσεις είχε μεγάλη επίδραση στο πρώιμο έργο του Μιχαήλ Γκρόμοφ για την ανάπτυξη της h-αρχής, το οποίο αφαίρεσε και εφάρμοσε τις ιδέες τους σε άλλα πλαίσια εκτός από τις εμβυθίσεις [30].
Στη μελέτη των δυναμικών συστημάτων, ο Σμέιλ εισήγαγε αυτό που σήμερα είναι γνωστό ως σύστημα Μορς-Σμέιλ.Για αυτά τα δυναμικά συστήματα, ο Σμέιλ κατάφερε να αποδείξει ανισότητες Μορς που συνδέουν τη συνομολογία του υποκείμενου χώρου με τις διαστάσεις των (μη) σταθερών πολλαπλών. Μέρος της σημασίας αυτών των αποτελεσμάτων προέρχεται από το θεώρημα του Σμέιλ που ισχυρίζεται ότι η ροή κλίσης οποιασδήποτε συνάρτησης Μορς μπορεί να προσεγγιστεί αυθαίρετα καλά από ένα σύστημα Μορς-Σμέιλ χωρίς κλειστές τροχιές[31]. Χρησιμοποιώντας αυτά τα εργαλεία, ο Σμέιλ μπόρεσε να κατασκευάσει αυτο-δείκτες συναρτήσεων Μορς, όπου η τιμή της συνάρτησης ισούται με τον δείκτη Μορς σε κάθε κρίσιμο σημείο.[32] Χρησιμοποιώντας αυτές τις συναρτήσεις Μορς με αυτο-δείκτες ως βασικό εργαλείο, ο Σμέιλ έλυσε τη γενικευμένη εικασία Πουανκαρέ σε κάθε διάσταση μεγαλύτερη από τέσσερις[33]. Βασιζόμενος σε αυτές τις εργασίες, καθιέρωσε επίσης το πιο ισχυρό θεώρημα h-κομπορδισμού το επόμενο έτος, μαζί με την πλήρη ταξινόμηση του συνεκτικού χώρου ομαλών πενταδιάστατων πολλαπλών[34][32].
Ο Σμέιλ εντόπισε επίσης το πέταλο Σμέιλ, εμπνέοντας πολλές μεταγενέστερες έρευνες. Περιέγραψε επίσης ένα ερευνητικό πρόγραμμα που διεξήχθη από πολλούς άλλους. Ο Σμέιλ είναι επίσης γνωστός για την εισαγωγή της θεωρίας Μορς στα μαθηματικά οικονομικά, καθώς και για τις πρόσφατες εξερευνήσεις διαφόρων θεωριών υπολογισμού.
Το 1998 συνέταξε έναν κατάλογο με 18 προβλήματα στα μαθηματικά που πρέπει να επιλυθούν τον 21ο αιώνα, γνωστά ως προβλήματα του Σμέιλ[35]. Ο κατάλογος αυτός συντάχθηκε στο πνεύμα του διάσημου καταλόγου προβλημάτων του Χίλμπερτ που συντάχθηκε το 1900. Στην πραγματικότητα, ο κατάλογος του Σμέιλ περιέχει μερικά από τα αρχικά προβλήματα του Χίλμπερτ, συμπεριλαμβανομένης της υπόθεσης Ρίμαν και του δεύτερου μισού του δέκατου έκτου προβλήματος του Χίλμπερτ, τα οποία είναι ακόμη άλυτα. Άλλα διάσημα προβλήματα στον κατάλογό του περιλαμβάνουν την εικασία Πουανκαρέ (σήμερα είναι θεώρημα, που αποδείχθηκε από τον Γκριγκόρι Πέρελμαν), το πρόβλημα P = NP και τις εξισώσεις Ναβιέρ-Στόκες, τα οποία έχουν χαρακτηριστεί ως Προβλήματα Βραβείου Χιλιετίας από το Ινστιτούτο Μαθηματικών Clay.
Smale, Stephen (1959b). «The classification of immersions of spheres in Euclidean spaces». Annals of Mathematics. Second Series 69 (2): 327–344. doi:10.2307/1970186.
Smale, Stephen (1961b). «Generalized Poincaré's conjecture in dimensions greater than four». Annals of Mathematics. Second Series 74 (2): 391–406. doi:10.2307/1970239.
Blum, Lenore; Shub, Mike; Smale, Steve (1989). «On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines». Bull. Amer. Math. Soc.. New Series 21 (1): 1–46. doi:10.1090/S0273-0979-1989-15750-9.
Cucker, Felipe; Smale, Steve (2002). «On the mathematical foundations of learning». Bull. Amer. Math. Soc.. New Series 39 (1): 1–49. doi:10.1090/S0273-0979-01-00923-5.
Cucker, Felipe; Smale, Steve (2007). «Emergent behavior in flocks». IEEE Trans. Autom. Control52 (5): 852–862. doi:10.1109/TAC.2007.895842.*
↑Greenberg, D. S. (1966-10-07). «The Smale Case: NSF and Berkeley Pass Through a Case of Jitters». Science (American Association for the Advancement of Science (AAAS)) 154 (3745): 130–133. doi:10.1126/science.154.3745.130. ISSN0036-8075. PMID17740098.