Teoria Conjuntos y Funciones

Elaborado por: Lic. Eleazar J.
Garca
Repblica Bolivariana de Venezuela. Tinaco.- Estado Cojedes
Teora de Conjuntos y Funciones

Este captulo comienza con el estudio de las nociones de la teora de conjuntos y
est destinado a exponer temas bsicos, que se utilizarn en desarrollos posteriores y que
sern fundamentales para comprender lo expuesto en ellos.
Estudiaremos las operaciones: inclusin, interseccin, diferencia de conjuntos, etc.,
y luego extenderemos esos conceptos al conjunto de los nmeros reales donde dichas
operaciones son una herramienta imprescindible para calcular el dominio de funciones
reales de una variable real.
1.1. Conjunto.
La nocin de conjunto la aceptamos como sinnimo de las nociones usuales de
coleccin, agrupacin de objetos, etc. Los objetos de un conjunto se llaman: miembros o
elementos, sin embargo, de stos dos trminos el ms usado es elemento.
Cuando nos referimos a los objetos que componen un conjunto A, entonces usamos
la palabra elementos del conjunto A.
1.2. Pertenencia: Lo necesario para dar un conjunto es conocer sus elementos. Estas dos
palabras: conjunto y elemento, estn relacionadas por la pertenencia o no de un
determinado objeto a un determinado conjunto.
Las palabras conjunto y elemento son precisadas por las siguientes reglas:
a) Un conjunto X est bien definido cuando se dispone de un criterio para afirmar
que cualquier objeto a, pertenece al conjunto X o si no pertenece al conjunto X. Si el objeto
a pertenece al conjunto X se usa el smbolo de pertenencia escribiendo a X, el cual se
lee a pertenece a X o a es un elemento de X. Si el objeto a no pertenece al conjunto X
se usa el smbolo de no pertenencia , as escribimos a X, el cual se lee a no pertenece
a X o a no es elemento de X.
b) Un objeto no puede ser a la vez un conjunto y un elemento de ese conjunto, es
decir, no es aceptado que pueda suceder a a.
1.3. Formas de expresar los conjuntos: Los conjuntos pueden ser expresados de las
siguientes formas:
1.3.1. Por extensin: Cuando se nombran todos y cada uno de sus elementos.
Ejemplos 1.1.
A = {a, e, i, o, u}
B = {0,1, 2,3, 4,5}
C = {3, 2, 1, 0,1, 2,3, 4,5}
D = {4, 2, 0,, 2, 4, 6}
E = {Venezuela, Colombia, Ecuador , Bolivia, Per} .
Lic. Eleazar J. Garca
1.3.2. Por comprensin: Cuando se indica una propiedad que caracteriza a sus elementos.
Ejemplos 1.2.
A = {Las vocales}
B = { x / 0 x 5}
C = { x Z / 3 x 5}
D = { x / 4 x 6 x es un mltiplo 2}
E = { Paises libertados por Simn Bolvar} .
Como podemos observar en los ejemplos 1.1, se nombran los todos elementos de
cada conjunto, mientras que en los ejemplos 1.2 se indic la caracterstica comn a los
elementos de cada conjunto.
1.4. Ejercicios propuestos.
Exprese los siguientes conjuntos por comprensin:
1) A = {5, 1, 2, 4, 3, 0, 4,1,3, 2}
2) B = {1, 0,1, 2,3, 4,5, 6, 7,8}
3) C = {2, 4, 6,8,10,12}
4) D = {3, 6,9,12,15,18, 21}
5) E = {4,8,12,16, 20, 24, 28}

Exprese los siguientes conjuntos por extensin:
6) A = { x Z / 8 x 3}
7) B = { x Z / 2 < x < 12}
8) C = { x / x es par 9 < x 20}
9) D = { x / x es mltiplo de 3 6 x < 31}
10) E = { x / 3 < x < 18}
Los conjuntos pueden ser vinculados entre s mediante relaciones, las cuales pueden
generar otros conjuntos. Consideramos en primer lugar una relacin entre conjuntos
llamada inclusin.
1.5. Inclusin: Sean A y B dos conjuntos. El conjunto A est incluido en el conjunto B si
se verifica que cada elemento de A pertenece a B. Esto se indica de la manera siguiente
A B , que se lee A es un subconjunto de B.
A B x A x B
Veamos esta relacin representada en un diagrama sagital.
AB
B
Ejemplo 1.3.
Si A = {0, 3, 4, 1} y B = {0,1, 2, 3, 4}, como cada elemento del conjunto A es

elemento de B, entonces A B . Como todos los elementos de A pertenecen a B, se dice,
que A esta estrictamente incluido en B.
El conjunto vaco, denotado por (conjunto que carece de elementos) es subconjunto
de cualquier conjunto, es decir, A, A, y todo conjunto A es subconjunto de s mismo,
esto es, A, A A .
Si un conjunto A no es un subconjunto de otro B, se indica de la manera siguiente:
A B. Por ejemplo, C = {3, 6,8,19} no es un subconjunto de D = {3, 6,8,10} , puesto
que, 19 D, lo que se expresa as: C D.
Otras relaciones entre conjuntos son las denominadas unin e interseccin de
conjuntos, las cuales conoceremos a continuacin.
1.6. Unin: Sean A y B dos conjuntos. La unin de A y B es el conjunto formado por los
elementos de A o de B o de ambos conjuntos. Se le designa A B , que se lee A unin B.
A B = { x / x A x B}
A(B
A
Ejemplo 1.4.
Si A = {0,1, 2, 3, 4} y B = {3, 4, 5, 6, 7, 8}, entonces, A B = {0,1, 2,3, 4,5, 6, 7,8} .
Es de notar que los elementos de A B pertenecen al conjunto A o pertenecen al conjunto
B o a ambos si los conjuntos A y B no son disjuntos1. Si los conjuntos A y B son disjuntos,
entonces los elementos de A B pertenecen al conjunto A o al B, pero no a ambos, como
1
Dos conjuntos A y B son disjuntos si no tienen elementos comunes, es decir, A B = .
es el caso de la unin de los conjuntos C = {a, b, c, d } y D = {e, f , g , h, i, j} , donde
evidentemente cada elemento de C D = {a, b, c, d , e, f , g , h, i, j} pertenece al conjunto C o

al D.
1.7. Interseccin: Sean A y B dos conjuntos. La interseccin de A y B es el conjunto
formado por los elementos comunes a ambos conjuntos. Se le designa A B , que se lee A
interseccin B.
A B = { x / x A x B}
B
A'B
Ejemplo 1.5.
Si A = {0, 1, 2, 3, 4}
B = {3, 4, 5, 6, 7, 8}, entonces A B = {3, 4} . Como
podemos evidenciar los elementos de A B , pertenecen a ambos conjuntos.

La interseccin de dos conjuntos disjuntos es , como es el caso de los conjuntos
= {1, 2,3, 4,} y = { , 4, 3, 2, 1 } , para los cuales + = .
+
1.8. Diferencia: Sean A y B dos conjuntos tales que B A. La diferencia de A menos B (o

complemento de B en A) es el conjunto formado por los elementos de A que no pertenecen
a B.
C B = A B = {x / x A
A
x B}
A
C
Ejemplo 1.6.
Si A = {a, b, c, d } y B = {a, c} , entonces:
observar los elementos del conjunto
B.
B = A B = {b, d } . Como podemos
B son los elementos de A que no son elementos de
El complemento de en cualquier conjunto A es A, es decir,
= A. Adems,
A = .
1.9. Diferencia simtrica: Sean A y B dos conjuntos tales que A B . La diferencia

simtrica de A y B es el conjunto formado por los elementos de ( A B ) ( A B ) .
A B = ( A B ) ( B A)
AB
A
B
A-B
B-A

Hallar la unin, la interseccin y el complemento (del primer conjunto respecto al segundo)
1) A = {8, 2, 4, 0,5, 7, 4} y B = {15, 4,11, 2, 3, 4,5, 8, 0, 7}

