Sean A y B dos conjuntos, una función (o aplicación) $f$ de $A$ en $B$ es una regla (de asociación o correspondencia) que asocia a *cada* elemento $a$ de $A$ un *único* elemento de $B$ que se denomina *imagen* por $f$ de $a$ y se denota $f(a)$. %% Vieites2018; Oteyza2006 %%

En otras palabras, para que una relación sea función debe cumplirse que cada elemento del [[Dominio|dominio]] esté relacionado con **un y solo un** elemento del [[Codominio|codominio]]. El conjunto de estos elementos del codominio relacionados se llama [[Recorrido|recorrido]].
Si se piensa como una máquina que procesa números, para que la relación sea función, un cierto valor de entrada debe producir siempre la misma salida.
## Hechos
- Para probar si una curva corresponde a una función se debe verificar que toda línea vertical dibujada sobre la gráfica la interseque en a lo más un punto. %% [[Swokowski.Cole2012]]:214 %%
- Una función tiene [[Función inversa|inversa]] si es [[Función biyectiva|biyectiva]].
## Analogías explicativas
- Una función es cualquier método sistemático que toma números como *entrada*, los procesa y los escupe de vuelta como *salida*. %% [[Parker2014]] %%
- Una función es como un programa computacional en que se mete un número, la máquina hace un cierto cálculo y sale otro número. %% [[DuSautoy2003]] %%
- Una función es como un artefacto que al introducirle un elemento de $A$ produce un elemento de $B$. %% [[Oteyza.etal2006]] %%
- Las funciones matemáticas se asemejan a una máquina de peluches donde la garra va capturando números del dominio, para luego procesarlos y entregarlos por la puerta del frente iguales o convertidos en algo más.
## Subnotas
- [[Tipos de funciones]]
- [[Función compuesta]]
- [[Función gamma]]
#Rev/2602 #Tipo/Definición #Tipo/Índice