§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 siguientesya=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 yPor 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