Capítulo 5 Relaciones y Funciones

5.1. Producto Cartesiano

De…nición 5.1.1 Dados dos conjuntos A y B, llamaremos producto cartesiano al conjunto

A B = f(a; b) : a 2 A ^ b 2 Bg

Es decir el producto cartesiano es el conjunto de todos aquellos elementos de la forma (a; b) que lla-
maremos pares ordenados y donde la primer componente a es un elemento del conjunto A y la segunda
componente b es un elemento del conjunto B.

Ejemplo 5.1.1 Sean A = f1; 2; 3g, B = fa; bg.

A B = f(1; a); (1; b); (2; a); (2; b); (3; a); (3; b)g,
B A = f(a; 1); (a; 2); (a; 3); (b; 1); (b; 2); (b; 3)g
B B = f(a; a); (a; b); (b; a); (b; b)g.

Recordemos que, por ejemplo, un punto en el plano numérico puede identi…carse con un par ordenado.

Ejemplo 5.1.2 Sean A = f1; 2; 3g, B = f1; 2g.

A B = f(1; 1); (1; 2); (2; 1); (2; 2); (3; 1); (3; 2)g,
Gra…camente:

Ejemplo 5.1.3 Si A = B = R, entonces R R es el espacio euclideo R2 = f(x; y) : x; y 2 Rg representado

mediante un par de ejes perpendiculares denominados ejes cartesianos.

Ejemplo 5.1.4 Sean A = [a; b] y B = [c; d] intervalos cerrados de números reales

[a; b] = fx 2 R : a x bg ^ [c; d] = fy 2 R : c y dg,
Entonces [a; b] [c; d] = (x; y) 2 R2 : a x b ^ c y d
Gra…camente:

Propiedades

El producto cartesiano no es conmutativo. Si A 6= B, entonces A B 6= B A.

A ;=;^; B = ;.

5.2. Relaciones entre Conjuntos

De…nición 5.2.1 Dados dos conjuntos A y B, llamaremos relación de A en B a cualquier subconjunto
R del producto cartesiano A B. Es decir R es una relación de A en B si R A B. Diremos que A
es el conjunto de partida y que B es el conjunto de llegada de R.

Dado a 2 A y b 2 B; denotaremos la relación a través de R de a con b de las siguientes maneras

equivalentes:

(a; b) 2 R ; aRb o simplemente a b

Ejemplo 5.2.1 Sean A = fa; b; cg, B = f1; 2g. Entonces

R1 = ;,
R2 = A B,
R3 = f(a; 1); (b; 1); (b; 2)g y
1
 R4 = f(a; 2); (b; 2); (c; 1); (c; 2)g
son ejemplos de relaciones de A en B, por otro lado
R5 = f(1; a); (1; b); (2; a); (2; c)g
es un ejemplo de relación de B en A (notar que importa el orden).
R6 = f(x; y) 2 R2 : x = 2yg y
R7 = f(x; y) 2 R2 : x2 = y 2 g
son relaciones de R en R, o como veremos luego, relaciones en R.

Representación de Relaciones
Dado R es una relación de A en B. En el caso que A y B sean conjuntos …nitos se utilizan los siguientes
tipos de representación:
1. Mediante diagramas de Venn.
2. Mediante un grá…co cartesiano, donde los elementos del primer conjunto se ubican en el eje hori-
zontal y los elementos del segundo en el eje vertical, luego mediante paralelas a los ejes que pasan
por los puntos se forma una cuadrícula cuyos vértices son los elementos del producto cartesiano
A B; …nalmente de estos se señalan los que pertenecen a R.
3. Mediante una tabla de doble entrada donde en la primer …la se colocan los elementos de A y en la
primer columna los eleentos de B; luego se asigna a cada elemento de A B un 1 si el par ordenado
(a; b) 2 R o un 0 si (a; b) 2
= R.
Ejemplo 5.2.2 Sean A = fa; b; c; dg, B = f1; 2; 3; 4; 5g. Sea
R = f(a; 1); (a; 3); (b; 3); (d; 5)g
Representaremos R mediante:
1) diagrama de Venn

