Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Hélicité (physique des particules)vignette|Schéma de l'hélice. (R) droitier, (L) gaucher En physique des particules, l'hélicité est la projection du spin sur la direction de la quantité de mouvement (cette projection correspond donc à la composante suivant la direction de propagation) : hélicité = étant la direction de On dira d'une particule que son hélicité est droite (positive) ou gauche (négative) selon que son spin est orienté dans le même sens ou dans le sens opposé à son mouvement.
Représentation d'algèbre de LieEn mathématiques, une représentation d'une algèbre de Lie est une façon d'écrire cette algèbre comme une algèbre de matrices, ou plus généralement d'endomorphismes d'un espace vectoriel, avec le crochet de Lie donné par le commutateur. Algèbre de Lie Soit K un corps commutatif de caractéristique différente de 2. Une algèbre de Lie sur K est un espace vectoriel muni d'une application bilinéaire de dans qui vérifie les propriétés suivantes : Tout espace vectoriel peut être muni d'une structure d'algèbre de Lie, en posant .
Voix sur IPLa voix sur IP, ou « VoIP » pour « Voice over IP », est une technologie informatique qui permet de transmettre la voix sur des réseaux compatibles IP, via Internet ou des réseaux privés (intranets) ou publics, qu'ils soient filaires (câble/ADSL/fibre optique) ou non (satellite, Wi-Fi et réseaux mobiles). Des logiciels de VoIP tels que Skype, Signal, Discord, WhatsApp gèrent aujourd'hui tous les flux multimédia (téléphonie, appels vidéo, messagerie instantanée et transferts de fichiers).
Gravité quantiqueLa gravité quantique est une branche de la physique théorique tentant d'unifier la mécanique quantique et la relativité générale. Une telle théorie permettrait notamment de comprendre les phénomènes impliquant de grandes quantités de matière ou d'énergie sur de petites dimensions spatiales, tels que les trous noirs ou l'origine de l'Univers. L'approche générale utilisée pour obtenir une théorie de la gravité quantique est, présumant que la théorie sous-jacente doit être simple et élégante, d'examiner les symétries et indices permettant de combiner mécanique quantique et la relativité générale en une théorie globale unifiée.
Opérateur de CasimirEn mathématiques, et plus spécifiquement en algèbre, l'opérateur de Casimir est un opérateur particulier. Plus précisément, étant donné une algèbre de Lie munie d'une forme bilinéaire non-dégénérée et invariante, et une représentation de dimension finie, l'opérateur de Casimir est une application linéaire continue particulière sur l'espace vectoriel de la représentation. Cet opérateur commute avec la représentation. Pour l'algèbre de Lie et la représentation étudiées, cet opérateur joue le rôle du laplacien.
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Spin representationIn mathematics, the spin representations are particular projective representations of the orthogonal or special orthogonal groups in arbitrary dimension and signature (i.e., including indefinite orthogonal groups). More precisely, they are two equivalent representations of the spin groups, which are double covers of the special orthogonal groups. They are usually studied over the real or complex numbers, but they can be defined over other fields. Elements of a spin representation are called spinors.
Groupe spinorielEn mathématiques, le groupe spinoriel de degré n, noté Spin(n), est un revêtement double particulier du groupe spécial orthogonal réel SO(n,R). C’est-à-dire qu’il existe une suite exacte de groupes de Lie On peut aussi définir les groupes spinoriels d'une forme quadratique non dégénérée sur un corps commutatif. Pour n > 2, Spin(n) est simplement connexe et coïncide avec le revêtement universel de SO(n,R). En tant que groupe de Lie, Spin(n) partage sa dimension n(n–1)/2 et son algèbre de Lie avec le groupe spécial orthogonal.
Brauer's theorem on induced charactersBrauer's theorem on induced characters, often known as Brauer's induction theorem, and named after Richard Brauer, is a basic result in the branch of mathematics known as character theory, within representation theory of a finite group. A precursor to Brauer's induction theorem was Artin's induction theorem, which states that |G| times the trivial character of G is an integer combination of characters which are each induced from trivial characters of cyclic subgroups of G.
Audio over IPAudio over IP (AoIP) is the distribution of digital audio across an IP network such as the Internet. It is used increasingly to provide high-quality audio feeds over long distances. The application is also known as audio contribution over IP (ACIP) in reference to the programming contributions made by field reporters and remote events. Audio quality and latency are key issues for contribution links. In the past, these links have made use of ISDN services but these have become increasingly difficult or expensive to obtain.
Postulats de la mécanique quantiquevignette|Participants au Congrès Solvay de 1927 sur la mécanique quantique Cet article traite des postulats de la mécanique quantique. La description du monde microscopique que fournit la mécanique quantique s'appuie sur une vision radicalement nouvelle, et s'oppose en cela à la mécanique classique. Elle repose sur des postulats. S'il existe un très large consensus entre les physiciens sur la manière de réaliser les calculs qui permettent de rendre compte des phénomènes quantiques et de prévoir leur évolution, il n'existe pas en revanche de consensus sur une manière unique de les expliquer aux étudiants.
