Difference between revisions of "Bijection"
From Maths
(Created page with "A bijection is a 1:1 map. A map which is both injective and surjective. It has the useful property that for <math>f:X\rightarrow Y</math> that <...") |
|||
| Line 4: | Line 4: | ||
Thus <math>f^{-1}</math> behaves as a normal function (rather than the always-valid but less useful <math>f^{-1}:Y\rightarrow\mathcal{P}(X)</math> where <math>\mathcal{P}(X)</math> denotes the [[Power Set|power set]] of <math>X</math>) | Thus <math>f^{-1}</math> behaves as a normal function (rather than the always-valid but less useful <math>f^{-1}:Y\rightarrow\mathcal{P}(X)</math> where <math>\mathcal{P}(X)</math> denotes the [[Power Set|power set]] of <math>X</math>) | ||
| + | |||
| + | {{Definition}} | ||
Revision as of 18:07, 12 February 2015
A bijection is a 1:1 map. A map which is both injective and surjective.
It has the useful property that for [math]f:X\rightarrow Y[/math] that [math]f^{-1}(y)[/math] is always defined, and is at most one element.
Thus [math]f^{-1}[/math] behaves as a normal function (rather than the always-valid but less useful [math]f^{-1}:Y\rightarrow\mathcal{P}(X)[/math] where [math]\mathcal{P}(X)[/math] denotes the power set of [math]X[/math])