2) ejes cartesianos

3) tabla

R 1 2 3 4 5
a 1 0 1 0 0
b 0 0 1 0 0
c 0 0 0 0 0
d 0 0 0 0 1
De…nición 5.2.2 Consideremos dos conjuntos A, B y una relación R A B;
1) Si (x; y) 2 R diremos que "y" es una imagen de "x" a través de R, y que "x" es un antecedente o
preimagen de "y" por R.
2) Se denomina Dominio de R al subconjunto de elementos de A, que admiten una imagen en B.

DomR = fx 2 A : (x; y) 2 Rg
3) Se denomina Imagen de una relación R al subconjunto de elementos de B que admiten una preim-
agen en A.

ImR = fy 2 B : (x; y) 2 Rg
Ejemplo 5.2.3 Sean A = fa; b; c; dg, B = f1; 2; 3; 4; 5g. Sea R = f(a; 1); (a; 3); (b; 3); (d; 5)g
Tenemos que DomR = fa; b; dg y ImR = f1; 3; 5g

2
5.2.1. Relación inversa
De…nición 5.2.3 Dados dos conjuntos A, B y una relación R A B; se denomina relación inversa
de R, y se representa por R 1 , a la relación que asocia a los elementos de B con los de A, asociados a
través de R. Es decir que R 1 B A donde:
1
R = f(y; x) 2 B A : (x; y) 2 Rg

Ejemplo 5.2.4 Sean A = fa; b; c; dg, B = f1; 2; 3; 4; 5g. Sea R = f(a; 1); (a; 3); (b; 3); (d; 5)g
Tenemos que R 1 = f(1; a); (3; a); (3; b); (5; d)g

5.2.2. Composición de Relaciones

De…nición 5.2.4 Consideremos una relación R A B y una relación S B C; es posible de…nir
una relación entre los conjuntos A y C denominada composición estre R y S , esta se representa
S R A C donde:
S R = f(x; z) 2 A C : (x; y) 2 R ^ (y; z) 2 Sg

Ejemplo 5.2.5 Sean A = fa; b; c; dg, B = f1; 2; 3; 4; 5g, C = f ; ; ; g.

Sean R = f(a; 1); (a; 3); (b; 3); (d; 5)g y S = f(2; ); (2; ); (3; ); (5; )g

Se tiene que S R = f(a; ); (b; ); (d; )g

5.3. Relaciones De…nidas en un Conjunto

En esta sección consideramos relaciones de un conjunto en sí mismo.

De…nición 5.3.1 Llamaremos relación en A a cualquier subconjunto de A A. Es decir, R es una

relación en A cuando R A A.

5.3.1. Propiedades de Relaciones en A

Propiedad re‡exiva (o idéntica)

De…nición 5.3.2 Una relación R sobre un conjunto A es re‡exiva si 8x 2 A se cumple que (x; x) 2 R.

En otras palabras una relación es re‡exiva si todo elemento del conjunto sobre el que está de…nida,
está relacionado consigo mismo.

3
Ejemplo 5.3.1 Sea el conjunto A = f1; 2; 3; 4g:
R1 = f(1; 1); (1; 4); (2; 2); (2; 3); (3; 3); (4; 4)g es una relación re‡exiva.
R2 = f(1; 1); (2; 2); (3; 3); (4; 4)ges también una relación re‡exiva.
Sin embargo
R3 = f(1; 1); (1; 4); (2; 3); (3; 3); (4; 4)g no es una relación re‡exiva, pues 92 2 A tal que (2; 2) 2
=
R.

Propiedad antirre‡exiva, también llamada irre‡exiva

De…nición 5.3.3 Una relación R sobre un conjunto A es antirre‡exiva si 8x 2 A se cumple que

