[Trac] [OpenMath] #43: CD fns1

[OpenMath]

#43: CD fns1
------------------------------+---------------------------------------------
     Reporter:  jauecker      |          Owner:  kohlhase  
         Type:  proposal      |         Status:  new       
     Priority:  major         |      Milestone:  CD3 Draft1
    Component:  OM3 Standard  |        Version:            
   Resolution:                |       Keywords:            
Include_gantt:  0             |   Dependencies:            
   Due_assign:  YYYY/MM/DD    |      Due_close:  YYYY/MM/DD
------------------------------+---------------------------------------------
Changes (by jauecker):

  * component:  CD3 Format => OM3 Standard

Old description:

> '''Chris:'''
> I use 'range' for the image under the function of of the function's
> domain (IOW, the set of values taken by the function); a synonym for
> 'image'.
>
> I use 'codomain' for the (not a) set containing this 'range' that is
> defined as the set that appears 'on the right-hand side of the arrow'.
> Note that then: different codomain implies different function even if
> they are otherwise identical.
>
> ----------------
>
> It says 'the identity function': does this imply uniqueness, the same
> function for any set?
>
> ----------------
>
> Should we use 'left' and 'right' inverses in K-12 descriptions?
>
> And what is 'right_compose' ???
>
> ----------------
>
> I have never thought of 'lambda' as anything to do with maths, which
> managed for 500 years of specifying functions without it.
> ----------------

New description:

 '''Chris:'''


 I use 'range' for the image under the function of of the function's
 domain (IOW, the set of values taken by the function); a synonym for
 'image'.

 I use 'codomain' for the (not a) set containing this 'range' that is
 defined as the set that appears 'on the right-hand side of the arrow'.
 Note that then: different codomain implies different function even if
 they are otherwise identical.

 ----------------

 It says 'the identity function': does this imply uniqueness, the same
 function for any set?

 ----------------

 Should we use 'left' and 'right' inverses in K-12 descriptions?

 And what is 'right_compose' ???

 ----------------

 I have never thought of 'lambda' as anything to do with maths, which
 managed for 500 years of specifying functions without it.
 ----------------

-- 
Ticket URL: <https://trac.kwarc.info/OM3/ticket/43#comment:1>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.