Changes

7,306 bytes removed ,  17:09, 3 July 2007
Line 8,567: Line 8,567:  
|
 
|
 
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
 
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <font face=georgia>'''e'''</font>''J'' :
+
| <font face=georgia>'''e'''</font>''F'' :
 
|-
 
|-
 
| [''u'',&nbsp;''v'',&nbsp;d''u'',&nbsp;d''v'']&nbsp;&rarr;&nbsp;[''x'',&nbsp;d''x'']
 
| [''u'',&nbsp;''v'',&nbsp;d''u'',&nbsp;d''v'']&nbsp;&rarr;&nbsp;[''x'',&nbsp;d''x'']
Line 8,598: Line 8,598:  
|
 
|
 
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
 
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <font face=georgia>'''E'''</font>''J'' :
+
| <font face=georgia>'''E'''</font>''F'' :
 
|-
 
|-
 
| [''u'',&nbsp;''v'',&nbsp;d''u'',&nbsp;d''v'']&nbsp;&rarr;&nbsp;[''x'',&nbsp;d''x'']
 
| [''u'',&nbsp;''v'',&nbsp;d''u'',&nbsp;d''v'']&nbsp;&rarr;&nbsp;[''x'',&nbsp;d''x'']
Line 8,629: Line 8,629:  
|
 
|
 
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
 
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <font face=georgia>'''D'''</font>''J'' :
+
| <font face=georgia>'''D'''</font>''F'' :
 
|-
 
|-
 
| [''u'',&nbsp;''v'',&nbsp;d''u'',&nbsp;d''v'']&nbsp;&rarr;&nbsp;[''x'',&nbsp;d''x'']
 
| [''u'',&nbsp;''v'',&nbsp;d''u'',&nbsp;d''v'']&nbsp;&rarr;&nbsp;[''x'',&nbsp;d''x'']
Line 8,652: Line 8,652:  
|
 
|
 
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
 
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| d''J'' :
+
| d''F''<sub>''i''</sub> :
 
|-
 
|-
 
| 〈''u'',&nbsp;''v'',&nbsp;d''u'',&nbsp;d''v''〉&nbsp;&rarr;&nbsp;'''D'''
 
| 〈''u'',&nbsp;''v'',&nbsp;d''u'',&nbsp;d''v''〉&nbsp;&rarr;&nbsp;'''D'''
Line 8,660: Line 8,660:  
|
 
|
 
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
 
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <font face=georgia>'''T'''</font>''J'' :
+
| <font face=georgia>'''T'''</font>''F'' :
 
|-
 
|-
 
| [''u'',&nbsp;''v'',&nbsp;d''u'',&nbsp;d''v'']&nbsp;&rarr;&nbsp;[''x'',&nbsp;d''x'']
 
| [''u'',&nbsp;''v'',&nbsp;d''u'',&nbsp;d''v'']&nbsp;&rarr;&nbsp;[''x'',&nbsp;d''x'']
Line 8,667: Line 8,667:  
|}
 
|}
 
|}<br>
 
|}<br>
  −
<pre>
  −
o--------------o----------------------o--------------------o----------------------o
  −
|              | Operator            | Proposition        | Transformation      |
  −
|              |    or                |    or              |    or                |
  −
|              | Operand              | Component          | Mapping              |
  −
o--------------o----------------------o--------------------o----------------------o
  −
|              |                      |                    |                      |
  −
| Operand      | F = <F_1, F_2>      | F_i : <|u,v|> -> B | F : [u, v] -> [x, y] |
  −
|              |                      |                    |                      |
  −
|              | F = <f, g> : U -> X  | F_i : B^n -> B    | F : B^n -> B^k      |
  −
|              |                      |                    |                      |
  −
o--------------o----------------------o--------------------o----------------------o
  −
|              |                      |                    |                      |
  −
| Tacit        | !e! :                | !e!F_i :          | !e!F :              |
  −
| Extension    | U%->EU%, X%->EX%,    | <|u,v,du,dv|> -> B | [u,v,du,dv]->[x, y]  |
  −
|              | (U%->X%)->(EU%->X%)  | B^n x D^n -> B    | [B^n x D^n]->[B^k]  |
  −
|              |                      |                    |                      |
  −
o--------------o----------------------o--------------------o----------------------o
  −
|              |                      |                    |                      |
  −
| Trope        | !h! :                | !h!F_i :          | !h!F :              |
  −
| Extension    | U%->EU%, X%->EX%,    | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx,dy] |
  −
|              | (U%->X%)->(EU%->dX%) | B^n x D^n -> D    | [B^n x D^n]->[D^k]  |
  −
