Formal Function

From GM-RKB
Jump to navigation Jump to search

A formal function is a formal operation that maps every member of a function domain to a member of a function range.



References

2015

  • (Wikipedia, 2015) ⇒ http://en.wikipedia.org/wiki/function_(mathematics) Retrieved:2015-6-14.
    • In mathematics, a 'function [1] is a relation between a set of inputs and a set of permissible outputs with the property that each input is related to exactly one output. An example is the function that relates each real number x to its square x2. The output of a function f corresponding to an input x is denoted by f(x) (read "f of x”). In this example, if the input is −3, then the output is 9, and we may write f(−3) = 9. Likewise, if the input is 3, then the output is also 9, and we may write f(3) = 9. (The same output may be produced by more than one input, but each input gives only one output.) The input variable(s) are sometimes referred to as the argument(s) of the function. Functions of various kinds are "the central objects of investigation"in most fields of modern mathematics. There are many ways to describe or represent a function. Some functions may be defined by a formula or algorithm that tells how to compute the output for a given input. Others are given by a picture, called the graph of the function. In science, functions are sometimes defined by a table that gives the outputs for selected inputs. A function could be described implicitly, for example as the inverse to another function or as a solution of a differential equation. The input and output of a function can be expressed as an ordered pair, ordered so that the first element is the input (or tuple of inputs, if the function takes more than one input), and the second is the output. In the example above, f(x) = x2, we have the ordered pair (−3, 9). If both input and output are real numbers, this ordered pair can be viewed as the Cartesian coordinates of a point on the graph of the function. In modern mathematics, a function is defined by its set of inputs, called the domain ; a set containing the set of outputs, and possibly additional elements, as members, called its codomain ; and the set of all input-output pairs, called its graph. Sometimes the codomain is called the function's "range", but more commonly the word "range" is used to mean, instead, specifically the set of outputs (this is also called the image of the function). For example, we could define a function using the rule f(x) = x2 by saying that the domain and codomain are the real numbers, and that the graph consists of all pairs of real numbers (x, x2). The image of this function is the set of non-negative real numbers. Collections of functions with the same domain and the same codomain are called function spaces, the properties of which are studied in such mathematical disciplines as real analysis, complex analysis, and functional analysis.

      In analogy with arithmetic, it is possible to define addition, subtraction, multiplication, and division of functions, in those cases where the output is a number. Another important operation defined on functions is function composition, where the output from one function becomes the input to another function.

2009

  • (Wikipedia, 2009) ⇒ http://en.wikipedia.org/wiki/Function_(Programming)
    • In computer science, a subroutine (function, method, procedure, or subprogram) is a portion of code within a larger program, which performs a specific task and can be relatively independent of the remaining code. ...
  • http://planetmath.org/encyclopedia/Range2.html
    • A function is a triplet (f,A,B) where:
      • 1. [math]\displaystyle{ A }[/math] is a set (called the domain of the function).
      • 2. [math]\displaystyle{ B }[/math] is a set (called the codomain of the function).
      • 3. [math]\displaystyle{ f }[/math] is a binary relation between [math]\displaystyle{ A }[/math] and B.
      • 4. For every [math]\displaystyle{ a }[/math] in [math]\displaystyle{ A }[/math], there exists [math]\displaystyle{ b }[/math] in [math]\displaystyle{ B }[/math] such that (a,b) in [math]\displaystyle{ f }[/math].
      • 5. If [math]\displaystyle{ a }[/math] in [math]\displaystyle{ A }[/math], b_1,b_2 in [math]\displaystyle{ B }[/math], and (a,b_1) in [math]\displaystyle{ f }[/math] and (a,b_2) in [math]\displaystyle{ f }[/math], then b_1 = b_2.
    • The triplet (f,A,B) is usually written with the specialized notation f: A->B. This notation visually conveys the fact that [math]\displaystyle{ f }[/math] maps elements of [math]\displaystyle{ A }[/math] into elements of B.
  • CYC Glossary http://www.cyc.com/cycdoc/ref/glossary.html
    • function: A function (in the mathematical sense) is a relation such that for each thing in its domain (the universe of things it can be applied to), there is a single thing in its range (the universe of results it can have) such that the relation holds between them. In CycL, functions are denoted by certain constants. These constants are referred to as "function-denoting constants, "CycL functions," or sometimes just "functions." CycL functions can be applied to arguments to form non-atomic terms, which can serve as arguments to a predicate just as other terms can. There are more details about CycL functions in the Functions section of "The Syntax of Cycl".
  • http://www.isi.edu/~hobbs/bgt-sequences.text

A function f from a set s1 to a set s2 is a set of pairs where each element of s1 occurs exactly once as the first element in a pair, and every element of s2 occurs as a second element of at least one pair. We will call this predicate "function0" because in Chapter B7 we will extend it to functions from scales to scales as well.

  (forall (f s1 s2)                                            (5)
     (iff (function0 f s1 s2)
          (and (set s1)(set s2)
               (forall (p)
                  (if (member p f)
                      (and (pair p)
                           (forall (x y)
                              (if (and (first x p)(second y p))
                                  (and (member x s1)
                                       (member y s2)))))))
               (forall (x)
                  (if (member x s1)
                      (exists (p)
                         (and (member p f)(first x p)))))
               (forall (p1 p2 x)
                  (if (and (first x p1)(first x p2)
                           (member p1 f)(member p2 f))
                      (equal p1 p2)))
               (forall (y)
                  (if (member y s2)
                      (exists (p)
                         (and (member p f)(second y p))))))))

Lines 4-10 of this definition say that a function is a set of pairs, the first elements of which come from s1 and the second elements of which come from s2. Lines 11-14 say that there is a value of the function for every element of s1. Lines 15-18 say that value is unique. Lines 19-22 say that every element of s2 is a value of some member of s1 under the function f.

Domain
Range
Name
R R One variable Function
R R2 Parametric Equations
R2 R Function of 2 Variables
R Vectors Vector Valued Function

  • http://www.math.com/tables/algebra/functions/index.htm
    • Definition: A function is a relation from a domain set to a range set, where each element of the domain set is related to exactly one element of the range set.
    • An equivalent definition: A function (f) is a relation from a set A to a set B (denoted f: A�B), such that for each element in the domain of A (Dom(A)), the f-relative set of A (f(A)) contains exactly one element.

  1. The words map or mapping, transformation, correspondence, and operator are often used synonymously. .