Sección 3.

4
1. Pruebe que una restricción de una función f : A → B se puede definir simplemente
como una función f :C → D tal que g ⊆ f y D ⊆ B
2. Sea A un conjunto cualquiera no vacío y F el conjunto de todas las biyecciones de A en
A. Demuestre que, si se considera F provisto de la composición de funciones como
operación, es un grupo.
Demostrar que ⟨ F , ∘ ⟩ es un grupo
Cerradura:
1. A conjunto no vacío Dado
F={f : A → A∨f es biyectiva}
2. Sean f , g ∈ F Hipotesis
3.f y g son biyecciones de A en A D. conjunto F (1,2)
4. Sea f ∘ g Hipotesis para mostrar cerradura
5.f ∘ g es una biyección de A en A Teorema 11(si dos funciones son
biyecciones, su compuesta también lo es)
(4)
6.f ∘ g∈ F D. conjunto F (1)

7.F es cerrada bajo la composición de D. Cerradura (2,6)

funciones

Modulativa:
1. A conjunto no vacío Dado
F={f : A → A∨f es biyectiva}
2. Sea f ∈ F Hipotesis
3. f : A → A es una biyeccion D. conjunto F (1,2)
4. Como el dominio y codominio de todas Teorema
las funciones f ∈ F es el mismo conjunto
A entonces existe I A tal que:
f ∘ I A =f
I A ∘ f =f
5. F es modulativa Por 4
6. Demostremos ahora que I A es biyeccion
Uno a uno
Sean a , b ∈ A tal que a I A=b I A
a=b Hipotesis para mostrar inyección
Sobreyectiva D. Identidad de A
Para todo a ∈ A, existe b ∈ A tal que
b I A=a Hipotesis para mostrar biyeccion
b=a D. Identidad de A
 7. Como I A es una biyeccion I A ∈ F D. conjunto F (5)

Invertiva:
1. A conjunto no vacío Dado
F={f : A → A∨f es biyectiva}
2. Sea f ∈ F Hipotesis
3. f : A → A es una biyeccion D. conjunto F (1,2)
4. Existe una biyección g : A → A tal que Teorema 13 ( si una funcion es biyectiva,
f ∘ g=I A existe otra biyeccion que da las
g ∘ f =I A identidades del dominio y el codominio)
−1
Donde g=f
5. Como f −1 : A → A biyección entonces D. Conjunto F (1,4)
f ∈F
−1

6. F es invetiva con las condiciones dadas D. Elememnto inverso

Como F bajo la composición de funciones es: cerrada, modulativa e invertiva, entonces
⟨ F , ∘ ⟩ es un grupo.
3. a. Si A es un elemento con diez elementos y B otro con un único elemento, halle todas
las funciones de A en B
A={x 1 , x 2 , x 3 , x 4 , x 5 , x 6 , x 7 , x 8 , x 9 , x 10 }
B={ y 1 }
f : A→B
f ( x )={ ( x 1 , y 1 ) , ( x2 , y 1 ) , ( x 3 , y1 ) , ( x 4 , y 1 ) , ( x 5 , y1 ) , ( x 6 , y 1 ) , ( x 7 , y 1 ) , ( x 8 , y 1 ) , ( x 9 , y 1 ) , ( x10 , y 1) }

b. Halle todas las funciones de un conjunto A con tres elementos en otro B con dos
elementos.
A={ x 1 , x 2 , x 3 }
B={ y 1 , y 2 }
f : A→B
f (n1 )={( x 1 , y 1) , ( x 2 , y 1 ) , ( x 3 , y 1 ) }

f (n2 )={( x 1 , y 2) , ( x 2 , y 2 ) , ( x 3 , y 2 ) }
f (n3 )={( x1 , y 1) , ( x 2 , y 1 ) , ( x 3 , y 2 ) }

f (n4 )={( x 1 , y 1 ) , ( x 2 , y 2 ) , ( x 3 , y 1 ) }

f (n5 )={( x1 , y 2 ) , ( x 2 , y 1 ) , ( x 3 , y 1 ) }

f (n6 )={ ( x1 , y 1 ) , ( x 2 , y2 ) , ( x 3 , y 2 ) }

f (n7 )={ ( x1 , y 2 ) , ( x 2 , y1 ) , ( x 3 , y 2 ) }

f (n8 )={ ( x1 , y 2 ) , ( x 2 , y2 ) , ( x 3 , y 1 ) }

c. Halle todas las funciones de un conjunto A con cuatro elementos en otro B con dos
elementos
A={x 1 , x 2 , x 3 , x 4 }
B={ y 1 , y 2 }
f : A→B
f (n1 )={( x 1 , y 1) , ( x 2 , y 1 ) , ( x 3 , y 1 ) , ( x 4 , y 1 ) }

