Completeness of the real numbersCompleteness is a property of the real numbers that, intuitively, implies that there are no "gaps" (in Dedekind's terminology) or "missing points" in the real number line. This contrasts with the rational numbers, whose corresponding number line has a "gap" at each irrational value. In the decimal number system, completeness is equivalent to the statement that any infinite string of decimal digits is actually a decimal representation for some real number.
Ensemble nulle part denseEn topologie, un ensemble est nulle part dense ou rare s'il satisfait aux propriétés inverses du concept de densité. Intuitivement, un sous-ensemble A d'un espace topologique X est nulle part dense dans X si presque aucun point de X ne peut être « approché » par des points de A. Soit X un espace topologique et A un sous-ensemble de X.
Convergence uniformeLa convergence uniforme d'une suite de fonctions est une forme de convergence plus exigeante que la convergence simple. La convergence devient uniforme quand toutes les suites avancent vers leur limite respective avec une sorte de « mouvement d'ensemble ». Dans le cas de fonctions numériques d'une variable, la notion prend une forme d'« évidence » géométrique : le graphe de la fonction f se « rapproche » de celui de la limite. Soient X un ensemble, (Y, d) un espace métrique, et A un sous-ensemble de X.
Propriété de la borne supérieureEn mathématiques, un ensemble ordonné est dit posséder la propriété de la borne supérieure si tous ses sous-ensembles non vides et majorés possèdent une borne supérieure. De même, un ensemble ordonné possède la propriété de la borne inférieure si tous ses sous-ensembles non vides et minorés possèdent une borne inférieure. Il s'avère que ces deux propriétés sont équivalentes. On dit aussi parfois qu'un ensemble possédant la propriété de la borne supérieure est Dedekind complet. Soit un ensemble ordonné (partiellement ou totalement).
Courbe implicitevignette|402x402px| Ovales de Cassini :(1) a = 1,1 , c=1 (au dessus),(2) a = c = 1 (au milieu),(3) a = 1, c = 1,05 (au dessous)|gauche En mathématiques, une courbe implicite (en coordonnées cartésiennes) est une courbe plane définie par une équation implicite reliant les deux coordonnées x et y d'un point de . Par exemple, le cercle unité est défini par l'équation implicite . Dans le cas général, une courbe implicite est définie en coordonnées cartésiennes par une équation de la forme où F est une fonction de deux variables.
Family of setsIn set theory and related branches of mathematics, a collection of subsets of a given set is called a family of subsets of , or a family of sets over More generally, a collection of any sets whatsoever is called a family of sets, set family, or a set system. A family of sets may be defined as a function from a set , known as the index set, to , in which case the sets of the family are indexed by members of .
Sous-suiteEn mathématiques, une sous-suite (ou une suite extraite) est une suite obtenue en ne prenant que certains éléments (une infinité) d'une suite de départ. Cette opération est parfois appelée extraction. Formellement, une suite est une application définie sur l'ensemble N des entiers naturels. On la note classiquement . Une sous-suite ou suite extraite est la composée de u par une application strictement croissante . Elle s'écrit donc sous la forme . Dans ce contexte, l'application est appelée extractrice.
Champ de vecteursthumb|Un exemple de champ de vecteurs, de la forme (-y,x). thumb|Autre exemple. thumb|Le flux d'air autour d'un avion est un champ tridimensionnel (champ des vitesses des particules d'air), ici visualisé par les bulles qui matérialisent les lignes de courant. En mathématiques, un champ de vecteurs ou champ vectoriel est une fonction qui associe un vecteur à chaque point d'un espace euclidien ou plus généralement d'une variété différentielle.
Parametric surfaceA parametric surface is a surface in the Euclidean space which is defined by a parametric equation with two parameters . Parametric representation is a very general way to specify a surface, as well as implicit representation. Surfaces that occur in two of the main theorems of vector calculus, Stokes' theorem and the divergence theorem, are frequently given in a parametric form. The curvature and arc length of curves on the surface, surface area, differential geometric invariants such as the first and second fundamental forms, Gaussian, mean, and principal curvatures can all be computed from a given parametrization.
Projectively extended real lineIn real analysis, the projectively extended real line (also called the one-point compactification of the real line), is the extension of the set of the real numbers, , by a point denoted ∞. It is thus the set with the standard arithmetic operations extended where possible, and is sometimes denoted by or The added point is called the point at infinity, because it is considered as a neighbour of both ends of the real line. More precisely, the point at infinity is the limit of every sequence of real numbers whose absolute values are increasing and unbounded.
Ensemble GδEn mathématiques et, en particulier, en topologie, un ensemble Gδ (lire « G delta ») est une intersection dénombrable d'ensembles ouverts. La notation introduite par Felix Hausdorff vient de l'allemand, le G désignant un ouvert (Gebiet) et le δ désignant une intersection (Durchschnitt). La notation Gδ est équivalente à celle de utilisée dans la hiérarchie de Borel. L'intersection dénombrable d'ensembles Gδ est un ensemble Gδ et l'union finie d'ensembles Gδ est un ensemble Gδ. Le complémentaire d'un ensemble Gδ est un ensemble Fσ.
Convergence simpleEn mathématiques, la convergence simple ou ponctuelle est une notion de convergence dans un espace fonctionnel, c’est-à-dire dans un ensemble de fonctions entre deux espaces topologiques. C'est une définition peu exigeante : elle est plus facile à établir que d'autres formes de convergence, notamment la convergence uniforme. Le passage à la limite possède donc moins de propriétés : une suite de fonctions continues peut ainsi converger simplement vers une fonction qui ne l'est pas.
