[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [obm-l] Dúvida Continuidade
- To: obm-l@xxxxxxxxxxxxxx
- Subject: Re: [obm-l] Dúvida Continuidade
- From: "Marcelo Salhab Brogliato" <msbrogli@xxxxxxxxx>
- Date: Thu, 12 Jul 2007 03:25:40 -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=Gol3yJGTDJ96X2IMHd/XX6aEX5y3wzTZ8XF4w+VgtF03SWxsLRpp/pKiJ7hX1nvik1IsjFbSWJjj7VCDkxQbYUaIINk42k4m99gLfoqSNiemHt+4xbvf/UtbNrtivq71FE8gWwqhZePG+de9E/+2FogAL8Ur6E0K9iDO2W9nQRk=
- 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=qK6buIoh7xffJCQOwCxTZ4EX+//zQ/3agkKyxqpi5GcoYWkNkUL95vjkyW5USU/B91L9AZomoHhp/EVsuduE/QSg6zG7Ve4UHy8qi8al3SQQLc2v5h/yCnspTRuV0ONxrPXN2Xddn/Ur6yH+EqrepJ1gEY1Pf0ysd+iZ740oTV4=
- In-Reply-To: <39794f250707110710m1e8268ccx61aa65ea657c7c36@mail.gmail.com>
- References: <39794f250707110710m1e8268ccx61aa65ea657c7c36@mail.gmail.com>
- Reply-To: obm-l@xxxxxxxxxxxxxx
- Sender: owner-obm-l@xxxxxxxxxxxxxx
Olá Kleber,
vamos dar uns chutes para x e y e encontrar umas propriedades dessas funcoes:
y=0... f(x+0) = f(x) + f(0) .... f(0) = 0
x=-y... f(x-x) = f(x) + f(-x) .... f(-x) = -f(x) [funcao impar]
x=y... f(x+x) = f(x) + f(x) .... f(2x) = 2f(x) [por inducao,
facilmente mostramos que f(nx) = nf(x) para todo n natural]
como f(nx) = nf(x), para n natural, e f(-x) = -f(x), temos que:
f(-nx) = -f(nx) = -nf(x) ... assim, podemos extender para os inteiros..
vamos dizer que: p/q = a, mdc(p,q)=1, p, q inteiros..
p = aq ..assim: f(px) = pf(x)... f(aqx) = pf(x) ... mas q é inteiro,
logo: f(qax) = qf(ax)
assim: qf(ax) = pf(x) .... f(ax) = p/q f(x) = af(x) .... logo, vale
para os racionais tb...
-----
[daqui para baixo (até os proximos -----) estou chutando.. acredito
que alguem aki da lista pode confirmar o q estou dizendo ou me
corrigir!]
e agora? como generalizar isso para os irracionais?
acredito que é justamente usando o seu exercicio...
supondo que lim {x->a} f(x) = f(a)..
vamos particionar os reais.. R = Q U R\Q ...
para x E Q, temos: lim {x->a} f(x) = lim{k->a} f(kx) = lim{k->a} kf(x) = af(x)
para x E R\Q, temos que ter: lim {x->a} f(x) = af(x), pois, caso
contrario, f(x) nao seria continua em todos os pontos.
logo: f(ax) = af(x) para todo a real...
assim: f(x) = f(1*x) = x*f(1) .... f(x) = kx, onde k=f(1)...
portanto, a unica funcao com essas propriedades é: f(x) = kx...
------
agora o que foi pedido:
vamos supor que lim {x->0} f(x) = f(0) [continuidade na origem]
isto é: para todo eps>0, existe um delta>0, tal que: |x| < delta
implica: |f(x)| < eps
fazendo x = y-a, temos: |y-a| < delta implica |f(y-a)| = |f(y) +
f(-a)| = |f(y) - f(a)| < eps..
logo: lim {x->a} f(x) = f(a)... (cqd)
abracos,
Salhab
On 7/11/07, Kleber Bastos <kleber09@gmail.com> wrote:
> Seja f: R->R tq
>
> f(x+y) = f(x) + f(y) ( para todo x,y E R )
>
> Mostrar que , se f é continua na origem, então f é contínua em R.
>
>
> --
> Kleber B. Bastos
=========================================================================
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
=========================================================================