f (n2 )={( x 1 , y 1) , ( x 2 , y 1 ) , ( x 3 , y 1 ) , ( x 4 , y 2 ) }

f (n3 )={( x1 , y 1) , ( x 2 , y 1 ) , ( x 3 , y 2 ) , ( x 4 , y 1 ) }

f (n4 )={( x 1 , y 1 ) , ( x 2 , y 2 ) , ( x 3 , y 1 ) , ( x 4 , y 1 ) }

f (n5 )={( x1 , y 2 ) , ( x 2 , y 1 ) , ( x 3 , y 1 ) , ( x 4 , y 1 ) }

f (n6 )={ ( x1 , y 2 ) , ( x 2 , y 2) , ( x 3 , y 1 ) , ( x 4 , y 1) }

f (n7 )={ ( x1 , y 2 ) , ( x 2 , y1 ) , ( x 3 , y 2 ) , ( x 4 , y 1) }

f (n8 )={ ( x1 , y 2 ) , ( x 2 , y1 ) , ( x 3 , y 1 ) , ( x 4 , y 2) }

f (n9 )={ ( x1 , y 2 ) , ( x 2 , y 2) , ( x 3 , y 2 ) , ( x 4 , y 1) }

f (n10 )={( x 1 , y 1 ) , ( x 2 , y 2 ) , ( x 3 , y 2 ) , ( x 4 , y 1 ) }

f (n11 )={ ( x 1 , y 1 ) , ( x2 , y 1 ) , ( x 3 , y 2 ) , ( x 4 , y 2 ) }

f (n12)={( x 1 , y 1 ) , ( x 2 , y 2 ) , ( x3 , y 1 ) , ( x 4 , y 2 ) }
f (n13 )={( x 1 , y 2 ) , ( x 2 , y 2 ) , ( x 3 , y 2 ) , ( x 4 , y 2 ) }

f (n14 )={( x1 , y 1) , ( x 2 , y 2 ) , ( x 3 , y 2 ) , ( x 4 , y2 ) }

f (n15 )={( x 1 , y 2 ) , ( x 2 , y 1 ) , ( x 3 , y 2 ) , ( x 4 , y 2 ) }

f (n16 )={( x 1 , y 2) , ( x 2 , y 2 ) , ( x 3 , y 1 ) , ( x 4 , y 2 ) }

d. ¿podría hallar una fórmula para calcular el número de funciones de un conjunto A con
n elementos en otro B con m elementos? ¿Podría justificar dicha formula?

Numero de funciones=mn
4. Dada la función f ( x )=x 2 +2 x−8de R en R
a. Halle su recorrido
f ( x )=x 2 +2 x−8
¿ x 2+ 2 x +1−9
2
¿ ( x+ 1 ) −9
Como necesitamos el valor mínimo de f (x) este se obtiene haciendo
( x +1 )2=0, de donde x=−1 y f ( x )=−9
Así pues, el recorrido de f (x) es el intervalo ¿
b. Restringa el codominio de f para obtener una función sobreyectiva
Para que f sea sobreyectiva basta con tomar como codominio su mismo rango así, pues
f ( x )=x 2 +2 x−8 de R →¿
c. Sin variar el codominio de la función en b. halle una restricción biyectiva que sea
continua
La restricción biyectiva está dada por:
f 1 : (−∞,−1 ] → [−9 , ∞ )

x → x 2+ 2 x−8

d. Halle gráfica y algebraicamente la función inversa de la biyeccion hallada en c.

5. Si f : A → B y g :B → D son biyecciones, demuestre que la función inversa de g ∘ f es
f −1 ∘ g−1
Si f −1 ∘ g−1 es inversa de g ∘ f debe cumplir que:

I. ( g ∘ f ) ∘ ( f −1 ∘ g−1 )=I D
II. ( f ¿ ¿−1∘ g−1 )∘ ( g ∘ f ) ¿ I A ¿
Probar I.
( g ∘ f ) ∘ ( f −1 ∘ g−1 )=I D

( g ∘ f ) ∘ ( f −1 ∘ g−1 )=¿ Propiedad asociativa de la composición

¿ [g ∘ ( f ∘ f −1 ) ]∘ g−1 Propiedad asociativa de la composición

¿ [g ∘ I B ]∘ g−1 Teorema 13
¿ g ∘ g−1 Prop. Modulativa de la composición
¿ ID Teorema 13
Probar II.
( f ¿ ¿−1∘ g−1 )∘ ( g ∘ f ) ¿ I A ¿

