This site is supported by donations to The OEIS Foundation.

Differential Logic and Dynamic Systems • Part 4

From OeisWiki
Jump to: navigation, search

Author: Jon Awbrey



Transformations of Discourse (concl.)

Taking Aim at Higher Dimensional Targets

 

The past and present wilt . . . . I have filled them and
     emptied them,
And proceed to fill my next fold of the future.

  — Walt Whitman, Leaves of Grass, [Whi, 87]

In the next Section we consider a transformation of concrete type and abstract type From the standpoint of propositional calculus we naturally approach the task of understanding such a transformation by parsing it into component maps with -dimensional ranges, as follows:



Then we tackle the separate components, now viewed as propositions one at a time. At the completion of this analytic phase, we return to the task of synthesizing these partial and transient impressions into an agile form of integrity, a solidly coordinated and deeply integrated comprehension of the ongoing transformation. (Very often, of course, in tangling with refractory cases, we never get as far as the beginning again.)

Let us now refer to the dimension of the target space or codomain as the toll (or tole) of a transformation, as distinguished from the dimension of the range or image that is customarily called the rank. When we keep to transformations with a toll of as we tend to get lazy about distinguishing a logical transformation from its component propositions. However, if we deal with transformations of a higher toll, this form of indolence can no longer be tolerated.

Well, perhaps we can carry it a little further. After all, the operator result is a map of toll and cannot be unfolded in one piece as a proposition. But when a map has rank like or we naturally choose to concentrate on the -dimensional range of the operator result ignoring the final difference in quality between the spaces and and view as a proposition about

In this way, an initial ambivalence about the role of the operand conveys a double duty to the result The pivot that is formed by our focus of attention is essential to the linkage that transfers this double moment, as the whole process takes its bearing and wheels around the precise measure of a narrow bead that we can draw on the range of This is the escapement that it takes to get away with what may otherwise seem to be a simple duplicity, and this is the tolerance that is needed to counterbalance a certain arrogance of equivocation, by all of which machinations we make ourselves free to indicate the operator results as propositions or as transformations, indifferently.

But that's it, and no further. Neglect of these distinctions in range and target universes of higher dimensions is bound to cause a hopeless confusion. To guard against these adverse prospects, Tables 58 and 59 lay the groundwork for discussing a typical map and begin to pave the way to some extent for discussing any transformation of the form



 

 

 

 


Transformations of Type B² → B²

To take up a slightly more complex example, but one that remains simple enough to pursue through a complete series of developments, consider the transformation from to that is defined by the following system of equations:



The component notation allows us to give a name and a type to this transformation and permits defining it by the compact description that follows:



Logical Transformations

The information that defines the logical transformation can be represented in the form of a truth table, as shown in Table 60. To cut down on subscripts in this example we continue to use plain letter equivalents for all components of spaces and maps.



Figure 61 shows how we might paint a picture of the transformation in the manner of Figure 30.


Diff Log Dyn Sys -- Figure 61 -- Propositional Transformation.gif


Figure 62 extracts the gist of Figure 61, exhibiting a style of diagram that is adequate for most purposes.


Diff Log Dyn Sys -- Figure 62 -- Propositional Transformation (Short Form).gif


Local Transformations

Figure 63 gives a more complete picture of the transformation showing how the points of are transformed into points of The bold lines crossing from one universe to the other trace the action that induces on points, in other words, they show how the transformation acts as a mapping from points to points and chart its effects on the elements that are variously called cells, points, positions, or singular propositions.


Diff Log Dyn Sys -- Figure 63 -- Transformation of Positions.gif


Table 64 shows how the action of on cells or points can be computed in terms of coordinates.



Table 65 extends this scheme from single cells to arbitrary regions, showing how we might compute the action of a logical transformation on arbitrary propositions in the universe of discourse. The effect of a point-transformation on arbitrary propositions, or any other structures erected on points, is referred to as the induced action of the transformation on the structures in question.




Difference Operators and Tangent Functors

Given the alphabets and along with the corresponding universes of discourse how many logical transformations of the general form are there? Since and can be any propositions of the type there are choices for each of the maps and and thus there are different mappings altogether of the form The set of functions of a given type is denoted by placing its type indicator in parentheses, in the present instance writing and so the cardinality of the function space is summed up by writing

