極限理論的建立——極限理論形成歷程中的兩個困惑
隨著研究問題的深入與廣泛,數學家們越來越感到建立嚴謹的極限理論的必要性,下面再給出兩個困擾數學家的問題。
第一個問題,如何判斷一個函式是否存在導數。
用現在的語言,一個函式在某一點不存在導數被稱為這個函式在這一點不可導。對於分段函式,在斷點是不可導的,不僅如此,對於連續函式也出現了這樣的情況。對於
瞬時速度=dy/dx=lim(△t→0)[(f(t
0
+△t)-f(t
0
))/△t]
當△t趨於0時,t
0
+△t從正方向趨於t
0
。但是,瞬時速度應當是對稱的,
由負方向趨於t
0
時應當得到同樣的結果,於是下面的定義也應當成立,即
瞬時速度=dy/dx=lim(△t→0)[(f(t
0
)-f(t
0-
△t))/△t]
這樣就引發了問題:連續函式也可能是不可導的。比如,函式f(x)=|x|是一個連續函式,但在0點是不可導的,令t
0
=0,那麼由正方向(f(t
0
+△t)-f(t
0
))/△t=1;由負方向f(t
0
)-f(t
0-
△t))/△t=-1。更讓數學家們感到震驚的是,德國數學家魏爾斯特拉斯在1861年給出了一個處處連續但是處處不可導的例子,這個函式是
F(x)=∞∑(n=0)b
n
cos(a
n
πx)
其中a是奇數,b是取值於(0,1)滿足ab>1+3π/2的常數。這就意味著,存在一條處處沒有切線的連續曲線,這與人們的幾何直觀相悖。這時數學家意識到,完全憑藉幾何直觀來分析問題是不夠的,那麼,應當如何來解釋這些問題呢?
第二個問題,如何判斷一個無窮級數是否收斂。
有時候,一個函式或者無理數可以由一些簡單函式或者有理數的和的形式表示,當然,這個和可以是無窮,我們稱這樣的和為級數或者無窮級數。比如F(x)=∞∑(n=0)b
n
cos(a
n
∏x)就是一個無窮級數,而二項式展開是我們熟知的級數,即
(x+y)
n
=x
n
+a
1
x
n-1
y+a
2
x
n-2
y
2
+。。。+a
n-1
xy
n-1
+y
n
係數a
1
,a
2
,。。。,a
n-1
被稱為二項係數或者楊輝三角,即
a
k
=n(n-1)。。。(n-k+1)/k!
其中k=1,。。。n-1,k!表示由1到k的整數連乘。很顯然,可以對級數中的項進行逐項微分或積分,這樣就可以把複雜問題化簡。牛頓對於二項式展開的使用極為熟練,他利用一般形式的二項式展開和逐項積分,得到了描述三角函式的無窮級數:
Sinx=x-x
3
/3!+x
5
/5!-x
7
/7!+。。。+(-1)
n
x
2n+1
/(2n+1)!+。。。
Cosx=1-x
2
/2!+x
4
/4!-x
6
/6!+。。。+(-1)
n
x
2n
/(2n)!+。。。
透過逐項微分容易知道,sinx的導數可以用cosx表示,cosx的導數可以由sinx表示,即
(sinx)’=cosx和(cosx)’=-sinx。利用這個結果可以得到反正切函式的導數,在利用微積分基本定理可以得到下面的結果:
arctanb-arctan0=∫
b
0
[1/(1+x
2
)]dx
因為arctan0=0,當b=1時arctanb=π/4,於是從上式可以得到
π/4=∫
1
0
[1/(1+x
2
)]dx
對於(1+x
2
)
-1
用二項式展開的一般公式可以得到
1/(1+x
2
)=1-x
2
+x
4
-x
6
+x
8
-x
10
+。。。
我們已經知道(x
m
)’=mx
m-1
,由微積分基本定理,對上式逐項從0到1積分,再利用
π/4=∫
1
0
[1/(1+x
2
)]dx 可以得到著名的用交錯級數表示∏的公式
π/4=1/1-1/3+1/5-1/7+1/9-1/11+1/13-1/15+。。。
這個公式是萊布尼茨寫給牛頓的信中首次提到的,被人們稱為萊布尼茨公式。問題越來越清晰了,上面的無窮級數表明:一個無理數可以用有理數的極限形式表示(1+x)
-1
用二項式展開的一般公式可以得到
1/(1+x)=1-x+x
2
-x
3
+x
4
-x
5
+。。。
如果令x=1,透過上面的式子可以得到
1/2=1-1+1-1+1-1+。。。=(1-1)+(1-1)+(1-1)+。。。=0
義大利數學家格蘭迪在他1703年的小冊子《圓與雙曲線方程》中給出了上面的結果,並且認為自己證明了世界可以從無到有。真是不可思議,問題出在什麼地方呢?
事實上,在17-18世紀,無窮級數的斂散性概念尚未進入數學家的視野。面對發散級數,他們犯了許許多多的錯誤。
雖然問題還有很多,但是受微積分的啟發,人們認識到數學運算的方法,甚至數學的理論體系都是可以創造的,特別是微積分在自然科學,科學技術各個鄰域的巧妙而廣泛的應用,更激發了數學家們的創造性。在這之後的幾個世紀,針對研究問題的背景不同,一些全新的數學分支逐漸發展起來,比如,無窮級數,常微分方程,偏微分方程,微分幾何,變分數,複變函式;代數數論,解析數論,非歐幾何等等。這些學科的產生對於推動數學本身的發展,對於利用數學更好地描述現實世界都起到了極為重要的作用。
另一方面,數學家們認為,必須認真地對待微積分,正如柏林科學院所說的,必須建立一個清晰的精確的理論來解釋微積分的合理性。尤拉,拉格朗日,法國數學家達蘭貝爾,柯西,魏爾斯特拉斯等人都做出了傑出的工作。
數學家們認識到,微積分只是一種計算方法,而要把理論基礎研究清楚,必須建立一個從頭到尾相對成系統的學科,於是他們給這個學科起了一個非常了不起的名字:數學分析。到微積分為止,數學在本質上是建立在物理直觀和幾何直觀的基礎上的,人們曾經嘗試仍然用物理直觀和幾何直觀來解釋微積分,如上所說,沒有成功。於是,數學家們決心改變研究思路,把數學建立在明確的定義和數學符號的基礎上,這正如我們反覆談到,這是數學的第二步抽象,只有透過這一步抽象,才可能建立起清晰的數學理論。