MyWikiBiz, Author Your Legacy — Wednesday May 22, 2024
Jump to navigationJump to search
98 bytes removed
, 03:15, 13 February 2009
Line 4,300: |
Line 4,300: |
| |- style="height:50px; text-align:center" | | |- style="height:50px; text-align:center" |
| | style="width:80%" | | | | style="width:80%" | |
− | | style="width:20%; border-left:1px solid black" | <math>\operatorname{Fact~2.2}</math> | + | | style="width:20%; border-left:1px solid black" | <math>\operatorname{Fact~2.3}</math> |
| |} | | |} |
| |- | | |- |
Line 4,348: |
Line 4,348: |
| | valign="top" | | | | valign="top" | |
| <math>\begin{array}{ccccl} | | <math>\begin{array}{ccccl} |
− | \upharpoonleft \operatorname{Der}^L \upharpoonright | + | \upharpoonleft \operatorname{Der}^L \upharpoonright (x, y) |
− | & = & \upharpoonleft & \{ & (x, y) \in S \times I ~: \\ | + | & = & \downharpoonleft & \underset{o \in O}{\operatorname{Conj}} \\ |
− | & & & & \begin{array}{ccl} | + | & & & & \begin{array}{cl} |
− | \underset{o \in O}{\operatorname{Conj}} \\
| + | ( & \upharpoonleft \operatorname{Den}^L x \upharpoonright (o) \\ |
− | & ( & \upharpoonleft \operatorname{Den}^L x \upharpoonright (o) \\
| + | = & \upharpoonleft \operatorname{Den}^L y \upharpoonright (o) \\ |
− | & = & \upharpoonleft \operatorname{Den}^L y \upharpoonright (o) \\
| + | ) & \\ |
− | & ) & \\
| + | \end{array} \\ |
− | \end{array} \\
| + | & & \downharpoonright & & \\ |
− | & & & \} & \\ | |
− | & & \upharpoonright & & \\
| |
| \end{array}</math> | | \end{array}</math> |
| | style="border-left:1px solid black; text-align:center" | | | | style="border-left:1px solid black; text-align:center" | |