MyWikiBiz, Author Your Legacy — Sunday June 09, 2024
Jump to navigationJump to search
201 bytes removed
, 18:56, 29 June 2007
Line 8,062: |
Line 8,062: |
| | valign="top" | ['''B'''<sup>''k''</sup> × '''D'''<sup>''k''</sup>] | | | valign="top" | ['''B'''<sup>''k''</sup> × '''D'''<sup>''k''</sup>] |
| |- | | |- |
− | | ''J'' | + | | ''F'' |
− | | ''J'' : ''U'' → '''B''' | + | | ''F'' = ‹''f'', ''g''› : ''U''<sup> •</sup> → ''X''<sup> •</sup> |
− | | Proposition
| |
− | | ('''B'''<sup>2</sup> → '''B''') ∈ ['''B'''<sup>2</sup>]
| |
− | |-
| |
− | | ''J''
| |
− | | ''J'' : ''U''<sup> •</sup> → ''X''<sup> •</sup>
| |
| | Transformation, or Mapping | | | Transformation, or Mapping |
− | | ['''B'''<sup>2</sup>] → ['''B'''<sup>1</sup>] | + | | ['''B'''<sup>''n''</sup>] → ['''B'''<sup>''k''</sup>] |
| |- | | |- |
| | valign="top" | | | | valign="top" | |
Line 8,213: |
Line 8,208: |
| | | |
| <pre> | | <pre> |
− | -------------o
| |
− | | F | F = <f, g> : U% -> X% | Transformation, | [B^n] -> [B^k] |
| |
− | | | | or Mapping
| |
| -------------o | | -------------o |
| | | f, g : U -> B | Proposition, | B^n -> B | | | | | f, g : U -> B | Proposition, | B^n -> B | |