( f ¿ ¿−1∘ g−1 )∘ ( g ∘ f ) =f −1 ∘[g−1 ∘ ( g ∘ f ) ]¿ Propiedad asociativa de la composición

¿ f −1 ∘[(g−1 ∘ g)∘ f ] Propiedad asociativa de la composición

¿ f −1 ∘[ I B ∘ f ] Teorema 13

¿ f −1 ∘ f Prop. modulativa de la composición

¿IA Teorema 13
6. Sea C una colección de funciones tal que:
( ∀ f , g ∈C ) ( D ( f ) ∩ D ( g )=D ≠ 0 → f ↑ D=g ↑ D )
Pruebe que U f ∈C f es una función de U f ∈C D(f ) sobre U f ∈C R (f )
Sección 3.5
1. si se considera ∅ como relación de A en A ¿es reflexiva? ¿es simétrica? ¿es
antisimétrica? ¿es transitiva?
2. Halle todas las relaciones definidas en el conjunto A={a , b }
R:A → A
A × A={( a ,a ) , ( a , b ) , ( b , a ) , ( b , b ) }

R1= { ( a , a ) , ( a ,b ) }
R 2= { ( a , a ) , ( b , a ) }

R 3= { ( a , b ) , ( b , a ) }

R4 ={ ( a , b ) , ( b , b ) }

R 5= { ( b , a ) , ( b , b ) }

R6 ={ ( a , b ) , ( a , a ) }

R7 ={ ( b , a ) , ( a , a ) }

R8 ={ ( b , a ) , ( a , b ) }

R9 ={ ( b , b ) , ( a , b ) }

R10= { ( b , a ) , ( b ,b ) }

R11 ={( a , a ) , ( a , b ) , ( b , a ) }

R12= {( a , a ) , ( b , a ) , ( a , b ) }

R13= { ( a , b ) , ( a ,a ) , ( a , b ) }

R14= { , ( b , a ) , ( a ,b ) , ( a , a ) }

R15={ ( a , a ) , ( a , b ) , ( b ,b ) }

R16={ ( a , a ) , ( b , b ) , ( a ,b ) }

R17={ ( a , b ) , ( a , a ) , ( b ,b ) }

R18={ ( b , b ) , ( a , b ) , ( a , a ) }

R19={ ( a , b ) , ( b , a ) , ( b ,b ) }

R20={ ( a , b ) , ( b , b ) , ( b , a ) }

R21={ ( b , a ) , ( a ,b ) , ( b ,b ) }

R22={ ( b , b ) , ( b , a ) , ( a ,b ) }

R23={ ( b , a ) , ( b , b ) , ( a , a ) }

R24={( b , a ) , ( a , a ) , ( b , b ) }

R25={ ( b , b ) , ( b , a ) , ( a , a ) }

R26={ ( a , a ) , ( b , b ) , ( b , a ) }

R27={ ( a , b ) , ( b , b ) , ( a , a ) }
R28={ ( a , b ) , ( a , a ) , ( b ,b ) }

R29={ ( b , b ) , ( a , b ) , ( a , a ) }

R30={ ( a , a ) , ( b , b ) , ( a ,b ) }

R31={ ( a , a ) , ( a ,b ) , ( b , a ) , ( b , b ) }

R32={ ( a , b ) , ( a , a ) , ( b , a ) , ( b , b ) }

R33={ ( b , a ) , ( a , b ) , ( a ,a ) , ( b , b ) }

R34={( b , b ) , ( a , b ) , ( b , a ) , ( a , a ) }

R35={ ( a , a ) , ( b , a ) , ( a ,b ) , ( b , b ) }

R36={ ( a , a ) , ( b , b ) , ( b , a ) , ( a ,b ) }

R37={ ( a , a ) , ( a , b ) , ( b ,b ) , ( b ,a ) }

R38={ ( a , b ) , ( a , a ) , ( b ,b ) , ( b , a ) }

R39= { ( b , b ) , ( a ,a ) , ( a , b ) , ( b , a ) }

R40 ={( b , a ) , ( a , a ) , ( b , b ) , ( a , b ) }

R41={ ( a , b ) , ( b , b ) , ( a , a ) , ( b ,a ) }

R42={ ( a , b ) , ( b , a ) , ( b , b ) , ( a ,a ) }

3. Si A es un conjunto con n elementos, ¿Podría hallar una fórmula que nos proporcione el
número total de relaciones definidas en A?
4. Muestre que una relación R definida en A
a. Es simétrica en Asi y solo si R=R−1
1.R es simétrica Dado
2. ( x , y )∈ R Hipotesis para probar contenencia
3.⟷( y , x) ∈ R D. Relación simétrica (1)
4.⟷( x , y)∈ R−1 D. Relación inversa (3)
5. R=R−1 D. Contenencia igualdad (2,4)
6. R=R−1 Dado
7.( x , y )∈ R Hipotesis para probar simetría
8.( x , y )∈ R−1 Sustitución paso 6
9. ( y , x)∈ R D. Relación inversa (8)
10.R es simétrica D. Simétrica (7,9)

