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
 es una función biyectiva, entonces su función inversa  existe y también es biyectiva.
 existe y también es biyectiva.
Demostración:
 , dada por
, dada por  es biyectiva si cada valor de
 es biyectiva si cada valor de  se corresponde con un único valor de
 se corresponde con un único valor de  . Simbólicamente:
. Simbólicamente:

 es biyectiva.
 es biyectiva.
 , podemos despejar
, podemos despejar  de la expresión
 de la expresión  , para obtener el valor
, para obtener el valor  , que es el único que se corresponde con
, que es el único que se corresponde con  .
.

