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.
Degré de liberté (génie mécanique)En physique, un solide rigide isolé dans l'espace peut se déplacer librement dans un mouvement qu'on peut décomposer suivant 6 transformations géométriques indépendantes (translations et rotations autour d'axes fixes dans trois directions d'une base liée à notre espace à 3 dimensions). Il en est de même d'un solide isolé par rapport à un autre référent. Si ces solides sont liés mécaniquement, certains de ces mouvements élémentaires sont impossibles.
Théorème de VarignonIl existe deux théorèmes démontrés par Pierre Varignon. D'autre part, si ABCD est plan et convexe, son aire est le double de celle de IJKL. En corollaire, les médianes d'un quadrilatère ont même milieu (étant les diagonales du parallélogramme). Le périmètre du parallélogramme de Varignon est égal à la somme des longueurs des diagonales du quadrilatère. vignette|upright=1.5|Cas d'un quadrilatère croisé. En reprenant les notations du dessin ci-dessus, et en adoptant les notations barycentriques, on a : donc (par associativité du barycentre) ce qui exprime que IJKL est un parallélogramme.
Codeur rotatifvignette|ROD 420 Un codeur rotatif ou capteur rotatif est un type de capteur permettant de fournir une information d'angle, en mesurant la rotation effectuée autour d'un axe. L'information de vitesse peut alors être déduite de la variation de la position par rapport au temps. Plus le codeur rotatif tourne lentement, plus la déduction de vitesse perd en précision. Il existe deux principaux types de codeurs : le codeur rotatif incrémental, qui ajoute ou soustrait (selon le sens de rotation) une unité à un compteur à chaque rotation supérieure à la résolution du capteur.
Identité de polarisationEn mathématiques, les identités de polarisation concernent l'algèbre multilinéaire. Elles correspondent à une caractérisation des formes bilinéaires symétriques, des formes sesquilinéaires hermitiennes. Si E est un espace vectoriel, ces formes sont des applications de E×E dans le corps des scalaires (réels ou complexes). Elles sont intégralement caractérisées par leur comportement sur la diagonale, c'est-à-dire par la connaissance d'une telle forme f sur l'ensemble des points (x, x) où x est un élément quelconque de E.
Parallélépipèdevignette|Perspective cavalière d'un parallélépipède. En géométrie dans l'espace, un parallélépipède (ou parallélipipède) est un solide dont les six faces sont des parallélogrammes. Il est au parallélogramme ce que le cube est au carré et ce que le pavé droit est au rectangle. En géométrie affine, où l'on ne tient compte que de la notion de parallélisme, un parallélépipède peut être aussi défini comme un hexaèdre dont les faces sont parallèles deux à deux ; un prisme dont la base est un parallélogramme.
