Fórum: Valaki mondja meg!

Mondanál egy példát arra, hogy úgy sikerült bizonyitani valamely természetes számokból álló sorozat végtelen voltát, hogy a tagok reciprokainak részösszegének sorozata irracionális számhoz tart? Egyátalán, hogy lehetünk ebben biztosak, mig nem tudjuk, hogy véges-e, vagy végtelen? (Egy rac. szám lehet két nagyon-nagyon nagy egész szám hányadosa is.)

Én nem azt mondom, hogy közelebb kerülnénk a Brun-konstans problémájának megoldásához, hanem azt, hogy ha tisztáztuk az ikerprim-kérdést, akkor elkezdhetjük a vizsgálódást, addig nem. Ha tévedek, légy szives javits ki, de ne úgy, hogy: "nincs igazad".

Még egy érdekesség: van olyan végtelen játék, ahol egyik félnek sincs nyerő stratégiája, ami egy kicsit furcsa a véges játékokhoz szokott szemnek. Ennek bizonyítása a kiválasztási axiómán múlik. Ez az egyik szép példája annak, hogy a kiválasztási axióma -- hasson bármily természetesnek -- elég erős, nagyon-nagyon nem természetesnek ható következményekkel bír.

A válasz az, hogy ' létezik, azaz az irracionálisba hajtó játékosnak van nyerő stratégiája. Két egyszerű módszere is van. Az egyik az, hogy választ egy irracionális számot, és annak a jegyeit írja be, függetlenül attól, mit tesz a másik. Egy másik módszer pedig az, hogy sorbarendezi a racionális számokat, és az n. lépésében arra figyel, hogy az n. racionális számot elkerülje. Persze mindkettőt meg lehet formalizálni az előző hsz-emben levő módon ('-kel).

A végtelen játék egy absztrakció. Ne úgy képzeld el, hogy két játékos játssza, hanem úgy, hogy minden végtelen tizedestört a Q vagy a Q' halmazban van aszerint, hogy racionális vagy irracionális. A kérdés az, hogy van-e olyan, (illetve ' függvény), ami a tizedesvessző utáni első páros sok (páratlan sok) számjegyhez rendel egy számjegyet úgy, hogy a

0,(Ø)a₂((Ø)a₂)a₄((Ø)a₂((Ø)a₂)a₄)...

(illetve

0,a₁'(a₁)a₃'(a₁'(a₁)a₃)a₅...)

szám minden a₂,a₄,... sorozatra racionális (illetve a₁,a₃,... sorozatra irracionális). A Q és Q' halmazok diszjunktsága miatt és ' nem létezhet egyszerre. Kérdés: létezik-e valamelyik, ha igen, melyik?

,,"Az ikerprímsejtés bebizonyításával semmivel nem jutsz közelebb Brunhoz..."

De igen! (...)''

De nem! RG-nek van igaza. Képzeld azt, hogy bebizonyítottad az ikerprím-sejtést (mondjuk valamelyik bizonyításod jó a szomszéd topicban:P -- bocs, de nem lehetett kihagyni:)). Mivel lettél közelebb a Brun-konstans (ir)racionalitásához? (Nem számítva most egy olyan bizonyítást az ikerprím-sejtésre, amelyik közvetlenül az irracionális reciprokösszeget adja. Egy olyan persze valóban közelebb vinne...)

"Az ikerprímsejtés bebizonyításával semmivel nem jutsz közelebb Brunhoz..."

De igen! Ugyanis a végtelen sok tag SZÜKSÉGES feltétele az irracionalitásnak. Ha bebizonyosodik, hogy végtelen sok van belőlük, akkor már ELKEZDHETJÜK vizsgálni a Brun-állandót. Pl.: páratlan s esetén a zeta-függvény vizsgálatának azért van értelme, mert TUDJUK, hogy végtelen sok tagú összegről van szó. Véges sok tagnál fel sem merülne a kérdés.

"Ha már tudjuk, hogy végtelen sok van belőlük, akkor már két alternativánk lesz."

? Most is 2 alternativánk van, vagy rac vagy irrac. Az ikerprímsejtés bebizonyításával semmivel nem jutsz közelebb Brunhoz, marad a 2 alternatíva.

Gondolkodásod meg olyan, mintha azt mondanánk, hogy amíg a Marsról nem tudunk mindent addig egyetlen exobolygót se vizsgáljunk az űrteleszkópokkal. Sehol nem tartana a csillagászat.

Helyes.

"Abban igazad van, hogy irrac csak úgy lehet, ha végtelen sok ikerprím van..." Hát pont ezért.

Csakhogy az 1 nem szerepel a fában csak 0.999... alakban.