|              |                      |                    |                      |
  −
o--------------o----------------------o--------------------o----------------------o
  −
|              |                      |                    |                      |
  −
| Enlargement  | E :                  | EF_i :            | EF :                |
  −
| Operator    | U%->EU%, X%->EX%,    | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx,dy] |
  −
|              | (U%->X%)->(EU%->dX%) | B^n x D^n -> D    | [B^n x D^n]->[D^k]  |
  −
|              |                      |                    |                      |
  −
o--------------o----------------------o--------------------o----------------------o
  −
|              |                      |                    |                      |
  −
| Difference  | D :                  | DF_i :            | DF :                |
  −
| Operator    | U%->EU%, X%->EX%,    | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx,dy] |
  −
|              | (U%->X%)->(EU%->dX%) | B^n x D^n -> D    | [B^n x D^n]->[D^k]  |
  −
|              |                      |                    |                      |
  −
o--------------o----------------------o--------------------o----------------------o
  −
|              |                      |                    |                      |
  −
| Differential | d :                  | dF_i :            | dF :                |
  −
| Operator    | U%->EU%, X%->EX%,    | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx,dy] |
  −
|              | (U%->X%)->(EU%->dX%) | B^n x D^n -> D    | [B^n x D^n]->[D^k]  |
  −
|              |                      |                    |                      |
  −
o--------------o----------------------o--------------------o----------------------o
  −
|              |                      |                    |                      |
  −
| Remainder    | r :                  | rF_i :            | rF :                |
  −
| Operator    | U%->EU%, X%->EX%,    | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx,dy] |
  −
|              | (U%->X%)->(EU%->dX%) | B^n x D^n -> D    | [B^n x D^n]->[D^k]  |
  −
|              |                      |                    |                      |
  −
o--------------o----------------------o--------------------o----------------------o
  −
|              |                      |                    |                      |
  −
| Radius      | $e$ = <!e!, !h!> :  |                    | $e$F :              |
  −
| Operator    |                      |                    |                      |
  −
|              | U%->EU%, X%->EX%,    |                    | [u, v, du, dv] ->    |
  −
|              | (U%->X%)->(EU%->EX%) |                    | [x, y, dx, dy],      |
  −
|              |                      |                    |                      |
  −
|              |                      |                    | [B^n x D^n] ->      |
  −
|              |                      |                    | [B^k x D^k]          |
  −
|              |                      |                    |                      |
  −
o--------------o----------------------o--------------------o----------------------o
  −
|              |                      |                    |                      |
  −
| Secant      | $E$ = <!e!, E> :    |                    | $E$F :              |
  −
| Operator    |                      |                    |                      |
  −
|              | U%->EU%, X%->EX%,    |                    | [u, v, du, dv] ->    |
  −
|              | (U%->X%)->(EU%->EX%) |                    | [x, y, dx, dy],      |
  −
|              |                      |                    |                      |
  −
|              |                      |                    | [B^n x D^n] ->      |
  −
|              |                      |                    | [B^k x D^k]          |
  −
|              |                      |                    |                      |
  −
o--------------o----------------------o--------------------o----------------------o
  −
|              |                      |                    |                      |
  −
| Chord        | $D$ = <!e!, D> :    |                    | $D$F :              |
  −
| Operator    |                      |                    |                      |
  −
|              | U%->EU%, X%->EX%,    |                    | [u, v, du, dv] ->    |
  −
|              | (U%->X%)->(EU%->EX%) |                    | [x, y, dx, dy],      |
  −
|              |                      |                    |                      |
  −
|              |                      |                    | [B^n x D^n] ->      |
  −
|              |                      |                    | [B^k x D^k]          |
  −
|              |                      |                    |                      |
  −
o--------------o----------------------o--------------------o----------------------o
  −
|              |                      |                    |                      |
  −
| Tangent      | $T$ = <!e!, d> :    | dF_i :            | $T$F :              |
  −
| Functor      |                      |                    |                      |
  −
|              | U%->EU%, X%->EX%,    | <|u,v,du,dv|> -> D | [u, v, du, dv] ->    |
  −
|              | (U%->X%)->(EU%->EX%) |                    | [x, y, dx, dy],      |
  −
|              |                      |                    |                      |
  −
|              |                      | B^n x D^n -> D    | [B^n x D^n] ->      |
  −
|              |                      |                    | [B^k x D^k]          |
  −
|              |                      |                    |                      |
  −
o--------------o----------------------o--------------------o----------------------o
  −
</pre>
      
===Formula Display 12===
 
===Formula Display 12===
12,080

edits