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)
“In the domain of art there is no light without heat.”
—Victor Hugo (1802–1885)
“The vice named surrealism is the immoderate and impassioned use of the stupefacient image or rather of the uncontrolled provocation of the image for its own sake and for the element of unpredictable perturbation and of metamorphosis which it introduces into the domain of representation; for each image on each occasion forces you to revise the entire Universe.”
—Louis Aragon (1897–1982)
“America is hard to see.
Less partial witnesses than he
In book on book have testified
They could not see it from outside....”
—Robert Frost (1874–1963)
“Think of the tools in a tool-box: there is a hammer, pliers, a saw, a screwdriver, a rule, a glue-pot, nails and screws.—The function of words are as diverse as the functions of these objects.”
—Ludwig Wittgenstein (1889–1951)