Qu es una 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.
El precio de un viaje en taxi viene dado por:
y = 3 + 0.5 x
Siendo x el tiempo en minutos que dura el viaje.
Como podemos observar la funcin relaciona dos variables. x e y.
x es la variable independiente.
y es la variable dependiente (depende de los minutos que dure el viaje).
Las funciones se representan sobre unos ejes cartesianos para estudiar mejor su comportamiento.
x 10 20 30
y= 3 + 0.5x 8 13 18


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) =x
2
nos dice que la funcin "f" toma "x" y lo eleva al cuadrado.

As que con la funcin "f(x) = x
2
", 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 = x
2

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 unmiembro, 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 llamarango 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
Eso es todo por ahora
Que funciones bien!
Inyectivo, sobreyectivo y biyectivoDominio, codominio y rangon Introduccin a los
conjuntos Set Theory Menu