Difference between revisions of "Surjection"
m |
|||
| Line 1: | Line 1: | ||
A '''surjection''' is a [[function]] which takes each value in its [[codomain]] at some value in its [[domain]]. That is, the [[range]] (or [[image]]) of the function is equal to its codomain. (For every function, the range is a subset of the codomain.) In adjectival form, we say that a function is ''surjective'' or ''onto''. | A '''surjection''' is a [[function]] which takes each value in its [[codomain]] at some value in its [[domain]]. That is, the [[range]] (or [[image]]) of the function is equal to its codomain. (For every function, the range is a subset of the codomain.) In adjectival form, we say that a function is ''surjective'' or ''onto''. | ||
| − | For instance, the function <math>f: \mathbb Z \to \mathbb Z</math> defined by <math>f(x) = x+1</math> is surjective because for every [[integer]] is one more than some other integer, but the function <math>f: \mathbb N \to\mathbb N</math> defined by <math>f(x) = x+1</math> is not surjective because there exists a [[natural number]] which is not one more than any other natural number. | + | For instance, the function <math>f: \mathbb Z \to \mathbb Z</math> defined by <math>f(x) = x+1</math> is surjective because for every [[integer]] there is one more than some other integer, but the function <math>f: \mathbb N \to\mathbb N</math> defined by <math>f(x) = x+1</math> is not surjective because there exists a [[natural number]] which is not one more than any other natural number. |
==See also == | ==See also == | ||
Revision as of 18:15, 8 April 2015
A surjection is a function which takes each value in its codomain at some value in its domain. That is, the range (or image) of the function is equal to its codomain. (For every function, the range is a subset of the codomain.) In adjectival form, we say that a function is surjective or onto.
For instance, the function 
defined by 
is surjective because for every integer there is one more than some other integer, but the function 
defined by is not surjective because there exists a natural number which is not one more than any other natural number.
See also
This article is a stub. Help us out by expanding it.