2) C = {0,1, 2,3, 4} y
3) y E = {5, 2,3, 6,8, 7}
4) + y
1.11. Cota superior de un conjunto: k es una cota superior de un conjunto C de nmeros
reales, si y slo si, k es un nmero que no es superado por ningn elemento del conjunto.
k es cota superior de C x C x k
Si k es cota superior del conjunto C, entonces, cualquier nmero real mayor

que k es cota superior de C.
El conjunto de los nmeros reales negativos2 est acotado superiormente, ya
que, cualquier nmero no negativo3 es una cota superior de dicho conjunto. Es de citar que
si un conjunto tiene una cota superior, tiene infinitas cotas superiores. En el ejemplo
anterior, el nmero 0 es una cota superior, puesto que, cualquier nmero negativo es menor
que 0, adems, cualquier nmero mayor que 0 es una cota superior para .
El conjunto de los nmeros reales no est acotado superiormente, pues, para
cualquier nmero real k, siempre existe otro nmero real x > k.
El conjunto de los nmeros reales negativos es el formado por los nmeros reales menores que cero.
El conjunto de los nmeros reales no negativos es el formado por el cero y los nmeros reales mayores que
cero.
1.12. Extremo superior o supremo: s es un extremo superior de un conjunto C de

nmeros reales, si y slo si:
1) s es una cota superior de C, y

2) Si k es una cota superior de C, entonces s k.
Un extremo superior o supremo de un conjunto C de nmeros reales es la menor
de las cotas superiores.
Para el conjunto , 0 es el extremo superior, ya que, el 0 es la menor cota superior

de dicho conjunto.
El extremo superior de un conjunto acotado superiormente puede pertenecer o no al
conjunto.
En el caso del conjunto , formado por los nmeros reales negativos, el extremo
superior 0 no pertenece al conjunto.
Ahora, si consideramos el conjunto de los nmeros reales no positivos4, el extremo
superior tambin es 0, pero, en ste caso el 0 pertenece al conjunto.
Si consideramos los conjuntos siguientes:
A = { x / x 2 < x < 5}
B = { x / x 2 < x 5}
Ambos conjuntos estn acotados superiormente y el extremo superior para ambos es
el nmero 5, pero 5 A y en cambio, 5 B.
1.13. Cota inferior de un conjunto: h es cota inferior de un conjunto C de nmeros reales

si y slo si es un nmero real que no supera a ningn elemento de C.
h es cota inferior de C x C x h
Si h es cota inferior del conjunto C, entonces, cualquier nmero real menor que h es
cota inferior de C.
El conjunto de los nmeros reales positivos + , est acotado inferiormente, pues 0
y todos los nmeros reales menores que 0 son cotas inferiores de + .
1.14. Extremo inferior o nfimo: r es un extremo inferior de un conjunto C de nmeros
reales si y slo si:
1) r es una cota inferior de C, y

2) Si h es una inferior de C, entonces h r.
Un extremo inferior de un C de nmeros reales es la mayor de las cotas inferiores.
Un extremo inferior puede pertenecer o no al conjunto.
El conjunto de los nmeros reales no positivos es el conjunto formado por el cero y los nmeros reales
menores que cero.
El extremo inferior del conjunto + es 0, pues el 0 es la mayor de las cotas

inferiores de + .
Consideremos los conjuntos:
A = { x / x x > 0}
B = { x / x x 0}
El conjunto A est acotado inferiormente pues 0 y todos los nmeros reales menores
que 0 son cotas inferiores de A. El nmero 0 es el extremo inferior de A; el conjunto B
tambin est acotado inferiormente y tiene como extremo al nmero 0.
1.15. Conjunto mayorante: El conjunto mayorante de un conjunto A, es el conjunto

formado por todas las cotas superiores de A.
1.16. Conjunto minorante: El conjunto minorante de un conjunto A, es el conjunto
formado por todas las cotas inferiores de A.
Un conjunto est acotado si y slo si admite cota superior y cota inferior.
Ejemplos 1.7.
1) Consideremos el conjunto A = { x / x 0 x < 5}

Algunas de las cotas inferiores de A son: 0, -1, 34 , 7, etc., el nfimo de A es el
nmero 0. Algunas de las cotas superiores de A son: 5, 10, 109 , etc. El supremo de A es el
nmero 5.
Ahora, como A admite cotas inferiores y cotas superiores, entonces es un conjunto
acotado.
Adems, el conjunto mayorante de A es el conjunto
conjunto minorante de A es el conjunto { x / x x 0} .
{ x / x x 5}
y, El
2) El conjunto es no acotado. No admite cotas inferiores ni superiores.

3) Los conjuntos y + son no acotados, pues el conjunto no admite cotas
inferiores y el conjunto + no admite cotas superiores.
La geometra analtica establece una correspondencia entre los puntos de una recta y
los nmeros reales, esto es, a cada punto de la recta le corresponde un nico nmero real y
a cada nmero real le corresponde un punto nico en la recta. Esta correspondencia entre
los puntos de una recta y los nmeros reales facilita la interpretacin de muchas
demostraciones y es un gran auxiliar para su interpretacin.
Grficamente, para representar una recta se indica un punto origen que corresponde
al 0 y otro punto a su derecha para representar al 1, con lo cual queda establecida una
escala. La relacin de orden definida en se interpreta geomtricamente considerando que
si b>a el punto b est a la derecha del punto a.
Por la correspondencia entre los nmeros reales y la recta, sta recibe el nombre de
recta real. Seguidamente se muestra dicha recta.
Recta real
En la recta real se verifica que 0 > 3 , puesto que 0 est a la derecha de 3

A continuacin consideramos otras definiciones tiles, relacionadas con los
intervalos los cuales son subconjuntos de la recta real.
1.17. Intervalos.
Sea, a < b, a b
1.17.1. El intervalo cerrado [a; b], es el conjunto de nmeros reales formado por a, b y
todos los comprendidos entre ambos.
[ a; b] = { x / x a x b}

a
La longitud del intervalo [a; b] es el nmero positivo b a.
1.17.2. El intervalo abierto (a; b), es el conjunto de nmeros reales comprendidos entre a
y b.
( a; b ) = { x / x a < x < b}

a
La longitud del intervalo (a; b) es tambin el nmero positivo b a.
1.17.3. El intervalo semiabierto a la izquierda o semicerrado a la derecha (a; b], es el

conjunto de nmeros reales formado por b y los nmeros comprendidos entre a y b.
( a; b] = { x / x a < x b}

a
1.17.4. El intervalo semicerrado a la izquierda o semiabierto a la derecha [a; b), es el

conjunto de nmeros reales formado por a y los nmeros comprendidos entre a y b.
[ a; b ) = { x / x a x < b}

a
Las definiciones anteriores se pueden generalizar considerando la semirrecta y la

recta como intervalos no acotados, lo que se expresa utilizando los smbolos + y - .
Estos smbolos deben ser considerados con especial atencin, recordando que se usan
solamente por conveniencia de notacin y nunca como nmeros reales.
1.17.5. El intervalo [a; + ), es el conjunto de nmeros reales formado por a y los

nmeros mayores que a.
[ a; + ) = { x / x x a}
+
a
1.17.6. El intervalo (b; + ), es el conjunto de nmeros reales mayores que b.
( b; + ) = { x / x x > b}
+
b
1.17.7. El intervalo (- ; c], es el conjunto de nmeros reales formado por c y todos los
nmeros menores que c.
( ; c ] = { x / x x c}

c
1.17.8. El intervalo (- ; d), es el conjunto de nmeros reales menores que d.
( ; d ) = { x / x x < d }

d
La unin y la interseccin de conjuntos son operaciones que pueden realizarse dados

