Difference between revisions of "Injection"
m |
(added some examples and an alternative definition) |
||
| Line 1: | Line 1: | ||
An '''injection''', or "one-to-one function," is a [[function]] that takes distinct values on distinct inputs. Equivalently, an injection is a function for which every value in the [[range]] is the image of exactly one value in the [[domain]]. | An '''injection''', or "one-to-one function," is a [[function]] that takes distinct values on distinct inputs. Equivalently, an injection is a function for which every value in the [[range]] is the image of exactly one value in the [[domain]]. | ||
| + | |||
| + | Alternative definition: A function <math>f:A\to B</math> is an injection if for all <math>x,y\in A</math>, if <math>f(x)=f(y)</math> then <math>x=y</math>. | ||
| + | |||
| + | ==Examples== | ||
| + | Linear functions are injections: <math>f:\mathbb R \to mathbb R</math>, <math>f(x)= ax+b</math>, <math>a\neq 0</math>. The domain choosing is also important. For example, while <math>f:\mathbb R \to \mathbb R</math>, <math>f(x)=x^2</math> is not an injection (<math>f(-1)=f(1)=1</math>), the function <math>g:[0,\infty)\to\mathbb R</math>, <math>g(x)=x^2</math>, is an injection. | ||
==See also== | ==See also== | ||
Revision as of 13:48, 25 September 2007
An injection, or "one-to-one function," is a function that takes distinct values on distinct inputs. Equivalently, an injection is a function for which every value in the range is the image of exactly one value in the domain.
Alternative definition: A function 
is an injection if for all 
, if 
then 
.
Examples
Linear functions are injections: 
, 
, 
. The domain choosing is also important. For example, while 
, 
is not an injection (
), the function 
, 
, is an injection.
See also
This article is a stub. Help us out by expanding it.
