Qu es una funcin?

Una funcin es como una mquina: tiene una entrada y una salida. Y lo que sale est relacionado de alguna manera con lo que entra.

Ejemplos

"Multiplicar por 2" es una funcin muy simple La raz cuadrada () es una funcin Seno, coseno y tangente son funciones que se usan en trigonometra

Pero no vamos a ver funciones concretas... ... ahora vamos a ver la idea general de una funcin.

Nombres
Primero, es til darle un nombre a una funcin. El nombre ms comn es "f", pero puedes ponerle otros como "g" ... o hasta "mermelada" si quieres. Y tambin est bien darle nombre a lo que se va adentro de la funcin, se pone entre parntesis () despus del nombre de la funcin: As que f(x) te dice que la funcin se llama "f", y "x" se pone dentro Y normalmente vers lo que la funcin hace a la entrada: f(x) = x2 nos dice que la funcin "f" toma "x" y lo eleva al cuadrado.

As que con la funcin "f(x) = x2", una entrada de 4 da una salida de 16. De hecho podemos escribir f(4) = 16. Nota: a veces las funciones no tienen nombre, y puede que veas algo como y = x2

Relacionar
Arriba dije que una funcin es como una mquina. Pero una funcin no tiene engranajes ni correas ni partes que se muevan. Y no destruye lo que pones dentro! En realidad, una funcin relaciona la entrada con la salida. Decir que "f(4) = 16" es como decir que 4 est relacionado de alguna manera con 16. O tambin 4 16 Ejemplo: este rbol crece 20 cm cada ao, as que la altura del rbol est relacionada con la edad por la funcin a: a(edad) = edad 20 As que si la edad es 10 aos, la altura es a(10) = 200 cm Volveremos a esta idea despus de responder la pregunta...

Con qu tipo de cosas trabaja una funcin?

Los "nmeros" parecen una respuesta clara, pero... ... qu nmeros? Por ejemplo, la funcin de la altura del rbol a(edad) = edad20 no tiene sentido si la edad es menor que cero. ... tambin podran ser letras ("A""B"), o cdigos de identificacin ("A6309""Acceso") o cosas ms raras. As que tenemos que usar algo ms general, y ah es donde entran en juego los conjuntos:

Un conjunto es una coleccin de cosas, por ejemplo nmeros.

Aqu tienes algunos ejemplos: El conjunto de los nmeros pares: {..., -4, -2, 0, 2, 4, ...} Un conjunto de ropa: {"sombrero","camisa",...} El conjunto de los nmeros primos: {2, 3, 5, 7, 11, 13, 17, ...} Los mltiplos de 3 que son ms pequeos que 10: {3, 6, 9} Cada cosa individual en un conjunto (como "4" o "sombrero") es un miembro, o elemento.

As que una funcin toma elementos de un conjunto, y devuelve (normalmente con algn cambiados) elementos de un conjunto. Con esto llegamos a la definicin formal:

Definicin formal de funcin

Una funcin relaciona cada elemento de un conjunto con un elemento exactamente de otro conjunto (puede ser el mismo conjunto).
"exactamente uno" significa que la funcin es univaluada. No devolver 2 o ms resultados para la misma entrada. As que "f(2) = 7 o 9" no vale! Cada elemento de "X" se relaciona con un elemento de "Y". Decimos que la funcin cubre "X" (relaciona cada elemento de) Tambin fjate que en el dibujo de arriba hay dos elementos en "X" que se relacionan con el mismo elemento de "Y". No pasa nada. No hay ninguna regla contra esto. Y finalmente, fjate en que algunos elementos de "Y" no se relacionan con nada. Eso tambin vale. Esto son cosas normales entre funciones, pero algunos tipos de funciones cumplen reglas ms estrictas, para saber ms lee sobre inyectivo, sobreyectivo y biyectivo

La prueba de la lnea vertical

En un grfico, la idea de univaluada significa que ninguna lnea vertical cruza ms de una vez. Si alguna cruzara ms de una vez no sera una funcin.

Dominio, codominio y rango

En el dibujo de arriba