dos o ms intervalos; las operaciones antes mencionadas son de gran utilidad en la
determinacin del dominio de funciones reales de una variable real.
1.18. Entorno.
Si a es un punto cualquiera de la recta real y h un nmero positivo, un entorno de
centro a y radio h es el intervalo abierto (a h; a + h). Se le designa E(a, h).
E(a, h) = {x / a h < x < a + h}
E(a, h) = {x / | x a | < h}
a
h
a
a +
h
1.19. Entorno reducido.
Si a es un punto cualquiera de la recta real y h > 0, el entorno reducido de centro a y
radio h es el conjunto de puntos del intervalo abierto (a h; a + h) del cual se excluye el
punto a. Se le designa E(a, h).
E(a, h) = { x / x a a h < x < a + h}
E(a, h) = {x / 0 < | x a | < h}

ah
a
a+h
Un entorno reducido es la unin de los intervalos ( a h; a ) y ( a; a + h ) , por lo tanto,
podemos considerar E = { x / x x ( a h; a ) ( a; a + h )}
1.20. Punto de Acumulacin.

Si C es un conjunto de puntos de la recta real, un punto a es punto de acumulacin
de C si a todo entorno reducido de a pertenece por lo menos un punto de C. El punto a
puede pertenecer o no al conjunto C, pero la definicin exige que en cualquier entorno del
punto exista por lo menos un punto de C distinto de a.
Ejemplos 1.8.
1) Si el conjunto C es un intervalo cerrado, todos sus puntos son de acumulacin.

2) Si el conjunto C es un intervalo abierto, todos sus puntos son de acumulacin y
tambin los extremos son puntos de acumulacin aunque no pertenecen al conjunto.
3) El conjunto de los nmeros naturales no tiene puntos de acumulacin. Si a es
cualquier nmero natural, basta considerar un entorno reducido de centro a y radio h < 1
y a ese entorno reducido no pertenece ningn nmero natural.
1.21. Conjunto Derivado.

El conjunto formado por todos los puntos de acumulacin de un conjunto C es el
conjunto derivado de C y se designa C.
De acuerdo a los ejemplos anteriores:
1) Si C = [a; b] C = [a; b]
2) Si C = (a; b) C = [a; b]
3) Si C =
C =
4) Si C = [a; b) C = [a; b]
10
1.22. Teorema 1.1.

Si a es un punto de acumulacin del conjunto C, entonces, cualquier entorno del
punto a tiene infinitos puntos de C.
Ejemplo 1.9.
Sea A = { x / x x > 5} , el entorno reducido ( 5 105 ;5 ) ( 5;5 + 105 ) de centro
5 y radio 105 , contiene infinitos puntos de A, ya que, todos los puntos en el intervalo
( 5;5 + 105 ) pertenecen al conjunto A.
1.23. Teorema 1.2 (de Bolzano-Weierstrass)

Si un conjunto infinito est acotado, entonces, dicho conjunto tiene por lo menos un
punto de acumulacin.
Ejemplos 1.10.
1) El conjunto B = { x / x 53 x 6} es un conjunto acotado y todos los puntos
en el intervalo 35 ;6 son puntos de acumulacin de B.
2) Sea el conjunto C = { x / x < x < } . C es un conjunto acotado y tiene
infinitos puntos de acumulacin, dichos puntos son los del intervalo [ ; ] .
1.24. Ejercicios propuestos

Representar grficamente los siguientes conjuntos de nmeros reales. Hallar el
mximo, mnimo, conjunto mayorante y el conjunto minorante en cada caso, si existen.
1) A = { x / x | x |< 3}
2) B = { x / x | x | 5}
3) C = { x / x | x |> 4}
4) D = { x / x | x 2 | 10}
5) E = { x / x ( x ( 1;3) x = 7)}
6) F = { x / x ( x ( 0; 6] x = 8)}
1.25. Conjunto cerrado.

Un conjunto al cual pertenecen todos sus puntos de acumulacin se denomina
cerrado. Es decir, un conjunto es cerrado, si y slo si, le pertenecen todos sus puntos de
acumulacin.
C es cerrado (a punto de acumulacin de C a C )
Ejemplos 1.11.
11
1) El conjunto de los nmeros reales es cerrado pues le pertenecen todos sus

puntos de acumulacin los cuales son los nmeros reales.
2) Un intervalo cerrado como su nombre lo indica es un conjunto cerrado.
Adems, cualquier conjunto que no tiene punto de acumulacin es un conjunto
cerrado.
En efecto, sea C un conjunto que no tiene punto de acumulacin. Para que C sea un
conjunto cerrado debe ser verdadera la siguiente implicacin:
Si a es un punto de acumulacin de C, entonces a pertenece a C
Pero hemos supuesto que el conjunto C no tiene puntos de acumulacin, por lo
tanto, el antecedente de dicha implicacin es falso y as la implicacin es verdadera, pues
cualquier implicacin con antecedente falso es verdadera5.
Los conjuntos y son conjuntos cerrados, pues ellos no tienen puntos de
acumulacin. El conjunto U = { x / x x = 5} es un conjunto cerrado, pues no tiene
puntos de acumulacin.
Un conjunto no es cerrado, si y slo si, tiene un punto de acumulacin que no le
pertenece.
C no es cerrado a / (a es punto de acumulacin de C a C
Ejemplos 1.12.
El conjunto de los nmeros racionales no es cerrado pues sus puntos de

acumulacin son los nmeros reales y de estos los nmeros irracionales no pertenecen al
conjunto .
El conjunto A = { x / x 6 < x 11} no es cerrado, ya que, el 6 es un punto de
acumulacin de A y no pertenece a ese conjunto. Adems, cualquier intervalo abierto es un
conjunto abierto. En general, los intervalos ( a; b ) , ( ; b ) , ( a; + ) , [ a; b ) y ( a; b ] , con a< b,
a, b no son conjuntos cerrados.
1.26. Teorema 1.3

La interseccin de dos conjuntos cerrados es un conjunto cerrado.
Ejemplos 1.13.
1) Considerando los conjunto cerrados y , entonces, = lo verifica
que la interseccin de stos dos conjuntos cerrados es un conjunto cerrado.
2) Dados los conjuntos A = { x / x 5 x 10} y B = { x / x 5 x 12} ,
luego, A B = { x / x 5 x 10} el cual es un conjunto cerrado.
La lgica proposicional asegura que el valor de verdad de la implicacin de una proposicin cuyo
antecedente es falso es verdadero.
12
1.27. Teorema 1.4

La unin de dos conjuntos cerrados es un conjunto cerrado.
Ejemplos 1.14.
1) La unin de los conjuntos cerrados y es un conjunto cerrado, en
efecto, = y es un conjunto cerrado.
2) Sean los conjuntos A = { x / x 23 x 9} y B = { x / x 5 x 11} ,
entonces, A B = { x / x 23 x 11} el cual es un conjunto cerrado
3) La unin de los conjuntos y es un conjunto cerrado pues = y

es cerrado.
4) Dados los conjuntos C = { x / x 3 x 7} y D = { x / x 8 x 10} ,
entonces, C D = { x / x (3 x 7 8 x 10)} .
Una consecuencia del teorema 1.4 es: la unin de dos intervalos cerrados es un
conjunto cerrado. Ms an, la unin de ms de dos intervalos cerrados es un conjunto
cerrado. En efecto, los conjuntos A y B del los ejemplos anteriores se pueden expresar en
natacin de intervalo de las siguientes maneras: A = 23 ;9 y B = [5;11] , entonces,
A B = 23 ;9 [5;11] = 23 ;11 y ste ltimo es un conjunto cerrado.
1.28. Conjunto compacto.

Un conjunto es compacto, si y slo si, es un conjunto cerrado y acotado.
Ejemplos 1.15.
1) El intervalo 0; 83 es un conjunto compacto, pues es un conjunto cerrado y
acotado.
2) El conjunto de los nmeros reales no es compacto, porque, no est acotado.
3) El conjunto de los nmeros naturales no es compacto por la misma razn
que el ejemplo anterior.
4) El conjunto U = { x / x x = 7} es un conjunto compacto, ya que, es un
conjunto cerrado y acotado.
1.29. Conjunto denso en s.