Given a transformation of this type, we proceed to define a pair of further transformations, related to that operate between the extended universes, and of its source and target domains.

First, the enlargement map (or secant transformation) is defined by the following set of component equations:



Next, the difference map (or chordal transformation) is defined in component-wise fashion as the boolean sum of the initial proposition and the enlarged proposition for according to the following set of equations:



Maintaining a strict analogy with ordinary difference calculus would perhaps have us write but the sum and difference operations are the same thing in boolean arithmetic. It is more often natural in the logical context to consider an initial proposition then to compute the enlargement and finally to determine the difference so we let the variant order of terms reflect this sequence of considerations.

Viewed in this light the difference operator is imagined to be a function of very wide scope and polymorphic application, one that is able to realize the association between each transformation and its difference map for example, taking the function space into When we consider the variety of interpretations permitted to propositions over the contexts in which we put them to use, it should be clear that an operator of this scope is not at all a trivial matter to define in general and that it may take some trouble to work out. For the moment we content ourselves with returning to particular cases.

Acting on the logical transformation the operators and yield the enlarged map and the difference map respectively, whose components are given as follows.




But these initial formulas are purely definitional, and help us little in understanding either the purpose of the operators or the meaning of their results. Working symbolically, let us apply the same method to the separate components and that we earlier used on This work is recorded in Appendix 3 and a summary of the results is presented in Tables 66-i and 66-ii.




Table 67 shows how to compute the analytic series for in terms of coordinates, and Table 68 recaps these results in symbolic terms, agreeing with earlier derivations.




Figure 69 gives a graphical picture of the difference map for the transformation This represents the same information about and that was given in the corresponding rows of Tables 66-i and 66-ii, for ease of reference repeated below.



Diff Log Dyn Sys -- Figure 69 -- Difference Map (Short Form).gif


Figure 70-a shows a way of visualizing the tangent functor map for the transformation This amounts to the same information about and that was given in Tables 66-i and 66-ii, the corresponding rows of which are repeated below.




Diff Log Dyn Sys -- Figure 70-a -- Tangent Functor Diagram.gif


Figure 70-b shows another way to picture the action of the tangent functor on the logical transformation


Diff Log Dyn Sys -- Figure 70-b -- Tangent Functor Diagram.png


  • Note. The original Figure 70-b lost some of its labeling in a succession of platform metamorphoses over the years, so we have included an ASCII version below to indicate where the missing labels go.
o-----------------------o  o-----------------------o  o-----------------------o
| dU                    |  | dU                    |  | dU                    |
|      o--o   o--o      |  |      o--o   o--o      |  |      o--o   o--o      |
|     /////\ /////\     |  |     /XXXX\ /XXXX\     |  |     /\\\\\ /\\\\\     |
|    ///////o//////\    |  |    /XXXXXXoXXXXXX\    |  |    /\\\\\\o\\\\\\\    |
|   //////// \//////\   |  |   /XXXXXX/ \XXXXXX\   |  |   /\\\\\\/ \\\\\\\\   |
|  o///////   \//////o  |  |  oXXXXXX/   \XXXXXXo  |  |  o\\\\\\/   \\\\\\\o  |
|  |/////o     o/////|  |  |  |XXXXXo     oXXXXX|  |  |  |\\\\\o     o\\\\\|  |
|  |/du//|     |//dv/|  |  |  |XXXXX|     |XXXXX|  |  |  |\du\\|     |\\dv\|  |
|  |/////o     o/////|  |  |  |XXXXXo     oXXXXX|  |  |  |\\\\\o     o\\\\\|  |
|  o//////\   ///////o  |  |  oXXXXXX\   /XXXXXXo  |  |  o\\\\\\\   /\\\\\\o  |
|   \//////\ ////////   |  |   \XXXXXX\ /XXXXXX/   |  |   \\\\\\\\ /\\\\\\/   |
|    \//////o///////    |  |    \XXXXXXoXXXXXX/    |  |    \\\\\\\o\\\\\\/    |
|     \///// \/////     |  |     \XXXX/ \XXXX/     |  |     \\\\\/ \\\\\/     |
|      o--o   o--o      |  |      o--o   o--o      |  |      o--o   o--o      |
|                       |  |                       |  |                       |
o-----------------------o  o-----------------------o  o-----------------------o
 =      du' @ (u)(v)       o-----------------------o          dv' @ (u)(v)   =
  =                        | dU'                   |                        =
   =                       |      o--o   o--o      |                       =
    =                      |     /////\ /\\\\\     |                      =
     =                     |    ///////o\\\\\\\    |                     =
      =                    |   ////////X\\\\\\\\   |                    =
       =                   |  o///////XXX\\\\\\\o  |                   =
        =                  |  |/////oXXXXXo\\\\\|  |                  =
         = = = = = = = = = = =|/du'/|XXXXX|\dv'\|= = = = = = = = = = =
                           |  |/////oXXXXXo\\\\\|  |
                           |  o//////\XXX/\\\\\\o  |
                           |   \//////\X/\\\\\\/   |
                           |    \//////o\\\\\\/    |
                           |     \///// \\\\\/     |
                           |      o--o   o--o      |
                           |                       |
                           o-----------------------o

