Groupe du platineLes métaux du groupe du platine dits MGP (ou PGM en anglais pour platinum group metals) regroupent six ou sept éléments chimiques appartenant à la famille des métaux de transition et apparentés dans le tableau périodique : ruthénium 44Ru, rhodium 45Rh, palladium 46Pd, osmium 76Os, iridium 77Ir, platine 78Pt, et, selon les sources, rhénium 75Re. Les métaux de ce groupe sont rares et caractérisés par des propriétés communes et inhabituelles chez les métaux. Ce sont notamment de puissants catalyseurs et sous certaines formes ils peuvent être toxiques.
Continuité uniformeEn topologie, la continuité uniforme (ou l'uniforme continuité) est une propriété plus forte que la continuité, et se définit dans les espaces métriques ou plus généralement les espaces uniformes. Contrairement à la continuité, la continuité uniforme n'est pas une notion « purement topologique » c'est-à-dire ne faisant intervenir que des ouverts : sa définition dépend de la distance ou de la structure uniforme. Le contexte typique de la définition de la continuité uniforme est celui des espaces métriques. N.
Espace précompactEn topologie, une branche des mathématiques, un espace métrique E est précompact si, pour tout ε > 0, on peut recouvrir E par un nombre fini de boules de rayon ε. La propriété principale est qu'un espace métrique est compact si et seulement s'il est précompact et complet. La notion de précompacité et ses propriétés se généralisent aux espaces uniformes. Soit E un espace métrique. Si l'une des trois propriétés suivantes est vérifiée, alors toutes trois le sont et E est dit précompact.
Tas binaireEn informatique, un tas binaire est une structure de données utilisée notamment pour implémenter une car elle permet de retirer l’élément de priorité maximale (resp. minimale) d'un ensemble ou d’insérer un élément dans l'ensemble en temps logarithmique tout en conservant la structure du tas binaire. On peut la représenter par un arbre binaire qui vérifie ces deux contraintes : C'est un arbre binaire complet : tous les niveaux sauf le dernier doivent être totalement remplis et si le dernier ne l'est pas totalement, alors il doit être rempli de gauche à droite.
Diagramme de Vennvignette|Diagramme de Venn montrant quels glyphes en majuscules sont partagés par l'alphabet grec, latin et russe. Un diagramme de Venn (également appelé diagramme logique) est un diagramme qui montre toutes les relations logiques possibles dans une collection finie de différents ensembles. Les diagrammes de Venn ont été conçus autour de 1880 par John Venn. Ils sont utilisés pour enseigner la théorie des ensembles élémentaires, ainsi que pour illustrer des relations simples en probabilité, logique, statistiques, linguistique et en informatique.
Lemme du ping-pongEn mathématiques, le lemme du ping-pong permet de montrer que certains éléments d'un groupe agissant sur un ensemble engendrent un sous-groupe libre de ce groupe. L'argument du ping-pong remonte à la fin du et est généralement attribué à Felix Klein, qui l'utilisa pour étudier les , les sous-groupes discrets de PSL(2, C). Le lemme du ping-pong fut un outil crucial pour Jacques Tits, qui l'utilisa dans son article de 1972 contenant la preuve d'un résultat célèbre appelé dès lors l'.
Univers constructibleEn mathématiques et en théorie des ensembles, l'univers constructible, ou l'univers constructible de Gödel, noté , est une classe d'ensembles qui peuvent entièrement être décrits en termes d'ensembles plus simples. Elle a été introduite en 1938 par Kurt Gödel dans son article sur . Il y montrait que cette classe est un de la théorie ZF et que l'axiome du choix et l'hypothèse généralisée du continu sont vrais dans ce modèle. Ceci prouve que ces deux propositions sont cohérentes avec les axiomes de ZF, à condition que ZF soit déjà cohérente.
Fonction bornéedroite|vignette| Schéma d'une fonction bornée (rouge) et d'une fonction non bornée (bleu). Intuitivement, le graphe d'une fonction bornée reste dans une bande horizontale, contrairement au graphe d'une fonction non bornée. En mathématiques, une fonction est dite bornée si est borné. Pour une fonction f définie sur un ensemble X et à valeurs réelles ou complexes, cela revient à dire qu'il existe un nombre réel M tel que pour tout x dans X, Une fonction à valeurs réelles est dite majorée ( minorée) si l'ensemble de ses valeurs possède un majorant ( minorant) réel.
Axiome de constructibilitéL'axiome de constructibilité est un des axiomes possibles de la théorie des ensembles affirmant que tout ensemble est constructible. Cet axiome est généralement résumé par = , où représente la classe des ensembles et est l’univers constructible, la classe des ensembles récursivement définissables via un langage approprié.
CubeEn géométrie euclidienne, un cube est un prisme droit dont toutes les faces sont carrées donc égales et superposables. Le cube figure parmi les solides les plus remarquables de l'espace. C'est le seul des cinq solides de Platon ayant exactement 6 faces, 12 arêtes et 8 sommets. Son autre nom est « hexaèdre régulier ». Le cube est un zonoèdre à trois générateurs. Comme il a quatre sommets par face et trois faces par sommet, son symbole de Schläfli est {4,3}. L'étymologie du mot cube est grecque ; cube provient de kubos, le dé.
