非標準微積分簡介 (第 5 頁)
鄭穗生
上節例題說明導數可經由非標準分析法定義。同樣,積分也可透過黎曼和作為分割長度的函數的自然擴張達成定義。簡單來說,對於一定義於區間 [a,b] 上之實函數 f,取正數 h,並在 [a, b] 上取分點 a,a+h,a+2h, , a+nh,b;這�� n 是使 成立之最大整數,則黎曼和
不難證明,如 f 連續,*S(h) 必為有限超實數(故積分存在)。另外,積分中值定理及可加性亦成立。既然如此,則微積分基本定理成立,而且積分與一般定義之黎曼積分無異。