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 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 y al segundo .