(x; x) 2
= R.

Es decir que 8x 2 A se cumple que x no está relacionado consigo mismo.

Ejemplo 5.3.2 Sea el conjunto A = f1; 2; 3; 4g:

R = f(1; 2); (2; 1); (1; 3); (1; 4); (2; 3); (2; 4); (3; 4)g es antirre‡exiva.
Sin embargo
S = f(1; 2); (2; 1); (1; 3); (1; 4); (2; 3); (2; 4); (3; 4); (4; 4)g no es antirre‡exiva, pues 94 2 A tal que
(4; 4) 2 R.

Propiedad simétrica

De…nición 5.3.4 Una relación R sobre un conjunto A es simétrica si 8x; y 2 A tal que se cumple que
(x; y) 2 R entonces (y; x) 2 R.

Ejemplo 5.3.3 Sea el conjunto A = f1; 2; 3; 4g:

R = f(1; 1); (1; 3); (2; 2); (2; 4); (3; 1); (4; 2); (4; 4)g es simétrica.
Sin embargo
S = f(1; 1); (1; 2); (1; 3); (2; 2); (2; 4); (3; 1); (4; 2); (4; 4)g no es simétrica, pues (1; 2) 2 R pero
(2; 1) 2
= R.

Propiedad antisimétrica

De…nición 5.3.5 Una relación R sobre un conjunto A es antisimétrica si 8x; y 2 A tal que se cumple
que (x; y) 2 R ^ (y; x) 2 R entonces x = y.

Ejemplo 5.3.4 Sea el conjunto A = f1; 2; 3; 4g:

R = f(1; 2); (1; 3); (1; 4); (2; 3); (2; 4); (3; 4); (1; 1); (2; 2); (3; 3); (4; 4)g es antisimétrica.
Sin embargo
S = f(1; 2); (1; 3); (1; 4); (2; 1); (2; 3); (2; 4); (3; 4)g no es antisimétrica pues (1; 2) 2 R ^ (2; 1) 2 R
pero 1 6= 2.
Es decir que si el par (1; 2) pertenece a la relación antisimétrica ¿podría estar el par (2; 1)?. Según la
de…nición, si esta el (1; 2) y está el (2; 1) entonces debería ser 1 = 2, lo que es absurdo.

Propiedad asimétrica

De…nición 5.3.6 Una relación R sobre un conjunto A es asimétrica si 8x; y 2 A tal que se cumple
que (x; y) 2 R entonces (y; x) 2
=R

Ejemplo 5.3.5 Sea el conjunto A = f1; 2; 3; 4g:

R = f(1; 2); (1; 3); (1; 4); (2; 4); (4; 3)g es asimétrica.
Sin embargo
S = f(1; 2); (1; 3); (1; 4); (2; 4); (3; 1); (4; 3)g no es asimétrica pues (1; 3) 2 R ^ (3; 1) 2 R

Observación 5.3.1 Los pares de la forma (n; n) no pueden estar en la relación asimétrica, por de…ni-
ción. Las relaciones asimétricas son antirre‡exivas.

Propiedad transitiva

De…nición 5.3.7 Una relación R sobre un conjunto A es transitiva si 8x; y; z 2 A tal que se cumple
que (x; y) 2 R e (y; z) 2 R entonces (x; z) 2 R.

Ejemplo 5.3.6 Sea el conjunto A = f1; 2; 3; 4g:

R = f(2; 1); (3; 1); (3; 2); (4; 1); (4; 2); (4; 3)g es una relación transitiva.

4
 5.4. Relaciones de Equivalencia
De…nición 5.4.1 Una relación R sobre un conjunto A es una relación de equivalencia si R es una
relación:

1) Re‡exiva
2) Simétrica
3) Transitiva

Clases de equivalencia

