home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / sci / math / 16735 < prev    next >
Encoding:
Text File  |  1992-12-11  |  1.6 KB  |  34 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!think.com!ames!purdue!mentor.cc.purdue.edu!pop.stat.purdue.edu!hrubin
  3. From: hrubin@pop.stat.purdue.edu (Herman Rubin)
  4. Subject: Re: Function Terminology
  5. Message-ID: <Bz48w1.G5C@mentor.cc.purdue.edu>
  6. Sender: news@mentor.cc.purdue.edu (USENET News)
  7. Organization: Purdue University Statistics Department
  8. References: <1gaq3tINNg9q@uwm.edu> <1992Dec11.203802.1770@CSD-NewsHost.Stanford.EDU>
  9. Date: Fri, 11 Dec 1992 22:24:00 GMT
  10. Lines: 22
  11.  
  12. In article <1992Dec11.203802.1770@CSD-NewsHost.Stanford.EDU> pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) writes:
  13. >In article <1gaq3tINNg9q@uwm.edu> radcliff@csd4.csd.uwm.edu (David G Radcliffe) writes:
  14. >>Suppose I have a function f: A --> B, and C is a subset of B which
  15. >>contains the image set of f.  I define a function g: A --> C by
  16. >>setting g(a) = f(a) for all a in A.  Usually, f and g can be considered 
  17. >>as the same function, but sometimes the distinction is important.
  18.  
  19. >>Is there a standard term or notation for this?
  20.  
  21. >While I've not heard of one, one could borrow notation used to make the
  22. >analogous distinction for the integer 2 viewed as the real 2. and write
  23. >f:A->B as f. and f:A->C as just f without the point.
  24.  
  25. The function is exactly the same.  A function, in whatever foundational
  26. system is used, is something which takes arguments in a domain and
  27. operates on them.  The image set depends only on f and A.  Which
  28. superset of the range is used does not affect the function.
  29. -- 
  30. Herman Rubin, Dept. of Statistics, Purdue Univ., West Lafayette IN47907-1399
  31. Phone: (317)494-6054
  32. hrubin@snap.stat.purdue.edu (Internet, bitnet)  
  33. {purdue,pur-ee}!snap.stat!hrubin(UUCP)
  34.