flag

Let $V$ be a finite-dimensional vector space. A filtration of subspaces

$$V_1\subset V_2\subset \mathrm{\cdots }\subset V_n=V$$

is called a flag in $V$. We speak of a complete flag when

$$dim{V}_i=i$$

for each $i=1,\mathrm{\dots },n$.

Next, putting

$$d_k=dim{V}_k,k=1,\mathrm{\dots }n,$$

we say that a list of vectors $(u_1,\mathrm{\dots },u_{d_n})$ is an adapted basis relative to the flag, if the first $d_1$ vectors give a basis of $V_1$, the first $d_2$ vectors give a basis of $V_2$, etc. Thus, an alternate characterization of a complete flag, is that the first $k$ elements of an adapted basis are a basis of $V_k$.

Example

Let us consider ${ℝ}^n$. For each $k=1,\mathrm{\dots },n$ let $V_k$ be the span of $e_1,\mathrm{\dots },e_k$, where $e_j$ denotes the $j^{\text{th}}$ basic vector, i.e. the column vector with $1$ in the $j^{\text{th}}$ position and zeros everywhere else. The $V_k$ give a complete flag in ${ℝ}^n$ . The list $(e_1,e_2,\mathrm{\dots },e_n)$ is an adapted basis relative to this flag, but the list $(e_2,e_1,\mathrm{\dots },e_n)$ is not.

Generalizations.

More generally, a flag can be defined as a maximal chain in a partially ordered set. If one considers the poset consisting of subspaces of a (finite dimensional) vector space, one recovers the definition given above.

Title	flag
Canonical name	Flag
Date of creation	2013-03-22 12:42:35
Last modified on	2013-03-22 12:42:35
Owner	rmilson (146)
Last modified by	rmilson (146)
Numerical id	9
Author	rmilson (146)
Entry type	Definition
Classification	msc 06A06
Classification	msc 15A03
Defines	adapted basis
Defines	complete flag