§6. FUNCIONES La nocién de funcién requiere de tres objetos: dos conjuntos yuna regia. La regla relaciona los dos conjuntos de forma que a-cada elemento de uno de los conjuntos, llamado dominio, le asocia tin tinico, sin ambigitedad, elemento del otro conjunto, llamado aleance. Dominio, regla y alcance determinan una funcién. La regla con frecuencia es uma férmula pero no tiene que ser asf. Por cierto que férmulas hacen mas facil la com- prensién de una funcién, pero existen muchas fumciones que no se rinden a formulas algebraicas Notacién. La forma més tradicional de representar una funcién en abstracto es con el uso de variables. y= F(a) { x se llama argumento y representa un elemento a del dominio. La letra f representa la regla, es de- cir, ese “programa” abstracto que dice qué le sucede a x del dominio para convertirse en el y del alcance. Globalmente el simbolo f(r) representa lo que resulta de aplicar f ax. Por ejemplo, f(x) = 3x +2 dice cémo se transforma x: “al triple de a se le sua 2". Como el resultado de transformar lun ntimero zr va a resultar en otro miimero, éste se representa, con otra variable, con frecuencia y. Entonces se usa. indistin- tamente las férmulas siguientesya=3r+2 , f(e)=3r42 para representar la misma funcién. Pero asi como usamos “x” y “y” podemos usar cualesquiera otras dos variables s” t” por ejemplo s = 3 +2, f(t) = 3t +2 representan lo mismo que lo anterior En abstracto, cuando se quiere hablar de una funcién, in especificar ninguna, se dice “la fun plemente “la funein f* ny = f(a)" osim- Cuando se quiere especificar el dominio A y el alcance B de una funeién f se escribe ALB 6 f:A—B y cuando se quiere mostrar que a x € A le corresponde 1 € B se escribe equivalentemente F(a) 6 frwrsy Inyectividad. Debe ser claro por la inambiguedad de lo que le corresponde ax que f:m-y y fiay'. Es decir, ef esquema 2 fey no es posible, a menos que yPor otra parte, el esquema fin, y fialZ sf esti permitido. ‘Tal es el caso de In funcién f(r) = cuando su dominio son todos los niimeros reales. Para a = 2 ya! =—2, se tiene f(2) = 4, f(-2) = 4. Funciones que evitan esta conducta se llaman inyecti~ vas 0 uno-a-uno (1-1). Para ellas sucede que nocesariamente f(r) # f(a"). Entonces podria definir funcién inyectiva naturalmente diciendo x # a! = f(a) # (2). Pero las relaciones de no igualdad (#) son poco pro- ductivas y por ello usaremos la contraposicién que como sabe- mos es equivalente. Definicién. Una funcion f es inyectiva 6 1-1 sii Ejemplo 1. Probar que toda funcién lineal f(x) = ax+ b, a 4.0 es inyectiva. Comentario. El argumento de la funcién es. Los simbolos a y b son constantes 0 pardmetros de la fun- cidn. En la prueba notaré el lector la conve de 3