#jsDisabledContent { display:none; } My Account |  Register |  Help

# Filtration (mathematics)

Article Id: WHEBN0000726014
Reproduction Date:

 Title: Filtration (mathematics) Author: World Heritage Encyclopedia Language: English Subject: Collection: Publisher: World Heritage Encyclopedia Publication Date:

### Filtration (mathematics)

In mathematics, a filtration is an indexed set Si of subobjects of a given algebraic structure S, with the index i running over some index set I that is a totally ordered set, subject to the condition that if ij in I then SiSj. The concept dual to a filtration is called a cofiltration.

Sometimes, as in a filtered algebra, there is instead the requirement that the S_i be subalgebras with respect to certain operations (say, vector addition), but with respect to other operations (say, multiplication), they instead satisfy S_i \cdot S_j \subset S_{i+j}, where here the index set is the natural numbers; this is by analogy with a graded algebra.

Sometimes, filtrations are supposed to satisfy the additional requirement that the union of the S_i be the whole S, or (in more general cases, when the notion of union does not make sense) that the canonical homomorphism from the direct limit of the S_i to S is an isomorphism. Whether this requirement is assumed or not usually depends on the author of the text and is often explicitly stated. We are not going to impose this requirement in this article.

There is also the notion of a descending filtration, which is required to satisfy S_i \supseteq S_j in lieu of S_i \subseteq S_j (and, occasionally, \bigcap_{i\in I} S_i=0 instead of \bigcup_{i\in I} S_i=S). Again, it depends on the context how exactly the word "filtration" is to be understood. Descending filtrations are not to be confused with cofiltrations (which consist of quotient objects rather than subobjects).

Filtrations are widely used in abstract algebra, homological algebra (where they are related in an important way to spectral sequences), and in measure theory and probability theory for nested sequences of σ-algebras. In functional analysis and numerical analysis, other terminology is usually used, such as scale of spaces or nested spaces.

## Examples

### Algebra

#### Groups

In algebra, filtrations are ordinarily indexed by N, the set of natural numbers. A filtration of a group G, is then a nested sequence Gn of normal subgroups of G (that is, for any n we have Gn+1Gn). Note that this use of the word "filtration" corresponds to our "descending filtration".

Given a group G and a filtration Gn, there is a natural way to define a topology on G, said to be associated to the filtration. A basis for this topology is the set of all translates of subgroups appearing in the filtration, that is, a subset of G is defined to be open if it is a union of sets of the form aGn, where aG and n is a natural number.

The topology associated to a filtration on a group G makes G into a topological group.

The topology associated to a filtration Gn on a group G is Hausdorff if and only if ∩Gn = {1}.

If two filtrations Gn and G′n are defined on a group G, then the identity map from G to G, where the first copy of G is given the Gn-topology and the second the G′n-topology, is continuous if and only if for any n there is an m such that GmG′n, that is, if and only if the identity map is continuous at 1. In particular, the two filtrations define the same topology if and only if for any subgroup appearing in one there is a smaller or equal one appearing in the other.

#### Rings and modules: descending filtrations

Given a ring R and an R-module M, a descending filtration of M is a decreasing sequence of submodules Mn. This is therefore a special case of the notion for groups, with the additional condition that the subgroups be submodules. The associated topology is defined as for groups.

An important special case is known as the I-adic topology (or J-adic, etc.). Let R be a commutative ring, and I an ideal of R.

Given an R-module M, the sequence InM of submodules of M forms a filtration of M. The I-adic topology on M is then the topology associated to this filtration. If M is just the ring R itself, we have defined the I-adic topology on R.

When R is given the I-adic topology, R becomes a topological ring. If an R-module M is then given the I-adic topology, it becomes a topological R-module, relative to the topology given on R.

#### Rings and modules: ascending filtrations

Given a ring R and an R-module M, an ascending filtration of M is an increasing sequence of submodules Mn. In particular, if R is a field, then an ascending filtration of the R-vector space M is an increasing sequence of vector subspaces of M. Flags are one important class of such filtrations.

#### Sets

