Brian Leija Camacho.

Metalgica y axiomatizacin.
Definiciones, y ejemplos:
Funcin: Una funcin es una relacin entre dos magnitudes, de tal manera que a cada valor de la
primera le corresponde un nico valor de la segunda*, llamada imagen. (Funcin matemtica), por
ejemplo y= f(x)
Funcin inyectiva: Una funcin inyectiva es aquella en la que el <valor> del primer conjunto (X) les
corresponden elementos distintos en el conjunto (Y). Por ejemplo: La funcin f : R R definida por
f(x) = 2x + 1 es inyectiva.
Funcin suprayectiva: Una funcin es suprayectiva si para cada y en B, existe por lo menos un x en
A que cumple f(x) = y, en otras palabras f es suprayectiva si y slo si f(A) = B.
Funcin biyectiva. Una funcin es biyectiva si es al mismo tiempo inyectiva y sobreyectiva. Por
ejemplo, si para todo y de Y se cumple que existe un nico x de X, tal que la funcin evaluada en x
es igual a y.

*Algunas veces se le llama a este primer conjunto <Dominio> y al segundo <contradominio>.