Vector Space Flag
An ascending chain of subspaces of a vector space. If V is an n-dimensional vector space, a flag of V is a filtration
| V_0 subset V_1 subset ... subset V_r, |
(1)
|
where all inclusions are strict. Hence
| 0<=dimV_0<dimV_1<...<dimV_r<=n, |
(2)
|
so that r<=n. If equality holds, then dimV_i=i for all i, and the flag is called complete or full. In this case it is a composition series of V.
A full flag can be constructed by fixing a basis v_1,...,v_n of V, and then taking V_i=<v_1,...,v_i> for all i=0,...,n.
A flag of any length can be obtained from a full flag by taking out some of the subspaces. Conversely, every flag can be completed to a full flag by inserting suitable subspaces. In general, this can be done in different ways. The following flag of R^3
| {origin} subset {xy-plane} subset R^3 |
(3)
|
can be completed by switching in any line of the xy-plane passing through the origin. Two different full flags are, for example,
| {origin} subset {x-axis} subset {xy-plane} subset R^3 |
(4)
|
and
| {origin} subset {y-axis} subset {xy-plane} subset R^3. |
(5)
|
Schubert varieties are projective varieties defined from flags.
This entry contributed by Margherita Barile
Explore with Wolfram|Alpha
Cite this as:
Barile, Margherita. "Vector Space Flag." From MathWorld--A Wolfram Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/VectorSpaceFlag.html