Espace completEn mathématiques, un espace métrique complet est un espace métrique dans lequel toute suite de Cauchy converge. La propriété de complétude dépend de la distance. Il est donc important de toujours préciser la distance que l'on prend quand on parle d'espace complet. Intuitivement, un espace est complet s'il « n'a pas de trou », s'il « n'a aucun point manquant ». Par exemple, les nombres rationnels ne forment pas un espace complet, puisque n'y figure pas alors qu'il existe une suite de Cauchy de nombres rationnels ayant cette limite.
Triangle équilatéralEn géométrie euclidienne, un triangle équilatéral est un triangle dont les trois côtés ont la même longueur. Ses trois angles internes ont alors la même mesure de 60 degrés, et il constitue ainsi un polygone régulier à trois sommets. Tous les triangles équilatéraux sont semblables. Chaque triangle équilatéral est invariant par trois symétries axiales et deux rotations dont le centre est à la fois le centre de gravité, l'orthocentre et le centre des cercles inscrit et circonscrit au triangle.
Espace de longueurEn mathématiques, un espace de longueur est un espace métrique particulier, qui généralise la notion de variété riemannienne : la distance y est définie par une fonction vérifiant une axiomatique la rendant proche de l'idée concrète de distance. Les espaces de longueur ont été étudiés au début du par et sous le nom d'espaces métriques intrinsèques, et réintroduits plus récemment par Mikhaïl Gromov. Soit X un espace topologique. Une courbe dans X est une application continue , où I est un intervalle de .
Fonction distance signéeIn mathematics and its applications, the signed distance function (or oriented distance function) is the orthogonal distance of a given point x to the boundary of a set Ω in a metric space, with the sign determined by whether or not x is in the interior of Ω. The function has positive values at points x inside Ω, it decreases in value as x approaches the boundary of Ω where the signed distance function is zero, and it takes negative values outside of Ω. However, the alternative convention is also sometimes taken instead (i.
Category of metric spacesIn , Met is a that has metric spaces as its and metric maps (continuous functions between metric spaces that do not increase any pairwise distance) as its morphisms. This is a category because the composition of two metric maps is again a metric map. It was first considered by . The monomorphisms in Met are the injective metric maps. The epimorphisms are the metric maps for which the domain of the map has a dense in the range. The isomorphisms are the isometries, i.e. metric maps which are injective, surjective, and distance-preserving.
Distance (mathématiques)En mathématiques, une distance est une application qui formalise l'idée intuitive de distance, c'est-à-dire la longueur qui sépare deux points. C'est par l'analyse des principales propriétés de la distance usuelle que Fréchet introduit la notion d'espace métrique, développée ensuite par Hausdorff. Elle introduit un langage géométrique dans de nombreuses questions d'analyse et de théorie des nombres.
HexagoneUn hexagone, du grec et , est un polygone à six sommets et six côtés. Un hexagone peut être régulier ou irrégulier. Un hexagone régulier est un hexagone convexe dont les six côtés ont tous la même longueur. Les angles internes d'un hexagone régulier sont tous de 120°. Comme les carrés et les triangles équilatéraux, les hexagones réguliers permettent un pavage régulier du plan. Les pavages carrés et hexagonaux sont notamment utilisés pour réaliser des dallages.
Cuboctaèdrethumb|Cuboctaèdre vu comme cube rectifié. thumb|Patron de cuboctaèdre. Un cuboctaèdre est un polyèdre à 14 faces régulières, dont huit sont des triangles équilatéraux et six sont des carrés. Il comporte : 12 sommets identiques, chacun joignant deux triangles et deux carrés opposés deux à deux ; 24 arêtes identiques, chacune commune à un triangle et à un carré. Il s'agit donc d'un polyèdre quasi-régulier, c’est-à-dire un solide d'Archimède (uniformité des sommets) avec en plus, une uniformité des arêtes.
SHA-1SHA-1 (Secure Hash Algorithm, prononcé ) est une fonction de hachage cryptographique conçue par la National Security Agency des États-Unis (NSA), et publiée par le gouvernement des États-Unis comme un standard fédéral de traitement de l'information (Federal Information Processing Standard du National Institute of Standards and Technology (NIST)). Elle produit un résultat (appelé « hash » ou condensat) de (20 octets), habituellement représenté par un nombre hexadécimal de 40 caractères.
Distance geometryDistance geometry is the branch of mathematics concerned with characterizing and studying sets of points based only on given values of the distances between pairs of points. More abstractly, it is the study of semimetric spaces and the isometric transformations between them. In this view, it can be considered as a subject within general topology. Historically, the first result in distance geometry is Heron's formula in 1st century AD.
CombinatoireEn mathématiques, la combinatoire, appelée aussi analyse combinatoire, étudie les configurations de collections finies d'objets ou les combinaisons d'ensembles finis, et les dénombrements. La combinatoire est en fait présente dans toute l'antiquité en Inde et en Chine. Donald Knuth, dans le volume 4A « Combinatorial Algorithms » de The Art of Computer Programming parle de la génération de n-uplets ; il dit que la génération de motifs combinatoires «a commencé alors que la civilisation elle-même prenait forme» (« began as civilization itself was taking shape»).
Euclidean distanceIn mathematics, the Euclidean distance between two points in Euclidean space is the length of a line segment between the two points. It can be calculated from the Cartesian coordinates of the points using the Pythagorean theorem, therefore occasionally being called the Pythagorean distance. These names come from the ancient Greek mathematicians Euclid and Pythagoras, although Euclid did not represent distances as numbers, and the connection from the Pythagorean theorem to distance calculation was not made until the 18th century.
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.
Transport Layer SecurityLa Transport Layer Security (TLS) ou « Sécurité de la couche de transport », et son prédécesseur la Secure Sockets Layer (SSL) ou « Couche de sockets sécurisée », sont des protocoles de sécurisation des échanges par réseau informatique, notamment par Internet. Le protocole SSL a été développé à l'origine par Netscape Communications Corporation pour son navigateur Web. L'organisme de normalisation Internet Engineering Task Force (IETF) en a poursuivi le développement en le rebaptisant Transport Layer Security (TLS).
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Computer-assisted proofA computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program.
IsométrieEn géométrie, une isométrie est une transformation, qui conserve les longueurs et les mesures d’angles, délimités par deux demi‐droites ou bien deux demi‐plans. Autrement dit, une isométrie est une similitude particulière, qui reproduit n’importe quelle figure à l’échelle 1. Ce rapport 1 de longueurs s’appelle le rapport de la similitude. Comme une similitude, une isométrie dite directe conserve l’orientation des figures, tandis qu’une isométrie indirecte inverse leur orientation.
Enseignement magistralL'enseignement magistral est une méthode pédagogique qui consiste à enseigner en exposant les objets d'apprentissage devant un groupe d'apprenants lors d'un cours. thumb|right|Cours magistral de mathématiques à l'université de technologie d'Helsinki Semblable à la conférence, le cours magistral s'en distingue notamment par son étendue dans le temps et la nature de son auditoire. L'enseignement magistral a pour objectif de transmettre des connaissances de manière organisée.
Ordres de grandeur de massePour illustrer les différents ordres de grandeur de masse, le tableau ci-dessous donne des exemples d'objets dont les masses s'étalent entre et kg.
Ensemble videvignette|Notation de l'ensemble vide. En mathématiques, l'ensemble vide est l'ensemble ne contenant aucun élément. L'ensemble vide peut être noté d'un O barré, à savoir ∅ ou simplement { }, qui est une paire d'accolades ne contenant qu'une espace, pour représenter un ensemble qui ne contient rien. La notation ∅ a été introduite par André Weil, dans le cadre de l'institution de notations par le groupe Bourbaki. Von Neumann dans son article de 1923, qui est l'une des premières références qui l'aborde, le note O.
