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 .
Suite de CauchyEn analyse mathématique, une suite de Cauchy est une suite de réels, de complexes, de points d'un espace métrique ou plus généralement d'un espace uniforme, dont les termes se rapprochent les uns des autres. Ces suites sont celles susceptibles de converger. Elles sont au centre de la définition de la complétude. Les suites de Cauchy portent le nom du mathématicien français Augustin Louis Cauchy. Cette notion se généralise, dans un espace uniforme, par celles de filtre de Cauchy et de suite généralisée de Cauchy.
Espace précompactEn topologie, une branche des mathématiques, un espace métrique E est précompact si, pour tout ε > 0, on peut recouvrir E par un nombre fini de boules de rayon ε. La propriété principale est qu'un espace métrique est compact si et seulement s'il est précompact et complet. La notion de précompacité et ses propriétés se généralisent aux espaces uniformes. Soit E un espace métrique. Si l'une des trois propriétés suivantes est vérifiée, alors toutes trois le sont et E est dit précompact.
Compacité (mathématiques)En topologie, on dit d'un espace qu'il est compact s'il est séparé et qu'il vérifie la propriété de Borel-Lebesgue. La condition de séparation est parfois omise et certains résultats demeurent vrais, comme le théorème des bornes généralisé ou le théorème de Tychonov. La compacité permet de faire passer certaines propriétés du local au global, c'est-à-dire qu'une propriété vraie au voisinage de chaque point devient valable de façon uniforme sur tout le compact.
Espace de suites ℓpEn mathématiques, l'espace est un exemple d'espace vectoriel, constitué de suites à valeurs réelles ou complexes et qui possède, pour 1 ≤ p ≤ ∞, une structure d'espace de Banach. Considérons l'espace vectoriel réel R, c'est-à-dire l'espace des n-uplets de nombres réels. La norme euclidienne d'un vecteur est donnée par : Mais pour tout nombre réel p ≥ 1, on peut définir une autre norme sur R, appelée la p-norme, en posant : pour tout vecteur . Pour tout p ≥ 1, R muni de la p-norme est donc un espace vectoriel normé.
Opérateur bornéEn mathématiques, la notion d'opérateur borné est un concept d'analyse fonctionnelle. Il s'agit d'une application linéaire L entre deux espaces vectoriels normés X et Y telle que l'image de la boule unité de X est une partie bornée de Y. On montre qu'ils s'identifient aux applications linéaires continues de X dans Y. L'ensemble des opérateurs bornés est muni d'une norme issue des normes de X et de Y, la norme d'opérateur. Une application linéaire L entre les espaces vectoriels normés X et Y est appelée opérateur borné quand l'ensemble est borné.
Fonction bornéedroite|vignette| Schéma d'une fonction bornée (rouge) et d'une fonction non bornée (bleu). Intuitivement, le graphe d'une fonction bornée reste dans une bande horizontale, contrairement au graphe d'une fonction non bornée. En mathématiques, une fonction est dite bornée si est borné. Pour une fonction f définie sur un ensemble X et à valeurs réelles ou complexes, cela revient à dire qu'il existe un nombre réel M tel que pour tout x dans X, Une fonction à valeurs réelles est dite majorée ( minorée) si l'ensemble de ses valeurs possède un majorant ( minorant) réel.
Partie bornée d'un espace vectoriel topologiqueEn analyse fonctionnelle et dans des domaines mathématiques reliés, une partie d'un espace vectoriel topologique est dite bornée (au sens de von Neumann) si tout voisinage du vecteur nul peut être dilaté de manière à contenir cette partie. Ce concept a été introduit par John von Neumann et Andreï Kolmogorov en 1935. Les parties bornées sont un moyen naturel de définir les (localement convexes) sur les deux espaces vectoriels d'une paire duale.
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.
Espace localement compactEn topologie, un espace localement compact est un espace séparé qui admet des voisinages compacts pour tous ses points. Un tel espace n'est pas nécessairement compact lui-même mais on peut y généraliser (au moins partiellement) beaucoup de résultats sur les espaces compacts. Ce sont aussi les espaces qu'on peut « rendre » compacts avec un point grâce à la compactification d'Alexandrov. La compacité est une source très fertile de résultats en topologie mais elle reste une propriété très contraignante.
Partie relativement compacteEn mathématiques, une partie relativement compacte d'un espace topologique X est un sous-ensemble Y de X inclus dans une partie compacte de X (pour la topologie induite). Rappelons que dans la littérature française, un compact est supposé séparé. Si X est séparé, alors une partie de X est relativement compacte (si et) seulement si son adhérence est compacte. Dans un espace métrisable X, une partie Y est relativement compacte si et seulement si toute suite dans Y possède une sous-suite qui converge dans X.
Espace σ-compactEn mathématiques, un espace topologique est dit σ-compact (ou localement compact dénombrable à l'infini) s'il est l'union dénombrable de sous-espaces compacts. Un espace est dit σ-localement compact s'il est à la fois σ-compact et localement compact. Tout espace compact est σ-compact, et tout espace σ-compact est de Lindelöf (c'est-à-dire que tout recouvrement ouvert a un sous-recouvrement dénombrable).
Compact convergenceIn mathematics compact convergence (or uniform convergence on compact sets) is a type of convergence that generalizes the idea of uniform convergence. It is associated with the compact-open topology. Let be a topological space and be a metric space. A sequence of functions is said to converge compactly as to some function if, for every compact set , uniformly on as . This means that for all compact , If and with their usual topologies, with , then converges compactly to the constant function with value 0, but not uniformly.
Karl WeierstrassKarl Theodor Wilhelm Weierstrass, habituellement appelé Karl Weierstrass, orthographié Weierstraß en allemand, né le à Ostenfelde (Province de Westphalie), mort le à Berlin, est un mathématicien allemand, lauréat de la médaille Copley en 1895. Karl Theodor Wilhelm Weierstrass naît au sein d'une famille catholique de Westphalie. Il est le premier enfant de Theodora Vonderforst et Wilhelm Weierstrass, inspecteur des impôts, un homme cultivé, qui a des connaissances en chimie et en physique et parle le français à la perfection.
Limite d'une suiteEn mathématiques, de manière intuitive, la limite d'une suite est l'élément dont les termes de la suite se rapprochent quand les indices deviennent très grands. Cette définition intuitive n'est guère exploitable car il faudrait pouvoir définir le sens de « se rapprocher ». Cette notion sous-entend l'existence d'une distance (induite par la valeur absolue dans R, par le module dans C, par la norme dans un espace vectoriel normé) mais on verra que l'on peut même s'en passer pourvu qu'on ait une topologie.
Théorème des valeurs intermédiairesvignette|Illustration du théorème des valeurs intermédiaires : si f est une fonction continue sur l'intervalle [a ; b], alors elle prend toutes les valeurs comprises entre f(a) et f(b) au moins une fois. Ici la valeur s est prise trois fois. En mathématiques, le théorème des valeurs intermédiaires (abrégé en TVI), parfois appelé théorème de Bolzano, est un résultat important en analyse et concerne des fonctions continues sur un intervalle.
Série convergenteEn mathématiques, une série est dite convergente si la suite de ses sommes partielles a une limite dans l'espace considéré. Dans le cas contraire, elle est dite divergente. Pour des séries numériques, ou à valeurs dans un espace de Banach — c'est-à-dire un espace vectoriel normé complet —, il suffit de prouver la convergence absolue de la série pour montrer sa convergence, ce qui permet de se ramener à une série à termes réels positifs. Pour étudier ces dernières, il existe une large variété de résultats, tous fondés sur le principe de comparaison.
Théorème de TykhonovLe théorème de Tychonov (ou Tychonoff) est un théorème de topologie qui affirme qu'un produit d'espaces topologiques compacts est compact au sens de la topologie produit. Il a été publié en 1930 par le mathématicien russe Andreï Nikolaïevitch Tikhonov. Il a plusieurs applications en topologie algébrique et différentielle, particulièrement en analyse fonctionnelle, pour la preuve du théorème de Banach-Alaoglu-Bourbaki et le compactifié de Stone-Čech.
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).
Subnet (mathematics)In topology and related areas of mathematics, a subnet is a generalization of the concept of subsequence to the case of nets. The analogue of "subsequence" for nets is the notion of a "subnet". The definition is not completely straightforward, but is designed to allow as many theorems about subsequences to generalize to nets as possible. There are three non-equivalent definitions of "subnet". The first definition of a subnet was introduced by John L.
