Definição de limite (ε, δ)
formalização da noção de limite / De Wikipedia, a enciclopédia encyclopedia
No cálculo, a definição de limite (ε, δ) ("definição de limite epsilon-delta") ou definição formal de limite é uma formalização da definição de limite. O conceito é devido a Augustin-Louis Cauchy, que nunca deu uma definição de limite () em seu Cours d'Analyse, mas ocasionalmente usou argumentos em provas. Ela foi primeiro dada como uma definição formal por Bernard Bolzano em 1817, e a afirmação moderna definitiva foi finalmente fornecida por Karl Weierstrass.[1][2] Faz rigorosa a seguinte definição informal: a expressão dependente f(x) aproxima-se do valor L à medida que a variável x se aproxima do valor c se f(x) pode ser considerada tão próxima quanto desejado de L tomando x suficientemente próximo de c.