 An example of a partial function that is not a total function. |
 An example of a total function. | - This article is about functions in mathematics. For other uses, see function.
In mathematics, a partial function is a relation that associates each element of a set (sometimes called its domain) with at most one element of another (possibly the same) set, called the codomain. However, not every element of the domain has to be associated with an element of the codomain. Image File history File links Partial_function. ...
Image File history File links Partial_function. ...
Image File history File links Total_function. ...
Image File history File links Total_function. ...
Euclid, a famous Greek mathematician known as the father of geometry, is shown here in detail from The School of Athens by Raphael. ...
Look up Function in Wiktionary, the free dictionary. ...
Euclid, a famous Greek mathematician known as the father of geometry, is shown here in detail from The School of Athens by Raphael. ...
In mathematics, a finitary relation is defined by one of the formal definitions given below. ...
In mathematics, an element (also called a member) is an object contained in a set (or more generally a class). ...
In mathematics, a set can be thought of as any collection of distinct things considered as a whole. ...
In mathematics, the domain of a function is the set of all input values to the function. ...
A codomain in mathematics is the set of output values associated with (or mapped to) the domain of inputs in a function. ...
If every element in of set X in partial function f:X→Y associates 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. Partial plot of a function f. ...
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 category theorists, is the one alluded to above: The domain of a partial function f:X→Y is X. Some authors may refer to the domain of definition as those values on which the function is defined, and consider it distinct from the domain. Many other mathematicians, including recursion theorists, prefer to reserve the term "domain of f" for the set of all values x such that f(x) is defined. Category theory is a mathematical theory that deals in an abstract way with mathematical structures and relationships between them. ...
Recursion theory, or computability theory, is a branch of mathematical logic dealing with generalizations of the notion of computable function, and with related notions such as Turing degrees and effective descriptive set theory. ...
Discussion and examples The first diagram above represents a partial function that is not a total function since the element 1 in the left-hand set is not associated with anything in the right-hand set. Until the second half of the 20th century, only total functions were considered "well-defined". (19th century - 20th century - 21st century - more centuries) Decades: 1900s 1910s 1920s 1930s 1940s 1950s 1960s 1970s 1980s 1990s As a means of recording the passage of time, the 20th century was that century which lasted from 1901–2000 in the sense of the Gregorian calendar (1900–1999 in the...
Consider the natural logarithm function mapping the real numbers 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. The natural logarithm, formerly known as the hyperbolic logarithm, is the logarithm to the base e, where e is equal to 2. ...
In mathematics, the real numbers are intuitively defined as numbers that are in one-to-one correspondence with the points on an infinite line—the number line. ...
See also |
Feeds |
Contact