Espace euclidienEn mathématiques, un espace euclidien est un objet algébrique permettant de généraliser de façon naturelle la géométrie traditionnelle développée par Euclide, dans ses Éléments. Une géométrie de cette nature modélise, en physique classique, le plan ainsi que l'espace qui nous entoure. Un espace euclidien permet également de traiter les dimensions supérieures ; il est défini par la donnée d'un espace vectoriel sur le corps des réels, de dimension finie, muni d'un produit scalaire, qui permet de « mesurer » distances et angles.
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.
Euclidean topologyIn mathematics, and especially general topology, the Euclidean topology is the natural topology induced on -dimensional Euclidean space by the Euclidean metric. The Euclidean norm on is the non-negative function defined by Like all norms, it induces a canonical metric defined by The metric induced by the Euclidean norm is called the Euclidean metric or the Euclidean distance and the distance between points and is In any metric space, the open balls form a base for a topology on that space.
Boule (topologie)En topologie, une boule est un type de voisinage particulier dans un espace métrique. Le nom évoque, à juste titre, la boule solide dans l'espace usuel à trois dimensions, mais la notion se généralise entre autres à des espaces de dimension plus grande (ou plus petite) ou encore de norme non euclidienne. Dans ce cas, une boule peut ne pas être « ronde » au sens usuel du terme.
Calcul du volume de l'hypersphèreLa démonstration mathématique suivante pour le calcul du volume de l'hypersphère dépend des définitions précises de la sphère et de la boule. Le volume intérieur d'une sphère est le volume de la boule délimitée par la sphère. Nous intégrerons en coordonnées cartésiennes orthonormales dans l'espace euclidien. Notons le volume de la boule de rayon r en dimension n ≥ 1. Alors : parce que c'est la longueur d'un segment deux fois plus long que le rayon, i.e. La sphère de dimension 0 qui borde cette boule est constituée des deux points r et –r.
Application lipschitzienneEn analyse mathématique, une application lipschitzienne (du nom de Rudolf Lipschitz) est une application possédant une certaine propriété de régularité qui est plus forte que la continuité. Intuitivement, c'est une fonction qui est limitée dans sa manière d'évoluer. Tout segment reliant deux points du graphe d'une telle fonction aura une pente inférieure, en valeur absolue, à une constante appelée constante de Lipschitz. Les fonctions lipschitziennes sont un cas particulier de fonctions höldériennes.
Point (géométrie)thumb|Points dans un plan euclidien. En géométrie, un point est le plus petit élément constitutif de l'espace géométrique, c'est-à-dire un lieu au sein duquel on ne peut distinguer aucun autre lieu que lui-même. géométrie euclidienne Le point, selon Euclide, est . On peut aussi dire plus simplement qu'un point ne désigne pas un objet mais un emplacement. Il n'a donc aucune dimension, longueur, largeur, épaisseur, volume ou aire. Sa seule caractéristique est sa position. On dit parfois qu'il est « infiniment petit ».
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.
Variété topologiqueEn topologie, une variété topologique est un espace topologique, éventuellement séparé, assimilable localement à un espace euclidien. Les variétés topologiques constituent une classe importante des espaces topologiques, avec des applications à tous les domaines des mathématiques. Le terme variété peut désigner une variété topologique, ou, le plus souvent, une variété topologique munie d'une autre structure. Par exemple, une variété différentielle est une variété topologique munie d'une structure permettant le calcul différentiel.
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.
Fonction de WeierstrassLa fonction de Weierstrass, aussi appelée fonction de Weierstrass-Hardy, fut en 1872 le premier exemple publié d'une fonction réelle d'une variable réelle qui est continue partout, mais dérivable nulle part. On le doit à Karl Weierstrass et Leopold Kronecker ; les hypothèses ont été améliorées par G. H. Hardy.vignette|Évolution de la courbe de la fonction de Weierstrass lors d'une augmentation linéaire de la valeur de b de 0,1 à 5, pour a fixé égal à 0,5. la non-dérivabilité démarre à b = 2.
Inégalité triangulaireEn géométrie, l'inégalité triangulaire est le fait que, dans un triangle, la longueur d'un côté est inférieure à la somme des longueurs des deux autres côtés. Cette inégalité est relativement intuitive. Dans la vie ordinaire, comme dans la géométrie euclidienne, cela se traduit par le fait que la ligne droite est le plus court chemin : le plus court chemin d'un point A à un point B est d'y aller tout droit, sans passer par un troisième point C qui ne serait pas sur la ligne droite.
Condition de HölderEn analyse, la continuité höldérienne ou condition de Hölder — nommée d'après le mathématicien allemand Otto Hölder — est une condition suffisante, généralisant celle de Lipschitz, pour qu’une application définie entre deux espaces métriques soit uniformément continue. La définition s’applique donc en particulier pour les fonctions d’une variable réelle. Si (X, d) et (Y, d) sont deux espaces métriques, une fonction f : X → Y est dite a-höldérienne s’il existe une constante C telle que pour tous x, y ∈ X : La continuité höldérienne d’une fonction dépend donc d’un paramètre a ∈ ]0, 1].
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Application non expansiveEn mathématiques, une application non expansive entre espaces normés est une application 1-lipschitzienne. Il s'agit donc du cas limite des applications contractantes, qui sont les applications k-lipschitziennes pour un k < 1. Contrairement aux applications contractantes, les applications non expansives n'ont pas nécessairement de point fixe (par exemple, une translation de vecteur non nul est non expansive et n'a pas de point fixe).
Assistant de preuveEn informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
Philippe de VilmorinJoseph Marie Philippe Levêque de Vilmorin, plus communément appelé Philippe de Vilmorin, né le à Verrières-le-Buisson et mort dans la même commune le , est un botaniste français. vignette|gauche|Arboretum de Pézanin. Philippe de Vilmorin est issu de la célèbre famille de botanistes et grainetiers. De son mariage en 1900 avec Berthe Marie Mélanie de Gaufridy de Dortan (qui sera maîtresse du roi Alphonse XIII d'Espagne), naîtront six enfants : Marie-Pierre de Vilmorin (Mapie de Toulouse-Lautrec) (1901-1972), Louise de Vilmorin (1902-1969), Henry de Vilmorin (1903-1961), Olivier de Vilmorin (1904-1962), Roger de Vilmorin (1905-1980), fils naturel de Mélanie de Vilmorin et d'Alphonse XIII d'Espagne.
Vilmorin & CieVilmorin & , anciennement Vilmorin Clause & et Vilmorin SA, est un producteur français de semences. Famille Lévêque de Vilmorin thumb|left|250px|Publicité dans Le Miroir (1914). thumb|left|250px|Vilmorin-Andrieux et : couverture d'un « Extrait du catalogue spécial d’ognons à fleurs » (1925). L'histoire de la famille Lévêque de Vilmorin remonte en 1743 à Paris avec un magasin vendant des semences et des oiseaux au 4, quai de la Mégisserie, sous l'enseigne du Coq de la Bonne Foy.
École française d'AthènesL’École française d’Athènes (EfA) ou l’École française d’archéologie d’Athènes (en Γαλλική Αρχαιολογική Σχολή Αθηνών) est un établissement universitaire français, situé 6, rue Didotou à Athènes en Grèce, dont le but est de promouvoir l'étude de la langue, de l’histoire et des antiquités grecques. Depuis 2011, l'EfA fait partie du Réseau des Écoles françaises à l'étranger. Créée en sous la Monarchie de Juillet, par le ministre de l'Instruction publique d'alors : Narcisse-Achille de Salvandy.
