MyWikiBiz, Author Your Legacy — Thursday November 28, 2024
Jump to navigationJump to search
12 bytes removed
, 03:29, 29 April 2009
Line 5,411: |
Line 5,411: |
| |} | | |} |
| | | |
− | The denotation of the term <math>\mathit{l}^\mathrm{w}\!</math> is a subset of <math>X\!</math> that can be obtained as follows: Consider the flags of the form <math>L \star x</math> for each <math>x \in W,</math> take their intersection <math>\textstyle\bigcap_{x \in W} L \star x,</math> and collect the elements of <math>X\!</math> that appear as the first components of these ordered pairs. Putting it all together: | + | The denotation of the term <math>\mathit{l}^\mathrm{w}\!</math> is a subset of <math>X\!</math> that can be obtained as follows: For each flag of the form <math>L \star x</math> with <math>x \in W,</math> collect the elements <math>\operatorname{proj}_1 (L \star x)</math> that appear as the first components of these ordered pairs, and form the intersection of all these subsets. Putting it all together: |
| | | |
| {| align="center" cellspacing="6" width="90%" | | {| align="center" cellspacing="6" width="90%" |
− | | <math>\mathit{l}^\mathrm{w} ~=~ \operatorname{proj}_1 \bigcap_{x \in W} L \star x</math> | + | | <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} \operatorname{proj}_1 (L \star x)</math> |
| |} | | |} |
| | | |