Olisi seuraavanlainen ongelma: Tutkitaan neljää äärettömän pitkää lukujonoa r, s, t, u, jotka ovat muotoa r = <r0, r1, r2, r3,…,ri,…> eli ri on reaaliluku ja siinä esiintyvä alaindeksi i on luonnollinen luku. Tutkitaan siis funktioita i →R. Oletetaan nyt, että on voimassa ehto:
{i : ri + si = ti + ui} ⊇ {i : ri = si} ∩ {i : ti = ui}
Kysymys kuuluu nyt: Miten voidaan todistaa, että oikeanpuoleinen joukko on vasemmanpuoleisen joukon osajoukko?
Entä jos laskutoimitus + vaihdettaisiin vasemmanpuoleisessa joukossa tuloksi ∙ ?
{i : ri + si = ti + ui} ⊇ {i : ri = si} ∩ {i : ti = ui}
Kysymys kuuluu nyt: Miten voidaan todistaa, että oikeanpuoleinen joukko on vasemmanpuoleisen joukon osajoukko?
Entä jos laskutoimitus + vaihdettaisiin vasemmanpuoleisessa joukossa tuloksi ∙ ?
Vastaukset 3
Vanhimmat
Huomasin painovirheen kysymyksessäni:
Pitäisi olla {i : ri + si = ti + ui} ⊇ {i : ri = ti} ∩ {i : si = ui}
jolloin taisin itse keksiä ratkaisun eli sijoitetaan oikeanpuoleiset termit ri = ti ja si = ui vasemmanpuoleisempaan lausekkeeseen, jolloin saadaan {i : ti + ui = ti + ui} = N eli koko luonnollisten lukujen joukko, joten asia ratkesi (tai ainakin nyt luulen niin).
Eihän siitä välttämättä koko N tule (vastaesim. r=s=t=0,0... ja u=1,1,...), mutta "⊇" kyllä pätee.
Osajoukkotodistus alkaa yleensä näin: Olkoon j ∈ {i : ri = ti} ∩ {i : si = ui}. Ja sitten osoitetaan että j ∈ {i : ri + si = ti + ui}.
a e B tarkoittaa: a on joukon B alkio.
Jos i e (r(i) = t(i)) ja i e (s(i) = u(i) ) niin r(i) + s(i) = t(i) + u(i) jote i e (r(i)+s(i) = t(i) + u(i) )
MOT