12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0 (view source)
Revision as of 20:38, 9 July 2008
, 20:38, 9 July 2008→Original Format: HTML
|-
|-
|
|
<math>\begin{matrix}
[<font face="lucida calligraphy">X</font>]<br>
X^\circ
[''x''<sub>1</sub>, …, ''x''<sub>''n''</sub>]<br>
& = & [\mathcal{X}] \\
(''X'', ''X''^)<br>
& = & [x_1, \ldots, x_n] \\
(''X'' +→ '''K''')<br>
& = & (X, X^\uparrow) \\
(''X'', (''X'' → '''K'''))<br>
& = & (X\ +\!\to \mathbb{K}) \\
& = & (X, (X \to \mathbb{K})) \\
('''K'''<sup>''n''</sup>, ('''K'''<sup>''n''</sup> → '''K'''))<br>
& \cong & (\mathbb{K}^n, (\mathbb{K}^n \to \mathbb{K})) \\
('''K'''<sup>''n''</sup> +→ '''K''')<br>
& \cong & (\mathbb{K}^n\ +\!\to \mathbb{K}) \\
['''K'''<sup>''n''</sup>]
& \cong & [\mathbb{K}^n] \\
\end{matrix}</math>
|
|
<u>''X''</u><sup>•</sup><br>
<u>''X''</u><sup>•</sup><br>