De…nición 5.4.2 Dada una relación de equivalencia R sobre un conjunto A, llamaremos clase de
equivalencia del elemento “a” de A, y lo denotaremos [a]R o simplemente a , al subconjunto de A
integrado por los elementos que están relacionados con a . Es decir:

[a]R = fx 2 A : (a; x) 2 Rg

Ejemplo 5.4.1 Sea el conjunto A = f1; 2; 3; 4; 5g:

R = f(1; 1); (1; 3); (2; 2); (2; 4); (3; 1); (3; 3); (4; 2); (4; 4); (5; 5)g es una relación de equivalencia.

Para esta relación se tienen las siguientes clases de equivalencias:

[1]R = f1; 3g ; [2]R = f2; 4g ; [5]R = f5g

Propiedades de las clases de equivalencias:

1. Las clases de equivalencia no son vacías, ya que por lo menos la integra el elemento que le da
nombre. Es decir a 2 [a]R .
2. [a]R = [b]R , (a; b) 2 R, es decir que dos clases de equivalencia son iguales si (a; b) 2 R.
3. [a]R 6= [b]R , [a]R \ [b]R = ;.

Ejemplo 5.4.2 Consideremos la relación R Z Z donde (x; y) 2 R si y solo si 2j(x y) (se lee, 2
divide a x y), signi…ca que x y es un múltiplo de 2;

R = f(x; y) 2 Z Z:x y = 2k, con k 2 Zg

o lo que es lo mismo
(x; y) 2 R , x y es par
Se demuestra que R es una relación de equivalencia, puesto que se veri…can las propiedades de:
1) Re‡exividad
8x 2 Z se cumple que x x = 2 0 2 Z, entonces (x; x) 2 R.
2) Simetría
8x; y 2 Z se cumple que si (x; y) 2 R, x y = 2k, con k 2 Z; luego también y x = 2k, con
k 2 Z, entonces (y; x) 2 R.
3) Transitividad
8x; y; z 2 R se cumple que si (x; y) 2 R y (y; z) 2 R, x y = 2k1 , con k1 2 Z y y z = 2k2 , con
k2 2 Z, entonces sumando

(x y) + (y z) = 2k1 + 2k2
x z = 2k con k = k1 + k2 2 Z

luego (x; z) 2 R.
En esta relación de equivalencias solo existen dos clases de equivalencias.
Las clases de equivalencias son:

[0]R = fx 2 R : x 0 es parg = f 4; 2; 0; 2; 4; 6; g

y
[1]R = fx 2 R : x 1 es parg = f 3; 1; 1; 3; 5; 7; g

5
Ejercicio 5.4.1 Considera m 2 Z no nulo y la relación R Z Z donde (x; y) 2 R si y solo si
mj(x y) o lo que es lo mismo:
R = f(x; y) 2 Z Z:x y = m k, con k 2 Zg
Prueba que para distintos valores de m la relación R es de equivalencias. Estas relaciones se conocen
como Relaciones de Congruencia Módulo m.
Ejemplo 5.4.3 Consideremos la siguiente relación R R R:
R = f(x; y) 2 R R:x y 2 Zg
Vemos que
(x; y) 2 R , x y2Z
o lo que es lo mismo
x y = k, con k 2 Z
donde por ejemplo, para k = 0, se tiene que x y = 0; es decir que y = x, lo que gra…camente es una
recta que pasa por el origen de cordenadas en el plano cartesiano. Analogamente:
para k = 1, x y = 1 luego y = x 1.
para k = 2, x y = 2 luego y = x 2.
para k = 1, x y = 1 luego y = x + 1.
Gra…camente, dos números reales x e y estan relacionados, si y solo si existe un entero k, tal que el
par (x; y) pertenece a la recta de ecuación y = x k.

Para cada entero k se tiene una recta paralela a la recta y = x.