Un conjunto es denso en s, si y slo si, todos sus puntos son de acumulacin.
Ejemplos 1.16.
1) Como todos los puntos del conjunto son puntos de acumulacin, es
denso en s.
2) El conjunto de los nmeros racionales es denso en s, pues todos sus puntos
son de acumulacin.
3) Los conjuntos y no son conjuntos denso en s, porque, ninguno de sus
puntos son de acumulacin.
1.30. Conjunto perfecto.

13
Un conjunto es perfecto, si y slo si, es cerrado y denso en s. Si un conjunto es

igual a su conjunto derivado, entonces, es un conjunto perfecto.
Ejemplos 1.17.
1) El conjunto es perfecto pues = .
2) Cualquier intervalo cerrado es un conjunto perfecto pues [ a; b ] = [ a; b ] .
3) El conjunto no es perfecto, pues es denso en s pero no cerrado.
1.31. Punto interior: Un punto a C , es un punto interior de C, si y slo si, existe un

entorno de a totalmente incluido en C.
Ejemplos 1.18.
1) Con respecto al conjunto , cualquier nmero real es interior a .

2) Un nmero racional no es interior a , porque, todo entorno de un nmero
racional contiene nmeros irracionales que no pertenecen a .
1.32. Conjunto abierto.

Un conjunto C es abierto, si y slo si, todos sus puntos son interiores.
Ejemplos 1.19.
1) El conjunto es abierto pues todos sus puntos son interiores.

2) El intervalo abierto ( 95 ;1) es un conjunto abierto, porque, todos los puntos de
dicho intervalo son interiores. Recuerde que los nmeros 95 y 1 no pertenecen
al conjunto.
3) El intervalo
[ 4;7 )
no es abierto, ya que, cualquier entorno de 4 no est
totalmente incluido en [ 4;7 ) .

Es de observar que el conjunto de los nmeros reales es un conjunto abierto y
cerrado. Igualmente el conjunto vaco es un conjunto abierto y cerrado. Los intervalos
[ a; b ) y ( a; b] no son conjuntos ni abiertos ni cerrados.
1.33. Teorema 1.5

La unin de dos conjuntos abiertos es un conjunto abierto.
Ejemplos 1.20.
1) Sean los conjuntos y . Entonces, = y es un conjunto abierto.
2) Consideremos los intervalos: ( 2; 4 ) y ( 3; 7 ) , luego, ( 2; 4 ) ( 3;7 ) = ( 2; 7 ) y ste
ltimo es un conjunto abierto.
14
1.34. Teorema 1.6

Si un conjunto es abierto, su complemento es cerrado.
Ejemplos 1.21.
1) El intervalo
( 85 ; 6 ) es
( ; 85 [ 6; + ) el cual
un conjunto abierto, porque, su complemento es

es un conjunto cerrado pues todos sus puntos de
acumulacin le pertenecen.
2) El conjunto es abierto pues su complemente es y ste es un conjunto
cerrado.
3) El conjunto es abierto pues su complemento es el cual es un conjunto
cerrado.
1.35. Punto aislado: Un punto a, que pertenece a un conjunto C, es un punto aislado, si y

slo si, existe un entorno reducido de a, al cual no pertenece ningn punto del conjunto C.
Ejemplos 1.22.
1) Todos los nmeros naturales son puntos aislados en el conjunto .
2) Los nmeros enteros son puntos aislados en el conjunto .
3) En el conjunto C = { x / x ( x > 4 x = 2)} , 2 es un punto aislado.
4) En el conjunto D = { x / x ( x = 1 x = 3)} , -1 y 3 son puntos aislados.
1.36. Punto adherente: Un punto a es un punto adherente al conjunto C, si y slo si, a

cualquier entorno de a pertenece por lo menos un punto de C.
Hay que destacar que si un punto pertenece al conjunto, aunque ste sea aislado, es
un punto adherente; la definicin solamente exige que en todo entorno haya un punto del
conjunto que puede ser el centro del mismo.
1.37. Adherencia: La adherencia de un conjunto C, es el conjunto formado por todos los

puntos de adherencia a C, y se designa C .
Ejemplos 1.23.
1)
Consideremos el conjunto C = { x / x 2 < x < 9} . Todos los puntos del
intervalo cerrado [ 2;9] son puntos adherentes al conjunto A, por lo tanto, se
tiene que: C = { x / x 2 x 9} .
2)
Sea el conjunto B = { x / x (3 x 7 x = 0)} . En este caso B = B.
1.38. Punto exterior: Un punto a es exterior a un conjunto C, si y slo si, existe un

entorno del mismo al cual no pertenece ningn punto del conjunto C.
Ejemplos 1.24.
1) El punto 3 es exterior al conjunto de los nmeros reales positivos.
15
2) El punto 0 es exterior al segmento ( 4; 2 ) .
3) Consideremos el conjunto D = { x / x 3 < x < 20} . Los puntos -10, -5, -1,
0, 21, 50, son exteriores a D.
1.39. Punto frontera: Un punto a es punto frontera del conjunto C, si y slo si, en todo
entorno del punto a hay algn punto que pertenece al conjunto C y hay algn punto
que pertenece a su complemento.
Ejemplos 1.25.
1) El 0 es frontera para el conjunto de los nmeros positivos y tambin es frontera
para el conjunto de los nmeros negativos.
2) En el conjunto A = { x / x (2 x < 5 x = 9)} , 2, 5 y 9 son puntos frontera.
2 y 9 pertenecen al conjunto mientras que 5 no pertenece al conjunto.
3) Cualquier punto aislado es un punto frontera.
4) Dado el conjunto B = { x / x x 7} , el 7 es un punto frontera de B, porque,
cualquier entorno de a contiene puntos de B y del conjunto
B = { x / x x > 7} , el cual es el complemento de B respecto de .

1) Dar el conjunto de los puntos interiores de cada conjunto.
A = ( 8;0 ) . B = [1;8] . C = ( 3;5] . D = { x / x | x 6 | < 9} . E = { x / x | x 3 | 7} .
2) Indicar cules de los conjuntos anteriores son cerrados.
3) Indicar cules de los conjuntos anteriores son abiertos.
4) Dar el conjunto adherente de los conjuntos anteriores.
En muchas ocasiones debemos representar grficamente las curvas que se obtienen

del estudio y observacin de algunos fenmenos naturales, como por ejemplo el
crecimiento de una colonia de bacterias, el aumento de temperatura al calentar un cuerpo,
etc., tambin para graficar funciones o curvas de ecuaciones.
Para realizar tales grficas nos valemos del sistema de coordenadas cartesianas o
plano cartesiano.
1.41. Plano cartesiano
El plano cartesiano o sistema de coordenadas cartesianas est determinado por dos
rectas reales, una horizontal y otra vertical, llamadas ejes de coordenadas y se cortan entre
s formando cuatro ngulos de 90 cada uno.
El eje horizontal recibe el nombre de eje x o eje de las abscisas y el eje vertical
recibe el nombre de eje y o eje de las ordenadas.
El punto donde se cortan ambos ejes recibe el nombre de origen y le corresponde el
par ordenado ( 0;0 ) .
Para un punto P ( x; y ) , x e y se llaman las coordenadas del punto P.
16
La ubicacin de un punto cualquiera del plano se determina midiendo su distancia

respecto de los ejes x e y. Por ejemplo el primer nmero del par ordenado ( 3;1) determina
el desplazamiento horizontal respecto del origen: positivo para los puntos ubicados a la
derecha del origen y negativo para los puntos ubicados a la izquierda; el segundo nmero
del par ordenado determina el desplazamiento vertical respecto del origen: positivo para
puntos ubicados por encima del origen y negativos para puntos ubicados por debajo.
Plano cartesiano
y
Figura 1.1
7
6
5
4
3
( 1,3)
2
1
x
-7
-6
-5
-4
-3
-2
-1
-1
-2
-3
-4
-5
-6
-7
En nuestro quehacer matemtico, nos encontramos con fenmenos que relacionan

