Forme (géométrie)En géométrie classique, la forme permet d’identifier ou de distinguer des figures selon qu’elles peuvent ou non être obtenues les unes à partir des autres par des transformations géométriques qui préservent les angles en multipliant toutes les longueurs par un même coefficient d’agrandissement. Au sens commun, la forme d’une figure est en général décrite par la donnée combinatoire d’un nombre fini de points et de segments ou d’autres courbes délimitant des surfaces, des comparaisons de longueurs ou d’angles, d’éventuels angles droits et éventuellement du sens de courbure.
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.
Burnside's lemmaBurnside's lemma, sometimes also called Burnside's counting theorem, the Cauchy–Frobenius lemma, the orbit-counting theorem, or the lemma that is not Burnside's, is a result in group theory that is often useful in taking account of symmetry when counting mathematical objects. Its various eponyms are based on William Burnside, George Pólya, Augustin Louis Cauchy, and Ferdinand Georg Frobenius. The result is not due to Burnside himself, who merely quotes it in his book 'On the Theory of Groups of Finite Order', attributing it instead to .
Homothétievignette|Homothétie de centre O transformant le triangle (abc) en le triangle (a1b1c1). Une homothétie est une transformation géométrique par agrandissement ou réduction ; autrement dit, une reproduction avec changement d'échelle. Elle se caractérise par son centre, point invariant, et un rapport qui est un nombre réel. Par l'homothétie de centre O et de rapport k, le point M est transformé en un point N tel que En d'autres termes, l'homothétie laisse O fixe et envoie le point M sur un point N situé sur la droite (OM) par un agrandissement ou une réduction de rapport k.
Symétrie de translationLa symétrie de translation ou invariance sous les translations est le nom que l'on donne au fait que les lois de la physique (les lois sur la gravité de Newton, sur l'électromagnétisme de Maxwell, sur la relativité d'Einstein) s'écrivent de la même façon en tout point de l'espace. Il y a brisure de symétrie lorsqu'un système ne possède pas la symétrie de translation On peut donner une explication plus précise. Prenons d'abord l'exemple de la loi de la gravitation de Newton. On prend un référentiel de référence qu'on appelle .
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.
Assertion (software development)In computer programming, specifically when using the imperative programming paradigm, an assertion is a predicate (a Boolean-valued function over the state space, usually expressed as a logical proposition using the variables of a program) connected to a point in the program, that always should evaluate to true at that point in code execution. Assertions can help a programmer read the code, help a compiler compile it, or help the program detect its own defects.
GéométrieLa géométrie est à l'origine la branche des mathématiques étudiant les figures du plan et de l'espace (géométrie euclidienne). Depuis la fin du , la géométrie étudie également les figures appartenant à d'autres types d'espaces (géométrie projective, géométrie non euclidienne ). Depuis le début du , certaines méthodes d'étude de figures de ces espaces se sont transformées en branches autonomes des mathématiques : topologie, géométrie différentielle et géométrie algébrique.
Point fixeEn mathématiques, pour une application f d'un ensemble E dans lui-même, un élément x de E est un point fixe de f si f(x) = x. Exemples : dans le plan, la symétrie par rapport à un point A admet un unique point fixe : A ; l'application inverse (définie sur l'ensemble des réels non nuls) admet deux points fixes : –1 et 1, solutions de l'équation équivalente à l'équation . Graphiquement, les points fixes d'une fonction f (d'une variable réelle, à valeurs réelles) sont les points d'intersection de la droite d'équation y = x avec la courbe d'équation y = f(x).
Agrandissement et réductionEn géométrie, l’agrandissement et la réduction sont les deux cas de transformations géométriques d'une figure en multipliant ses dimensions par un nombre appelé rapport : ce nombre est supérieur à 1 dans le cas d’un agrandissement, inférieur dans le cas d’une réduction. La figure obtenue est ainsi semblable à l’ancienne, et si les deux apparaissent dans le même plan, elles s’obtiennent chacune par une homothétie sur la figure de l’autre. C’est le cas par exemple d’une configuration de Thalès.
