MyWikiBiz, Author Your Legacy — Friday November 22, 2024
Jump to navigationJump to search
415 bytes added
, 13:58, 19 January 2009
Line 3,280: |
Line 3,280: |
| | || | | | || |
| | colspan="2" | <math>\downharpoonleft s \downharpoonright ~=~ q ~=~ f_Q ~=~ \upharpoonleft Q \upharpoonright.</math> | | | colspan="2" | <math>\downharpoonleft s \downharpoonright ~=~ q ~=~ f_Q ~=~ \upharpoonleft Q \upharpoonright.</math> |
| + | |- |
| + | | valign="top" | 3. |
| + | | <math>X\!</math> |
| + | | align="center" | <math>=\!</math> |
| + | | <math>\{ x \in X : x \in Q \}</math> |
| + | |- |
| + | | |
| + | | |
| + | | align="center" | <math>=\!</math> |
| + | | <math>[| \upharpoonleft X \upharpoonright |] \quad = \quad \upharpoonleft X \upharpoonright^{-1} (\underline{1})</math> |
| + | |- |
| + | | |
| + | | |
| + | | align="center" | <math>=\!</math> |
| + | | <math>[| f_Q |] \quad = \quad f_Q^{-1} (\underline{1}).</math> |
| |} | | |} |
| | | |
| <pre> | | <pre> |
− | 3. X = {u C U : u C X}
| + | X = {u C U : u C X} |
| | | |
| = |{X}| = {X}-1(1) | | = |{X}| = {X}-1(1) |