Pular para o conteúdo principal

Curso de Análise (Elon) - Cap. 3 Questão 4

Capítulo 3 - Questão 4

Livro Curso de Análise - Vol.1 - Elon

Capítulo 3 - Questão 4

Fernando Francisco de Sousa Filho

12 de novembro de 2013

Sejam K, L corpos. Uma função f:K → L chama-se um homomorfismo quando se tem f(x + y) = f(x) + f(y) e f(xy) = f(x)⋅f(y), quaisquer que sejam x, y ∈ K.
i) Dado um homomorfismo f:K → L, prove que f(0) = 0.
Prova: f(0) = f(0 + 0) = f(0) + f(0) ⇒ f(0) = 2f(0). Se f(0) ≠ 0,  pela lei do corte, chegamos a 1 = 2 (Absurdo!). Logo, f(0) = 0.
ii) Prove também que ou f(x) = 0 para todo x ∈ K ou então f(1) = 1 e f é injetiva.
Prova: Suponhamos f(x) = 0 para todo x ∈ K, então teremos
a) f(x + y) = 0, mas f(x + y) = f(x) + f(y) = 0 + 0 = 0.
b)f(xy) = 0, mas f(xy) = f(x)⋅f(y) = 0⋅0 = 0.
Logo, confirma-se a primeira possibilidade.
Vamos mostrar, então, que, se f(1) ≠ 0 então f(1) = 1.Suponhamos f(1) ≠ 0. Temos então que f(1) = f(1⋅1) = f(1)⋅f(1). Desta forma, supondo f(1) ≠ 0,  pela lei do corte, encontramos que f(1) = 1.
Vamos mostrar, agora, que, se f(1) = 1 e x ≠ 0,  então f(x) ≠ 0. Suponhamos que x ≠ 0 e f(x) = 0. Como x ∈ K, então existe x − 1 ∈ K tal que xx − 1 = 1. Façamos f(xx − 1) = f(x)⋅f(x − 1) = 0⋅f(x − 1) = 0. Mas isto é um absurdo, visto que f(xx − 1) = f(1) = 1. Concluímos, portanto, que se x ≠ 0, f(x) ≠ 0.
Mostremos, por fim, a injetividade de f. Considere x, y ∈ K com x ≠ y e x ≠ 0.
a) Se (x + y) = 0 então f(x + y) = 0,  mas f(x + y) = f(x) + f(y) = 0 ⇒ f(x) =  − f(y), ou seja, f(x) ≠ f(y).
b) Se (x − y) = 0 então (x − y) = 0 ⇒ x = y, e estamos considerando apenas os casos em que x ≠ y.
c) Por fim, consideremos a seguinte situação: x ≠ y, (x − y) ≠ 0 e (x + y) ≠ 0. Vamos usar o fato de que, nesta situação, (x + y)(x − y) ≠ 0. Suponhamos, por absurdo, que f não é injetiva, ou seja, que tenhamos x ≠ y e f(x) = f(y). Consideremosf[(x + y)(x − y)] = f(x2 − y2) = f(x)2 − f(y)2 = f(x)2 − f(x)2 = 0. Isto contradiz o que mostramos no parágrafo anterior, pois (x + y)(x − y) ≠ 0 ⇒ f[(x + y)(x − y)] ≠ 0. Logo, f é injetiva.

Comentários

Postagens mais visitadas deste blog

O conjunto das raízes quadradas de 2 por falta não possui máximo

O conjunto das raízes quadradas de 2 por falta não possui máximo O conjunto das raízes quadradas de 2 por falta não possui máximo Fernando Francisco de Sousa Filho 05/07/2016 Exercício: Prove que o conjunto E das raízes quadradas de 2 por falta não tem máximo. Seja r um número tal que r ²  < 2 . Temos de mostrar que, qualquer que seja o número r , existe um outro número s tal que ⎧ ⎨ ⎩ r  <  s      r ²  <  s ²  < 2  A ideia inicial é tomarmos s  =  r  +  ( 1 )/( n ) , com n  ∈ ℕ , n  > 0 . Fazendo assim, garantimos que teremos r  <  s . Vamos, então, procurar determinar, dado um r qualquer com r ²  < 2 , um valor de n de tal forma que r ²  <  s ²  < 2 . Agora, tanhamos fé... s ²  =  r ²  +  ( 2 r )/( n )  +  ( 1 )/( n ² )  < 2 Desenvolvendo a inequação, temos: r ²  +  ( 2 r )/( n )  +  ( 1 )/( n ² )  < 2 ⇒  r ²  +  ⎛ ⎝ 2 r  +  ( 1 )/( n ) ⎞ ⎠ ( 1 )/( n )  < 2 Aqui entra um ponto importante

Responda rápido: quanto é 89 x 91?

Você já notou que, na tabuada, que 7 x 9 = 63 e que 8² = 64. Notou também que 3 x 5 = 15 e que 4² = 16. A explicação desta simples constatação e sua generalização está nos produtos notáveis, mas especificamente na famosa relação que nos diz que (a + b)(a - b) = a² - b², logo, se tivermos b = 1, teremos que (a + 1)(a - 1) = a² - 1, já que 1² = 1. Desta forma, a nossa resposta à pergunta inicial seria 90² - 1 = 8100 - 1 = 8099. Não é interessante? Você já havia percebido esta relação na nossa tabuada? Esta e outras conclusões interessantes podem ser encontradas no livro "Tabuada para quem odeia decorar" que encontra-se disponível na loja da Uiclap, link abaixo. O preço? se comparado ao benefício, você verá que não custa praticamente nada.  https://loja.uiclap.com/titulo/ua29201 O Livro "Tabuada para quem odeia decorar" é praticamente um caderno de exercícios sobre a operação de multiplicação. Ele trata, inicialmente, de métodos para aprender a tabuada com o mínimo de