Kenneth Kunen

mathématicien américain
Kenneth Kunen
Kenneth Kunen.jpg
Kenneth Kunen en 1974 à Oberwolfach
Biographie
Naissance
Voir et modifier les données sur Wikidata (76 ans)
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Domaines
Directeur de thèse
Œuvres principales
Théorie des ensembles
topologie ensembliste
structures algébriques non associatives

Herbert Kenneth Kunen, né le à New York, est un mathématicien américain, professeur émérite de mathématiques à l'université du Wisconsin à Madison[1] qui travaille en théorie des ensembles et ses applications en topologie et en théorie de la mesure.

CarrièreModifier

Kunen a été étudiant au Caltech[2] au niveau undergraduate et a obtenu un Ph.D. en 1968 à l'Stanford University[3], sous la supervision de Dana Scott, avec une thèse intitulée « Inaccessibility Properties of Cardinals ». Il devient professeur associé à l'université du Wisconsin à Madison en 1970, et professeur à part entière en 1972. Il est resté à Madison à l'exception d'une année comme professeur invité à l'université de Californie à Berkeley[4].

TravauxModifier

Kunen travaille en théorie des ensembles et ses applications topologiques et en théorie de la mesure. Il s'est intéressé également aux structures algébriques non associatives comme les quasigroupes ; il a utilisé un des plus anciens démonstrateurs de théorèmes, le Otter theorem prover (en), pour obtenir des énoncés dans ce domaine.

En théorie des ensembles, Kunen a démontré que l'existence d'un plongement non trivial   de l'univers constructible de Gödel   dans lui-même implique l'existence de l'ensemble 0# (en). Il a aussi démontré la cohérence d'un idéal normal  -saturé sur   à partir de la cohérence de l'existence d'un cardinal énorme (en). Il a introduit la méthode des ultraproduits itérés, avec laquelle il a prouvé que si   est un cardinal mesurable tel que   ou si   est un cardinal fortement compact (en) alors il existe un modèle interne (en) de la théorie des ensembles avec   cardinaux mesurables. Il a prouvé le théorème d'inconsistance de Kunen qui énonce l'impossibilité d'un plongement élémentaire non trivial de l'univers de von Neumann   dans lui-même, plongement qui avait été suggéré comme hypothèse de grand cardinal (un « cardinal de Reinhardt (en) »).

En dehors du domaine des grands cardinaux, Kunen est connu pour des constructions combinatoires sophistiquées, toujours en logique et en théorie des ensembles. Il a prouvé qu'il est cohérent que le premier cardinal ne vérifiant pas l'axiome de Martin soit singulier, et il a construit, sous l'hypothèse du continu, un  -espace compact supportant une mesure non séparable. Il a également travaillé sur le modèle standard de Cohen. La notion d'arbre de Jech-Kunen est nommé d'après lui et Thomas Jech.

Kunen est boursier Sloan et boursier H. I. Romnes. Il a été éditeur des Annals of Mathematical Logic, du Journal of Symbolic Logic, du Journal of Computation and Mathematics et a édité, avec Jerry Vaughan, le Handbook of Set-Theoretic Topology et une section du Handbook of Mathematical Logic[4].

Son nombre d'Erdös est égal à 1.

Publications (sélection)Modifier

Les publications de Kunen les plus connues sont ses livres d'introduction, et les manuels.

  • Kenneth Kunen, Set Theory, College Publications, (ISBN 978-1848900509).
  • Kenneth Kunen, The Foundations of Mathematics, College Publications, (ISBN 978-1-904987-14-7).
  • Kenneth Kunen, Set Theory: An Introduction to Independence Proofs, North-Holland, (ISBN 0-444-85401-0)[5].
  • Kenneth Kunen et Jerry E. Vaughan (éditeurs), Handbook of Set-Theoretic Topology, North-Holland, (ISBN 0-444-86580-2)[6].

HommageModifier

Le journal Topology and its Applications (en) a édité un numéro spécial en hommage à Kunen[2], avec une biographie par Arnold W. Miller (en) et des contributions notamment par Mary Ellen Rudin et Akihiro Kanamori.

Notes et référencesModifier

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Kenneth Kunen » (voir la liste des auteurs).
  1. http://www.math.wisc.edu/~apache/emeriti.html
  2. a et b Joan Hart, « Ken Kunen », Topology and Its Applications, vol. 158, no 18,‎ , p. 2443–2564 (présentation en ligne).
  3. (en) « Herbert Kenneth Kunen », sur le site du Mathematics Genealogy Project
  4. a et b Arnold W. Miller, « Biography of Kenneth Kunen », Topology and its Applications, vol. 158, Issue 18, Pages 2443-2564 (1 December 2011), no 18,‎ , p. 2445 (DOI 10.1016/j.topol.2011.08.003, lire en ligne, consulté le 3 avril 2018).
  5. C. Ward Henson, « Review: Set theory, an introduction to independence proofs, by Kenneth Kunen », Bull. Amer. Math. Soc. (N.S.), vol. 10, no 1,‎ , p. 129–131 (DOI 10.1090/s0273-0979-1984-15214-5, lire en ligne).
  6. Stewart Baldwin, « Review: Handbook of set-theoretic topology edited by Kenneth Kunen and Jerry E. Vaughan », The Journal of Symbolic Logic, vol. 52, no 4,‎ , p. 1044–1045 (DOI 10.2307/2273837, JSTOR 2273837).

Lien externeModifier