o-----------------------o  o-----------------------o  o-----------------------o
| dU                    |  | dU                    |  | dU                    |
|      o--o   o--o      |  |      o--o   o--o      |  |      o--o   o--o      |
|     /    \ /////\     |  |     /\\\\\ /XXXX\     |  |     /\\\\\ /\\\\\     |
|    /      o//////\    |  |    /\\\\\\oXXXXXX\    |  |    /\\\\\\o\\\\\\\    |
|   /      //\//////\   |  |   /\\\\\\//\XXXXXX\   |  |   /\\\\\\/ \\\\\\\\   |
|  o      ////\//////o  |  |  o\\\\\\////\XXXXXXo  |  |  o\\\\\\/   \\\\\\\o  |
|  |     o/////o/////|  |  |  |\\\\\o/////oXXXXX|  |  |  |\\\\\o     o\\\\\|  |
|  | du  |/////|//dv/|  |  |  |\\\\\|/////|XXXXX|  |  |  |\du\\|     |\\dv\|  |
|  |     o/////o/////|  |  |  |\\\\\o/////oXXXXX|  |  |  |\\\\\o     o\\\\\|  |
|  o      \//////////o  |  |  o\\\\\\\////XXXXXXo  |  |  o\\\\\\\   /\\\\\\o  |
|   \      \/////////   |  |   \\\\\\\\//XXXXXX/   |  |   \\\\\\\\ /\\\\\\/   |
|    \      o///////    |  |    \\\\\\\oXXXXXX/    |  |    \\\\\\\o\\\\\\/    |
|     \    / \/////     |  |     \\\\\/ \XXXX/     |  |     \\\\\/ \\\\\/     |
|      o--o   o--o      |  |      o--o   o--o      |  |      o--o   o--o      |
|                       |  |                       |  |                       |
o-----------------------o  o-----------------------o  o-----------------------o
 =      du' @ (u) v        o-----------------------o          dv' @ (u) v    =
  =                        | dU'                   |                        =
   =                       |      o--o   o--o      |                       =
    =                      |     /////\ /\\\\\     |                      =
     =                     |    ///////o\\\\\\\    |                     =
      =                    |   ////////X\\\\\\\\   |                    =
       =                   |  o///////XXX\\\\\\\o  |                   =
        =                  |  |/////oXXXXXo\\\\\|  |                  =
         = = = = = = = = = = =|/du'/|XXXXX|\dv'\|= = = = = = = = = = =
                           |  |/////oXXXXXo\\\\\|  |
                           |  o//////\XXX/\\\\\\o  |
                           |   \//////\X/\\\\\\/   |
                           |    \//////o\\\\\\/    |
                           |     \///// \\\\\/     |
                           |      o--o   o--o      |
                           |                       |
                           o-----------------------o