dos variables, como es el caso del rea de un crculo que puede ser calculado mediante la
ecuacin A = r 2 que relaciona el rea con el radio. En el caso descrito el rea A depende
de la medida del radio r, y decimos entonces que A es una variable dependiente y r es una
variable independiente.
En nuestro quehacer matemtico, nos encontramos con fenmenos que relacionan
dos variables, como es el caso del rea de un crculo que puede ser calculado mediante la
ecuacin A = r 2 que relaciona el rea con el radio. En el caso descrito el rea A depende
de la medida del radio r, y decimos entonces que A es una variable dependiente y r es una
variable independiente.
Las relaciones que nos interesan estudiar en ste mdulo son las denominadas
funciones.
17
1.42. Funcin.
Una funcin f de un conjunto X en otro conjunto Y es una correspondencia que
asocia a cada elemento x X un nico elemento y Y .
La imagen de x mediante f es denotada y = f (x). El dominio de f es el conjunto X y

el rango es el conjunto de todas las imgenes f (x) de los elementos x X .
Al elemento x se le llama variable independiente y al elemento y variable
dependiente.
Nosotros consideraremos funciones cuyo dominio y rango son conjuntos de
nmeros reales, las cuales reciben el nombre de funciones reales de una variable real.
1.43. Funcin real de una variable real.
Una funcin real de una variable real, es una funcin de un conjunto A en otro
conjunto B , lo que se escribe f : A B definida por y = f ( x ). A la variable
independiente x se le llama tambin abscisa, y a la variable dependiente y ordenada.
Una funcin real de una variable real se puede considerar como un conjunto f de
pares ordenados (x; y) de nmeros reales, en el que no pueden existir dos pares distintos
con igual abscisa.
Ejemplos 1.26.
1) f = {( 2, 4 ) , ( 2, 4 ) , ( 3,9 ) , ( 4,16 ) , ( 5, 25 )} , este conjunto es una funcin, puesto
que, no existen pares distintos con igual abscisa.
2) g = {(1,3) , ( 2, 6 ) , ( 3,9 ) , ( 4,12 ) , ( 3,15 )} , este conjunto no es una funcin, porque,
existen dos pares con igual abscisa: ( 3,9 ) y ( 3,15 ) .
1.44. Grfica de una funcin.

La grfica de una funcin f, es la representacin en el plano cartesiano de todos los
puntos ( x; y ) 2 para los cuales (x; y) es un par ordenado de f.
1.45. Dominio, rango y grfica de algunas funciones.
Sean A y B . El dominio de una funcin f : A B , esta formado por los
valores que pueda tomar la variable independiente x A , de manera tal que y = f ( x ) .
El rango es el conjunto formado por todas las imgenes y = f ( x ) de x A.

Geomtricamente, el dominio de una funcin es la proyeccin de su grfica sobre el eje x o
eje de las abscisas y el rango es la proyeccin sobre el eje y o eje de las ordenadas.
A continuacin se presentan algunas funciones elementales con sus respectivos

dominios y rangos, y un ejemplo especfico con su grfica para comprobarlos. Todos los
ejemplos son relacionados con la funcin que se est presentando; se recomiendo tratar de
entender las grficas de todas las funciones porque la compresin de los dominios
mediante ese recurso facilitar la determinacin de los dominios de funciones compuestas
18
complejas. Trate de memorizar los dominios y los rangos de las funciones presentadas a
continuacin.
1) f ( x) = ax + b, a b .
Dom f = { x / x } = ( ; + ) , Rgo f = { x / x } = ( ; + )
Ejemplo 1.27. Consideremos la funcin f ( x ) = 34 x 1; su grfica es mostrada en la figura

1.2; podemos verificar que el dominio es el sealado por definicin.
y
F igura 1.2
3
( x ) = 34 x 1
x
-3
-2
-1
-1
-2
-3
2) f ( x ) = an x n + an 1 x n 1 + + a1 x + a0 , n 1
Dom f = { x / x } = ( ; + ) , el rango6 depende de n, an , an 1 , , a1 y an
Ejemplo 1.28. Un ejemplo de este caso, es la funcin f ( x ) = x 3 + 2 x 2 x 2 cuya

grfica es mostrada en la figura 1.3.
y
Figura 1.3
3
( x ) = x3 + 2 x 2 x 2
x
-3
-2
-1
-1
-2
Dom f = ( , + )
Rgo f = ( , + )
-3
Si n es un nmero positivo impar: Rgo f =.
19
Ejemplo 1.29. Otro ejemplo se muestra a continuacin.

y
Figura 1.4
( x ) = x2 12 x 3
8
2
x
-5
-4
-3
-2
-1
-2
Dom f = ( , + )
Rgo f =
49 , + )
16
-4
49
1
, 16
4
3) f ( x ) = n x .
Si n es par f esta definida para toda x 0,
Dom f = { x / x 0} = [ 0; + ) ; Rgo f = { x / x 0} = [ 0; + )
Ejemplo 1.30. Dada la funcin f ( x ) = x su dominio y su rango son verificados por la

figura 1.5, donde se observa que ambos son el conjunto de nmeros reales mayores o
iguales que cero.
y
Figura 1.5
( x) =
x
-1
-1
20
Si la funcin es f ( x ) = n g ( x ) , n y n es par, la funcin est definida si se

cumple la condicin g ( x ) 0, que debe considerarse cuando se determine el dominio de
una funcin en cuya estructura aparece una raz n-sima par.
Ejemplo 1.31. Sea f ( x ) = 6 2 x3 + x 2 2 x 1.
La condicin que debe cumplir sta funcin para que sea real es:
2 x 3 + x 2 2 x 1 0 2 ( x + 12 ) ( x 1)( x + 1) 0
Debemos determinar el conjunto solucin de sta inecuacin, el cual ser el dominio de la
funcin.
1
1
12
( , 1)
(1, + )
( 1, 12 )
( 12 ,1)
x + 12
x 1
x +1
( )(
2 x+
1
2
) ( x +1)
x 1
0
0
+
+
+
0
+
0
+
0
+
+
+
+
Por lo tanto, Dom f = [ 1, 12 ] [1, + ) . Vase la figura 1.6.
Figura 1.6
18
16
f ( x) =
14
2 x 3 + x 2 2 x 1.
12
10
2
x
-2.5
-2
-1.5
-1
-0.5
0.5
1.5
2.5
3.5
4.5
5.5
Es evidente, de acuerdo a las figuras 1.5 y 1.6, que el rango de cualquier funcin
raz n-sima de ndice par ( n , n > 1) es: [ 0, + ) .
Ahora, si n es impar f esta definida para toda x :
21
Dom f = ( ; + ) ; Rgo f = ( ; + )
Ejemplo 1.32. El dominio y el rango de las funciones g ( x ) = 5 x3 + 2 x + 9 f ( x ) = 3 x y se
pueden verificar en la figura 1.8.
y
Figura 1.8
g ( x) = 5 x 3 + 2 x + 9
f ( x) = 3 x
x
-3
-2
-1
-1
-2
-3
4) f ( x ) = a x ,
a>0
Dom f = ( ; + ) ; Rgo f = ( 0; + )
Ejemplo 1.33. Mediante las grficas de las funciones g ( x ) = ( 12 ) y f ( x ) = 2 x mostradas

en la figura 1.9 podemos comprobar el dominio y el rango de las funciones exponenciales.
x
y
Figura 1.9
g ( x) =
( x ) = 2x
7
6
5
4
3
2
1
x
-3
-2
-1
1
-1
22

5) f ( x ) = ln x
Dom f = ( 0; + ) ; Rgo f =
Ejemplo 1.34. En la figura 1.10 se presenta grafica de la funcin f ( x ) = ln x. De la figura

