- Filtration (mathématiques)
-
Pour la notion de physique, voir Filtration.
En mathématiques, une filtration sur un ensemble est une suite[1] de parties croissante ou décroissante pour l'inclusion. Un espace filtré est un ensemble muni d'une filtration compatible avec sa structure.
Les filtrations sont utilisées notamment en algèbre pour ramener par exemple l'étude d'un espace vectoriel de dimension infinie à celle d'une suite d'espaces de dimension finie, en topologie pour décomposer un espace topologique à l'aide de CW-complexes finis, mais aussi en théorie des probabilités pour définir entre autres certaines classes de processus stochastiques, comme les martingales, ou encore les chaines de Markov.
À partir d'une suite de parties il est possible de construire une filtration croissante et une filtration décroissante associées. Inversément, dans certaines catégories, les quotients successifs des termes de la filtration permettent de définir un gradué associé.
Algèbre
Une filtration d'un espace vectoriel est une suite de sous-espaces vectoriels croissante ou décroissante pour l'inclusion. Un drapeau est un cas particulier de filtration sur un espace vectoriel de dimension finie.
Étant donné un endomorphisme sur un espace vectoriel, la suite des noyaux (respectivement, des images) des puissances itérées de cet endomorphisme constituent deux filtrations décroissantes de l'espace vectoriel.
Une filtration (Ai) sur une algèbre est en général supposée compatible avec la multiplication :
Théorie des probabilités
En théorie des probabilités, une filtration est une suite croissante de tribus sur un ensemble. Cet ensemble est en général un espace probabilisé dont la tribu est engendrée par celles de la filtration.
Ainsi, sur l'ensemble Ω des suites à valeurs dans un ensemble (par exemple fini), pour tout entier naturel n il est possible de définir la tribu Fn engendrée par les ensembles de suites ayant les mêmes n premiers termes. La suite de ces tribus définit alors une filtration F sur l'ensemble des parties de Ω.
Notes et références
- famille totalement ordonnée. Plus généralement, il peut s'agir d'une
- Portail des mathématiques
- Portail des probabilités et des statistiques
Wikimedia Foundation. 2010.