Re: [obm-l] RES: [obm-l] RES: [obm-l] d�vida sobre Limite

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxx>]

On Fri, Jun 29, 2007 at 11:44:35AM -0300, Artur Costa Steiner wrote:
> Eu acredito que um bom motivo para se definir a funcao exponencial via series
> de potencias eh que esta definicao vale tambem no corpo dos complexos. Talvez
> este tambem seja este o motivo pelo qual, frequentemente, definem-se as
> chamadas funcoes trigonometricas por series de potencias. No livro de Analise
> Complexa do Ahlfors, o qual jah tive a oportunidade de estudar alguns
> capitulos, as definicoes sao por series de potencias. Segundo Ahlfors, pelo
> menos ao que me pareceu, o conceito rigoroso do argumento de um complexo, em
> representacao polar, nao deve ser considerado como angulo. 

A defini��o via s�rie � de fato muito boa para estender a defini��o
de exp para os complexos, mas definitivamente n�o � esta a �nica forma
de proceder, veja abaixo. Se � a melhor forma � quest�o de opini�o.

> Uma vez conversei com um matematico de real conhecimento e ele me disse que,
> embora poucos se deem conta, definir a funcao seno (ou cosseno) pelo circulo
> trigonometrico ou por "cateto oposto sobre hipotenusa", como aprendi no
> antigo cient�fico dos anos 60, eh muito mais complicado do que parece, porque
> a definicao formal de comprimento nao eh assim tao simples, exigindo, na
> realidade, uma integral. As provas de continuidade e de derivabilidade das
> funcoes ditas trigometricas basiam-se na conhecida desigualdade
> |sen(x)| <= > |x|, com igualdade se e somente se x=0, e esta eh usualmente
> provada com base no famos postulado da geometria Euclidiana segundo o qual a
> menor distancia entre 2 pontos eh o segmento de reta que os une. 

Sob um ponto de vista l�gico, as considera��es s�o v�lidas mas exageradas:
voc� de fato precisa de integral (no m�nimo) para definir o comprimento
de uma curva qualquer. No caso em quest�o, entretanto, estamos calculando
o comprimento apenas de segmentos de reta e de c�rculo. Isto pode ser feito
sem integral.

Outro ponto de vista importante � o pedag�gico. � rotina apresentar na escola
de maneira informal conceitos que para uma apresenta��o formal exigem 
matem�tica muito al�m do que os alunos conhecem. Comprimento de uma curva
e �rea de uma regi�o s�o bons exemplos.

> Nao estou certo, a definicao da exponencial via EDO pode ser extendida aos
> complexos?

A defini��o via EDO � perfeitamente adequada para exponencial de complexos e
matrizes: ela � a defini��o de exponencial de uma �lgebra de Lie g
para o grupo de Lie associado G: se
f: R -> G, f(0) = e, f'(t) = f(t) h (onde h � um elemento de g)
ent�o f(t) = exp(t h).

> As definicoes via inverso de log e elementar restrigem-se aos
> reais, certo?

A defini��o via inverso do log funciona perfeitamente bem para complexos:
integre a fun��o holomorfa f(z) = 1/z (em um aberto simplesmente conexo
que n�o contenha a origem) para obter a fun�ao holomorfa g(z) = log(z).
A inversa de g � a restri��o da exponencial a algum aberto e prolongamento
anal�tico estende a exponencial para todo o plano complexo.

Para a defini��o elementar, veja abaixo.

> No caso da definicao elementar, nao � necessario, para que a
> funcao fique bem definida, acrescentar a hipotese de que seja continua em
> pelo menos 1 elemento de R?

N�o. Para todo a > 1 existe uma �nica fun��o crescente f: R -> R com
f(0) = 1, f(1) = a, f(x+y) = f(x)*f(y). Talvez voc� n�o tenha atentado para
a hip�tese (elementar, i.e., dentro da matem�tica que um estudante de
ensino m�dio conhece) de f ser crescente.

A hip�tese de f ser crescente de fato n�o faz sentido para os complexos.
Acho que a trilha mais fiel � constru��o elementar seria provar que f
� real anal�tica e tomar seu prolongamento anal�tico para o plano complexo.

[]s, N.
=========================================================================
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
=========================================================================