o-----------------------o  o-----------------------o  o-----------------------o
| dU                    |  | dU                    |  | dU                    |
|      o--o   o--o      |  |      o--o   o--o      |  |      o--o   o--o      |
|     /////\ /    \     |  |     /XXXX\ /\\\\\     |  |     /\\\\\ /\\\\\     |
|    ///////o      \    |  |    /XXXXXXo\\\\\\\    |  |    /\\\\\\o\\\\\\\    |
|   /////////\      \   |  |   /XXXXXX//\\\\\\\\   |  |   /\\\\\\/ \\\\\\\\   |
|  o//////////\      o  |  |  oXXXXXX////\\\\\\\o  |  |  o\\\\\\/   \\\\\\\o  |
|  |/////o/////o     |  |  |  |XXXXXo/////o\\\\\|  |  |  |\\\\\o     o\\\\\|  |
|  |/du//|/////|  dv |  |  |  |XXXXX|/////|\\\\\|  |  |  |\du\\|     |\\dv\|  |
|  |/////o/////o     |  |  |  |XXXXXo/////o\\\\\|  |  |  |\\\\\o     o\\\\\|  |
|  o//////\////      o  |  |  oXXXXXX\////\\\\\\o  |  |  o\\\\\\\   /\\\\\\o  |
|   \//////\//      /   |  |   \XXXXXX\//\\\\\\/   |  |   \\\\\\\\ /\\\\\\/   |
|    \//////o      /    |  |    \XXXXXXo\\\\\\/    |  |    \\\\\\\o\\\\\\/    |
|     \///// \    /     |  |     \XXXX/ \\\\\/     |  |     \\\\\/ \\\\\/     |
|      o--o   o--o      |  |      o--o   o--o      |  |      o--o   o--o      |
|                       |  |                       |  |                       |
o-----------------------o  o-----------------------o  o-----------------------o
 =      du' @  u (v)       o-----------------------o          dv' @  u (v)   =
  =                        | dU'                   |                        =
   =                       |      o--o   o--o      |                       =
    =                      |     /////\ /\\\\\     |                      =
     =                     |    ///////o\\\\\\\    |                     =
      =                    |   ////////X\\\\\\\\   |                    =
       =                   |  o///////XXX\\\\\\\o  |                   =
        =                  |  |/////oXXXXXo\\\\\|  |                  =
         = = = = = = = = = = =|/du'/|XXXXX|\dv'\|= = = = = = = = = = =
                           |  |/////oXXXXXo\\\\\|  |
                           |  o//////\XXX/\\\\\\o  |
                           |   \//////\X/\\\\\\/   |
                           |    \//////o\\\\\\/    |
                           |     \///// \\\\\/     |
                           |      o--o   o--o      |
                           |                       |
                           o-----------------------o

o-----------------------o  o-----------------------o  o-----------------------o
| dU                    |  | dU                    |  | dU                    |
|      o--o   o--o      |  |      o--o   o--o      |  |      o--o   o--o      |
|     /    \ /    \     |  |     /\\\\\ /\\\\\     |  |     /\\\\\ /\\\\\     |
|    /      o      \    |  |    /\\\\\\o\\\\\\\    |  |    /\\\\\\o\\\\\\\    |
|   /      / \      \   |  |   /\\\\\\/ \\\\\\\\   |  |   /\\\\\\/ \\\\\\\\   |
|  o      /   \      o  |  |  o\\\\\\/   \\\\\\\o  |  |  o\\\\\\/   \\\\\\\o  |
|  |     o     o     |  |  |  |\\\\\o     o\\\\\|  |  |  |\\\\\o     o\\\\\|  |
|  | du  |     |  dv |  |  |  |\\\\\|     |\\\\\|  |  |  |\du\\|     |\\dv\|  |
|  |     o     o     |  |  |  |\\\\\o     o\\\\\|  |  |  |\\\\\o     o\\\\\|  |
|  o      \   /      o  |  |  o\\\\\\\   /\\\\\\o  |  |  o\\\\\\\   /\\\\\\o  |
|   \      \ /      /   |  |   \\\\\\\\ /\\\\\\/   |  |   \\\\\\\\ /\\\\\\/   |
|    \      o      /    |  |    \\\\\\\o\\\\\\/    |  |    \\\\\\\o\\\\\\/    |
|     \    / \    /     |  |     \\\\\/ \\\\\/     |  |     \\\\\/ \\\\\/     |
|      o--o   o--o      |  |      o--o   o--o      |  |      o--o   o--o      |
|                       |  |                       |  |                       |
o-----------------------o  o-----------------------o  o-----------------------o
 =      du' @  u v         o-----------------------o          dv' @  u v     =
  =                        | dU'                   |                        =
   =                       |      o--o   o--o      |                       =
    =                      |     /////\ /\\\\\     |                      =
     =                     |    ///////o\\\\\\\    |                     =
      =                    |   ////////X\\\\\\\\   |                    =
       =                   |  o///////XXX\\\\\\\o  |                   =
        =                  |  |/////oXXXXXo\\\\\|  |                  =
         = = = = = = = = = = =|/du'/|XXXXX|\dv'\|= = = = = = = = = = =
                           |  |/////oXXXXXo\\\\\|  |
                           |  o//////\XXX/\\\\\\o  |
                           |   \//////\X/\\\\\\/   |
                           |    \//////o\\\\\\/    |
                           |     \///// \\\\\/     |
                           |      o--o   o--o      |
                           |                       |
                           o-----------------------o

