[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [obm-l] Equação Funcional
- To: obm-l@xxxxxxxxxxxxxx
- Subject: Re: [obm-l] Equação Funcional
- From: "Marcelo Salhab Brogliato" <msbrogli@xxxxxxxxx>
- Date: Wed, 25 Jul 2007 02:10:49 -0300
- DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=Ko0qtLnR3LqRszZamWAvg1/5Yu0kXb8e7//hb229/wU6Xuacd2Z4ens3vs6ASmxUBKPUkg1zomshJQoUlG8YbicUPYZrAnEzfTwQB4gE14zoT7cILOpe23llQkdop28vOW6MbozopiNrs6Rg2P5ljCeNL0OKCJyfshsKCekTck4=
- DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=eFhucwCXniBATSInouF4vl/Oqe6zueK0/Z2+tHZjjgzZl4PGG5U+YMSlOvWJSdQ1N+FeyH79VCNforhuhRrp+ApAfw1q9e0qX8zRKy5mpf30W9laee1fPf0WZfhsbMeqC778xIUrEDetjbj6T9SoU2hloe4BVLrOzGQ5umIo748=
- In-Reply-To: <20070724194024.9797.qmail@web33805.mail.mud.yahoo.com>
- References: <20070724194024.9797.qmail@web33805.mail.mud.yahoo.com>
- Reply-To: obm-l@xxxxxxxxxxxxxx
- Sender: owner-obm-l@xxxxxxxxxxxxxx
Olá Klaus,
vamos provar os seguintes teoremas:
se fog é injetora, entao g também é
demo: vamos dizer que g(x1)=g(x2) ... aplicando f, temos: f(g(x1)) = f(g(x2))..
como fog é injetora, temos que x1=x2.. logo: se g(x1)=g(x2) temos que
x1=x2... cqd.
se fog é sobrejetora, entao f tambem é
demo: como fog é sobrejetora, temos que para todo y, existe x tal que:
f(g(x)) = y..
logo, para todo y, existe z = g(x), tal que f(z) = y .. logo f é
sobrejetora.. cqd.
na sua questao, temos que ax+b é bijetora, logo, valem ambos os teoremas..
e existe x0, tal que f(x0) = 0 pois f é sobrejetora..
agora, sobre f ser bijetora, vamos ver:
queremos provar que, se f é injetora e fog é bijetora, entao g é sobrejetora..
dos teoremas acima, ja sabemos que g é injetora e f é sobrejetora..
como fog é sobrejetora, temos que para todo y existe x tal que f(g(x)) = y
como f é bijetiva, ela admite inversa e: g(x) = f^-1(y)...
mas f^-1 tambem é bijetiva.. assim, para todo z existe x tal que g(x)
= z.. cqd [realmente, nao sei c a demo esta certa.. peco que os
colegas da lista deem uma olhada]
abracos,
Salhab
On 7/24/07, Klaus Ferraz <klausferraz@yahoo.com.br> wrote:
>
> Por que quando tenho f(g(x)) = ax+b , a<>0 eu posso garantir que f(x) é
> sobrejetora e g(x) é injetora. E também que existe x0 tal que f(x0)=0? E por
> que q se f for bijetora g tb é?
> Grato.
> Flickr agora em português. Você cria, todo mundo vê. Saiba mais.
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================