[obm-l] formalização

2009-02-01 Por tôpico Murilo Krell
Pessoal estou com dificuldades em formalizar as seguintes questões, alguém poderia me dar uma forcinha? a - Se AC R é aberto e a E A então A - {a} é aberto b - Considere as funções f,g,h: R-R, dadas por f(x) = ax+b (a#0), g(x) = x^2 e h(x) = x^3. Mostre que para cada A C R aberto, f-1(A), g-1(A)

[obm-l] formalização

2009-01-17 Por tôpico Murilo Krell
Pessoal, numa prova de análise, para eu no meio da questão por exemplo, considerar lim (logn) - +00 posso justificar isso de que forma? bastaria eu dizer que a função log é crescente? abs, Murilo

Re: [obm-l] formalização

2009-01-17 Por tôpico Lucas Prado Melo
On Sat, Jan 17, 2009 at 8:17 PM, Murilo Krell murilo.kr...@gmail.com wrote: Pessoal, numa prova de análise, para eu no meio da questão por exemplo, considerar lim (logn) - +00 posso justificar isso de que forma? bastaria eu dizer que a função log é crescente? Não basta dizer que é

[obm-l] Re: [obm-l] formalização

2009-01-17 Por tôpico Bruno França dos Reis
Não basta dizer que é crescente... Há funções crescentes e limitadas. Exemplo: arctg é crescente, entretanto lim[n-+oo] (arctg n) é finito. Para provar que o limite é +oo, vc precisa provar que para cada real M, existe um natural N tal que n N == log n M. Para o log isso é muito simples. Para