Se demuestra que R es una relación de equivalencia, puesto que se veri…can las propiedades de:
1) Re‡exividad
8x 2 R se cumple que x x = 0 2 Z, entonces (x; x) 2 R.
2) Simetría
8x; y 2 R se cumple que si (x; y) 2 R, x y 2 Z; luego también y x 2 Z, entonces (y; x) 2 R.
3) Transitividad
8x; y; z 2 R se cumple que si (x; y) 2 R y (y; z) 2 R, x y 2 Z y y z 2 Z, entonces
(x y) + (y z) 2 Z luego x z 2 Z, por lo que (x; z) 2 R.
Por de…nición de clase de equivalencia, dado un número real a, se tiene que la clase de a es el conjunto;
[a]R = fx 2 R : (a; x) 2 Rg
Es decir que si x 2 [a]R , entonces x es de la forma:
x = a + k con k 2 Z
Es decir que todos los elementos de [a]R se obtienen sumando a a todos los enteros, por ejemplo, algunas
clases de equivalencia son:
1 1 1 1 1 1
= ; 1; 2; ; + 1; + 2;
2 2 2 2 2 2
hp iR n p p p p p o
2 = ; 2 1; 2 2; 2; 2 + 1; 2 + 2;
R
[ ]R = f ; 1; 2; ; + 1; + 2; g
¿Cuántas clases de equivalencias hay?
Hay tantas como números reales hay en el intervalo [0; 1).¿Por qué?

6
 5.5. Relaciones de Orden
Relación de Orden Parcial
De…nición 5.5.1 Una relación R sobre un conjunto A es una relación de orden parcial si R es:

1) Re‡exiva
2) Antisimétrica
3) Transitiva
De…nición 5.5.2 Una relación R sobre un conjunto A es una relación de orden total si R es de
orden parcial, y además que 8x; y 2 A, se cumple (x; y) 2 R o (y; x) 2 R, es decir cumple que todos sus
elementos están relacionados.
Ejemplo 5.5.1 Sea el conjunto A = fa; b; c; d; eg:
R = f(a; a); (a; b); (a; c); (a; d); (a; e); (b; b); (b; e); (c; c); (c; e); (d; d); (e; e)g es una relación de orden
parcial.

No es una relación de orden total puesto que existen pares de valores de A que no están relacionados,
por ejemplo (b; c) 2
= R y (c; b) 2
= R.
Ejemplo 5.5.2 Consideremos nuevamente R = (x; y) 2 R2 : (x; y) 2 R , x y 2 Z
Veamos si es R no es una relación de orden, pues no es antisimétrica, dado que 9(x; y) 2 R tal que
x y 2 Z, y no necesariamente se cumple que x y = y x.
Ejemplo 5.5.3 La relación “inclusión” entre conjuntos es de orden parcial, pues;
es re‡exiva: 8A, se cumple que A A.
es antisimétrica: 8A; B se cumple que si A B y B A entonces A = B
es transitiva: 8A; B; C se cumple que si A B y B C entonces A C
Ejemplo 5.5.4 La relación “menor o igual” en el conjunto de los números reales es de orden total, pues
es de orden parcial;
es re‡exiva: 8x 2 R, se cumple que x x.
es antisimétrica: 8x; y 2 R se cumple que si x y e y x entonces x = x
es transitiva: 8x; y; z 2 R se cumple que si x y e y z entonces x z
y además todos los elementos son comparables, pues dados dos números reales x e y podemos decidir
si: x y, y x ó x = y, cosa que no ocurre con la “inclusión” del ejemplo anterior.
Relación de Orden Estricto
De…nición 5.5.3 Una relación R sobre un conjunto A es una relación de orden estricto si R es:

1) Antirre‡exiva,
2) Asimétrica,
3) Transitiva
Ejemplo 5.5.5 Sea el conjunto A = fa; b; c; d; eg:
R = f(a; b); (a; c); (a; d); (a; e); (b; e); (c; e)g es una relación de orden estricto.

