Surjective function

From Citizendium
Revision as of 18:08, 13 November 2008 by Richard Pinch (Talk | contribs) (subpages)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
This article is a stub and thus not approved.
Main Article
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
This editable Main Article is under development and subject to a disclaimer.

In mathematics, a surjective function or onto function or surjection is a function for which every possible output value occurs for one or more input values: that is, its image is the whole of its codomain.

An surjective function f has an inverse (this requires us to assume the Axiom of Choice). If y is an element of the image set of f, then there is at least one input x such that . We define to be one of these x values. We have for all y in the codomain.

See also