Ejercicio1:Demostrarlaveracidaddelassiguientesproposiciones:

a.SiA B Bc Ac
Demostracin : SeanA, Bconjuntoscualesquiera.ComoporhiptesisA B, entonces
x A, x B. C omoB A, entoncesb Btalqueb / A, esdecirb Ac.Seac / B,
estoimplicaquec Bcycomoc / B, c / A.Luegoc Ac, porloquec Bc, c Ac,
yb Btalqueb / A, b Ac.AsqueBc Ac.

b.(A B) (C B) = (A C ) B
Demostracin : Seax (A B) (C B).Entoncesx (A B)yx (C B).Entonces
x Aperox / B, yx C perox / B.Luegox A C B, yportanto(A B) (C B) (A C ) B.
Seaw (A C ) B.Entoncesw (A C )perow / B, esdecir, w Ayw C perow / B.P odemosdecir
entoncesquew A Byquew C B.Asquew (A B) (C B), porloque(A B) (C B)
(A C ) B, ypordefinicindeigualdaddeconjuntos, (A B) (C B) = (A C ) B.

c.A (B C ) = (A B) (A C )
Demostracin : Seax (A B) (A C ).Entoncesx A Bperox / A C , porloquex Ao
x B, perox / Ayx / C .P eronoesposiblequex Ayquex / Aalavez, porloqueestogenerauna

contradiccin.P ortanto, A (B C ) =/ (A B) (A C ).

d.(A B) (C D) = (A C ) (B D)
Demostracin : Sea(x, y) (A B) (C D), entonces(x, y) A Bpero(x, y) / C D, esdecir
x A, y B, x / C , y / D.P ortantox (A C ), y (B D), porloque(x, y) (A C ) (B D).
Astenemosque (A B) (C D) (A C ) (B D).
Sea(j, k) (A C ) (B D), entoncesj (A C )yk (B D), porloquej Ayj / C , yk B
k Byk / D.Luegopodemosdecirque(j, k) (A B)yque(j, k) / (C D), esdecirque(j, k)est

en(A B) (C D).P orlotanto, (A C ) (B D) (A B) (C D).

P ordefinicindeigualdaddeconjuntos, (A B) (C D) = (A C ) (B D).

EJERCICIO2
n

(Ai B) = ( Ai) B

i=1
i=1

Demostrarque

(Ai B).EntoncesxestentodoslosconjuntosAi B, dondei I = {1, 2, ..., n}

i=1

P rueba : Seax

i=1

Seaw (

Ai) B.Entoncesw

Ai) B, porloque(Ai B) ( Ai) B.

i=1
i=1
i=1

Luegox Ai, i I , yx / B.P ortantox (

Aiyw / B.LuegowestencadaconjuntoAi B, porloque

i=1

Ai) B (Ai B).

i=1
i=1

i=1

P ordefinicindeigualdaddeconjuntos,

EJERCICIO3

i=1

Demostrarque

Bi)

i=1

(A Bi) = A (

P rueba : Sea(a, b)

Ai) B

i=1

(Ai B) = (

(A Bi).Entonces(a, b)estentodoslosproductoscartesianosA Bi, donde

i=1

i I = {1, 2, ..., n} .Luegoa Ayb Bi, i I , porloque(a, b) A

n

i=1

i=1

Sea(j, k) A (

Bi).

i=1

(A Bi) A (

Bi), entoncesj Ayk

A Bi, i I , porloque(j, k)

Bi, yastenemosque

i=1

Bi.Luego(j, k)estentodoslosproductoscartesianos

i=1
n

(A Bi).P ortanto, A ( Bi) (A Bi).

i=1
i=1
i=1
n

i=1

P ordefinicindeigualdaddeconjuntos,

Bi)

i=1

