MyWikiBiz, Author Your Legacy — Friday September 27, 2024
Jump to navigationJump to search
329 bytes added
, 06:26, 12 February 2009
Line 427: |
Line 427: |
| <math>\begin{align} | | <math>\begin{align} |
| \operatorname{Der}^L | | \operatorname{Der}^L |
| + | & = & \{ & (x, y) \in S \times I ~: \\ |
| + | & & & \underset{o \in O}{\operatorname{Conj}}~ (\upharpoonleft \operatorname{Den}(L, x) \upharpoonright (o) ~=~ \upharpoonleft \operatorname{Den}(L, y) \upharpoonright (o)) \\ |
| + | & & \} & \\ |
| + | \end{align}</math> |
| + | |
| + | <br> |
| + | |
| + | <math>\begin{align} |
| + | \operatorname{F2.2a.} \quad \operatorname{Der}^L |
| & = & \{ & (x, y) \in S \times I ~: \\ | | & = & \{ & (x, y) \in S \times I ~: \\ |
| & & & \underset{o \in O}{\operatorname{Conj}}~ (\upharpoonleft \operatorname{Den}(L, x) \upharpoonright (o) ~=~ \upharpoonleft \operatorname{Den}(L, y) \upharpoonright (o)) \\ | | & & & \underset{o \in O}{\operatorname{Conj}}~ (\upharpoonleft \operatorname{Den}(L, x) \upharpoonright (o) ~=~ \upharpoonleft \operatorname{Den}(L, y) \upharpoonright (o)) \\ |