podemos afirmar que el dominio de la funcin logaritmo natural es el conjunto de los
nmeros reales mayores que cero y el rango el conjunto de los nmeros reales.
y
Figura 1.10
f ( x ) = ln x
( e,1)
1
x
-1
-1
-2
-3
-4
-5
6) f ( x ) = log b g ( x ) , b ( 0,1) (1, + ) .
Dom f = ( 0; + ) ; Rgo f =
Ejemplo 1.35. Las grficas de las funciones f ( x ) = log 4 x y g ( x ) = log 14 x, nos indican
que el dominio de cualquier funcin logartmica es el conjunto de los nmeros reales
mayores que cero y el rango . Esta afirmacin la podemos confirmar observando la
figura 1.11.
y
Figura 1.11
f
1
( x ) = log4 x
( 4,1)
x
-1
( 4, 1)
-1
g ( x ) = log 1 x
4
-2
23
En general, la funcin f ( x ) = log b g ( x ) , b ( 0,1) (1, + ) , es real para toda x tal

que g ( x ) > 0.
Ejemplo 1.36.
Sea f ( x ) = log 5 ( x 4 + 2 x3 19 x 2 8 x + 60 ) ; esta funcin est definida para todo
nmero real x que verifica la siguiente inecuacin:
x 4 + 2 x3 19 x 2 8 x + 60 > 0
( x + 2 )( x 2 )( x + 5 )( x 3) > 0
Determinemos el conjunto solucin de sta inecuacin.
( , 5 )
( 5, 2 )
( 2, 2 )
( 2,3)
( 3, + )
+
0
+
+
+
+
0
+
+
+
+
+
+
0
0
+
+
+
+
+
x+5
x+2
x2
x+3
I
Entonces, Dom f = ( ; 5) ( 2, 2 ) ( 3, + ) . Adems, Rgo f = .

Vase la siguiente grfica.
Figura 1.12
5
4
f ( x ) = log5 x 4 + 2 x 3 19 x 2 8x + 60
3
2
1
x
-7
-6
-5
-4
-3
-2
-1
1
-1
-2
-3
-4
-5
-6
-7
24

7) f ( x ) = sen x
Dom f = ( ; + ) ; Rgo f = [ 1;1]
Ejemplo 1.38. El dominio y el rango de la funcin f ( x ) = sen x se pueden verificar

observando la figura siguiente:
y
Figura 1.13
f ( x ) = sen x
y =1
1
x
-3
-5/2
-2
-3/2
/2
-/2
3/2
-1
5/2
y = 1
-2
8) f ( x ) = cos x
Dom f = ( ; + ) ; Rgo f = [ 1;1]
Ejemplo 1.39. En la figura 1.14 se observa que el dominio de f ( x ) = cos x es el conjunto
de todos los nmeros reales y el rango el intervalo [ 1;1] .

y
Figura 1.14
f ( x ) = cos x
y =1
x
-3
-5/2
-2
-3/2
/2
-/2
-1
3/2
5/2
y = 1
25
9) f ( x ) = tg x
2k + 1
Dom f = x / x
, k ; Rgo f =
2
Ejemplo 1.40. El dominio y el rango de la funcin f ( x ) = tg x , los podemos verificar

mediante la figura siguiente:
y
f ( x ) = tg x
Figura 1.15
4
3
2
1
x
-3
-5/2
-2
-3/2
/2
-/2
3/2
5/2
-1
-2
-3
-4
10) f ( x ) = sec x
2k + 1
Dom f = x / x
, k , Rgo f = ( ; 1] [1; + )
2
Ejemplo 1.41. A partir de la figura 1.16, podemos verificar el dominio y el rango de

f ( x ) = sec x.
y
Figura 1.16
f ( x ) = sec x
4
3
2
1
x
-3
-5/2
-2
-3/2
/2
-/2
-1
-2
-3
-4
26
3/2
5/2
11) f ( x ) = csc x
Dom f = { x / x ( k + 1) , k } , Rgo f = ( ; 1] [1; + )
Ejemplo 1.42. El dominio de la funcin f ( x ) = csc x lo podemos comprobar en la figura

1.17.
y
f ( x ) = csc x
Figura 1.17
4
3
2
1
x
-3
-5/2
-2
-3/2
/2
-/2
3/2
5/2
-1
-2
-3
-4
12) f ( x ) = cotg x
Dom f = { x / x ( k + 1) , k } , Rgo f =
Ejemplo 1.43. La grfica de la funcin f ( x ) = cotg x se muestra en la figura 1.18. En

dicha grfica se observa el dominio sealado para sta funcin.
y
f ( x ) = cotg x
Figura 1.18
4
3
2
1
x
-3
-5/2
-2
-3/2
/2
-/2
-1
-2
-3
-4
27
3/2
5/2
13) f ( x ) = arcsen x
Dom f = [ 1;1] ; Rgo f = [ 12 ; 12 ]
Ejemplo 1.44. El dominio y el rango de la funcin f ( x ) = arcsen x son verificados por la

grfica, mostrada en la figura siguiente:
y
F igura 1.19
1, 1
2
/2
x
-2
-1
f ( x ) = arcsen x
-/2
14) f ( x ) = arccos x
1, 1
2
Dom f = [ 1;1] ; Rgo f = [ 0; ]
Ejemplo 1.45. La grfica de la funcin f ( x ) = arccos x verificamos que el dominio y el

rango son los intervalos sealados.
y
Figura 1.20
( 1, )
f ( x ) = arccos x
/2
x
-2
-1
-/2
28

15) f ( x ) = arctg x
Dom f = ( ; + ) ; Rgo f = ( 12 ; 12 )
Ejemplo 1.46. En figura 1.21 podemos verificar que el dominio de f ( x ) = arctg x es y
el rango el intervalo ( 12 ; 12 ) ,
y
Figura 1.21
f ( x ) = arctg x
/2
x
-5
-4
-3
-2
-1
-/2
16) f ( x ) = arc sec x
Dom f = ( ; 1] [1; +) ; Rgo f = [ 0; 12 ) ( 12 ; ]
Ejemplo 1.47. La figura 1.22 muestra la grfica de la funcin f ( x ) = arc sec x. Obsrvese
que el dominio y el rango son los sealados.
y
Figura 1.22
3/2
f ( x ) = arcsec x
( 1, )
/2
x
-5
-4
-3
-2
-1
-/2
29
17) f ( x ) = arccsc x
Dom f = ( ; 1] [1; +) ; Rgo f =[ 12 ;0) ( 0; 12 ]
Ejemplo 1.48. La grfica de la funcin f ( x ) = arccsc x se muestra en la figura siguiente y

se verifican el dominio y el rango sealado.
y
Figura 1.23
f ( x ) = arccsc x
1
1,
2
/2
x
-5
-4
-3
-2
-1
-/2
1
1,
2
18) f ( x ) = arccotg x
Dom f = ( ; + ) ; Rgo f = ( 0; )
Ejemplo 1.49. El dominio y el rango de f ( x ) = arccotg x se pueden verificarse a travs de

la siguiente figura:
y
Figura 1.24
y=
f ( x ) = arccotg x
/2
x
-5
-4
-3
-2
-1
-/2
30
Con stas nociones, podemos determinar el dominio de funciones en las que en su

estructura se encuentren involucradas funciones como las expuestas anteriormente, como es
el caso de las funciones compuestas.
1.49. Funcin Compuesta.
Sean f y g dos funciones tales que el rango de g est en el dominio de f. Entonces, la
funcin dada por ( f g ) ( x) = f ( g ( x) ) se llama funcin compuesta de f con g.
Figura 1.25
g ( x)
g ( x)
f ( g ( x ))
f ( x)
f ( g ( x ))
g
Ejemplo 1.28.
Dadas las funciones f ( x) = x 2 + 1 y g ( x) = ( 4 x + 5 ) , hallar f ( g ( x) ) y g ( f ( x) ) .
2
Solucin: como f ( x) = x 2 + 1 , tenemos que

