| Partial Function |
Article Index for Partial |
Website Links For Partial |
Information AboutPartial Function |
| CATEGORIES ABOUT PARTIAL FUNCTION | |
| mathematical relations | |
|
''This article pertains to functions in Mathematics and Computer Science . For other usages see Function (disambiguation) . In Mathematics , a partial function is a Relation that associates each Element of a Set , sometimes called its '' Domain '' (but see Discussion Below ), with ''at most one'' element of another (possibly the same) set, called the '' Codomain ''. In particular, this means that some elements of the domain may not be associated with any element of the codomain. If a partial function ''f'':''X''→''Y'' associates, to ''every'' element in ''X'', an element of ''Y'', then ''f'' is termed a total function, or simply a " Function " as traditionally understood in mathematics. Not every partial function is a total function. DOMAIN OF A PARTIAL FUNCTION There are two distinct meanings in current mathematical usage for the notion of the domain of a partial function. One, probably the ''less'' common, but favored by , prefer to reserve the term "domain of ''f''" for the set of all values ''x'' such that ''f(x)'' is defined. DISCUSSION AND EXAMPLES The above diagram represents a partial function that is not a total function since the element 1 in ''X'' is not associated with anything. Until the second half of the 20th Century , only total functions were considered "well-defined". Consider the Natural Logarithm function mapping the Real Number s to themselves. The logarithm of a non-positive real is not a real number, so the natural logarithm function doesn't associate any real number in the codomain with any non-positive real number in the domain. Therefore, the natural logarithm function is not a total function when viewed as a function from the reals to themselves, but it is a partial function. If the domain is restricted to only include the positive reals (that is, if the natural logarithm function is viewed as a function from the positive reals to the reals), then the natural logarithm is a total function. SEE ALSO |
|
|