Fermé (topologie)En mathématiques, dans un espace topologique E, un fermé est un sous-ensemble de E dont le complémentaire est un ouvert. Toute réunion d'une famille finie de fermés est un fermé (y compris l'ensemble vide ∅, qui est — par définition — la réunion de la famille vide). Toute intersection d'une famille (finie ou infinie) de fermés est un fermé (y compris l'espace E tout entier, qui est — par convention dans ce contexte — l'intersection de la famille vide).
Alignement des intelligences artificiellesLalignement des intelligences artificielles (ou alignement de l'IA, ou encore problème de l'alignement) est un champ de recherche visant à concevoir des intelligences artificielles (IA) dont les résultats s'orientent vers les objectifs, éthiques ou autres, de leurs concepteurs. On dit ainsi qu'une IA est alignée avec un opérateur si elle essaie de faire ce que l'opérateur veut qu'elle fasse. Les systèmes d'IA peuvent être difficiles à aligner, et être dysfonctionnels ou dangereux si mal alignés.
Fonction d'erreurthumb|right|upright=1.4|Construction de la fonction d'erreur réelle. En mathématiques, la fonction d'erreur (aussi appelée fonction d'erreur de Gauss) est une fonction entière utilisée en analyse. Cette fonction se note erf et fait partie des fonctions spéciales. Elle est définie par : La fonction erf intervient régulièrement dans le domaine des probabilités et statistiques, ainsi que dans les problèmes de diffusion (de la chaleur ou de la matière).
Constructionvignette|upright|Les grues sont essentielles pour des travaux importants tels que les gratte-ciel. La construction est le fait d'assembler différents éléments d'un édifice en utilisant des matériaux et des techniques appropriées. Le secteur économique de la construction, appelé « bâtiment et travaux publics » (BTP) dans une partie de l'Europe francophone, regroupe toutes les activités de conception et de construction des bâtiments publics et privés, industriels ou non, et des infrastructures telles que les routes ou les canalisations.
Sine and cosineIn mathematics, sine and cosine are trigonometric functions of an angle. The sine and cosine of an acute angle are defined in the context of a right triangle: for the specified angle, its sine is the ratio of the length of the side that is opposite that angle to the length of the longest side of the triangle (the hypotenuse), and the cosine is the ratio of the length of the adjacent leg to that of the hypotenuse. For an angle , the sine and cosine functions are denoted simply as and .
Groupe divisibleEn mathématiques, et plus particulièrement en théorie des groupes, un groupe abélien divisible est un groupe abélien G tel que, pour tout nombre naturel n ≥ 1, on ait (en notation additive) G = nG. Ceci revient à dire que pour tout élément x de G et tout nombre naturel n ≥ 1, il existe au moins un élément y de G tel que x = ny. On peut étendre cette définition aux groupes non abéliens, un groupe divisible étant un groupe dans lequel (en notation multiplicative) tout élément est n-ième puissance, quel que soit l'entier naturel n ≥ 1.
Formule 1La Formule 1, communément abrégée en F1, est une discipline de sport automobile considérée comme la catégorie reine de ce sport. Elle a pris au fil des ans une dimension mondiale et elle est, avec les Jeux olympiques et la Coupe du monde de football, l'un des événements sportifs les plus médiatisés. Chaque année depuis , un championnat mondial des pilotes est organisé, complété depuis par un championnat mondial des constructeurs automobiles.
Unité dérivée du Système internationalLes unités dérivées du Système International se déduisent des sept unités de base du Système international, et font elles-mêmes partie de ce système d'unités. Les unités de base sont : le mètre (m), unité de longueur (x, l) ; le kilogramme (kg), unité de masse (m) ; la seconde (s), unité de temps (t) ; l'ampère (A), unité de courant électrique (I, i) ; le kelvin (K), unité de température (T) ; la mole (mol), unité de quantité de matière (n) ; la candela (cd), unité d'intensité lumineuse (I).
Nombre algébriqueUn nombre algébrique, en mathématiques, est un nombre complexe solution d'une équation polynomiale à coefficients dans le corps des rationnels (autrement dit racine d'un polynôme non nul à coefficients rationnels). Les nombres entiers et rationnels sont algébriques, ainsi que toutes les racines de ces nombres. Les nombres complexes qui ne sont pas algébriques, comme π et e (théorème de Lindemann-Weierstrass), sont dits transcendants. L'étude de ces nombres, de leurs polynômes minimaux et des corps qui les contiennent fait partie de la théorie de Galois.
Catégorie dérivéeLa catégorie dérivée d'une catégorie est une construction, originellement introduite par Jean-Louis Verdier dans sa thèse et reprise dans SGA 41⁄2, qui permet notamment de raffiner et simplifier la théorie des foncteurs dérivés. Elle a amené à plusieurs développements importants, ainsi que des reformulations élégantes par exemple de la théorie des D-modules et des preuves de la qui généralise le vingt-et-unième problème de Hilbert. En particulier, le langage des catégories dérivées permet de simplifier des problèmes exprimés en termes de suites spectrales.
