Fonction point d'interrogationLa fonction point d'interrogation, ou fonction de Minkowski, est, en mathématiques, une fonction, notée ? (ou ). Cette fonction fut définie par Hermann Minkowski en 1904 afin d'obtenir une application continue de l'ensemble des irrationnels quadratiques de l'intervalle ]0, 1[ vers l'ensemble des nombres rationnels du même intervalle. La définition courante actuelle fut posée par Arnaud Denjoy en 1938. Sa restriction aux nombres rationnels est une fonction strictement croissante, dérivable, et de dérivée partout nulle.
Triangle de SierpińskiLe triangle de Sierpiński, ou tamis de Sierpińsky, également appelé par Mandelbrot le joint de culasse de Sierpiński, est une fractale, du nom de Wacław Sierpiński qui l'a décrit en 1915. Il peut s'obtenir à partir d'un triangle « plein », par une infinité de répétitions consistant à diviser par deux la taille du triangle puis à les accoler en trois exemplaires par leurs sommets pour former un nouveau triangle. À chaque répétition le triangle est donc de même taille, mais « de moins en moins plein ».
Groupe modulaireEn mathématiques, on appelle groupe modulaire le groupe PSL(2, Z), quotient du groupe spécial linéaire SL(2, Z) par son centre { Id, –Id }. Il s'identifie à l'image de SL(2, Z) dans le groupe de Lie On le note souvent Γ(1) ou simplement Γ. Ce nom provient de l'action à gauche et fidèle de Γ(1) par homographies sur le demi-plan de Poincaré H des nombres complexes de partie imaginaire strictement positive. Cette action n'est que la restriction de l'action de PGL(2, C) sur la droite projective complexe P(C) = C ∪ {∞} : la matrice agit sur P(C) par la transformation de Möbius qui en envoie z sur .
Ensemble de CantorEn mathématiques, l'ensemble de Cantor (ou ensemble triadique de Cantor, ou poussière de Cantor), est un sous-ensemble remarquable de la droite réelle construit par le mathématicien allemand Georg Cantor. Il s'agit d'un sous-ensemble fermé de l'intervalle unité [0, 1], d'intérieur vide. Il sert d'exemple pour montrer qu'il existe des ensembles infinis non dénombrables mais négligeables au sens de la mesure de Lebesgue. C'est aussi le premier exemple de fractale (bien que le terme ne soit apparu qu'un siècle plus tard), et il possède une dimension non entière.