问题
Walk halfway to a wall. Then walk half of what is left, then half of that, and so on, forever. Do you ever reach the wall? How can infinitely many steps add up to a finite distance?
先动手做实验,再往下读。探索没有错误的方式。
实验
级数与部分和
把各项逐一相加。部分和 Sₙ 会趋于稳定,还是不断增大?
- 部分和 Sₙ
- 各项 aₙ
S30 = a1 + … + a30 = 1
屏幕上的部分和只是证据,永远不是证明:一个级数可能看起来已经稳定却仍然发散,调和级数就是如此。
提示(如果你需要)
这是怎么回事
这是怎么回事
After steps you have walked
of the way, so you are from the wall. At no finite stage have you arrived. But the gap becomes smaller than any distance you care to name: smaller than a millimetre after 10 steps of a metre, smaller than the width of an atom after about 34. Mathematicians define the sum of infinitely many numbers as the number the running totals get closer and closer to — the limit of the partial sums. Here that limit is , so
The Greek philosopher Zeno of Elea used puzzles like this one, about 2,500 years ago, to argue that motion is impossible. The modern answer — limits, and the real numbers that guarantee limits exist — took until the nineteenth century to make precise.
Not every infinite sum is finite. The harmonic series grows without bound, even though its terms shrink to zero; Nicole Oresme proved this in the fourteenth century by grouping its terms. Telling these cases apart is the beginning of analysis.
由此通向何处
- 九至十二年级 · 课程已上线Sequences and seriesArithmetic and geometric sequences, summation notation, sums of finite series, recursive definitions, and an informal look at convergence of infinite geometric series.
- 本科高年级 · 课程已上线Real analysisRigorous analysis on the real line: completeness, sequences and series, limits and continuity, uniform convergence, differentiation and the Riemann integral, with proofs of the theorems calculus relies on.
- 研究生一年级 · 课程已上线Measure theory and integrationσ-algebras and measures, Lebesgue measure, measurable functions and the Lebesgue integral, the monotone and dominated convergence theorems, product measures and Fubini–Tonelli, and Lᵖ spaces.