Espace dénombrablement compactEn mathématiques, un espace dénombrablement compact est un espace topologique dont tout recouvrement par une famille dénombrable d'ouverts possède un sous-recouvrement fini. La notion de compacité dénombrable entretient des rapports étroits avec celles de quasi-compacité et compacité et celle de compacité séquentielle. Pour un espace métrisable, ces quatre notions sont équivalentes. Soit X un espace topologique (non supposé séparé).
Image d'une applicationvignette| est une fonction de dans . L'ovale jaune dans est l'image de . On appelle image d'une application f (d'un ensemble A vers un ensemble B) l' par f de l'ensemble de départ A. C'est donc le sous-ensemble de B contenant les de tous les éléments de A, et uniquement ces images. On le note Im(f). Exemple : Une application est surjective si et seulement si son image coïncide avec son ensemble d'arrivée. Lemme des noyaux Catégorie abélienne Limite projective Noyau (algèbre) (autrement dit : d'une relation
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.
Fonction (mathématiques)vignette|Diagramme de calcul pour la fonction En mathématiques, une fonction permet de définir un résultat (le plus souvent numérique) pour chaque valeur d’un ensemble appelé domaine. Ce résultat peut être obtenu par une suite de calculs arithmétiques ou par une liste de valeurs, notamment dans le cas de relevé de mesures physiques, ou encore par d’autres procédés comme les résolutions d’équations ou les passages à la limite. Le calcul effectif du résultat ou son approximation repose éventuellement sur l’élaboration de fonction informatique.
DérivabilitéUne fonction réelle d'une variable réelle est dérivable en un point a quand elle admet une dérivée finie en a, c'est-à-dire, intuitivement, quand elle peut être approchée de manière assez fine par une fonction affine au voisinage de a. Elle est dérivable sur un intervalle réel ouvert non vide si elle est dérivable en chaque point de cet intervalle. Elle est dérivable sur un intervalle réel fermé et borné (c'est-à-dire sur un segment réel) non réduit à un point si elle est dérivable sur l'intérieur de cet intervalle et dérivable à droite en sa borne gauche, et dérivable à gauche en sa borne droite.
Graphe d'une fonctionthumb|Représentation du graphe de la fonction . Le graphe d'une fonction f de E dans F est le sous-ensemble G de E×F formé par les couples d'éléments liés par la correspondance : Cet ensemble est appelé le graphe de f parce qu'il permet d'en donner une représentation graphique dans le cas usuel où E et F sont des ensembles de réels : en effet, on peut alors parfois représenter E et F sur deux axes sécants, chaque couple de G peut alors être représenté par un point dans le plan, muni d'un repère défini par les deux axes.
Difference quotientIn single-variable calculus, the difference quotient is usually the name for the expression which when taken to the limit as h approaches 0 gives the derivative of the function f. The name of the expression stems from the fact that it is the quotient of the difference of values of the function by the difference of the corresponding values of its argument (the latter is (x + h) - x = h in this case). The difference quotient is a measure of the average rate of change of the function over an interval (in this case, an interval of length h).
Continuous linear operatorIn functional analysis and related areas of mathematics, a continuous linear operator or continuous linear mapping is a continuous linear transformation between topological vector spaces. An operator between two normed spaces is a bounded linear operator if and only if it is a continuous linear operator. Continuous function (topology) and Discontinuous linear map Bounded operator Suppose that is a linear operator between two topological vector spaces (TVSs). The following are equivalent: is continuous.
Topologie compacte-ouverteEn mathématiques, la topologie compacte-ouverte est une topologie définie sur l'ensemble des applications continues entre deux espaces topologiques. C'est l'une des topologies les plus utilisées sur un tel espace fonctionnel, et elle est employée en théorie de l'homotopie et en analyse fonctionnelle. Elle a été introduite par Ralph Fox en 1945. Soient X et Y deux espaces topologiques et C(X,Y) l'espace des applications continues de X dans Y.
PreuveUne preuve, (en science ou en droit) est un fait ou un raisonnement propre à établir la vérité. Une preuve est associée à son niveau d'incertitude quand elle est utilisée. Les éléments inductifs et déductifs qui y sont attachés lui confèrent donc un certain niveau d'incertitude. L'évaluation intuitive de ce niveau détermine le degré de confiance qu'on peut apporter à la preuve. La plupart des preuves utilisées dans la vie courante sont communément admises comme étant dignes de confiance.
Preuve empiriquePreuve empirique, données ou connaissance, aussi appelée expérience des sens, est un terme collectif pour désigner la connaissance ou les sources de la connaissance acquise au moyen des sens, en particulier par l'observation et l'expérimentation. Le terme vient du mot grec ancien pour expérience, ἐμπειρία (empeiría). Après Emmanuel Kant, il est habituel en philosophie d'appeler une connaissance ainsi acquise connaissance a posteriori. Cela en opposition à une connaissance a priori, connaissance accessible à partir de la pensée spéculative seule.
Preuve (droit)vignette|Police scientifique cherchant des empreintes digitales qui serviront de preuves En droit, une preuve est un élément qui permet à un tiers de s'assurer de la véracité d'un fait. Dans la plupart des législations pénales ou civiles, l'altération de preuves visant, soit à altérer, falsifier ou effacer des traces ou indices, soit d’ouvrir une fausse piste, constitue une infraction grave punie par la loi. Preuve en droit civil français Preuve en droit pénal français Preuve en droit civil québécois Charge
