Tuomas Korppi
YaBB Newbies
Poissa
I Love YaBB 2!
Viestejä: 15
|
Tällainen tuli kehiteltyä tänään.
Olkoon T tietokoneohjelma, joka saa syötteenä luonnollisen luvun ja antaa tulosteena äärellisen desimaaliluvun.
Oletetaan, että jono
Tuloste syötteellä 1 Tuloste syötteellä 2 Tuloste syötteellä 3 ....
suppenee, ja merkitään L(T):llä kyseisen jonon raja-arvoa.
Olkoon K niiden reaalilukujen k joukko, joille on olemassa tietokoneohjelma T siten, että k=L(T).
(1) Osoita, että K on kunta. (2) Osoita, että ainoa kuntahomomorfismi K -> K on identiteettikuvaus.
|