Domain of A Partial Function
There are two distinct meanings in current mathematical usage for the notion of the domain of a partial function. Most mathematicians, including recursion theorists, use the term "domain of f" for the set of all values x such that f(x) is defined ( X' above). But some, particularly category theorists, consider the domain of a partial function f:X→Y to be X, and refer to X' as the domain of definition.
Occasionally, a partial function with domain X and codomain Y is written as f: X ⇸ Y, using an arrow with vertical stroke.
A partial function is said to be injective or surjective when the total function given by the restriction of the partial function to its domain of definition is. A partial function may be both injective and surjective, but the term bijection generally only applies to total functions.
An injective partial function may be inverted to an injective partial function, and a partial function which is both injective and surjective has an injective function as inverse.
Read more about this topic: Partial Function
Famous quotes containing the words domain of a, domain of, domain, partial and/or function:
“In the domain of art there is no light without heat.”
—Victor Hugo (1802–1885)
“No domain of nature is quite closed to man at all times.”
—Henry David Thoreau (1817–1862)
“In the domain of Political Economy, free scientific inquiry meets not merely the same enemies as in all other domains. The peculiar nature of the material it deals with, summons as foes into the field of battle the most violent, mean and malignant passions of the human breast, the Furies of private interest.”
—Karl Marx (1818–1883)
“Both the man of science and the man of art live always at the edge of mystery, surrounded by it. Both, as a measure of their creation, have always had to do with the harmonization of what is new with what is familiar, with the balance between novelty and synthesis, with the struggle to make partial order in total chaos.... This cannot be an easy life.”
—J. Robert Oppenheimer (1904–1967)
“The intension of a proposition comprises whatever the proposition entails: and it includes nothing else.... The connotation or intension of a function comprises all that attribution of this predicate to anything entails as also predicable to that thing.”
—Clarence Lewis (1883–1964)