极限正式定义首次发表出处及epsilon-delta极限定义原始文献查询

嗨，这个问题问得特别到位——很多人都知道Bolzano是最早尝试严格化极限定义的数学家之一，但他的相关文献确实不太好找，不少关键手稿都是在他去世后才正式出版的。下面给你梳理一下核心的文献信息：

• 1817年，Bolzano发表了《Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwei Werthen, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege》（可以译为《关于方程在两个具有相反结果的数值之间至少有一个实根的纯分析证明》）。在这份公开出版的论文里，他已经提出了接近epsilon-delta风格的极限定义——虽然当时没用ε和δ这两个符号，而是用“任意小的量”这类表述，但核心逻辑和现代定义完全一致：当x趋近于a时，f(x)趋近于L，意味着只要x和a的差距足够小（且x≠a），就能让f(x)和L的差小于任意预先给定的小量。

• 而更贴近现代标准epsilon-delta形式的定义，其实藏在Bolzano1830年代撰写的未发表手稿《Functionenlehre》（《函数论》）里。这份手稿直到1930年才被整理出版，里面他用了更清晰的、类似“给定任意小的数ε，存在一个数δ，使得当|x - a| < δ时，|f(x) - L| < ε”的表述来定义极限，只是符号细节和现代略有不同，核心框架已经完全成型。

另外补充一点：虽然Bolzano是早期开拓者，但真正让epsilon-delta定义成为数学界通用标准的是Weierstrass，不过你问的是Bolzano的原始文献，上面这两份就是关键啦。

备注：内容来源于stack exchange，提问作者Jenna Sickau