Ejemplo 5.5.6 La relación “menor” en el conjunto de los números reales es de orden estricto, pues;
es antirre‡exiva: 8x 2 R, se cumple que x x.
es asimétrica: 8x; y 2 R se cumple que si x < y entonces y x
es transitiva: 8x; y; z 2 R se cumple que si x < y e y < z entonces x < z

7
 5.6. Relaciones Funcionales
Función Parcial

De…nición 5.6.1 Dados dos conjuntos A, B y una relación f de A en B; es una función parcial si
(a; b) 2 f y (a; c) 2 f entonces b = c:

Una función parcial de A en B es una relación que asocia elementos de A se relacionan una única
vez (condición de unicidad) con elementos en el conjunto B, no es necesario que todos los elementos del
conjunto A estén relacionados con algún elemento de B.
p
Ejemplo 5.6.1 La relación f = f(x; y) 2 R R : y = xg es función parcial.
1
Ejemplo 5.6.2 La relación f = (x; y) 2 R R:y= x es función parcial.

Función Total o simplemente Función

De…nición 5.6.2 Dada f una relación de A en B, se dice que f es una función si todo elemento x 2 A
está relacionado con un único elemento y 2 B se denota:

f :A!B

El elemento "y" se llama la imagen de "x" bajo "f " y se denota por f (x)1 . Simbólicamente:

f: A ! B
x 7 ! y = f (x)

El conjunto de partida A se llama el Dominio de la función f (también se representa como Domf )

y el conjunto de llegada B es el Codominio de f.

En una función cada uno los elementos de A (condición de existencia) se relacionan una única vez
(condición de unicidad) con elementos en el conjunto B. Dicho de otra manera, en una función f A B
dos pares ordenados no tienen el mismo primer elemento, esto signi…ca que dado x 2 A, hay un solo par
(x; y) 2 A B tal que (x; y) 2 f , es decir que hay un único elemento y 2 B asociado con x, expresaremos
a este valor como y = f (x), y lo leemos "y igual a f de x ".

De…nición 5.6.3 Se llama Rango o Imagen de la función al subconjunto de B que son los corre-
spondientes de algún elemento de A, es decir, el conjunto de todas las imágenes de elementos de A. Se
representa como Imf .

Notar que la imagen puede o no coincidir con el conjunto B, en general Imf B. Elementos diferentes
en el dominio A de una función f pueden tener la misma imagen en B.

Ejemplo 5.6.3 Los siguientes diagramas de Venn representan tres relaciones distintas entre dos con-
juntos A y B.

En la …gura (a), la relación es una función f : A ! B con dominio Domf = A = f1; 2; 3; 4g e imagen
Imf = fa; b; dg. Observemos que la imagen de esta función no coincide con el conjunto B, en realidad
Imf B .
En la …gura (b), la relación no es una función ya que hay un elemento en A, el elemento 5, al que no le
corresponde ningún elemento de B.
En la …gura (c), la relación no es una función, en este caso porque al elemento 1 2 A le corresponden
dos elementos en B.
1 Esta notación se debe al físico matemático suizo Leonhard Euler (1707-1783)

8
 p
Ejemplo 5.6.4 La relación f = f(x; y) 2 R+ R:y= xg es función de R+ en R, con dominio
Domf = R+ e imagen Imf = R+ .
1
Ejemplo 5.6.5 La relación f = (x; y) 2 R f0g R:y= x es función de R f0g en R, con dominio
Domf = R f0g e imagen Imf = R f0g.

Ejemplo 5.6.6 La relación (x; y) 2 R R : x2 + y 2 = 4 no es función, dado que para cada x en el

p
intervalo abierto ( 2; 2) hay dos valores asociados a y, a saber: y = 4 x2 .

Para describir una función f de A en B es necesario especi…car la imagen f (x) de cada elemento x
de A. Esto puede hacerse de varias formas:

