Théorème de ZermeloEn mathématiques, le théorème de Zermelo, appelé aussi théorème du bon ordre, est un résultat de théorie des ensembles, démontré en 1904 par Ernst Zermelo, qui affirme : Le théorème de Zermelo, l'axiome du choix et le lemme de Zorn sont équivalents : Soient E un ensemble bien ordonné, et P(E) l'ensemble de ses parties. Alors, on définit une fonction de choix sur P(E){⌀} en associant, à chaque partie non vide de E, son plus petit élément (l'existence d'une telle fonction est un des énoncés possibles de l'axiome du choix).
Axiome de limitation de tailleEn théorie des ensembles, plus précisément en théorie des classes, l'axiome de limitation de taille a été proposé par John von Neumann dans le cadre de sa théorie des classes. Il formalise en partie le principe de limitation de taille (traduction de l'anglais limitation of size), l'un des principes énoncés par Bertrand Russell pour développer la théorie des ensembles en évitant les paradoxes, et qui reprend des idées de Georg Cantor.
Continuum (set theory)In the mathematical field of set theory, the continuum means the real numbers, or the corresponding (infinite) cardinal number, denoted by . Georg Cantor proved that the cardinality is larger than the smallest infinity, namely, . He also proved that is equal to , the cardinality of the power set of the natural numbers. The cardinality of the continuum is the size of the set of real numbers. The continuum hypothesis is sometimes stated by saying that no cardinality lies between that of the continuum and that of the natural numbers, , or alternatively, that .
Courbe remplissanteEn analyse mathématique, une courbe remplissante (parfois appelée courbe de remplissage) est une courbe dont l' contient le carré unité entier (ou plus généralement un hypercube de dimension n). En raison du fait que le mathématicien Giuseppe Peano (1858–1932) a été le premier à découvrir dans le plan (en dimension 2) une telle courbe, les courbes remplissantes sont parfois appelées courbes de Peano, mais cette dénomination fait maintenant référence à la courbe de Peano qui désigne cet exemple spécifique de courbe remplissante découvert par Peano.
Coupure de Dedekindvignette|droite|upright=1.6|Dedekind introduit les coupures pour représenter les nombres irrationnels. En mathématiques, une coupure de Dedekind d'un ensemble totalement ordonné E est un couple (A, B) de sous-ensembles de E, lesquels forment à eux deux une partition de E, et où tout élément de A est inférieur à tout élément de B. D'une certaine façon, une telle coupure conceptualise quelque chose qui se trouverait « entre » A et B, mais qui ne serait pas forcément un élément de E.
Adolf HurwitzAdolf Hurwitz (né à Hildesheim le - mort à Zurich le ) est un mathématicien allemand qui est une des figures importantes des mathématiques de la seconde moitié du . Il fait ses études doctorales sous la direction de Felix Klein à Leipzig, soutenant sa thèse sur les fonctions elliptiques modulaires en 1881. En 1884, on lui offre un poste de professeur à Kœnigsberg ; il y rencontre le jeune David Hilbert, sur qui il exerce une grande influence. Il occupe en 1892 une chaire de mathématiques à l'École polytechnique fédérale de Zurich et y enseigne le reste de sa vie.
Derived set (mathematics)In mathematics, more specifically in point-set topology, the derived set of a subset of a topological space is the set of all limit points of It is usually denoted by The concept was first introduced by Georg Cantor in 1872 and he developed set theory in large part to study derived sets on the real line. The derived set of a subset of a topological space denoted by is the set of all points that are limit points of that is, points such that every neighbourhood of contains a point of other than itself.
List of mathematical jargonThe language of mathematics has a vast vocabulary of specialist and technical terms. It also has a certain amount of jargon: commonly used phrases which are part of the culture of mathematics, rather than of the subject. Jargon often appears in lectures, and sometimes in print, as informal shorthand for rigorous arguments or precise ideas. Much of this is common English, but with a specific non-obvious meaning when used in a mathematical sense. Some phrases, like "in general", appear below in more than one section.
Journal für die reine und angewandte MathematikLe Journal für die reine und angewandte Mathematik (aussi appelé Crelle's Journal), créé à Berlin par August Leopold Crelle en 1826, est une revue de mathématiques. Il est considéré comme l'une des meilleures publications allemandes dans le domaine. Le journal a longtemps été surnommé Journal de Crelle, Journal de Borchardt, etc., selon le nom de ses éditeurs successifs. Ainsi le fondateur Crelle dirige la publication de 1826 à 1855, année de sa mort.
