前作已經(jīng)談過(guò)用整系數(shù)多項(xiàng)式作為實(shí)數(shù)版圖靈機(jī)的參照標(biāo)準(zhǔn),在這基礎(chǔ)上我們不妨考慮實(shí)數(shù)版的算法信息論铆惑。離散版本的算法信息論認(rèn)為:設(shè)有通用圖靈機(jī)U與長(zhǎng)度為N的序列X范嘱,若U無(wú)法從任何長(zhǎng)度小于N的輸入計(jì)算得出X,則稱序列X是不可壓縮的鸭津,研究結(jié)果表明長(zhǎng)序列的不可壓縮性意味著算法會(huì)將其視為隨機(jī)序列彤侍。我們不妨將類似的思路移用到實(shí)數(shù)域上:
定義(不可壓縮性):設(shè)有實(shí)數(shù)數(shù)組逆趋,若盏阶,則稱實(shí)數(shù)數(shù)組是不可壓縮的。
式中為任一整系數(shù)多項(xiàng)式闻书,為從數(shù)組中去除后的余集名斟。
不難看出脑慧,這是為了保證數(shù)組中每一個(gè)實(shí)數(shù)都無(wú)法用其他成員組成的整系數(shù)多項(xiàng)式來(lái)替代,而因?yàn)槲覀儗ⅰ皩?shí)數(shù)機(jī)”的能力限制在整系數(shù)多項(xiàng)式砰盐,這其實(shí)就意味著沒有辦法用輸入個(gè)數(shù)少于N的實(shí)數(shù)的計(jì)算來(lái)完整生成這個(gè)數(shù)組闷袒。
定理1:相對(duì)有理數(shù)域的代數(shù)獨(dú)立性蘊(yùn)含不可壓縮性。
證明:整系數(shù)多項(xiàng)式是有理系數(shù)多項(xiàng)式的特例岩梳,假若數(shù)組可壓縮囊骤,即冀值,則就破壞代數(shù)獨(dú)立性也物。故不可壓縮性得證。
離散版本的不可壓縮序列列疗,如Chaitin常數(shù)滑蚯,往往難以得出具體數(shù)位的描述。在連續(xù)情形抵栈,我們則可以借助代數(shù)研究的武器庫(kù)告材,窺視其一角:
定理2:數(shù)組是不可壓縮的,其中為第n個(gè)素?cái)?shù)古劲。
證明:各項(xiàng)的指數(shù)分別是不同素?cái)?shù)的根式斥赋,故這些指數(shù)在有理數(shù)域上線性獨(dú)立。根據(jù)Lindemann–Weierstrass定理绢慢,該數(shù)組在有理數(shù)域上代數(shù)獨(dú)立灿渴。由定理1知其必有不可壓縮性。
我們能夠構(gòu)造性地給出不可壓縮的實(shí)數(shù)數(shù)組胰舆,那么骚露,據(jù)此構(gòu)造出的二進(jìn)制序列是否也具有強(qiáng)烈的“隨機(jī)性”呢?正如不可壓縮的Chaitin序列一樣缚窿?
問(wèn)題:二進(jìn)制序列B有無(wú)窮多位棘幸,第n位定義為二進(jìn)制表示式中的第n位數(shù)字。B的性質(zhì)在何種程度上接近真隨機(jī)序列倦零?