Groupe symétriqueEn mathématiques, plus particulièrement en algèbre, le groupe symétrique d'un ensemble E est le groupe des permutations de E, c'est-à-dire des bijections de E sur lui-même. N'est traité dans le présent article, à la suite de la définition générale, que le cas E fini. Soit E un ensemble. On appelle groupe symétrique de E l'ensemble des applications bijectives de E sur E muni de la composition d'applications (la loi ∘). On le note S(E) ou (ce caractère est un S gothique). Un cas particulier courant est le cas où E est l'ensemble fini {1, 2, .
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
DéfinitionUne définition est une proposition qui met en équivalence un élément définissant et un élément étant défini. Une définition a pour but de clarifier, d'expliquer. Elle détermine les limites ou « un ensemble de traits qui circonscrivent un objet ». Selon les Définitions du pseudo-Platon, la définition est la . Aristote, dans le Topiques, définit le mot comme En mathématiques, on définit une notion à partir de notions antérieurement définies. Les notions de bases étant les symboles non logiques du langage considéré, dont l'usage est défini par les axiomes de la théorie.
Approximation de πvignette|upright=2|Graphique montrant l'évolution historique de la précision record des approximations numériques de π, mesurée en décimales (représentée sur une échelle logarithmique). Dans l'histoire des mathématiques, les approximations de la constante π ont atteint une précision de 0,04 % de la valeur réelle avant le début de notre ère (Archimède). Au , des mathématiciens chinois les ont améliorées jusqu'à sept décimales. De grandes avancées supplémentaires n'ont été réalisées qu'à partir du (Al-Kashi).
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Notation positionnelleLa notation positionnelle est un procédé d'écriture des nombres, dans lequel chaque position d'un chiffre ou symbole est reliée à la position voisine par un multiplicateur, appelé base du système de numération. Chaque position peut être renseignée par un symbole (notation sans base auxiliaire) ou par un nombre fini de symboles (notation avec base auxiliaire). La valeur d'une position est celle du symbole de position ou celle de la précédente position apparente multipliée par la base.
Longueur d'un arcthumb|Camille Jordan est l'auteur de la définition la plus courante de la longueur d'un arc. En géométrie, la question de la longueur d'un arc est simple à concevoir (intuitive). L'idée d'arc correspond à celle d'une ligne, ou d'une trajectoire d'un point dans un plan ou l'espace par exemple. Sa longueur peut être vue comme la distance parcourue par un point matériel suivant cette trajectoire ou encore comme la longueur d'un fil prenant exactement la place de cette ligne. La longueur d'un arc est, soit un nombre positif, soit l'infini.
Élément neutreEn mathématiques, plus précisément en algèbre, un élément neutre (ou élément identité) d'un ensemble pour une loi de composition interne est un élément de cet ensemble qui laisse tous les autres éléments inchangés lorsqu'il est composé avec eux par cette loi. Un magma possédant un élément neutre est dit unifère. Soit un magma. Un élément de est dit : neutre à gauche si ; neutre à droite si ; neutre s'il est neutre à droite et à gauche.
Cycle thermodynamiqueUn cycle thermodynamique est une suite de transformations successives qui part d'un système thermodynamique dans un état donné, le transforme et le ramène finalement à son état initial, de manière à pouvoir recommencer le cycle. Au cours du cycle, le système voit sa température, sa pression ou d'autres paramètres d'état varier, tandis qu'il échange du travail et réalise un transfert thermique avec l'extérieur. Il existe de nombreux cycles thermodynamiques, dont voici quelques-uns.
LongueurEn géométrie, la longueur est la mesure d'une courbe dans un espace sur lequel est définie une notion de distance. La longueur est une mesure linéaire sur une seule dimension, par opposition à la surface qui est une mesure sur deux dimensions, et au volume dont la mesure porte sur trois dimensions. La longueur d'une courbe ne doit pas être confondue avec la distance entre deux points, qui correspond au minimum des longueurs des chemins reliant ces points. La longueur est une grandeur physique et une dimension de base.
Représentation irréductibleEn mathématiques et plus précisément en théorie des représentations, une représentation irréductible est une représentation non nulle qui n'admet qu'elle-même et la représentation nulle comme sous-représentations. Le présent article traite des représentations d'un groupe. Le théorème de Maschke démontre que dans de nombreux cas, une représentation est somme directe de représentations irréductibles. Dans le cas des groupes finis, les informations liés aux représentations irréductibles sont encodées dans la table de caractères du groupe.
Groupe alternéEn mathématiques, et plus précisément en théorie des groupes, le groupe alterné de degré n, souvent noté An, est un sous-groupe distingué du groupe symétrique des permutations d'un ensemble fini à n éléments. Ce sous-groupe est constitué des permutations produits d'un nombre pair de transpositions. Une transposition est une permutation qui échange deux éléments et fixe tous les autres. Il existe un groupe alterné pour chaque entier n supérieur ou égal à 2 ; il se note habituellement An (ou parfois en écriture Fraktur) et possède n!/2 éléments.