A maximal filtration of a set is equivalent to an ordering (a permutation) of the set. For instance, the filtration \{0\} \subset \{0,1\} \subset \{0,1,2\} corresponds to the ordering (0,1,2). From the point of view of the field with one element, an ordering on a set corresponds to a maximal flag (a filtration on a vector space), considering a set to be a vector space over the field with one element.

### Measure theory

In measure theory, in particular in martingale theory and the theory of stochastic processes, a filtration is an increasing sequence of σ-algebras on a measurable space. That is, given a measurable space (\Omega, \mathcal{F}), a filtration is a sequence of σ-algebras \{ \mathcal{F}_{t} \}_{t \geq 0} with \mathcal{F}_{t} \subseteq \mathcal{F} for each t and

t_{1} \leq t_{2} \implies \mathcal{F}_{t_{1}} \subseteq \mathcal{F}_{t_{2}}.

The exact range of the "times" t will usually depend on context: the set of values for t might be discrete or continuous, bounded or unbounded. For example,

t \in \{ 0, 1, \dots, N \}, \mathbb{N}_{0}, [0, T] \mbox{ or } [0, + \infty).

Similarly, a filtered probability space (also known as a stochastic basis) \left(\Omega, \mathcal{F}, \left\{\mathcal{F}_{t}\right\}_{t\geq 0}, \mathbb{P}\right), is a probability space equipped with the filtration \left\{\mathcal{F}_t\right\}_{t\geq 0} of its σ-algebra \mathcal{F}. A filtered probability space is said to satisfy the usual conditions if it is complete (i.e. \mathcal{F}_0 contains all \mathbb{P}-null sets) and right-continuous (i.e. \mathcal{F}_t = \mathcal{F}_{t+} := \bigcap_{s > t} \mathcal{F}_s for all times t).[1][2][3]

It is also useful (in the case of an unbounded index set) to define \mathcal{F}_{\infty} as the σ-algebra generated by the infinite union of the \mathcal{F}_{t}'s, which is contained in \mathcal{F}:

\mathcal{F}_{\infty} = \sigma\left(\bigcup_{t \geq 0} \mathcal{F}_{t}\right) \subseteq \mathcal{F}.

A σ-algebra defines the set of events that can be measured, which in a probability context is equivalent to events that can be discriminated, or "questions that can be answered at time t". Therefore a filtration is often used to represent the change in the set of events that can be measured, through gain or loss of information. A typical example is in mathematical finance, where a filtration represents the information available up to and including each time t, and is more and more precise (the set of measurable events is staying the same or increasing) as more information from the evolution of the stock price becomes available.

#### Relation to stopping times

Let \left(\Omega, \mathcal{F}, \left\{\mathcal{F}_{t}\right\}_{t\geq 0}, \mathbb{P}\right) be a filtered probability space. A random variable \tau : \Omega \rightarrow [0, \infty] is said to be a stopping time with respect to filtration \left\{\mathcal{F}_{t}\right\}_{t\geq 0}, provided the event \{\tau \leq t\} \in \mathcal{F}_t for all t\geq 0. We may also define the stopping time \sigma-algebra,

\mathcal{F}_{\tau} := \left\{A\in\mathcal{F}:A\cap\{\tau \leq t\}\in\mathcal{F}_t, \ \forall t\geq 0\right\}

In other words, \mathcal{F}_{\tau}\subseteq\mathcal{F} encodes information up to the random time \tau.

It can be shown that \tau is \mathcal{F}_{\tau}-measurable. Furthermore, if \tau_ 1 and \tau_ 2 are stopping times on \left(\Omega, \mathcal{F}, \left\{\mathcal{F}_{t}\right\}_{t\geq 0}, \mathbb{P}\right), and \tau_1 \leq \tau_2 almost surely, then \mathcal{F}_{\tau_1} \subseteq \mathcal{F}_{\tau_2}.

## References

1. ^ Péter Medvegyev (January 2009). "Stochastic Processes: A very simple introduction" (pdf). Retrieved June 25, 2012.
2. ^ Claude Dellacherie (1979). Probabilities and Potential. Elsevier.
3. ^ George Lowther (November 8, 2009). "Filtrations and Adapted Processes". Retrieved June 25, 2012.
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.

Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.