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.
Symétrie de rotationEn physique, la symétrie de rotation, ou invariance par rotation, est la propriété d'une théorie, ou d'un système physique de ne pas être modifié soit par une rotation spatiale quelconque, ou alors par seulement certaines d'entre elles. Lorsque le système est invariant par n'importe quelle rotation d'espace, on parle d'isotropie (du Grec isos (ἴσος, "égal, identique") et tropos (τρόπος, "tour, direction"). Dans ce cas toutes les directions de l'espace sont équivalentes.
AntirotationEn géométrie, une antirotation est un type particulier d'antidéplacement ( d'isométrie qui renverse l'orientation) de l'espace euclidien de dimension 3 (espace affine euclidien ou espace vectoriel euclidien, suivant le contexte) : c'est la composée de deux transformations qui commutent : une rotation d'angle autour d'un axe et d'une réflexion par rapport à un plan perpendiculaire à cet axe, ce qui lui vaut aussi le nom de roto-réflexion, ou rotation-réflexion.
Lagrangian systemIn mathematics, a Lagrangian system is a pair (Y, L), consisting of a smooth fiber bundle Y → X and a Lagrangian density L, which yields the Euler–Lagrange differential operator acting on sections of Y → X. In classical mechanics, many dynamical systems are Lagrangian systems. The configuration space of such a Lagrangian system is a fiber bundle Q → R over the time axis R. In particular, Q = R × M if a reference frame is fixed. In classical field theory, all field systems are the Lagrangian ones.
Espace pointéEn topologie, un espace pointé est un espace topologique dont on spécifie un point particulier comme étant le point de base. Formellement, il s'agit donc d'un couple (E, x) pour lequel x est un élément de E. Une application pointée entre deux espaces pointés est une application continue préservant les points de base. Les espaces pointés sont les objets d'une catégorie, notée parfois Top, dont les morphismes sont les applications pointées. Cette catégorie admet le point comme objet nul.
Dendrimère400px|droite Un dendrimère est une molécule dont la forme reprend celle des branches d'un arbre. Le nom vient du grec δενδρον/dendron, signifiant « arbre. » En 1979, le premier dendrimère a été synthétisé par D.A. Tomalia et d'autres chercheurs de la Dow Chemical Company, et des dendrimères ont depuis été étudiés partout dans le monde pour leur forme unique. vignette|400px|Synthèse convergente. vignette|400px|Synthèse divergente. Dans la synthèse des dendrimères, les monomères mènent à un polymère monodispersé, tel un arbre.
Espace des lacetsEn mathématiques, l'espace des lacets d'un espace topologique pointé est l'ensemble des applications continues d'un segment dans cet espace, tel que l'image des deux extrémités du segment coïncide avec le point de base. Muni de la topologie compacte-ouverte, il s'agit d'un invariant homotopique. La concaténation et le renversement des lacets en font un h-groupe. L'espace des lacets d'un CW-complexe a le type d'homotopie d'un CW-complexe. L’espace des lacets est la cofibre de l’inclusion de l’espace des chemins pointés dans l’espace des chemins.
Structured program theoremThe structured program theorem, also called the Böhm–Jacopini theorem, is a result in programming language theory. It states that a class of control-flow graphs (historically called flowcharts in this context) can compute any computable function if it combines subprograms in only three specific ways (control structures).
