Matrice diagonaleEn algèbre linéaire, une matrice diagonale est une matrice carrée dont les coefficients en dehors de la diagonale principale sont nuls. Les coefficients de la diagonale peuvent être ou ne pas être nuls. Une matrice diagonale est une matrice qui correspond à la représentation d'un endomorphisme diagonalisable dans une base de vecteurs propres. La matrice d'un endomorphisme diagonalisable est semblable à une matrice diagonale. Toute matrice diagonale est symétrique, normale et triangulaire.
Matrice diagonalisableEn mathématiques, une matrice diagonalisable est une matrice carrée semblable à une matrice diagonale. Cette propriété est équivalente à l'existence d'une base de vecteurs propres, ce qui permet de définir de manière analogue un endomorphisme diagonalisable d'un espace vectoriel. Le fait qu'une matrice soit diagonalisable dépend du corps dans lequel sont cherchées les valeurs propres, ce que confirme la caractérisation par le fait que le polynôme minimal soit scindé à racines simples.
Forme normale disjonctiveEn logique booléenne ou en calcul des propositions, une forme normale disjonctive ou FND (en anglais, disjunctive normal form ou DNF) est une normalisation d'une expression logique qui est une disjonction de clauses conjonctives. Elle est utilisée dans la démonstration automatique de théorèmes. Une expression logique est en FND si et seulement si elle est une disjonction d'une ou plusieurs conjonctions d'un ou plusieurs littéraux. Tout comme dans une forme normale conjonctive (FNC), les seuls opérateurs dans une FND sont le et logique, le ou logique et la négation.
Décomposition de FrobeniusOn considère un K-espace vectoriel E de dimension finie et un endomorphisme u de cet espace. Une décomposition de Frobenius est une décomposition de E en somme directe de sous-espaces dits cycliques, telle que les polynômes minimaux (ou caractéristiques) respectifs des restrictions de u aux facteurs sont les facteurs invariants de u. La décomposition de Frobenius peut s'effectuer sur un corps quelconque : on ne suppose pas ici que K est algébriquement clos.
Forme normale conjonctiveEn logique booléenne et en calcul des propositions, une formule en forme normale conjonctive ou FNC (en anglais, Conjunctive Normal Form, Clausal Normal Form ou CNF) est une conjonction de clauses, où une clause est une disjonction de littéraux. Les formules en FNC sont utilisées dans le cadre de la démonstration automatique de théorèmes ou encore dans la résolution du problème SAT (en particulier dans l'algorithme DPLL). Une expression logique est en FNC si et seulement si elle est une conjonction d'une ou plusieurs disjonction(s) d'un ou plusieurs littéraux.
Classe caractéristiqueUne classe caractéristique est un objet mathématique défini et étudié notamment en topologie algébrique et en K-théorie, afin de différencier les fibrés vectoriels. De telles classes sont aujourd'hui comprises comme des invariants cohomologiques. La notion de classe caractéristique répond à une tentative de classification. Plus précisément, si est un fibré vectoriel, une classe caractéristique de est une classe dans la cohomologie de la base qui vérifie la condition suivante, dite de compatibilité : pour toute application continue , on a où est le fibré vectoriel induit sur par .
Caractéristique d'EulerEn mathématiques, et plus précisément en géométrie et en topologie algébrique, la caractéristique d'Euler — ou d'Euler-Poincaré — est un invariant numérique, un nombre qui décrit un aspect d'une forme d'un espace topologique ou de la structure de cet espace. Elle est communément notée χ. La caractéristique d'Euler fut définie à l'origine pour les polyèdres et fut utilisée pour démontrer divers théorèmes les concernant, incluant la classification des solides de Platon.
Polynôme caractéristiqueEn mathématiques, et plus particulièrement en algèbre linéaire, à toute matrice carrée à coefficients dans un anneau commutatif ou à tout endomorphisme d'un espace vectoriel de dimension finie est associé un polynôme appelé polynôme caractéristique. Il renferme d'importantes informations sur la matrice ou sur l'endomorphisme, comme ses valeurs propres, son déterminant et sa trace. Le théorème de Cayley-Hamilton assure que toute matrice carrée annule son polynôme caractéristique.
Canonical normal formIn Boolean algebra, any Boolean function can be expressed in the canonical disjunctive normal form (CDNF) or minterm canonical form, and its dual, the canonical conjunctive normal form (CCNF) or maxterm canonical form. Other canonical forms include the complete sum of prime implicants or Blake canonical form (and its dual), and the algebraic normal form (also called Zhegalkin or Reed–Muller). Minterms are called products because they are the logical AND of a set of variables, and maxterms are called sums because they are the logical OR of a set of variables.
Caractéristique d'un anneauEn algèbre, la caractéristique d'un anneau (unitaire) A est par définition l'ordre pour la loi additive de l'élément neutre de la loi multiplicative si cet ordre est fini ; si cet ordre est infini, la caractéristique de l'anneau est par définition zéro. On note, pour un anneau unitaire (A, +, ×), 0A l'élément neutre de « + » et 1A celui de « × ». La caractéristique d'un anneau A est donc le plus petit entier n > 0 tel que si un tel entier existe. Dans le cas contraire (autrement dit si 1A est d'ordre infini), la caractéristique est nulle.
Diagonale principaleEn algèbre linéaire, la diagonale principale d'une matrice carrée est la diagonale qui descend du coin en haut à gauche jusqu'au coin en bas à droite. Par exemple, la matrice carrée d'ordre 3 qui suit a des 1 sur sa diagonale principale : Il s'agit en particulier de la matrice identité d'ordre 3. Ici, la diagonale principale est composée de 1 et on a également 2 diagonales « secondaires » de part et d'autre de la diagonale principale, composées par des 2 et l'autre par des 3.
Diagonalevignette|Le segment [D'B'] est une diagonale du carré A'B'C'D'.[D'B'] et [A'C] sont tous deux des diagonales du cube ci-dessus. On appelle diagonale d'un polygone tout segment reliant deux sommets non consécutifs (non reliés par un côté). Un polygone à n côtés possède donc diagonales. Un quadrilatère est un parallélogramme si, et seulement si, ses diagonales se croisent en leur milieu. On appelle diagonale de l'espace une diagonale d'un polytope, diagonale de l'espace principale une diagonale principale d'un polytope, diagonale de l'espace brisée une diagonale brisée d'un hypercube.