o-----------------------o  o-----------------------o  o-----------------------o
| U                     |  |\U\\\\\\\\\\\\\\\\\\\\\|  |\U\\\\\\\\\\\\\\\\\\\\\|
|      o--o   o--o      |  |\\\\\\o--o\\\o--o\\\\\\|  |\\\\\\o--o\\\o--o\\\\\\|
|     /////\ /////\     |  |\\\\\/////\\/////\\\\\\|  |\\\\\/    \\/    \\\\\\|
|    ///////o//////\    |  |\\\\///////o//////\\\\\|  |\\\\/      o      \\\\\|
|   /////////\//////\   |  |\\\////////X\//////\\\\|  |\\\/      /\\      \\\\|
|  o//////////\//////o  |  |\\o///////XXX\//////o\\|  |\\o      /\\\\      o\\|
|  |/////o/////o/////|  |  |\\|/////oXXXXXo/////|\\|  |\\|     o\\\\\o     |\\|
|  |//u//|/////|//v//|  |  |\\|//u//|XXXXX|//v//|\\|  |\\|  u  |\\\\\|  v  |\\|
|  |/////o/////o/////|  |  |\\|/////oXXXXXo/////|\\|  |\\|     o\\\\\o     |\\|
|  o//////\//////////o  |  |\\o//////\XXX///////o\\|  |\\o      \\\\/      o\\|
|   \//////\/////////   |  |\\\\//////\X////////\\\|  |\\\\      \\/      /\\\|
|    \//////o///////    |  |\\\\\//////o///////\\\\|  |\\\\\      o      /\\\\|
|     \///// \/////     |  |\\\\\\/////\\/////\\\\\|  |\\\\\\    /\\    /\\\\\|
|      o--o   o--o      |  |\\\\\\o--o\\\o--o\\\\\\|  |\\\\\\o--o\\\o--o\\\\\\|
|                       |  |\\\\\\\\\\\\\\\\\\\\\\\|  |\\\\\\\\\\\\\\\\\\\\\\\|
o-----------------------o  o-----------------------o  o-----------------------o
 =          u'             o-----------------------o              v'         =
  =                        | U'                    |                        =
   =                       |      o--o   o--o      |                       =
    =                      |     /////\ /\\\\\     |                      =
     =                     |    ///////o\\\\\\\    |                     =
      =                    |   ////////X\\\\\\\\   |                    =
       =                   |  o///////XXX\\\\\\\o  |                   =
        =                  |  |/////oXXXXXo\\\\\|  |                  =
         = = = = = = = = = = =|/u'//|XXXXX|\\v'\|= = = = = = = = = = =
                           |  |/////oXXXXXo\\\\\|  |
                           |  o//////\XXX/\\\\\\o  |
                           |   \//////\X/\\\\\\/   |
                           |    \//////o\\\\\\/    |
                           |     \///// \\\\\/     |
                           |      o--o   o--o      |
                           |                       |
                           o-----------------------o

Figure 70-b.  Tangent Functor Ferris Wheel for F<u, v> = <((u)(v)), ((u, v))>

Epilogue, Enchoiry, Exodus

 

It is time to explain myself . . . . let us stand up.

 
— Walt Whitman, Leaves of Grass, [Whi, 79]