Mediante una tabla de valores donde en una columna o …la se colocan elementos del dominio y en
otra las correspondientes imágenes.
A través de su representación grá…ca.
Conociendo la fórmula o ecuación que expresa la regla de formación (ésta es la más usada).
p
Ejemplo 5.6.7 Para la función f = f(x; y) 2 R+ R : y = xg escribiremos:
p
f : R+ ! R p o f : R+ ! R j f (x) = x
x 7! y = x

1
Ejemplo 5.6.8 Para la función g = (x; y) 2 R f0g R:y= escribiremos:
x
1
g: R f0g ! R o g:R f0g ! R j g(x) =
1 x
x 7! y=
x
Los valores x e y son variables. Dado que el valor de x es asignado libremente, el valor de y es
dependiente del elegido para x. Se dice que x es la variable independiente e y la variable dependiente.
Sin embargo, la fórmula o ecuación que expresa la regla de formación no es su…ciente para de…nir
una función, pues para una misma ecuación, puede de…nirse dominio y codominio distintos, en tal caso
tendremos funciones distintas con igual regla de formación. Veamos el siguiente ejemplo:

Ejemplo 5.6.9 Dadas las funciones:

f : N ! N j f (x) = 2x + 1
g : Z ! Z j g(x) = 2x + 1
h : R ! R j h(x) = 2x + 1
Se tratan de distintas funciones con igual regla de formación. Sus grá…cas también son distintas.

f (x) = 2x + 1 g(x) = 2x + 1 h(x) = 2x + 1

Domf = N Domg = Z Domh = R
Imf = f1; 3; 5; 7; g Img = f 3; 1; 1; 3; g Imh = R

x+3
Ejercicio 5.6.1 Representar grá…camente la función f : [1; 5] ! R j f (x) = , e indica la imagen
2
de f .
Solución: Podemos emplear el método del ejemplo anterior pero debemos considerar que en este caso el
dominio de la función no es todo R. En este caso tenemos que Domf = [1; 5], además la pendiente a = 12
es positiva, por lo que la grá…ca es creciente. Luego calculamos f (1) = 2 y f (5) = 4. Por lo que la grá…ca

9
resulta el segmento que une los puntos (1; 2) y (5; 4)

x+3
Ejercicio 5.6.2 Representar grá…camente la función f : R ! R j f (x) = , e indica la imagen de
2
f.

5.7. Funciones de Variable Real

En lo que resta nos restringiremos principalmente a funciones cuyos dominio y codominio son subcon-
juntos de R. Por lo general expresamos estas funciones mediante una ecuación de la forma y = f (x) donde
x es la variable independiente e y la variable dependiente. Así, el dominio de una función f es el
conjunto D R formado por todos los valores x 2 R en los que la función f está de…nida. Recordemos
que la imagen de una función f es el conjunto de…nido por:

Imf = ff (x) 2 R : x 2 Domf g

Para conocer el valor de una función f en un punto x0 2 Domf , reemplazamos dicho valor en la
fórmula que la de…ne.

Ejemplo 5.7.1 Para f : R ! R tal que f (x) = x2 , se cumple por ejemplo para x = 2 que f ( 2) =
( 2)2 = 4.
Se observa que el dominio de la función es el conjunto de todos los números reales:

Domf = R

Por otro lado, el cuadrado de cualquier número real es siempre mayor o igual que cero, luego:

Imf = R+
0 = [0; 1)
p
Ejemplo 5.7.2 Para g(x) = 2 1 + x dado que las raíces de índice par no están de…nidas para números
negativos, se debe cumplir que 1 + x 0, por lo que es x 1, luego el dominio de f es:

Domg = [ 1; 1)
p
luego g puede escribirse R+
p como g : p 0 ! R tal que g(x)
2
p = 1 + x. p
En este caso: g(24) = 1 + 24 = 25 = 5; g(99) = 100 = 10; g ( 1) = 0 = 0. Sin embargo, g( 5)
no está de…nido, ya que calcular la raíz cuadrada de un número negativo no es posible. En este caso, la
imagen de una función g es :

