Partial Function - Domain of A Partial 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. 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:XY 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: XY, 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)

    When it had long since outgrown his purely medical implications and become a world movement which penetrated into every field of science and every domain of the intellect: literature, the history of art, religion and prehistory; mythology, folklore, pedagogy, and what not.
    Thomas Mann (1875–1955)

    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)

    There is no luck in literary reputation. They who make up the final verdict upon every book are not the partial and noisy readers of the hour when it appears; but a court as of angels, a public not to be bribed, not to be entreated, and not to be overawed, decides upon every man’s title to fame. Only those books come down which deserve to last.
    Ralph Waldo Emerson (1803–1882)

    The function of literature, through all its mutations, has been to make us aware of the particularity of selves, and the high authority of the self in its quarrel with its society and its culture. Literature is in that sense subversive.
    Lionel Trilling (1905–1975)