G L 01 MAT 0111: Abarito Da Ista de
G L 01 MAT 0111: Abarito Da Ista de
Solução: uma das possíveis soluções é: R1 = {( a, 1), ( a, 5), (b, 7), (c, 41)}, ou R1 =
{( a, 1), (b, 5), (b, 7), (c, 41)}, ou R1 = {( a, 1), (b, 5), (c, 7), (c, 41)}, ou ainda qualquer
conjunto de pares ordenados em que todo elemento de A figure, no mínimo uma vez
como primeira coordenada (a fim de a relação ser total) e pelo menos um ele-
mento de A figure mais de uma vez como primeira coordenada (para a relação
não ser unívoca).
(b) Uma relação R2 de B em A que seja total mas não seja unívoca;
Solução: uma das possíveis soluções é: R2 = {(1, a), (1, b), (5, a), (7, a), (41, b)}, ou
R2 = {(1, a), (5, b), (7, a), (7, c), (41, b)}, ou R2 = {(1, c), (5, b), (7, b), (41, a), (41, b)},
ou ainda qualquer conjunto de pares ordenados em que todo elemento de B fi-
gure, no mínimo uma vez como primeira coordenada (a fim de a relação ser total)
e pelo menos um elemento de B figure mais de uma vez como primeira coordenada
(para a relação não ser unívoca).
(c) Uma relação R3 de A em B que seja unívoca mas não seja total;
Solução: uma das possíveis soluções é: R3 = {(1, a), (c, 7)}, ou R3 = {( a, 5), (c, 1)},
ou R3 = {(b, 1)}, ou ainda qualquer conjunto de pares ordenados em que pelo menos
um elemento de A não figure como primeira coordenada (a fim de a relação não
ser total) e todo elemento de A corresponda a no máximo um elemento de B (para
a relação ser unívoca).
∗ [email protected]
1
(d) Uma relação R4 de A em A que seja unívoca e total.
Solução: uma das possíveis soluções é: R4 = {( a, a), (b, b), (c, c)}, ou R4 = {( a, b), (b, c), (c, a)},
ou R4 = {( a, c), (b, a), (c, a)}, ou ainda qualquer conjunto de pares ordenados em
que todo elemento de A apareça uma única vez como primeira coordenada, cada
um deles correspondendo a um único elemento de A.
(2) Considere os conjuntos:
A = {−5, −4, −3, −2, −1, 0, 1, 2, 3, 4, 5} e B = {0, 1, 4, 9, 16, 25, 36}.
Descreva explicitamente as relações:
(i) R de A em B dada por:{( a, b)|b = a2 }.
Solução:
R = {(0, 0), (−5, 25), (5, 25), (−4, 16), (4, 16), (−3, 9), (3, 9), (−2, 4), (2, 4), (−1, 1), (1, 1)}
Solução:
S = {(0, 0), (1, 1), (1, −1), (4, 2), (4, −2), (9, −3), (9, 3), (16, −4), (16, 4), (25, −5), (25, 5)}
Solução:
R = {(0, 0), (−5, 25), (5, 25), (−4, 16), (4, 16), (−3, 9), (3, 9), (−2, 4), (2, 4), (−1, 1), (1, 1)}
é função, uma vez que é unívoca (cada elemento de A aparece no máximo uma vez
como primeira coordenada) e total (todo elemento de A aparece associado a, no mínimo
um elemento de B). Todavia,
S = {(0, 0), (1, 1), (1, −1), (4, 2), (4, −2), (9, −3), (9, 3), (16, −4), (16, 4), (25, −5), (25, 5)}
não é função por não ser uma relação unívoca: por exemplo, temos dois pares ordenados
distintos com as primeiras coordenadas iguais, (4, 2), (4, −2).
(3) Escreva o conjunto de pares ordenados que cada diagrama representa, explicite o domí-
nio, o contradomínio e conjunto imagem de cada relação e, em seguida, classifique as
relações quanto a cada um dos seguintes atributos: univocidade, totalidade, injetividade,
sobrejetividade e bijetividade.
2
A B E F
R a Q x
1 −1
1 b y
−2 c z
4 2 (c)
w Q=
(a)
R = {(1, −1), (1, 1), (4, −2), (4, 2)}. {( a, z), ( a, w), (b, y), (c, x )}. Não-
Não-unívoca, total, não injetora, so- unívoca, total, sobrejetora e injetora;
brejetora.
C D G H
S x a T
0 y o α
z
(b) 1 w S = (d)
ω T =
{(0, x ), (1, y)}. Unívoca, total, injetora {( a, ω ), (o, α)}. Unívoca, total, injetora
e não-sobrejetora. e sobrejetora.
A B
F
x1 y1
x2 y2
x3 y3
x4 y4
Solução:
F = {( x1 , y3 ), ( x2 , y2 ), ( x3 , y1 ), ( x4 , y3 )}.
3
e não é sobrejetora porque existe um elemento do contradomínio (a saber, y4 ) que
não é oriundo de nenhum elemento de F .
(c) Determinar a pré-imagem, pela relação F , dos seguintes conjuntos:
(i)
g: − π2 , π2 → [−1, 1]
θ 7→ sin(θ )
4
y
Graf ( g)
2
1
− π2
−2 −1 1 π
2
2 x
−1
−2
−2 −1 1 2 x
−1
−2
Solução: injetora mas não sobrejetora: toda reta vertical de equação x = x0 , com
x0 ∈ dom (h) = R \ {0} intercepta o gráfico de h em exatamente em um ponto.
No entanto, a reta horizontal de equação y = y0 não intercepta o gráfico de h em
nenhum ponto, o que significa que, embora 0 esteja no contradomínio, 0 não está
na imagem de h.
(iii)
f : [0, ∞[ → R+
x 7→ x2 + 1
5
y
4
1 Graf ( f )
y = 12
−2 −1 1 2 x
−1
Solução: injetora, pois toda reta vertical de equação x = x0 , com x0 ∈ dom ( f ) = [0, ∞[
intercepta o gráfico de f em exatamente em um ponto. Não é sobrejetora pois, por
exemplo, ainda que 21 ∈ R+ , a reta horizontal de equação y = 12 não intercepta o gráfico
de f em nenhum ponto.
(iv)
` : ]0, ∞[ → R
x 7→ log( x )
y
4
2 Graf (`)
−2 −1 1 2 3 4 x
−1
−2
Solução: bijetora: toda reta horizontal de equação
y = y0 , com y0 ∈ cod (`) = R intercepta o gráfico de ` em exatamente em um ponto.
(a)
f : R → R g: R → R
x 7→ x + 1 2
x 7→ x + x + 1
Solução: Como cod ( f ) = dom ( g), existe g ◦ f , e como cod ( g) = dom ( f ), também
existe f ◦ g. Quanto às leis, temos:
6
( f ◦ g)( x ) = f ( g( x )) = f ( x2 + x + 1) = ( x2 + x + 1) + 1 = x2 + x + 2
( g ◦ f )( x ) = g( f ( x )) = g( x + 1) = ( x + 1)2 + ( x + 1) + 1 = x2 + 3x + 3
(b)
f : R → R g: R → R
x 7→ 2x + 1 x 7→ 2x + 1
Solução: Como cod ( f ) = dom ( g), existe g ◦ f , e como cod ( g) = dom ( f ), também
existe f ◦ g. Quanto às leis, temos:
( g ◦ f )( x ) = g( f ( x )) = g(2x + 1) = 2(2x + 1) + 1 = 4x + 3
(c)
f : R → ( R
g: R → R
x + 3, se x ≤ 3
x 7→ x 7→ 2x − 7
x − 4, se x > 3
Solução: Como cod ( f ) = dom ( g), existe g ◦ f , e como cod ( g) = dom ( f ), também
existe f ◦ g. Quanto às leis, temos:
( (
g( x ) + 3, se g( x ) ≤ 3 (2x − 7) + 3, se 2x − 7 ≤ 3
( f ◦ g)( x ) = f ( g( x )) = = =
g( x ) − 4, se g( x ) > 3 (2x − 7) − 4, se 2x − 7 > 3
(
2x − 4, se x ≤ 5
=
2x − 11, se x > 5
( (
g( x + 3), se x ≤ 3 2( x + 3) − 7, se x ≤ 3
( g ◦ f )( x ) = g( f ( x )) = = =
g( x − 4), se x > 3 2( x − 4) − 7, se x > 3
7
(
2x − 1, se x ≤ 3
=
2x − 15, se x > 3
m h g f
] − ∞, −1[∪]1, ∞[ −→ [2, ∞[ −→ [log(2), ∞[ −→ [−1, 1] −→ R
x 2 2 2
7→ x + 1 7→ log( x + 1) 7→ sin(log( x + 1)) 7→ e sin ( log ( x2 +1))
ou seja,
F = f ◦ g ◦ h ◦ m,
8
• Solução: (b) f (w) = sin(w), w ∈ R, g(z) = 2z, z ∈ R, h( x ) = log( x ), x ∈ R∗+ , m( x ) =
x − 1, x ∈]1, ∞[
m h g f
]1, ∞[ → R∗+ → R → R → R
x 7→ x − 1 7→ log( x − 1) 7→ 2 · log( x − 1) 7→ sin(2 · log( x − 1))
√ √ √
• Solução: (c) h(z) = z3 − 3, z ∈] 3 2, 3 3[∪] 3 3, ∞[, g(y) = log(y), y ∈ R∗+ \ {1}, f ( x ) =
1/x, x ∈ R \ {0}
√ √ √ h g f
] 3 2, 3 3[∪] 3 3, ∞[ → R∗+ \ {1} → R \ {0} R
→
1
x 7→ x3 − 2 7→ log( x3 − 2) 7→
log( x3 − 2)
h g f
R \ {n · π
8 | n ∈ Z} → R \ {n · π2 | n ∈ Z} → R \ {0} → R
3
x 7→ 4x 7→ 2 · (sin(4x ) · cos(4x )) 7→ 2·(sin(4x )·cos(4x ))
m h g f
R∗+ → R∗+ → R → R → R
x 7→ 2x 7→ log(2x ) 7→ sin(log(2x )) 7→ e sin ( log (2x ))
√ √ h h g
] − ∞, − 2[∪] 2, ∞[ → R∗+ R∗+
→ → R
1 1
x 7→ x2 − 2 7→ 2 7→ log
x −2 x2 − 2