f ( g ( x) ) =
( g ( x) )
( ( 4 x + 5) )
2 2
+1 =
resulta,
g ( f ( x) ) = ( 4 f ( x) + 5) = 4 x 2 + 1 + 5
2
+1 =
2
( 4 x + 5)
+ 1 y como g ( x) = ( 4 x + 5 ) ,
2
= 16 ( x 2 + 1) + 40 x 2 + 1 + 25
g ( f ( x ) ) = 16 x 2 + 40 x 2 + 1 + 41.
Ntese que f ( g ( x) ) g ( f ( x) ) . Esto es, la composicin de funciones no es conmutativa

Ejemplos 1.50.
1) Sea la funcin f : definida por f ( x) = x 2 . El dominio de f es el conjunto
y el rango es el conjunto [ 0; + ) . La grfica de sta funcin es mostrada en la figura 1.25.

Se han trazado tres rectas, y todas cortan la grfica en un slo punto, y esto sucede
nicamente cuando la curva es representativa de una funcin.
Es de observar que a cada nmero del dominio de f le corresponde solamente un
nmero del rango, esto es cumpliendo la definicin de funcin.
31
Adems, de la grfica se puede observar que a cada elemento del rango de la

funcin le corresponden ms de un elemento del dominio; ste es el caso de las funciones
sobreyectivas, concepto que estudiaremos ms adelante.
Entonces, se puede afirmar que la funcin f : definida por f ( x) = x 2 , es
una funcin sobreyectiva.
y
f ( x ) = x2
F igura 1.25
17
16
15
14
13
12
11
10
9
8
7
6
5
4
3
2
1
-4
-3
-2
-1
-1
La funcin f es el conjunto de pares ordenados (x; y) para los cuales y = x 2 ; es decir,
f = {( x; y ) / y = x 2 } . Algunos de los pares ordenados de f son: ( 1;1) , (1;1) , ( 5; 25 ) ,

2) Sea la funcin g : [ 4; + ) [ 0; + ) definida por g ( x) = x 4.
Para que la funcin g tenga imagen real, se debe verificar: x 4 0
2; 2 .
x 4. Por lo
tanto, el dominio de g es el conjunto [ 4; + ) y el rango el conjunto [ 0; + ) . La grfica de g

se muestra en la figura 1.26. Tambin, se han trazado tres rectas verticales y como podemos
ver cada una interfecta a la curva solamente en un punto.
y
F igura 1.26
f ( x) =
x4
-1
10
11
-1
La funcin g consta de todos los pares ordenados (x; y) donde y = x 4; esto es,
g ( x) = ( x; y ) / y = x 4 . Algunos puntos que pertenecen a g son: ( 4;0 ) ; ( 5;1) ; 10; 6 .

Hay que destacar que en toda funcin existe un slo valor de la variable
dependiente para cada valor de la variable independiente del dominio de la funcin.
32
x2 y2
Consideremos el conjunto ( x; y ) / + =1 , cuya grfica es una elipse de centro en el
64 9
origen, mostrada en la figura 1.27.

y
Figura 1.27
x 2 + y 2 =1
64
9
3
2
1
-10
-9
-8
-7
-6
-5
-4
-3
-2
-1
10
-1
-2
-3
-4
Observe, que la elipse es intersectada por cualquier recta vertical en dos puntos
distintos, por lo tanto, cualquier elipse no es la grfica de funcin alguna.
Geomtricamente, esto significa que:
Una recta vertical intersecta la grfica de una funcin a lo ms en un punto.
Observe que en las figuras 1.25 y 1.26, cualquier recta vertical intersecta a cada
grfica a lo sumo en un slo punto.
1.46. Determinando dominios.
x 2 16
.
ln ( x + 10 )
Solucin: f debe verificar las siguientes condiciones,
i ) x 2 16 0
ii ) x + 10 > 0
a) Halle el dominio de f ( x ) =
iii ) ln ( x + 10 ) 0
Determinemos el conjunto solucin de cada condicin:
i ) x 2 16 0 ( x + 4 )( x 4 ) 0,
( , 4 )
( 4, 4 )
( 4, + )
+
0
0
+
+
+
x+4
x4
( x + 4 )( x 4 )
Entonces, S1 = ( , 4] [ 4, + )
ii )
x + 10 > 0
x > 10
33
Consecuentemente, S 2 = ( 10, + )
iii )
ln( x + 10) 0
ln ( x +10 )
e0
Lo que implica que, S3 = ( , 9 ) ( 9, + )

Ahora, el dominio es:
x + 10 1
x 9
Dom f = S1 S 2 S 3
S1 :
S2 :
S3 :
4
4

10

Dom f :

10
Por lo tanto, Dom f = ( 10, 9 ) ( 9, 4 ) ( 4, + ) .

1 x
.
x3
Solucin: las condiciones que g debe cumplir son:
1 x
i)
0
x3
ii ) x 3 0
Hallemos los conjuntos solucin:
1 x
i)
0
x3
( ,1) 1
(1, 3)
b) Determine el dominio de g ( x ) =
1 x
x3
1 x
x3
( 3, + )
Entonces, S1 = [1, 3)
ii) x 3 0 x 3
Luego, S 2 = ( ,3) ( 3, + )
El dominio se determina mediante: Dom f = S1 S 2
S1 :

1
S2 :
Dom f :
13
Por lo tanto, Dom g = [1,3)
34
x +1
c) Encuentre el dominio de h ( x ) =
x4 5
Solucin: para cualquier x , ( x + 1) . Para que h ( x ) , debe satisfacer las

siguientes condiciones,
i) x 4 5 0
ii )
x4 5 0
Determinemos el conjunto solucin de cada condicin:

x 4 5 x 9
( x 4 ) < 5 x + 4 < 5
Por consiguiente, S1 = ( , 1) [9, + ) .
i)
ii )
x4 5 0
x4 5 0
x4 5
x4 5 0
1 < x
x4 5
x 4 5 x 9
( x 4 ) 5 x + 4 5 x 1
Luego, S 2 = ( , 1) ( 1,9 ) ( 9, + ) .
El dominio de h se determina as: Dom h = S1 S 2
S1 :
S2 :

Dom f :
19
Por lo tanto, Dom f = ( , 1) ( 9, + ) .

d) Halle el dominio de f ( x ) = tg ( x 4 ) .
2k + 1
Solucin: f ( x ) , siempre que x 4
, k ,
2
2k + 1
x
+ 4, k .
2
2k + 1
Por ende, Dom f = x / x
+ 4, k .
2

Determine el dominio de las siguientes funciones:
35
1) f ( x ) =
2x 2
+ ln ( x + 4 ) x 2 + 3x + 2
x 5x + 6
3) h ( x ) =
x +1
ln
1
x2
2) g ( x ) = log 2 ln 2 ( x ) + 3ln ( x ) 1
2x + 6
4) F ( x ) = sen x + ln
3x 2
5) G ( x ) = log
2 + sec x
1.48. Criterios de simetra.

La grfica de una funcin f es:
i) Simtrica con respecto al eje y si y slo si se obtiene una funcin equivalente al
sustituir x por x en la funcin f.
ii) Simtrica con respecto al origen si y slo si se obtiene una funcin equivalente
cuando se sustituye x por x y y por y en la funcin f.
Ejemplos 1.27.
1) La funcin
f ( x) = f ( x).
f ( x) = x 6 x 4 + x 2 , es simtrica con respecto al eje y, pues
En efecto, f ( x) = ( x ) ( x ) + ( x ) = x 6 x 4 + x 2 = f ( x), lo que verifica que

la funcin f es simtrica con respecto al eje y.
La grfica de f ( x ) = x 6 x 4 + x 2 , es mostrada en la figura siguiente:
6
y
Figura 1.28
9
8
7
6
f (x) = x6 - x4 + x2
5
4
3
2
1
x
-2
-1
-1
2)
La funcin g ( x) = x 3 x 5 , es simtrica con respecto al origen, puesto que
g ( x ) = g ( x ).
Efectivamente, g ( x) = ( x ) ( x ) = x 3 + x 5 = ( x 3 x 5 ) = g ( x), por lo tanto,

3
la funcin g es simtrica con respecto al origen.
36
La grfica de g es presentada en la figura 1.26.

y
Figura 1.29
g (x) = x3 - x5
1
x
-2
-1
-1
-2
-3
No hemos considerado la simetra con respecto el eje x, sencillamente, porque

estamos estudiando solamente las simetras de las grficas de funciones.
1.50. Criterio para funciones pares e impares.

La funcin y = f ( x ) es par si f ( x ) = f ( x ).
La funcin y = f ( x) es impar si f ( x ) = f ( x ).
Toda funcin par es simtrica con respecto al eje y, y toda funcin simtrica con
respecto al eje y es par. As mismo, toda funcin impar es simtrica con respecto al origen,
y toda funcin simtrica con respecto al origen es impar.
Refirase a las figuras 1.25 y 1.26. La figura 1.25 es la grfica de la funcin
f ( x ) = x 6 x 4 + x 2 , la cual es simtrica con respecto al eje y, por ende, dicha funcin es
par. La figura 1.26 es la grfica de la funcin g ( x) = x 3 x 5 , la cual es simtrica con
respecto al origen, y as podemos asegurar que g es una funcin impar. A continuacin se
proporcionan otros ejemplos.
Ejemplos 1.29.
1) La funcin f ( x) = x 2 es par, puesto que, f ( x ) = ( x ) = x 2 = f ( x ).
2
2) La funcin g ( x ) = x 3 es impar, ya que, g ( x ) = ( x ) = x 3 = g ( x ).

3
1.51. Funcin inyectiva.

Una funcin f es inyectiva si a elementos diferentes del dominio de f le
corresponden elementos diferentes del rango.
f es inyectiva f (a ) = f (b) a = b.
37
Ejemplo 1.30.
La funcin f : definida por f ( x) = 2 x 1 es inyectiva, puesto que
f (a ) = f (b) 2a 1 = 2b 1 2a = 2b a = b.
1.52. Funcin sobreyectiva.

Una funcin f es sobreyectiva cuando los elementos del rango tienen una o varias
contraimgenes del dominio de f.
Ejemplo 1.31.
La funcin g : [ 0; + )
definida por g ( x) = x 2 es sobreyectiva, pues a cada
elemento del intervalo [ 0; + ) le corresponden dos contraimgenes con excepcin del 0

que le corresponde una sola contraimagen.
1.53. Funcin biyectiva.

Una funcin f es biyectiva, si y slo si, es inyectiva y sobreyectiva.
Ejemplo 1.32.
La funcin del ejemplo 1.30 es biyectiva, pues es inyectiva y sobreyectiva.

Dadas las siguientes funciones:
a) f : definida por f ( x) = x 3 . b) g : definida por g ( x ) = x 3 8.
c) h : {4} definida por h( x) =
38
2 x2 + x 3
. d) r : definida por
x 2 16
x 4 36
.
2x
Determine cul de las funciones anteriores es inyectiva, sobreyectiva o biyectiva.
Determine cul o cuales de las funciones anteriores son pares o impares.
Determine la simetra de las funciones anteriores.
Determine:
4.1) ( f g ) ( x). 4.2) h ( r ( x) ) . 4.3) ( g r ) ( x).
r ( x) =
1)
2)
3)
4)

Teoria Conjuntos y Funciones

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Teoria Conjuntos y Funciones

Cargado por

Copyright:

Formatos disponibles

Elaborado por: Lic. Eleazar J.

Teora de Conjuntos y Funciones

B = {0,1, 2,3, 4,5}

C = {3, 2, 1, 0,1, 2,3, 4,5}

E = {Venezuela, Colombia, Ecuador , Bolivia, Per} .

Lic. Eleazar J. Garca

Teora de Conjuntos y Funciones

2) B = {1, 0,1, 2,3, 4,5, 6, 7,8}

4) D = {3, 6,9,12,15,18, 21}

5) E = {4,8,12,16, 20, 24, 28}

8) C = { x / x es par 9 < x 20}

9) D = { x / x es mltiplo de 3 6 x < 31}

10) E = { x / 3 < x < 18}

Veamos esta relacin representada en un diagrama sagital.

Teora de Conjuntos y Funciones

Lic. Eleazar J. Garca

Si A = {0, 3, 4, 1} y B = {0,1, 2, 3, 4}, como cada elemento del conjunto A es

Dos conjuntos A y B son disjuntos si no tienen elementos comunes, es decir, A B = .

Lic. Eleazar J. Garca

Teora de Conjuntos y Funciones

es el caso de la unin de los conjuntos C = {a, b, c, d } y D = {e, f , g , h, i, j} , donde

evidentemente cada elemento de C D = {a, b, c, d , e, f , g , h, i, j} pertenece al conjunto C o

B = {3, 4, 5, 6, 7, 8}, entonces A B = {3, 4} . Como

podemos evidenciar los elementos de A B , pertenecen a ambos conjuntos.

1.8. Diferencia: Sean A y B dos conjuntos tales que B A. La diferencia de A menos B (o

B = A B = {b, d } . Como podemos

B son los elementos de A que no son elementos de

Teora de Conjuntos y Funciones

Lic. Eleazar J. Garca

El complemento de en cualquier conjunto A es A, es decir,

1.9. Diferencia simtrica: Sean A y B dos conjuntos tales que A B . La diferencia

1.10. Ejercicios propuestos.

1) A = {8, 2, 4, 0,5, 7, 4} y B = {15, 4,11, 2, 3, 4,5, 8, 0, 7}

Si k es cota superior del conjunto C, entonces, cualquier nmero real mayor

Lic. Eleazar J. Garca

Teora de Conjuntos y Funciones

1.12. Extremo superior o supremo: s es un extremo superior de un conjunto C de

1) s es una cota superior de C, y

Para el conjunto , 0 es el extremo superior, ya que, el 0 es la menor cota superior

1.13. Cota inferior de un conjunto: h es cota inferior de un conjunto C de nmeros reales

1) r es una cota inferior de C, y

Un extremo inferior puede pertenecer o no al conjunto.

Teora de Conjuntos y Funciones

Lic. Eleazar J. Garca

El extremo inferior del conjunto + es 0, pues el 0 es la mayor de las cotas

1.15. Conjunto mayorante: El conjunto mayorante de un conjunto A, es el conjunto

1) Consideremos el conjunto A = { x / x 0 x < 5}

2) El conjunto es no acotado. No admite cotas inferiores ni superiores.

Lic. Eleazar J. Garca

Teora de Conjuntos y Funciones

En la recta real se verifica que 0 > 3 , puesto que 0 est a la derecha de 3

La longitud del intervalo [a; b] es el nmero positivo b a.

La longitud del intervalo (a; b) es tambin el nmero positivo b a.

1.17.3. El intervalo semiabierto a la izquierda o semicerrado a la derecha (a; b], es el

1.17.4. El intervalo semicerrado a la izquierda o semiabierto a la derecha [a; b), es el

Teora de Conjuntos y Funciones

Lic. Eleazar J. Garca

Las definiciones anteriores se pueden generalizar considerando la semirrecta y la

1.17.5. El intervalo [a; + ), es el conjunto de nmeros reales formado por a y los

1.17.6. El intervalo (b; + ), es el conjunto de nmeros reales mayores que b.

1.17.8. El intervalo (- ; d), es el conjunto de nmeros reales menores que d.

La unin y la interseccin de conjuntos son operaciones que pueden realizarse dados

Lic. Eleazar J. Garca

Teora de Conjuntos y Funciones