Opérateur non bornéEn analyse fonctionnelle, un opérateur non borné est une application linéaire partiellement définie. Plus précisément, soient X, Y deux espaces vectoriels. Un tel opérateur est donné par un sous-espace dom(T) de X et une application linéaire dont l'ensemble de définition est dom(T) et l'ensemble d'arrivée est Y. Considérons X = Y = L(R) et l'espace de Sobolev H(R) des fonctions de carré intégrable dont la dérivée au sens des distributions appartient, elle aussi, à L(R).
SmoothnessIn mathematical analysis, the smoothness of a function is a property measured by the number of continuous derivatives it has over some domain, called differentiability class. At the very minimum, a function could be considered smooth if it is differentiable everywhere (hence continuous). At the other end, it might also possess derivatives of all orders in its domain, in which case it is said to be infinitely differentiable and referred to as a C-infinity function (or function).
Operator theoryIn mathematics, operator theory is the study of linear operators on function spaces, beginning with differential operators and integral operators. The operators may be presented abstractly by their characteristics, such as bounded linear operators or closed operators, and consideration may be given to nonlinear operators. The study, which depends heavily on the topology of function spaces, is a branch of functional analysis. If a collection of operators forms an algebra over a field, then it is an operator algebra.
Dérivée de LieLa dérivée de Lie est une opération de différentiation naturelle sur les champs de tenseurs, en particulier les formes différentielles, généralisant la dérivation directionnelle d'une fonction sur un ouvert de ou plus généralement sur une variété différentielle. On note ici M une variété différentielle de dimension n, ΩM l'espace des formes différentielles sur M et X un champ de vecteurs sur M. On peut définir la dérivée de Lie des formes différentielles sur M essentiellement de deux façons.
Opérateur différentielEn mathématiques, et plus précisément en analyse, un opérateur différentiel est un opérateur agissant sur des fonctions différentiables. Lorsque la fonction est à une seule variable, l'opérateur différentiel est construit à partir des dérivées ordinaires. Lorsque la fonction est à plusieurs variables, l'opérateur différentiel est construit à partir des dérivées partielles. Un opérateur différentiel agissant sur deux fonctions est appelé opérateur bidifférentiel.
Densely defined operatorIn mathematics – specifically, in operator theory – a densely defined operator or partially defined operator is a type of partially defined function. In a topological sense, it is a linear operator that is defined "almost everywhere". Densely defined operators often arise in functional analysis as operations that one would like to apply to a larger class of objects than those for which they a priori "make sense".
Variété (géométrie)En mathématiques, et plus particulièrement en géométrie, la notion de variété peut être appréhendée intuitivement comme la généralisation de la classification qui établit qu'une courbe est une variété de dimension 1 et une surface est une variété de dimension 2. Une variété de dimension n, où n désigne un entier naturel, est un espace topologique localement euclidien, c'est-à-dire dans lequel tout point appartient à une région qui s'apparente à un tel espace.
Dérivée covarianteEn géométrie différentielle, la dérivée covariante est un outil destiné à définir la dérivée d'un champ de vecteurs sur une variété. Dans le cas où la dérivée covariante existe, il n'existe pas de différence entre la dérivée covariante et la connexion, à part la manière dont elles sont introduites. (Cela est faux quand la dérivée covariante n'existe pas en revanche ).
Variété différentielleEn mathématiques, les variétés différentielles ou variétés différentiables sont les objets de base de la topologie différentielle et de la géométrie différentielle. Il s'agit de variétés, « espaces courbes » localement modelés sur l'espace euclidien de dimension n, sur lesquelles il est possible de généraliser une bonne part des opérations du calcul différentiel et intégral. Une variété différentielle se définit donc d'abord par la donnée d'une variété topologique, espace topologique localement homéomorphe à l'espace R.
Exterior covariant derivativeIn the mathematical field of differential geometry, the exterior covariant derivative is an extension of the notion of exterior derivative to the setting of a differentiable principal bundle or vector bundle with a connection. Let G be a Lie group and P → M be a principal G-bundle on a smooth manifold M. Suppose there is a connection on P; this yields a natural direct sum decomposition of each tangent space into the horizontal and vertical subspaces. Let be the projection to the horizontal subspace.
Connexion (mathématiques)En géométrie différentielle, la connexion est un outil pour réaliser le transport parallèle. Il existe plusieurs présentations qui dépendent de l'utilisation faite. Cette notion a été développée au début des années 1920 par Élie Cartan et Hermann Weyl (avec comme cas particulier celle de connexion affine), puis reformulée en 1951 par Charles Ehresmann et Jean-Louis Koszul. Connexion de Koszul La connexion de Koszul est un opérateur sur des espaces de sections.
Champ conservatifUn champ de vecteurs est dit à circulation conservative (ou irrotationnel) si sa circulation sur toute courbe fermée est nulle (son rotationnel est alors nul, et réciproquement). Sous certaines conditions relatives au domaine de définition et à la régularité du champ, on peut dériver le potentiel de ce champ, fonction scalaire qui en permet une représentation alternative. De même, un champ de vecteurs est dit à flux conservatif si son flux sur toute surface fermée est nul (sa divergence est alors nulle, et réciproquement).
Champ de vecteursthumb|Un exemple de champ de vecteurs, de la forme (-y,x). thumb|Autre exemple. thumb|Le flux d'air autour d'un avion est un champ tridimensionnel (champ des vitesses des particules d'air), ici visualisé par les bulles qui matérialisent les lignes de courant. En mathématiques, un champ de vecteurs ou champ vectoriel est une fonction qui associe un vecteur à chaque point d'un espace euclidien ou plus généralement d'une variété différentielle.
Variété complexeLes variétés complexes ou plus généralement les sont les objets d'étude de la géométrie analytique complexe. Une variété complexe de dimension n est un espace topologique obtenu par recollement d'ouverts de Cn selon des biholomorphismes, c'est-à-dire des bijections holomorphes. Plus précisément, une variété complexe de dimension n est un espace topologique dénombrable à l'infini (c'est-à-dire localement compact et σ-compact) possédant un atlas de cartes sur Cn, tel que les applications de changement de cartes soient des biholomorphismes.
Forme de connexionEn géométrie différentielle, une 1-forme de connexion est une forme différentielle sur un -fibré principal qui vérifie certains axiomes. La donnée d'une forme de connexion permet de parler, entre autres, de courbure, de torsion, de dérivée covariante, de relevé horizontal, de transport parallèle, d'holonomie et de théorie de jauge. La notion de forme de connexion est intimement reliée à la notion de connexion d'Ehresmann. Soient : un groupe de Lie ; l'élément identité de ; l'algèbre de Lie de ; la représentation adjointe de sur ; une variété différentielle ; un -fibré principal sur .
Connection (principal bundle)In mathematics, and especially differential geometry and gauge theory, a connection is a device that defines a notion of parallel transport on the bundle; that is, a way to "connect" or identify fibers over nearby points. A principal G-connection on a principal G-bundle P over a smooth manifold M is a particular type of connection which is compatible with the action of the group G. A principal connection can be viewed as a special case of the notion of an Ehresmann connection, and is sometimes called a principal Ehresmann connection.
Connexion de KoszulEn géométrie différentielle, une connexion (de Koszul) est un opérateur sur les sections d'un fibré vectoriel. Cette notion a été introduite par Jean-Louis Koszul en 1950 et formalise le transport parallèle de vecteurs le long d'une courbe en termes d'équation différentielle ordinaire. Les connexions sont des objets localement définis auxquels sont associées les notions de courbure et de torsion. L'un des exemples les plus simples de connexions de Koszul sans torsion est la connexion de Levi-Civita naturellement définie sur le fibré tangent de toute variété riemannienne.
Variété kählérienneEn mathématiques, une variété kählérienne ou variété de Kähler est une variété différentielle équipée d'une structure unitaire satisfaisant une condition d'intégrabilité. C'est en particulier une variété riemannienne, une variété symplectique et une variété complexe, ces trois structures étant mutuellement compatibles. Les variétés kählériennes sont un objet d'étude naturel en géométrie différentielle complexe. Elles doivent leur nom au mathématicien Erich Kähler. Plusieurs définitions équivalentes existent.
CourbeEn mathématiques, plus précisément en géométrie, une courbe, ou ligne courbe, est un objet du plan ou de l'espace usuel, similaire à une droite mais non nécessairement linéaire. Par exemple, les cercles, les droites, les segments et les lignes polygonales sont des courbes. La notion générale de courbe se décline en plusieurs objets mathématiques ayant des définitions assez proches : arcs paramétrés, lignes de niveau, sous-variétés de .
Dérivée directionnelleEn analyse mathématique, la notion de dérivée directionnelle permet de quantifier la variation locale d'une fonction dépendant de plusieurs variables, en un point donné et le long d'une direction donnée dans l'espace de ces variables. Dans la version la plus simple, la dérivée directionnelle généralise la notion de dérivées partielles, dans le sens où l'on retrouve ces dernières en prenant comme directions de dérivation les axes de coordonnées. Le concept de dérivée directionnelle est fondamental en analyse.