Changes

User:Jon Awbrey/SCRATCHPAD (view source)

Revision as of 03:36, 13 February 2009

60 bytes removed , 03:36, 13 February 2009

→‎Fact 2.3

Line 4,264: Line 4,264:

} :R11a

::

−

F2.3b. {DerR} : SxI �> B

+

F2.3b. {DerR} : SxI -> B

:

{DerR}(x, y) = [ Conj(o C O)

Line 4,326: Line 4,326:

|- style="height:100px"

|  

−

| valign="top" | <math>\operatorname{F2.2a.}</math>

+

| valign="top" | <math>\operatorname{F2.3a.}</math>

| valign="top" |

<math>\begin{array}{cccl}

Line 4,339: Line 4,339:

& & \} & \\

\end{array}</math>

−

| style="border-left:1px solid black; text-align:center" | <math>\operatorname{F2.2a~:~R11a}</math>

+

| style="border-left:1px solid black; text-align:center" | <math>\operatorname{F2.3a~:~R11a}</math>

|- style="height:20px"

| colspan="3" |  

Line 4,345: Line 4,345:

|- style="height:100px"

|  

−

| valign="top" | <math>\operatorname{F2.2b.}</math>

+

| valign="top" | <math>\operatorname{F2.3b.}</math>

| valign="top" |

<math>\begin{array}{ccccl}

Line 4,357: Line 4,357:

& & \downharpoonright & & \\

\end{array}</math>

−

| style="border-left:1px solid black; text-align:center" |

+

| style="border-left:1px solid black; text-align:center" | <math>\operatorname{F2.3b~:~R11d}</math>

−

<math>\operatorname{F2.2b~:~~~R11b~~}</math>

|- style="height:20px"

| colspan="3" |  

Line 4,364: Line 4,363:

|- style="height:100px"

|  

−

| valign="top" | <math>\operatorname{F2.2c.}</math>

+

| valign="top" | <math>\operatorname{F2.3c.}</math>

| valign="top" |

−

<math>\begin{array}{~~cccl~~}

+

<math>\begin{array}{ccccl}

−

\upharpoonleft \operatorname{Der}^L \upharpoonright

+

\upharpoonleft \operatorname{Der}^L \upharpoonright (x, y)

−

& = & \{ ~~& (x, y, z)~~ \in S \~~times I \times \underline\mathbb~~{B} ~~~:~ z =~~ \\

+

& = & \underset{o \in O}{\operatorname{Conj}} \\

−

& & & \begin{array}{~~cccl~~}

+

& & & \begin{array}{ccl}

−

\downharpoonleft ~~& \underset{o \in O}{\operatorname{Conj}} \\~~

+

\downharpoonleft & ( & \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) \\

+

& ) & \\

−

& & ) & \\

+

\downharpoonright & & \\

−

\downharpoonright & & \\

+

\end{array} \\

−

\end{array} \\

+

& & & \\

−

& & \} & \\

\end{array}</math>

−

| style="border-left:1px solid black; text-align:center" |

+

| style="border-left:1px solid black; text-align:center" | <math>\operatorname{F2.3c~:~Log}</math>

−

<math>\operatorname{F2.2c~:~~~R11c~~}</math>

|- style="height:20px"

| colspan="3" |  

Line 4,385: Line 4,382:

|- style="height:100px"

|  

−

| valign="top" | <math>\operatorname{F2.2d.}</math>

+

| valign="top" | <math>\operatorname{F2.3d.}</math>

| valign="top" |

<math>\begin{array}{cccl}

Line 4,399: Line 4,396:

& & \} & \\

\end{array}</math>

−

| style="border-left:1px solid black; text-align:center" |

+

| style="border-left:1px solid black; text-align:center" | <math>\operatorname{F2.3d~:~Def}</math>

−

<math>\operatorname{F2.2d~:~~~Log~~}</math>

|- style="height:20px"

| colspan="3" |  

Line 4,406: Line 4,402:

|- style="height:100px"

|  

−

| valign="top" | <math>\operatorname{F2.2e.}</math>

+

| valign="top" | <math>\operatorname{F2.3e.}</math>

| valign="top" |

<math>\begin{array}{cccl}

Line 4,420: Line 4,416:

\end{array}</math>

| style="border-left:1px solid black; text-align:center" |

−

<math>\operatorname{F2.2e~:~Log}</math>

+

<math>\operatorname{F2.3e~:~Log}</math>

+

<math>\operatorname{F2.3e~:~D10b}</math>

|- style="height:20px"

| colspan="3" |  

Line 4,439: Line 4,436:

& & \} & \\

\end{array}</math>

−

| style="border-left:1px solid black; text-align:center" |

+

| style="border-left:1px solid black; text-align:center" | <math>\operatorname{F2.3f~:~D10a}</math>

−

<math>\operatorname{F2.2f~:~$~}</math>

|}

Jon Awbrey

12,144

edits