Espace de BanachEn mathématiques, plus particulièrement en analyse fonctionnelle, on appelle espace de Banach un espace vectoriel normé sur un sous-corps K de C (en général, K = R ou C), complet pour la distance issue de sa norme. Comme la topologie induite par sa distance est compatible avec sa structure d’espace vectoriel, c’est un espace vectoriel topologique. Les espaces de Banach possèdent de nombreuses propriétés qui font d'eux un outil essentiel pour l'analyse fonctionnelle. Ils doivent leur nom au mathématicien polonais Stefan Banach.
Topologies on spaces of linear mapsIn mathematics, particularly functional analysis, spaces of linear maps between two vector spaces can be endowed with a variety of topologies. Studying space of linear maps and these topologies can give insight into the spaces themselves. The article operator topologies discusses topologies on spaces of linear maps between normed spaces, whereas this article discusses topologies on such spaces in the more general setting of topological vector spaces (TVSs).
Application linéaireEn mathématiques, une application linéaire (aussi appelée opérateur linéaire ou transformation linéaire) est une application entre deux espaces vectoriels qui respecte l'addition des vecteurs et la multiplication scalaire, et préserve ainsi plus généralement les combinaisons linéaires. L’expression peut s’utiliser aussi pour un morphisme entre deux modules sur un anneau, avec une présentation semblable en dehors des notions de base et de dimension. Cette notion étend celle de fonction linéaire en analyse réelle à des espaces vectoriels plus généraux.
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Inégalité de MinkowskiEn mathématiques, l'inégalité de Minkowski, ainsi nommée en l'honneur de Hermann Minkowski, est l'inégalité triangulaire pour la norme des espaces L pour p ≥ 1, établissant ainsi que ce sont des espaces vectoriels normés. Elle concerne en particulier la norme des espaces de suites l. Soient un espace mesuré, et deux fonctions . Alors c'est-à-dire étant un espace vectoriel, . Si , l'inégalité est vérifiée. Sinon, en appliquant successivement l'inégalité triangulaire dans et l'inégalité de Hölder (avec ), il vient: d'où l'inégalité annoncée.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Intégrale de RiemannEn mathématiques et plus particulièrement en analyse réelle, l'intégrale de Riemann est une façon de définir l'intégrale, sur un segment, d'une fonction réelle. En termes géométriques, cette intégrale s'interprète comme l'aire du domaine sous la courbe représentative de la fonction, comptée algébriquement. Le procédé général utilisé pour définir l'intégrale de Riemann est l'approximation par des fonctions en escalier, pour lesquelles la définition de l'aire sous la courbe est aisée.
Espace complètement métrisableUn espace complètement métrisable (ou espace métriquement topologiquement complet) est un espace topologique (X, T) pour lequel il existe au moins une distance d sur X telle d induit la topologie T (c'est-à-dire que X est métrisable) et fait de (X, d) un espace métrique complet. Le terme d'espace topologiquement complet est employé par certains auteurs comme synonyme despace complètement métrisable, mais parfois aussi utilisé pour d'autres classes d'espaces topologiques, comme les espaces complètement uniformisables ou les espaces Čech-complets.
Espace de FréchetUn espace de Fréchet est une structure mathématique d'espace vectoriel topologique satisfaisant certains théorèmes relatifs aux espaces de Banach même en l'absence d'une norme. Cette dénomination fait référence à Maurice Fréchet, mathématicien français ayant participé notamment à la fondation de la topologie et à ses applications en analyse fonctionnelle. C'est dans ce dernier domaine que la structure des espaces de Fréchet se révèle particulièrement utile, notamment en fournissant une topologie naturelle aux espaces de fonctions infiniment dérivables et aux espaces de distributions.
Suite (mathématiques)vignette|Exemple de suite : les points bleus représentent ses termes. En mathématiques, une suite est une famille d'éléments — appelés ses « termes » — indexée par les entiers naturels. Une suite finie est une famille indexée par les entiers strictement positifs inférieurs ou égaux à un certain entier, ce dernier étant appelé « longueur » de la suite. Lorsque tous les éléments d'une suite (infinie) appartiennent à un même ensemble , cette suite peut être assimilée à une application de dans .
Espace vectoriel norméUn espace vectoriel normé (EVN) est un espace vectoriel muni d'une norme. Cette structure mathématique développe des propriétés géométriques de distance compatible avec les opérations de l'algèbre linéaire. Développée notamment par David Hilbert et Stefan Banach, cette notion est fondamentale en analyse et plus particulièrement en analyse fonctionnelle, avec l'utilisation d'espaces de Banach tels que les espaces L. Norme (mathématiques) Soit K un corps commutatif muni d'une valeur absolue, et non discret (par exemple le corps des réels ou des complexes).
Intégrabilité uniformeEn mathématiques, l'intégrabilité uniforme est une notion importante en théorie de la mesure et souvent utilisée dans l'étude des martingales. Cette notion possède deux définitions légèrement différentes en fonction du contexte : en théorie des probabilités, la définition est un peu plus forte qu'en théorie de la mesure. La définition suivante est une définition courante de l'intégrabilité uniforme utilisée en théorie de la mesure. Soit un espace mesuré et une famille de fonctions définies sur , à valeurs réelles et mesurables.
