Fondements des mathématiquesLes fondements des mathématiques sont les principes de la philosophie des mathématiques sur lesquels est établie cette science. Le logicisme a été prôné notamment par Gottlob Frege et Bertrand Russell. La mathématique pure présente deux caractéristiques : la généralité de son discours et la déductibilité du discours mathématique . En ce que le discours mathématique ne prétend qu’à une vérité formelle, il est possible de réduire les mathématiques à la logique, les lois logiques étant les lois du « vrai ».
Limite (mathématiques élémentaires)La notion de limite est très intuitive malgré sa formulation abstraite. Pour les mathématiques élémentaires, il convient de distinguer une limite en un point réel fini (pour une fonction numérique) et une limite en ou (pour une fonction numérique ou une suite), ces deux cas apparemment différents pouvant être unifiés à travers la notion topologique de voisinage. Les limites servent (entre autres) à définir les notions fondamentales de continuité et de dérivabilité.
Calcul fonctionnel holomorpheEn mathématiques, et plus précisément en analyse, le calcul fonctionnel holomorphe désigne l'application du calcul fonctionnel aux fonctions holomorphes, c'est-à-dire qu'étant donnés une fonction holomorphe ƒ de la variable complexe z et un opérateur linéaire T, l'objectif est de construire un opérateur f (T) étendant ƒ de manière « naturelle ». Le cas le plus fréquent est celui où T est un opérateur borné sur un espace de Banach.
Condition aux limites de NeumannEn mathématiques, une condition aux limites de Neumann (nommée d'après Carl Neumann) est imposée à une équation différentielle ou à une équation aux dérivées partielles lorsque l'on spécifie les valeurs des dérivées que la solution doit vérifier sur les frontières/limites du domaine. Pour une équation différentielle, par exemple : la condition aux limites de Neumann sur l'intervalle s'exprime par : où et sont deux nombres donnés.
Formule du binôme généraliséeLa formule du binôme généralisée permet de développer une puissance complexe d'une somme de deux termes sous forme d'une somme de série et généralise la formule du binôme de Newton et celle du binôme négatif. Dans le cas d'un exposant rationnel, elle a été énoncée sans démonstration par Newton dans ses Principia Mathematica en 1687, puis prouvée par Euler en 1773.
Opérateur hamiltonienL’opérateur de Hamilton, opérateur hamiltonien ou tout simplement hamiltonien est un opérateur mathématique possédant de nombreuses applications dans divers domaines de la physique. D'après Jérôme Pérez, l'opérateur hamiltonien a été développé en 1811 par Joseph-Louis Lagrange alors qu'Hamilton n'avait que 6 ans. Lagrange a explicitement écrit : formule dans laquelle faisait référence à Christiaan Huygens et qu'il aurait appelé Huygensien.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Représentation de SchrödingerEn mécanique quantique, la représentation de Schrödinger est une des trois formulations et modes de traitement des problèmes dépendant du temps dans le cadre de la mécanique quantique classique. Dans cette représentation, l'état d'un système évolue avec le temps. Le principe de superposition quantique stipule qu'une fonction d'état est en général une combinaison linéaire d'états propres.
Condition aux limites de DirichletEn mathématiques, une condition aux limites de Dirichlet (nommée d’après Johann Dirichlet) est imposée à une équation différentielle ou à une équation aux dérivées partielles lorsque l'on spécifie les valeurs que la solution doit vérifier sur les frontières/limites du domaine. Pour une équation différentielle, par exemple : la condition aux limites de Dirichlet sur l'intervalle s'exprime par : où et sont deux nombres donnés.
Compact operator on Hilbert spaceIn the mathematical discipline of functional analysis, the concept of a compact operator on Hilbert space is an extension of the concept of a matrix acting on a finite-dimensional vector space; in Hilbert space, compact operators are precisely the closure of finite-rank operators (representable by finite-dimensional matrices) in the topology induced by the operator norm. As such, results from matrix theory can sometimes be extended to compact operators using similar arguments.
