12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0 (view source)
Revision as of 20:10, 13 July 2008
, 20:10, 13 July 2008→The Extended Universe of Discourse: HTML → TeX
|}<br>
|}<br>
The adjectives ''differential'' or ''tangent'' are systematically attached to every construct based on the differential alphabet d<font face="lucida calligraphy">A</font>, taken by itself. Strictly speaking, we probably ought to call d<font face="lucida calligraphy">A</font> the set of ''cotangent'' features derived from <font face="lucida calligraphy">A</font>, but the only time this distinction really seems to matter is when we need to distinguish the tangent vectors as maps of type ('''B'''<sup>''n''</sup> → '''B''') → '''B''' from cotangent vectors as elements of type '''D'''<sup>''n''</sup>. In like fashion, having defined E<font face="lucida calligraphy">A</font> = <font face="lucida calligraphy">A</font> ∪ d<font face="lucida calligraphy">A</font>, we can systematically attach the adjective ''extended'' or the substantive ''bundle'' to all of the constructs associated with this full complement of 2''n'' features.
The adjectives ''differential'' or ''tangent'' are systematically attached to every construct based on the differential alphabet <math>\operatorname{d}\mathfrak{A},</math> taken by itself. Strictly speaking, we probably ought to call <math>\operatorname{d}\mathcal{A}</math> the set of ''cotangent'' features derived from <math>\mathcal{A},</math> but the only time this distinction really seems to matter is when we need to distinguish the tangent vectors as maps of type <math>(\mathbb{B}^n \to \mathbb{B}) \to \mathbb{B}</math> from cotangent vectors as elements of type <math>\mathbb{D}^n.</math> In like fashion, having defined <math>\operatorname{E}\mathcal{A} = \mathcal{A} \cup \operatorname{d}\mathcal{A},</math> we can systematically attach the adjective ''extended'' or the substantive ''bundle'' to all of the constructs associated with this full complement of <math>2n\!</math> features.
Eventually we may want to extend our basic alphabet even further, to allow for discussion of higher order differential expressions. For those who want to run ahead, and would like to play through, I submit the following gamut of notation (Table 9).
Eventually we may want to extend our basic alphabet even further, to allow for discussion of higher order differential expressions. For those who want to run ahead, and would like to play through, I submit the following gamut of notation (Table 9).