這裡用到之前講的序型,勢(阿列夫0),這裡就拿來繼續使用了,用x,y坐標表示,Xi是x軸的序型,同樣每一個點也有序型,這樣存在位置的點和間隙就是按照實數的排序方式,
x,y坐標表示的是一個仿射空間,是點對點的,這裡y軸上的高度用到序型,就可以是曲線下面的陰影部分,每一點的垂直高度他們的序型是一樣的,所以可以加和得到得到一個累加函數,這是初略看起來的思路,
接下來就是分開看存在的點和間隙,他們的序型是不一樣的,存在的點只有勢(阿列夫0),這樣隻用到勢(阿列夫0)的積分就是黎曼積分之前的那種,
間隙它裡面的序型是不一樣的,更小,裡面所有的加和都不及存在點的勢,所以黎曼積分之前的積分,沒有考慮過間隙,對計算的影響也微乎其微。
這樣,是可積分函數,這裡的積分不是黎曼積分,和現在的積分還不一樣,不能混淆了,那這樣有間斷點的積分函數是存在,
稍微扯一下,測度論有個0測度,稍微解釋解釋,為什麽會有0測度呢?
它的假設的思路是這樣,它裡面的(阿列夫0)要取到最小,之前的那種是取的序型,它可以不要最小,夠用就行,甚至序型本身都可以是一個集合,但是勢會取到最小,是實數的一個基,那麽假設在單位長度內實實在在的點代表的勢和無理數代表的勢,就不再是相互為序,和小說最開始的假說就不一樣了,因為勢更小,就會放大微小量的特性,的不是在大的一個角度看到的特性,這個時候存在點的勢,和間隙點的勢的比值就無限逼近1:無窮,這樣得到了0,這個測度建立在實數的基的概念上,和之前的1:1建立的根基是序型,是不一樣的,
勢更小,就會放大微小量的特性,看見剛才寫到的這個,延伸一點,高階微分更會表現出微小量的變化特性,所以麥克勞林展開式子這種都有這樣的特性,對微小量的重視,越是高階越是體現變化特性,其實就是探究序型的變化趨勢。又補充了之前的缺點,大吉大利。
還是回到積分上,現在用的是仿射空間,序型,雖然太小的測度下會精確,但是對於計算沒有什麽意義,因為過度的精確,反而會擴大誤差造成的影響,猶過不及。
序型也是實數的一個集,所以黎曼積分也可以使用。Xi是X軸上的一個點,也是一個序,也是仿射空間y的序型,y*dx代表的就是Xi的序型,加和就可以得到面積,
為什麽要用序型,這裡有了兩個原因,第一是序型的話會確定測度范圍,也就是精確度,第二就是y上的所有的高度都是原函數在Xi處放大的比例,也就是壓縮映射原理,,原本的一個點被放大成一個高度,這些高度都是在Xi的矩陣通過壓縮映射後的范圍之內,所以Xi就是這些的集合,序型,因為稠密性,所以是良序型,張量的運算也是存在的,序張成空間然後加和,構成按列的積分形式。