Espace de TeichmüllerEn mathématiques, l'espace de Teichmüller d'une surface (réelle) topologique (ou différentielle) , est un espace qui paramétrise des structures complexes sur à l'action des homéomorphismes isotopes à l'identité près. Les espaces Teichmüller portent le nom d'Oswald Teichmüller. Chaque point d'un espace de Teichmüller peut être considérée comme une classe d'isomorphismes de surfaces de Riemann "marquées", où un "marquage" est une classe d'isotopie d'homéomorphismes de sur lui-même.
Espace de BanachEn mathématiques, plus particulièrement en analyse fonctionnelle, on appelle espace de Banach un espace vectoriel normé sur un sous-corps K de C (en général, K = R ou C), complet pour la distance issue de sa norme. Comme la topologie induite par sa distance est compatible avec sa structure d’espace vectoriel, c’est un espace vectoriel topologique. Les espaces de Banach possèdent de nombreuses propriétés qui font d'eux un outil essentiel pour l'analyse fonctionnelle. Ils doivent leur nom au mathématicien polonais Stefan Banach.
Règle de résolutionEn logique mathématique, la règle de résolution ou principe de résolution de Robinson est une règle d'inférence logique qui généralise le modus ponens. Cette règle est principalement utilisée dans les systèmes de preuve automatiques, elle est à la base du langage de programmation logique Prolog. La règle du modus ponens s'écrit et se lit : de p et de "p implique q", je déduis q. On peut réécrire l'implication "p implique q" comme "p est faux ou q est vraie". Ainsi, la règle du modus ponens s'écrit .
Métrique de PoincaréEn mathématiques, et plus précisément en géométrie différentielle, la métrique de Poincaré, due à Henri Poincaré, est le tenseur métrique décrivant une surface de courbure négative constante. C'est la métrique naturelle utilisée pour des calculs en géométrie hyperbolique ou sur des surfaces de Riemann.
Note de musiquevignette|Une croche la. En musique, une note est un symbole ou une lettre permettant de représenter un fragment de musique par une convention d'écriture de la hauteur et de la durée d'un son. Le symbole visuel d'une note de musique sur une partition est constitué : d'une « tête » qui indique la hauteur du son (sa fréquence en hertz), d'une « hampe » qui soutient les crochets et les barres de durée, d'une « durée », matérialisée par un ou des crochets ou par une ou plusieurs barres horizontales ou inclinées, qui indique sa longueur ou durée temporelle.
Intervalle (musique)En musique, l'intervalle entre deux notes est l'écart entre leurs hauteurs respectives. Cet intervalle est dit harmonique si les deux notes sont simultanées, mélodique si les deux notes sont émises successivement. En acoustique, l'intervalle entre deux sons harmoniques est le rapport de leurs fréquences. Chaque intervalle d'une échelle musicale, elle-même distinctive d'un type de musique (indienne, occidentale, musique orientale, etc.). La perception des intervalles diffère selon les cultures.
Entier (informatique)En informatique, un entier est un type de donnée qui représente un sous-ensemble fini de nombres entiers relatifs. On utilise aussi le terme type de données entières (integral type data). Un type de donnée est la nature des valeurs que peut prendre une donnée. Certains traitements comme le recensement des États-Unis ont d'abord été effectués en utilisant une représentation décimale à l'aide de cartes perforées. Le système décimal utilise dix chiffres (0, 1, 2, 3, 4, 5, 6, 7, 8, 9) et où leur position correspond à une puissance de 10 (1, 10, 100, 1000, etc.
Géométrisation des 3-variétésEn géométrie, la conjecture de géométrisation de Thurston affirme que les 3-variétés compactes peuvent être décomposées en sous-variétés admettant l'une des huit structures géométriques appelées géométries de Thurston. Formulée par William Thurston en 1976, cette conjecture fut démontrée par Grigori Perelman en 2003. On dit qu'une variété est fermée si elle est compacte et sans bord, et qu'elle est si elle n'est pas somme connexe de variétés qui ne sont pas des sphères.
Théorèmes de PicardEn analyse complexe, les théorèmes de Picard, du mathématicien Émile Picard, sont au nombre de deux : Le petit théorème de Picard dit qu'une fonction entière non constante prend tout nombre complexe comme valeur, sauf peut-être un certain nombre complexe. Le grand théorème de Picard dit qu'une fonction holomorphe ayant une singularité essentielle prend, sur tout voisinage de cette singularité, tout nombre complexe une infinité de fois comme valeur, sauf peut-être un certain nombre complexe.
Conjecture de GoldbachLa conjecture de Goldbach est l'assertion mathématique qui s’énonce comme suit : Formulée en 1742 par Christian Goldbach, c’est l’un des plus vieux problèmes non résolus de la théorie des nombres et des mathématiques. Il partage avec l'hypothèse de Riemann et la conjecture des nombres premiers jumeaux le numéro 8 des problèmes de Hilbert, énoncés par celui-ci en 1900.
