Función biyectiva
De Wikipedia
(Diferencia entre revisiones)
Revisión de 17:54 24 ene 2009 Coordinador (Discusión | contribuciones) ← Ir a diferencia anterior |
Revisión de 18:03 24 ene 2009 Coordinador (Discusión | contribuciones) Ir a siguiente diferencia → |
||
Línea 6: | Línea 6: | ||
{{p}} | {{p}} | ||
<center><math>\forall y\in Y : \exists !\ x\in X,\ f(x) = y</math></center> | <center><math>\forall y\in Y : \exists !\ x\in X,\ f(x) = y</math></center> | ||
+ | {{p}} | ||
+ | Equivalentemente, una función es '''biyectiva''' si es al mismo tiempo [[Función inyectiva|inyectiva]] y [[Función sobreyectiva|sobreyectiva]]. | ||
}} | }} | ||
{{p}} | {{p}} | ||
Línea 14: | Línea 16: | ||
En efecto, dado cualquier valor <math>y_0 \in Y</math>, podemos despejar <math>x\;</math> de la expresión <math>y_0=6x+9\;</math>, para obtener el valor <math>x=\cfrac{y_o-9} {6}</math>, que es el único que se corresponde con <math>y_0\;</math>. | En efecto, dado cualquier valor <math>y_0 \in Y</math>, podemos despejar <math>x\;</math> de la expresión <math>y_0=6x+9\;</math>, para obtener el valor <math>x=\cfrac{y_o-9} {6}</math>, que es el único que se corresponde con <math>y_0\;</math>. | ||
}} | }} | ||
+ | }} | ||
+ | {{p}} | ||
+ | {{Teorema|titulo=Teorema | ||
+ | |enunciado=Si <math>f\,</math> es una función biyectiva, entonces su [[Función inversa o recíproca (1ºBach)|función inversa]] <math>f^{-1}\,</math> existe y también es biyectiva. | ||
+ | |demo= | ||
}} | }} | ||
[[Categoría: Matemáticas]][[Categoría: Funciones]] | [[Categoría: Matemáticas]][[Categoría: Funciones]] |
Revisión de 18:03 24 ene 2009
Una función ![]() Equivalentemente, una función es biyectiva si es al mismo tiempo inyectiva y sobreyectiva. |
Teorema
Si es una función biyectiva, entonces su función inversa
existe y también es biyectiva.
Demostración: