Lenguaje matem

atico, conjuntos y n
umeros
Actividades. Tema 3
Ejercicio 1
a) La relacion x 6= y no es reflexiva pues x = x, es simetrica pues si x 6= y entonces y 6= x, no es transitiva
1 6= 2, 2 6= 1 y sin embargo no es cierto que 1 6= 1 y no es antisimetrica pues 1 6= 2 y 2 6= 1 sin embargo no es
cierto que 1 = 2
b) La relacion x 6 y en N es una relaci
on de orden total. (Se demostrara en el captulo 5). No es una relaci
on
simetrica pues 2 6 3 y sin embargo no es cierto que 3 6 2.
c) La relacion R definida por, xRy x + y = 20, cumple:
No es reflexiva pues 1R 1 ya que 1 + 1 6= 20.
Es simetrica pues si xRy entonces x + y = 20, es decir, y + x = 20, y por tanto, yRx.
No es antisimetrica pues por ejemplo, 5 R 15 y 15 R 5 y sin embargo, 5 6= 15
No es transitiva pues por ejemplo, 5 R 15 y 15 R 5 y sin embargo, 5 R 5.
d) La relacion S definida 
por, xSy x y = 1 cumple:
No es reflexiva pues 1 S 1 ya que 1 1 6= 1.

No es simetrica pues por ejemplo, 2 S 1 y sin embargo 1S 2, ya que 2 1 = 1 pero 1 2 6= 1.

xy = 1

Es antisimetrica pues no existen x, y N tales que xSy e ySx ya que el sistema

es
x + y = 1
incompatible. En consecuencia, la implicaci
on , si xSy
 e ySx entonces x = y, es verdadera.
No es transitiva pues 3 S 2 y 2 S 1 y sin embargo 3 S 1 ya que 3 1 = 2 6= 1.
e) La relacion divide es una relaci
on de orden en N (vease el ejemplo 3.27), que claramente no es simetrica.
f) La relacion T definida por, xT y xy es el cuadrado de un n
umero natural, cumple:
Es reflexiva pues para todo x N se tiene que xT x ya que xx es el cuadrado del n
umero natural x.
Es simetrica pues si xT y entonces xy = yx es el cuadrado de un n
umero natural y por tanto, yT x.
No es antisimetrica pues por ejemplo, 2 T 8 y 8 T 2 y sin embargo, 2 6= 8.
Es transitiva. En efecto supongamos que xT y e yT z. En este caso, xy e yz son cuadrados de un n
umero
natural. Sean a1 , a2 , , aq N \ {0, 1} todos los factores primos de x, y y z. De esta manera,
n

x = an1 1 an2 2 aq q
mq

1 m2
y = am
1 a2 aq

z = ap11 ap22 aq q
siendo n1 , n2 , , nq , m1 , m2 , , mq , n1 , n2 , , nq N. Al ser los productos,
n +mq

xy = an1 1 +m1 an2 2 +m2 aq q

mq +pq

1 +p1 m2 +p2
yz = am
a2
aq
1

cuadrados de n
umeros naturales se deduce que los exponentes ni +mi y mi +pi son pares para todo i = 1, 2, q.
Sumando los dos terminos para cada i, se obtiene que ni + 2mi + pi es par y en consecuencia ni + pi es par para
n +p
todo i = 1, 2, q. En consecuencia, xz = an1 1 +p1 an2 2 +p2 aq q q es el cuadrado de un n
umero natural.

Ejercicio 2 Supondremos a lo largo de este ejercicio que el conjunto A es no vaco y que tanto R como S son
subconjuntos de A A no vacos.
a) Si R es reflexiva entonces 6= {(x, x) | x A} R y {(x, x) | x A} R1 . En consecuencia,
{(x, x) | x A} R R1 y por tanto R R1 6= .
b) Si la relacion R =
6 es simetrica entonces =
6 R1 R y en consecuencia R R1 = R1 6= .
c) Supongamos que R es simetrica y veamos que R1 tambien lo es. En efecto si x, y A son tales que xR1 y,
entonces yRx. Al ser R simetrica, se deduce que xRy, o equivalentemente, yR1 x.
d) Supongamos que R es antisimetrica y veamos que R1 es antisimetrica. Sean x, y A tales que xR1 y e yR1 x.
En consecuencia, yRx e xRy, y como R es antisimetrica, se deduce que x = y.
e) y f) Supongamos que R y S son reflexivas, entonces {(x, x) | x A} R y {(x, x) | x A} S. En
consecuencia, {(x, x) | x A} R S R S. Por tanto, R S y R S son reflexivas.
g) El enunciado de este apartado no es en general cierto. Por ejemplo, sea A = {1, 2, 3, 4} y las relaciones
R = {(1, 2), (2, 4), (1, 4)} y S = {(2, 3), (3, 4), (2, 4)} que son ambas transitivas y sin
 embargo T = R S =
{(1, 2), (2, 4), (1, 4), (2, 3), (3, 4)} no es transitiva ya que 1 T 2 y 2 T 3 mientras que 1 T 3.
h) En cambio, si R y S son transitivas, tambien es transitiva V = R S. En efecto, sean x, y, z A tales que

xVy e yVz. En consecuencia, (x, y) e (y, z) R S, es decir, (x, y) e (y, z) R y (x, y) e (y, z) S. Al ser R
y S transitivas, resulta que (x, z) R y (x, z) S y por tanto, (x, z) R S, esto es, xVZ.
i) El enunciado de este apartado no es en general cierto. Por ejemplo, sea A = {1, 2, 3} y las relaciones
R = {(1, 2), (1, 1), (2, 2), (1, 3)} y S = {(1, 1), (3, 1)} que son ambas antisimetricas y sin embargo T = R S =
{(1, 2), (1, 1), (2, 2), (1, 3), (3, 1)} no es antisimetrica ya que 1 T 3 y 3 T 1 mientras que 1 6= 3.
j) Como en h) se demuestra que si R y S son antisimetricas, tambien es antisimetrica V = R S. En efecto,
sean x, y A tales que xVy e yVx. En consecuencia, (x, y) e (y, x) R S, es decir, (x, y) e (y, x) R y
(x, y) e (y, x) S. Al ser R o S antisimetrica , resulta que x = y. En realidad basta con que una de las dos
relaciones R o S sea antisimetrica para que lo sea R S.

Ejercicio 3 La relacion E en R definida por, xEy si y solo si xy > 0, es una relacion de equivalencia. En
efecto:
Es reflexiva pues para todo x R se tiene que xEx ya que xx = x2 > 0.
Es simetrica pues si xEy entonces xy = yx > 0 y por tanto, yEx.
Es transitiva. En efecto, supongamos que xEy e yEz. En este caso, xy > 0 e yz > 0 y en consecuencia y
tiene el mismo signo que x y que z. En consecuencia, x y z tienen el mismo signo y por tanto xz > 0, es
decir, xEz.
El conjunto cociente R /E est
a formado por dos elementos que son las clases de los elementos 1 y 1, [1] =

{x R | x > 0} y [1] = {x R | x < 0}.

Ejercicio 10
El orden lexicografico es un orden total por lo que no haremos mencion a los maximales y minimales que
coinciden con el maximo y el mnimo.
a) El conjunto A est
a formado por todos los puntos interiores del cuadrado de vertices M (1, 3), N (2, 3), P (1, 4)
y Q(2, 4) y de las aristas M N y P Q, excluyendo los cuatro vertices.
Orden lexicogr
afico
Cotas superiores de A: El conjunto {(x, y) R2 | x > 2)}.
Supremo de A: No tiene.
Maximo de A: No tiene.
Cotas inferiores de A: El conjunto {(x, y) R2 | x 6 1)}.
Infimo de A: No tiene.
Mnimo de A: No tiene.
Orden producto
Cotas superiores de A: El conjunto {(x, y) R2 | x > 2 e y > 4}.
Supremo de A: supP (A) = (2, 4).
Maximo de A: No tiene.
Maximales de A: No tiene
Cotas inferiores de A: El conjunto {(x, y) R2 | x 6 1 e y 6 3}.
Infimo de A: nf P (A) = (1, 3).
Mnimo de A: No tiene.
Minimales de A: No tiene.
b) El conjunto B est
a formado por todos los puntos interiores de la banda del plano contenida entre las rectas
verticales de ecuacion x = 2 y x = 3, excluyendo ambas rectas.
Orden lexicogr
afico
Cotas superiores de B: El conjunto {(x, y) R2 | x > 3}.
Supremo de B: No tiene.
Maximo de B: No tiene.
Cotas inferiores de B: El conjunto {(x, y) R2 | x 6 2}.
Infimo de B: No tiene.
Mnimo de B: No tiene.
Orden producto
Cotas superiores de B: No tiene.
Supremo de B: No tiene.
Maximo de B: No tiene.
Maximales de B: No tiene
Cotas inferiores de B: No tiene.
Infimo de B: No tiene.

Mnimo de B: No tiene.
Minimales de B: No tiene.
c) El conjunto C est
a formado por todos los puntos interiores de la banda del plano contenida entre las rectas
horizontales de ecuaci
on y = 1 e y = 2, y los puntos de ambas rectas.
Orden lexicogr
afico
Cotas superiores de C: No tiene.
Supremo de C: No tiene.
Maximo de C: No tiene.
Cotas inferiores de C: No tiene.
Infimo de C: No tiene.
Mnimo de C: No tiene.
Orden producto
Cotas superiores de C: No tiene.
Supremo de C: No tiene.
Maximo de C: No tiene.
Maximales de C: No tiene
Cotas inferiores de C: No tiene.
Infimo de C: No tiene.
Mnimo de C: No tiene.
Minimales de C: No tiene.
d) El conjunto D est
a formado por todos los puntos de la semirrecta de ecuacion x = 1 con y 6 1 y la semirrecta
y = 1 con x 6 1.
Orden lexicogr
afico
Cotas superiores de D: El conjunto {(x, y) R2 | x > 1 o (x = 1 e y > 1)}.
Supremo de D: supL (D) = (1, 1).
Maximo de D: m
axL (D) = (1, 1).
Cotas inferiores de D: No tiene.
Infimo de D: No tiene.
Mnimo de D: No tiene.
Orden producto
Cotas superiores de D: El conjunto {(x, y) R2 | x > 1 e y > 1}.
Supremo de D: supP (D) = (1, 1).
Maximo de D: m
axP (D) = (1, 1).
Maximales de D: Es el m
aximo de D.
Cotas inferiores de D: No tiene.
Infimo de D: No tiene.
Mnimo de D: No tiene.
Minimales de D: No tiene.
e) El conjunto E est
a formado por todos los puntos de las aristas del cuadrado de vertices (0, 1), (1, 0), (0, 1)
y (1, 0).
Orden lexicogr
afico
Cotas superiores de E: El conjunto {(x, y) R2 | x > 1 o (x = 1 e y > 0)}.
Supremo de E: supL (E) = (1, 0).
Maximo de E: m
axL (E) = (1, 0).
Cotas inferiores de E: El conjunto {(x, y) R2 | x < 1 o (x = 1 e y 6 0)}.
Infimo de E: nf L (E) = (1, 0).
Mnimo de E: mnL (E) = (1, 0).
Orden producto
Cotas superiores de E: El conjunto {(x, y) R2 | x > 1 e y > 1}.
Supremo de E: supP (E) = (1, 1).
Maximo de E: No tiene.
Maximales de E: El conjunto {(x, y) R2 | x + y = 1, con x, y > 0}.
Cotas inferiores de E: El conjunto {(x, y) R2 | x 6 1 e y 6 1}.
Infimo de E: nf P (E) = (1, 1).
Mnimo de E: No tiene.
Minimales de E: El conjunto {(x, y) R2 | x + y = 1, con x, y 6 0}.

f) El conjunto F est
a formado por todos los puntos de la circunferencia de centro el origen y de radio 1.
Orden lexicogr
afico
Cotas superiores de F : El conjunto {(x, y) R2 | x > 1 o (x = 1 e y > 0)}.
Supremo de F : supL (F ) = (1, 0).
Maximo de F : m
axL (F ) = (1, 0).
Cotas inferiores de F : El conjunto {(x, y) R2 | x < 1 o (x = 1 e y 6 0)}.
Infimo de F : nf L (F ) = (1, 0).
Mnimo de F : mnL (F ) = (1, 0).
Orden producto
Cotas superiores de F : El conjunto {(x, y) R2 | x > 1 e y > 1}.
Supremo de F : supP (F ) = (1, 1).
Maximo de F : No tiene.
Maximales de F : El conjunto {(x, y) R2 | x2 + y 2 = 1, con x, y > 0}.
Cotas inferiores de F : El conjunto {(x, y) R2 | x 6 1 e y 6 1}.
Infimo de F : nf P (E) = (1, 1).
Mnimo de F : No tiene.
Minimales de F : El conjunto {(x, y) R2 | x2 + y 2 = 1, con x, y 6 0}.

Ejercicio 11
a) La relacion 4 no es una relaci
on de orden en el conjunto de sucesiones de n
umeros reales. Claramente
es reflexiva. Sin embargo no es antisimetrica, pues por ejemplo la sucesion (1, 2, 2, 2, ) 4 (2, 1, 2, 2, ) y
(2, 1, 2, 2, ) 4 (1, 2, 2, 2, ) y sin embargo (1, 2, 2, 2, ) 6= (2, 1, 2, 2, ). Tampoco es una relaci
 on de equivalencia pues no es simetrica ya que (1, 1, 1, 1, ) 4 (2, 2, 2, 2, ) y sin embargo (2, 2, 2, 2, ) 4(1, 1, 1, 1, )
b) La relacion w es una relaci
on de equivalencia en el conjunto de sucesiones de n
umeros reales. Claramente
es reflexiva y simetrica. Veamos que es transitiva. Supongamos que {an } w {bn } y {bn } w {cn }. En este caso
existen dos subconjuntos finitos de N, M y P , tales que an = bn para todo n N \ M y bm = cm para todo
m N \ P . Tomando Q = M P , resulta que Q es un conjunto finito y ademas ak = ck para todo k N \ Q.
Cada clase de equivalencia est
a formada por una sucesion dada y todas las sucesiones que coinciden en todos
los termino salvo en un n
umero finito de ellos.
Observemos que si en el conjunto cociente, RN / w, consideramos la relacion del apartado a)
[{an }] 4 [{bn }] si y s
olo si an 6 bn para todo n N salvo un n
umero finito de subndices
la relacion w esta bien definida pues no depende de los representantes elegidos y s es una relacion de orden en
el conjunto cociente RN / w.
c) La relacion 6 en el conjunto de sucesiones es una relacion de orden. Esta relacion es la generalizacion del orden
producto de R2 al conjunto RN . Las propiedades reflexiva, antisimetrica y transitiva se deducen facilmente de
las propiedades reflexiva, antisimetrica y transitiva de la relacion 6 en R. Es un orden parcial pues por ejemplo
las sucesiones (1, 2, 2, 2, 2, ) y (2, 1, 2, 2, 2, ) no son comparables.
d) La relacion de igualdad de sucesiones es, como toda relacion de igualdad, una relacion de equivalencia en el
que el conjunto cociente es el propio conjunto de sucesiones RN .

Ejercicio 13
a) La aplicacion

h : N N
n 7 h(n) = n2

es una aplicacion inyectiva no sobreyectiva pues h(N) = {0, 1, 4, 9, 16, , } =

6 N.
b) La aplicacion
f : N N
(
n/2 si n es par
n 7 f (n) =
(n 1)/2 si n es impar
es una aplicacion sobreyectiva no inyectiva pues f (2n) = f (2n + 1) = n para todo n N.
c) Cualquier aplicaci
on constante definida por g(n) = k para todo n N, siendo k N un n
umero fijo no es
sobreyectiva pues g(N) = {k} =
6 N y tampoco es inyectiva pues por ejemplo g(0) = g(1) = k.
d) Obviamente, la aplicaci
on identidad IN : N N es una aplicacion biyectiva.

Ejercicio 15

a) La funcion real f no est

a definida para los valores que anulen los denominadores. Por tanto Df = R \
{2, 1, 1}.
b) La funcion real g s
olo est
a definida para aquellos valores de x para los que 1 x2 > 0, es decir, Dg = [1, 1].
c) La funcion real logartmo neperiano , s
olo esta definida para valores estrictamente positivos de la variable,
3
es decir, hay que resolver la inecuaci
on x x > 0. Como x3 x = x(x2 1) = x(x 1)(x + 1) resulta que
Dh = (1, 0) (1, +).
d) La funcion t esta definida en el conjunto


x2 1
xR|
>0
= {x R | x2 1 6 0, 4 x2 < 0} {x R | x2 1 > 0, 4 x2 > 0}
4 x2



 


=
[1, 1] (, 2) (2, )

(, 1] [1, ) (2, 2)


= (2, 1] [1, 2) = (2, 1] [1, 2)

Ejercicio 17
Utilizando el teorema de caracterizaci
on de una aplicacion biyectiva (teorema 3.59) resulta que f es biyectiva
pues si n > 2, entonces de,
f n = f f n1 = f n1 f = IA
resulta que f es biyectiva, y adem
as f n1 es la aplicacion inversa de f . Para n = 1, es obvio, pues entonces
f = IA , y por tanto f es biyectiva.

