Otto Stolz

From Wikipedia, the free encyclopedia

Décès
(à 63 ans)
InnsbruckVoir et modifier les données sur Wikidata
Nationalité
Otto Stolz
Otto Stolz
Biographie
Naissance
Décès
(à 63 ans)
InnsbruckVoir et modifier les données sur Wikidata
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Membre de

Otto Stolz ([1]) est un mathématicien autrichien connu pour ses travaux en analyse mathématique et sur les nombres infinitésimaux.

Otto Stolz naît le à Hall en Tyrol dans la province du Tyrol en Autriche. Sa mère est Aloisia Rapp, fille de Joseph Rapp, auteur du Tyrol en 1809 (année de la rébellion du Tyrol)[2]. Son père est le directeur d'un asile psychiatrique[3]. Il aura comme frère le philologue Friedrich Stolz.

Il poursuit ses études à Innsbruck en 1860 (il y est membre de l'association étudiante Corps Rhaetia[4]) et, à partir de 1863, à Vienne, où il reçoit son habilitation en 1867. Deux ans plus tard, il étudie à Berlin sous la direction de Karl Weierstrass, Ernst Kummer et Leopold Kronecker. En 1871 à Göttingen, il participe à une conférence donnée par Alfred Clebsch et Felix Klein (avec qui il entretiendra une correspondance), avant de retourner définitivement à Innsbruck comme professeur de mathématiques.

Il meurt en 1905 peu de temps après avoir fini son Introduction à la théorie des fonctions.

Au nombre de ses étudiants : Josef A. Gmeiner (1895), avec qui il collabora[5],[6] et Lucius Hanni (1900)[6].

Contributions

Les premiers travaux de Stolz portent sur la géométrie, sujet de sa thèse. Sous l'influence de Weierstrass, il s'intéresse à l'analyse réelle, et on lui attribue plusieurs petits théorèmes utiles dans ce domaine. Par exemple, il démontre qu'une fonction continue et convexe sur un intervalle réel possède des dérivées à gauche et à droite en chaque point de l'intervalle[7].

En 1885, il publie le premier traité général d'analyse en allemand, prenant en compte les idées nouvelles sur les fondements de Weierstrass[8].

Publications (liste partielle)

Bibliographie

Compléments

Related Articles

Wikiwand AI