b. Es antisimétrica si y solo si R ∩ R−1 ⊆ I A

 1.R es antisimétrica Dado
2. ( x , y )∈ R ∩ R−1 Hipotesis para probar contenencia
3.( x , y )∈ R ∧( x , y)∈ R−1 D. Intersección (2)
4.( x , y )∈ R ∧( y , x)∈ R D. Relación inversa (3)
5.x= y D. Relación antisimétrica (4)
6.( x , y )=( x , x)∈ I A Por paso 5
7.R ∩ R−1 ⊆ I A D. Contenencia igualdad
8.R ∩ R−1 ⊆ I A Hipotesis
9.( x , y )∈ R ∧( y , x)∈ R Hipotesis para probar antisimétrica
10. ( x , y )∈ R ∧( x , y)∈ R−1 D. Relación inversa (8)
11.( x , y )∈ R ∩ R−1 ⊆ I A Por paso 7 y 10
12. x= y Paso 11-D. Relación
13.R es antisimétrica D. Antisimétrica (8,12)

5. De cada una de las relaciones siguientes, diga cuales de las propiedades reflexiva,
simétrica, antisimétrica y transitiva posee. Dé las razones de su respuesta.
a. C ⊆ R × R dada por xCy ↔ cos ( x− y )=1
b. S ⊆ R× R dada por xSy ↔ sen ( x− y )=0
c. E ⊆ R × R dada por xEy ↔ x− y es un entero
d. F ⊆ R2 × R2 dada por ( x , y ) F ( u , v ) ↔ x 2 + y 2 ≤ u2 +v 2

e.R={ ( a , c ) , ( a , a ) , ( c , c ) , ( b , c ) , ( d , d ) , ( c , a ) } definida en A={a , b , c , d }

6. si se define la “composición de relaciones” R y S en la forma
S ∘ R={( x , z)∨ (∃ y ) ( ( x , y ) ∈ R ∧ ( y , z ) ∈ S ) }
Demostrar que una relación R definida en Aes transitiva si y solo si R ∘ R ⊆ R
1. R transitiva en A Dado
2. ( x , z )∈ R ∘ R Hipotesis para probar contenencia
3. ↔(∃ y )(( x , y) ∈ R ∧( y , z )∈ R) D. Composición (2)
4.→(x , z )∈ R D. Relación transitiva (3)
5.R ∘ R ⊆ R D. Contenencia (2,4)

1.R ∘ R ⊆ R Dado
2.( x , y )∈ R ∧( y , z)∈ R Hipotesis para probar transitiva
3.→(x , z )∈ R ∘ R D. Composición de relaciones (2)
4.→(x , z )∈ R Por 1 y 3
5.R es transitiva Por 2 y 4
7. De un ejemplo de una relación que no sea simétrica ni antisimétrica
Si A={2,4,5,6,7 } y R : A → A es una relación definida por
R={( 2,2 ) , ( 5,4 ) , ( 5,6 ) , ( 6,5 ) , ( 7,7 ) } entonces R no es simétrica, debido a que algunas de sus
parejas tienen su reciproco y otras no; R no es antisimétrica por que las parejas que
tienen su reciproco incumplen la desigualdad, por ejemplo 2 ≠2 lo cual no es cierto.
8. Pruebe que, si una relación en A es simultáneamente simétrica, antisimétrica y reflexiva
en A, entonces es la relación de igualdad en A
1. R es reflexiva, simétrica y antisimétrica Dado
2. Para todo x ∈ A D. Relación reflexiva
xRx
3. Sea y ∈ A tal que Hipotesis para demostrar R=∆ A
xRy
4. i) y=x o ii) y ≠ x Principio del tercio excluido (3)
5. Si y ≠ x Caso ii (4)
6. yRx D. Relación simétrica
7. y R x D. Relación antisimétrica
8. yRx ∧ yRx Conjunción
9. x= y Principio de reducción al absurdo
10. R=∆ A D. Relación de igualdad (3,1)

9. ¿Sera cierto que, si Y posee n elementos, entonces el conjunto

{( M , N )∈ Y × Y ∨M ⊆ N } posee 3n elementos? De la razón de la respuesta.

6. sean f : A → B una función y M , M 1 , M 2 subconjuntos de A. pruebe que

f. ( ∀ M ∈ P ( A ))