Ejercicio 20
a) La afirmacion de este apartado es v
alida. En efecto, supongamos que g f es inyectiva y veamos

que f tambi

en
0
0
0
lo es. En efecto sean x, x A tales que f (x) = f (x ). Componiendo con g se obtiene g f (x) = g f (x ) , esto
es, (g f )(x) = (g f )(x0 ). Como g f es inyectiva, se deduce que x = x0 . En consecuencia f es inyectiva.
b) La afirmacion de este apartado no es v
alida. Tomamos las funciones g y f definidas mediante:
f : N N

g : N N
(
n/2 si n es par
n
7 g(n) =
(n 1)/2 si n es impar

n 7 f (n) = 2n

g es una aplicacion no inyectiva , vease el ejercicio13 b) y sin embargo g f s lo es, pues para todo n N, se
verifica que


(g f )(n) = g f (n) = g(2n) = n
es decir, g f = IN .
c) La afirmacion de este apartado no es v
alida. Tomamos las funciones g y f definidas en el apartado anterior.
La funcion f no es sobreyectiva pues, por ejemplo, 3 N no es la imagen de ning
un n
umero natural mientras
que g f = IN es sobreyectiva.
d) La afirmacion de este apartado es v
alida. En efecto, supongamos que g f es sobreyectiva y veamos que g
tambien lo es. En efecto sea z C un elemento cualquiera. Sea x A tal que (g f )(x) = z. Este elemento x
existe pues g f es sobreyectiva. Tomamos y = f (x). Se cumple:


g(y) = g f (x) = (g f )(x) = z
En consecuencia, g es sobreyectiva.

Ejercicio 21
a) La expresion del apartado a) es verdadera. Supongamos que C D y sea un elemento cualquiera y f (C).
Si y f (C), existe un elemento x C tal que f (x) = y. Como C D, resulta que x D y en consecuencia
y = f (x) f (D). Por tanto f (C) f (D).
b) La igualdad del apartado b) es verdadera. En efecto, la inclusion f (C) f (D) f (C D) se deduce de las
inclusiones C C D y D C D y del apartado a). Probamos la inclusion inversa directamente:
y f (C D) =

existe x C D tal que y = f (x)

= ( existe x C tal que y = f (x) ) o ( existe x D tal que y = f (x) )

= y f (C) o y f (D)
= y f (C) f (D)

c) La igualdad del apartado c) es verdadera. En efecto:

x f 1 (E F )

y = f (x) E F

( y = f (x) E ) o (y = f (x) F )

x f 1 (E) o x f 1 (F )

x f 1 (E) f 1 (F )

d) La igualdad del apartado d) es verdadera. En efecto:

x f 1 (E F )

y = f (x) E F

( y = f (x) E ) e (y = f (x) F )

x f 1 (E) e x f 1 (F )

x f 1 (E) f 1 (F )

e) La inclusion del apartado e) es verdadera. Se puede deducir de las inclusiones C D C y C D D y del

apartado a), o directamente:
y f (C D) =
=

existe x C D tal que y = f (x)

x C y x D cumple que y = f (x) )

= y f (C) e y f (D)
= y f (C) f (D)
La inclusion inversa no es cierta. De hecho si y f (C) f (D) podemos asegurar la existencia de x C y de
x0 D tal que y = f (x) = f (x0 ). Sin embargo puede ocurrir que no exista x C D tal que f (x) = y. El
siguiente ejemplo ilustra lo anterior: Sea la funcion:
f : Z Z
x 7 f (x) = x2
Sean los conjuntos C = {x Z | x > 0} y D = {x Z | x < 0}. Se comprueba facilmente que C D = y
f (C) = f (D) = E = {1, 4, 9, 25, 36 }, y en consecuencia:
f (C) f (D) = E 6= f (C D) =

f) La expresion del apartado f) es verdadera. Solo queda demostrar que si f es inyectiva se tiene la inclusi
on
f (C) f (D) f (C D) pues la inclusi
on inversa esta demostrada en el apartado anterior para cualquier
aplicacion f . En efecto:
y f (C) f (D)

=
f inyectiva

existen x C y x0 D tales que y = f (x) = f (x0 )

x = x0 , y = f (x) y x C D

y f (C D)