12,089
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday September 09, 2025
Jump to navigationJump to searchDirectory talk:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0 (view source)
Revision as of 18:26, 13 July 2008
, 18:26, 13 July 2008→The Extended Universe of Discourse: add material
|}
|}
</font><br>
</font><br>
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:left; width:96%"
|+ '''Table 6. Differential Extension : Basic Notation'''
|- style="background:ghostwhite"
! Symbol
! Notation
! Description
! Type
|-
| <math>\operatorname{d}\mathfrak{A}</math>
| <math>\lbrace\!</math> “<math>\operatorname{d}a_1</math>” <math>, \ldots,\!</math> “<math>\operatorname{d}a_n</math>” <math>\rbrace\!</math>
| Alphabet of<br>
differential<br>
symbols
| <math>[n] = \mathbf{n}</math>
|-
| <math>\operatorname{d}\mathcal{A}</math>
| <math>\{ \operatorname{d}a_1, \ldots, \operatorname{d}a_n \}</math>
| Basis of<br>
differential<br>
features
| <math>[n] = \mathbf{n}</math>
|-
| <math>\operatorname{d}A_i</math>
| <math>\{ \overline{\operatorname{d}a_i}, \operatorname{d}a_i \}</math>
| Differential<br>
dimension <math>i\!</math>
| <math>\mathbb{D}</math>
|-
| <math>\operatorname{d}A</math>
| <math>\langle \operatorname{d}\mathcal{A} \rangle</math><br>
<math>\langle \operatorname{d}a_1, \ldots, \operatorname{d}a_n \rangle</math><br>
<math>\{ (\operatorname{d}a_1, \ldots, \operatorname{d}a_n) \}</math><br>
<math>\operatorname{d}A_1 \times \ldots \times \operatorname{d}A_n</math><br>
<math>\textstyle \prod_i \operatorname{d}A_i</math>
| Tangent space<br>
at a point:<br>
Set of changes,<br>
motions, steps,<br>
tangent vectors<br>
at a point
| <math>\mathbb{D}^n</math>
|-
| <math>\operatorname{d}A^*</math>
| <math>(\operatorname{hom} : \operatorname{d}A \to \mathbb{B})</math>
| Linear functions<br>
on <math>\operatorname{d}A</math>
| <math>(\mathbb{D}^n)^* \cong \mathbb{D}^n</math>
|-
| <math>\operatorname{d}A^\uparrow</math>
| <math>(\operatorname{d}A \to \mathbb{B})</math>
| Boolean functions<br>
on <math>\operatorname{d}A</math>
| <math>\mathbb{D}^n \to \mathbb{B}</math>
|-
| <math>\operatorname{d}A^\circ</math>
| <math>[\operatorname{d}\mathcal{A}]</math><br>
<math>(\operatorname{d}A, \operatorname{d}A^\uparrow)</math><br>
<math>(\operatorname{d}A\ +\!\to \mathbb{B})</math><br>
<math>(\operatorname{d}A, (\operatorname{d}A \to \mathbb{B}))</math><br>
<math>[\operatorname{d}a_1, \ldots, \operatorname{d}a_n]</math>
| Tangent universe<br>
at a point of <math>A^\circ,</math><br>
based on the<br>
tangent features<br>
<math>\{ \operatorname{d}a_1, \ldots, \operatorname{d}a_n \}</math>
| <math>(\mathbb{D}^n, (\mathbb{D}^n \to \mathbb{B}))</math><br>
<math>(\mathbb{D}^n\ +\!\to \mathbb{B})</math><br>
<math>[\mathbb{D}^n]</math>
|}
<br>
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:left; width:96%"
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:left; width:96%"
