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 %% ![Aplicación de A en B|500](obsidian://notepix/20260215T000720683Z.png) 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