el conjunto "X" es el dominio, el conjunto "Y" es el codominio, y el conjunto de elementos de Y a los que llega alguna flecha (los valores verdaderos de la funcin) se llama rango o imagen.

Tenemos una pgina especial sobre dominio, codominio y rango por si quieres saber ms.

Pares ordenados
Puedes escribir las entradas y salidas de una funcin como "pares ordenados", como (4,16). Se llaman pares ordenados porque la entrada siempre va primero y la salida despus. As que (4,16) significa que la funcin toma "4" y devuelve "16" Y una funcin se puede definir como un conjunto de pares ordenados: Ejemplo: {(2,4), (4,5), (7,3)} es una funcin que dice que "2 se relaciona con 4", "4 se relaciona con 5" y "7 se relaciona con 3". Fjate tambin en que el dominio es {2,4,7} y el rango es {4,5,3} Pero la funcin debe ser univaluada, esto se puede decir "si contiene (a, b) y (a, c), entonces b tiene que ser igual a c" Es otra manera de decir que una entrada "a" no puede dar dos resultados diferentes. Ejemplo: {(2,4), (2,5), (7,3)} no es una funcin porque {2,4} y {2,5} quieren decir que 2 estara relacionado con 4 y 5, o sea no es univaluada

Conclusin

una funcin relaciona entradas con salidas una funcin toma elementos de un conjunto (el dominio) y los relaciona con elementos de un conjunto (el codominio). las salidas (los verdaderos valores de la funcin) se llaman la imagen o rango una entrada slo produce una salida (no una u otra) una entrada y la salida que corresponde se llaman juntos un par ordenado as que una funcin tambin se puede ver como un conjunto de pares ordenados

Inyectivo, sobreyectivo y biyectivo

"Inyectivo, sobreyectivo y biyectivo" te dan informacin sobre el comportamiento de una funcin. Puedes entender una funcin como una manera de conectar elementos de un conjunto "A" a los de otro conjunto "B":

"Injectivo" significa que cada elemento de "B" tiene como mucho uno de "A" al que corresponde (pero esto no nos dice que todos los elementos de "B" tengan alguno en "A"). "Sobreyectivo" significa que cada elemento de "B" tiene por lo menos uno de "A" (a lo mejor ms de uno). "Biyectivo" significa inyectivo y sobreyectivo a la vez. As que hay una correspondencia perfecta "uno a uno" entre los elementos de los dos conjuntos.

Definiciones formales
Inyectivo
Una funcin f es inyectiva si, cuando f(x) = f(y), x = y. Ejemplo: f(x) = x2 del conjunto de los nmeros naturales a es una funcin inyectiva. (esto incluye

(Pero f(x) = x2 no es inyectiva cuando es desde el conjunto de enteros nmeros negativos) porque tienes por ejemplo

f(2) = 4 y f(-2) = 4)

Nota: inyectiva tambin se llama "uno a uno", pero esto se confunde porque suena un poco como si fuera biyectiva.

Sobreyectivo (o tambin "epiyectivo")

Una funcin f (de un conjunto A a otro B) es sobreyectiva si para cada y en B, existe por lo menos un x en A que cumple f(x) = y, en otras palabras f es sobreyectiva si y slo si f(A) = B. As que cada elemento de la imagen corresponde con un elemento del dominio por lo menos. Ejemplo: la funcin f(x) = 2x del conjunto de los nmeros naturales pares no negativos es sobreyectiva. al de los nmeros

Sin embargo, f(x) = 2x del conjunto de los nmeros naturales a no es sobreyectiva, porque, por ejemplo, ningn elemento de va al 3 por esta funcin.

Biyectiva
Una funcin f (del conjunto A al B) es biyectiva si, para cada y en B, hay exactamente un x en A que cumple que f(x) = y Alternativamente, f es biyectiva si es a la vez inyectiva y sobreyectiva. Ejemplo: La funcin f(x) = x2 del conjunto de nmeros reales positivos al mismo conjunto es inyectiva y sobreyectiva. Por lo tanto es biyectiva. (Pero no desde el conjunto de todos los nmeros reales porque podras tener por ejemplo

f(2)=4 y f(-2)=4)