MyWikiBiz, Author Your Legacy — Friday November 01, 2024
Jump to navigationJump to search
96 bytes added
, 02:26, 18 January 2009
Line 3,114: |
Line 3,114: |
| | | |
| <li> | | <li> |
− | <p>In a setting where the connection <math>F\!</math> is fixed but the imagination <math>\underline{f}</math> is allowed to vary over a wide range of possibilities, call <math>p\!</math> the ''stretch of <math>F\!</math> to <math>\underline{f}</math> on <math>X,\!</math>'' and write it in the style <math>F^\$ \underline{f},</math> exactly as if <math>^{\backprime\backprime} F^\$ \, ^{\prime\prime}</math> denotes an operator F$ : (X -> B)^k -> (X -> B) that is derived from F and applied to f, ultimately yielding a proposition F$f : X -> B.</p></li> | + | <p>In a setting where the connection <math>F\!</math> is fixed but the imagination <math>\underline{f}</math> is allowed to vary over a wide range of possibilities, call <math>p\!</math> the ''stretch of <math>F\!</math> to <math>\underline{f}</math> on <math>X,\!</math>'' and write it in the style <math>F^\$ \underline{f},</math> exactly as if <math>^{\backprime\backprime} F^\$ \, ^{\prime\prime}</math> denotes an operator <math>F^\$ : (X \to \underline\mathbb{B})^k \to (X \to \underline\mathbb{B})</math> that is derived from <math>F\!</math> and applied to <math>\underline{f},</math> ultimately yielding a proposition F$f : X -> B.</p></li> |
| | | |
| <li> | | <li> |