Img = fg(x) 2 R : x 2 [ 1; 1)g = fg(x) 2 R : x 1g = R+

0

1
Ejemplo 5.7.3 Para h(x) = .
x 1
El valor x = 1 no pertenece al dominio dado que no está permitido la división por 0, con lo cual

Domh = R f1g

por lo que h está de…nida de la siguiente manera

1
h:R f1g ! R tal que h(x) = .
x 1
1
Se puede observar que no existe ningún x, tal que h(x) = 0, ya que en ese caso = 0, lo cual es
x
imposible, luego:
Imh = R f0g

10
5.7.1. Grá…ca de una Función
Recordemos que una función f puede representarse por una ecuación de la forma y = f (x), la cual
da el conjunto de los pares ordenados (x; y) de la función, por lo cual dos pares ordenados distintos de
la función no pueden tener la misma abscisa en el plano cartesiano, esto asegura que y es único para un
valor especí…co de x. En ste sentido, para identi…car grá…camente una función representada en el plano
cartesiano, seguiremos la siguiente regla:

Prueba de la recta vertical:

La grá…ca de una función puede ser cortada por una recta vertical en no más de un punto.
p
Ejemplo 5.7.4 Dada f (x) = 2 x cuyo dominio es el intervalo ( 1; 2], se puede observar en su
grá…ca que si se traza una recta vertical x = k con k 2, vemos que esta recta corta a la grá…ca en sólo
un punto.

Ejemplo 5.7.5 Ahora si consideramos el conjunto (x; y) 2 R R : x2 + y 2 = 25 , es decir el conjunto

de todos los pares ordenados (x; y) para los cuales x2 + y 2 = 25. Este conjunto de pares ordenados cuya
grá…ca es la circunferencia con centro en el origen y radio 5, no es una función, debido a que para
cualquier x en el intervalo ( 5; 5) hay dos pares ordenados que tienen el mismo valor para la coordenada
x. Cualquier recta vertical cuya ecuación es x = k, donde 5 k 5, intersecta a la circunferencia en
dos puntos.

5.7.2. Crecimiento y decrecimiento de una función

En general hablaremos de funciones que crecen o decrecen en intervalos. En las siguientes de…niciones
I denotará intervalos abiertos, cerrados o semiabiertos o in…nitos.

De…nición 5.7.1 Una función f es creciente en un intervalo I, si 8x1 ; x2 2 I, x1 < x2 ) f (x1 )

f (x2 )
Una función f es estrictamente creciente en un intervalo I, si 8x1 ; x2 2 I, x1 < x2 ) f (x1 ) <
f (x2 )
Una función f es decreciente en un intervalo I, si 8x1 ; x2 2 I, x1 < x2 ) f (x1 ) f (x2 )
Una función f es estrictamente decreciente en un intervalo I, si 8x1 ; x2 2 I , x1 < x2 ) f (x1 ) >
f (x2 ).
Los puntos en los que una función pasa de ser creciente a ser decreciente (o vicecersa) son los máximos
relativos (respectivamente mínimos relativos) de la función.

11
Ejemplo 5.7.6

grá…ca de una función creciente en todo R.

Ejemplo 5.7.7

grá…ca de una función estrictamente creciente. grá…ca de una función estrictamente decreciente

Ejemplo 5.7.8

grá…ca de una función decreciente en ( 1; 2). grá…ca de una función creciente en ( 1; 3)

y creciente en (2; 1) y decreciente en (3; 1)
punto mínimo en (2; 3) punto máximo en (3; 2)

12
Bibliografía
[1] Rojo, Armando O. Algebra I. El Ateneo. 1989.
[2] Allendoerfer, Carl; Oakley, Cletus. Fundamentos de Matemáticas Universitarias. 2da Ed. McGraw-
Hill. 1968.

13