(A Bi) = A (

EJERCICIO4
Seaf : A B, talqueA R.EncuentresudominioAyelconjuntoimagenf(A).P robarquefes1 1
ydeseras, encontrarsiinversa.

a.f(x) = (2x 3)/(1 + 4x) (1)

Dominio : A = R { 1/4}
I magen : f(A)= {( , 1/2)} {(1/2,+ )}

f es1 1 : Seanx, y A.Sitenemosquef(x) = f (y), entonces :

[(2x 3)/(1 + 4x)] = [(2y 3)/(1 + 4y)]
(2x 3)(1 + 4y) = (2y 3)(1 + 4x)
2x + 8xy 3 12y = 2y + 8xy 3 12x
2x 12y = 2y 12x
14x = 14y
x = y

F uncininversa : Despejandoparaxen (1) :

(1 + 4x)y = 2x 3
2x(2y 1) = (y + 3)
x = (y + 3)/(2 * (2y 1))

P orloquef 1(x) = (x + 3)/(2 * (2x 1))

b.f(x) = (1/2)(x/(|x| + 1)) + (1/2) (2)

Dominio : A = R
I magen : f(A) =]0, 1[
f es1 1 : Seanx, y A.Sitenemosquef(x) = f (y), entonces :
(1/2)(x/(|x| + 1)) + (1/2) = (1/2)(y/(|y| + 1)) + (1/2)
x(|y| + 1) = y(|x| + 1)
x |y| + x = y |x| + y
x = y

F uncininversa : Despejandoparaxen (2) :

2y 1 = x/(1 + |x|)
(2y 1)(1 + |x|) = x
2y 1 + 2 |x| y |x| = x
T enemos2casos : six < 0, entonces2y 1 + 2( x)y ( x) = x
2y 1 2xy = 0
2y(1 x) = 1
x = 1 1/(2y)
Six 0, entonces 2y 1 + 2xy x = x
2y + 2xy 2x = 1
2x(y 1) = 1 2y
x = (1 2y)/(2(y 1))
P orloquef 1(x) = 1 1/(2x), si0 < x 1/2
f 1(x) = (1 2x)/(2(x 1)), 1/2 < x < 1

EJERCICIO5
Dadalafuncinf : A B, seanC, D AyE, F B.P robarlassiguientespropiedades.

a.f(C D) = f (C) f (D)

Sifes1 1 : Seaw
f (C D), entoncesw = f (x), paraalgnx C D, porloquex C ox D.
Asquew f (C)ow f (D), esdecir, w f (C) f (D).P ortanto, f (C D) f (C) f (D).
Seau f (C) f (D), entoncesu f (C)ou f (D), porloqueu = f (v), paraalgnv C ov D.
Entoncesv C D, yportantof(v) f(C D).Concluimosque f (C) f (D) f (C D).
P origualdaddeconjuntos, f(C D) = f (C) f (D).

b.f(C D) = f (C) f (D)

Sifes1 1 : Seaw f (C D), entoncesw = f (x), paraalgnx C D, porloquex C yx D.

Asquew f (C)yw f (D), esdecir, w f (C f (D).P ortanto, f (C D) f (C) f (D).
Seau f (C) f (D), entoncesu f (C)yu f (D), porloqueu = f (v), paraalgnv C yv D.
Entoncesv C D, yportantof(v) f(C D).Concluimosque f (C) f (D) f (C D).
P origualdaddeconjuntos, f(C D) = f (C) f (D).

c.f(C D) = f (C) f (D)

Sifes1 1 : Seaw f (C D), entoncesw = f (x), paraalgnx C D.Luegox C perox / D,
estosignificaquew f (C)perow / f (D), porloquew f (C) f (D), yportantoconcluimosque
f (C D) f (C) f (D).
Seau f (C) f (D).Entoncesu f (C)perou / f (D).Luegou = f (v), paraalgnv C yv / D, porlo
quev C D, yportantof(v) f (C D).Concluimosquef(C) f (D) f (C D).
P origualdaddeconjuntos, f(C D) = f (C) f (D).

d.f 1(E F ) =f 1(E) f 1(F )

Seav f 1(E F ), entoncesveslapreimagendealgnw E F , porloquew Eow F .

Luegov = f 1(w)estenf 1(E)oenf1(F ), porloquev f 1(E) f 1(F ).P ortanto, concluimos
quef 1(E F ) f 1(E) f 1(F ).
Seax f 1(E) f 1(F ),entoncesx f 1(E)ox f 1(F ), porloquexeslapreimagendealgn
z Eoz F .Entoncesz E F , yx = f 1(z)esten f 1(E F ),yasconcluimosque
f 1(E) f 1(F ) f 1(E F ).
P ordefinicindeigualdaddeconjuntos, f 1(E F ) =f 1(E) f 1(F ) .

e.f1(E F ) = f 1(E) f 1(F )

Seav f 1(E F ), entoncesveslapreimagendealgnw E F , porloquew Eyw F .
Luegov = f 1(w)estenf 1(E)yenf1(F ), porloquev f 1(E) f 1(F ).P ortanto, concluimos
quef 1(E F ) f 1(E) f 1(F ).
Seax f 1(E) f 1(F ),entoncesx f 1(E)yx f 1(F ), porloquexeslapreimagendealgn
z Eyz F .Entoncesz E F , yx = f 1(z)esten f 1(E F ),yasconcluimosque
f 1(E) f 1(F ) f 1(E F ).
P ordefinicindeigualdaddeconjuntos, f 1(E F ) =f 1(E) f 1(F ) .

f .f1(E F ) = f 1(E) f 1(F )

Seav f 1(E F ), entoncesveslapreimagendealgnw E F , porloquew Eperow / F .
Luegov = f 1(w)estenf 1(E)peronoenf1(F ), porloquev f 1(E) f 1(F ).P ortanto, concluimosque
f 1(E F ) f 1(E) f 1(F ).

Seax
f 1(E) f 1(F ),entoncesx f 1(E)perox / f 1(F ), porloquexeslapreimagendealgn
z Eyz / F .Entoncesz E F , yx = f 1(z)esten f 1(E F ),yasconcluimosque
f 1(E) f 1(F ) f 1(E F ).
P ordefinicindeigualdaddeconjuntos, f 1(E F ) =f 1(E) f 1(F ) .

g.f(f1(E)) = E
Supongamosquefesbiyectiva.Seaz f (f1(E)), yseax E, porloquex = f (w), paraalgnw f 1(E).
Entoncesz = f (w)porloquez E.Luegof(f1(E)) E.
Seav E.Entoncesv = f (u), paraalgnu f 1(E), porloqueu = f 1(v)ytenemosquev = f (f1(v)).
P ortantov f (f1(E)).ConcluimosqueE f (f1(E)).
P origualdaddeconjuntos, f(f1(E)) = E.

EJERCICIO6

Dadaslasfuncionesf : A Byg : B C , consideramosg f : A C .

Demustreseque :

a.g f es1 1, sif, gson1 1

P rueba : Seanf, gfunciones1 1.Entoncesexisteunb BquetienealomsunapreimagenenA, y

existeunc C talquetienealomsunapreimagenenB.Supongamosquef(a) = byqueg(b) = c.
H aciendolacomposicindegyftenemosque : g f (a) = g(f(a)) = g(b) = c, porloquectieneuna
nicapreimagena A.P ortantog f es1 1.

b.g f essobreyectiva, sif, gsonsobreyectivas.

Seanf, gfuncionessobreyectivas.Entoncesparatodob B, existeuna Atalqueb = f (a), ypara

todoc C existeunb Btalquec = g(b) .
Supongamosquef(a) = byqueg(b) = c.Haciendolacomposicindegyf : g f (a) = g(f(a)) = g(b) = c,
porloquetodoc C tieneunapreimagenenA.
P ortanto, g f essobreyectiva.

b.Contrapositiva : Sif, gnosonfunciones1 1, entoncesg f noes1 1P rueba : Seanf, gfuncionesquenoson1