Torolni akartam az utobbi cikkem, de valamiert nem sikerult, a javitando reszek
ime;
A fuggvenyunk egy D(f)=(0,vegtelen), korlatos fv. lesz. Ez nyilvan
nem jelent semmit. Vegyunk egy (x) pozitiv valos sorozatot, melynek
letezik sorosszege. Vegyunk tovabba egy g:N->Q bijekciot. Nezzuk a kovetkezo fv
.-t.:
h(u):= {x(i) : g(i)=<u}. Legyen minden u valos szamra
f(u):=szumma{h(u)}. Belatjuk, hogy az igy definialt f megfelel.
Eloszor h-rol nehany szot: Ha a<b, akkor h(a) reszhalmaza h(b)-nek.
Ha 'a' racionalis, akkor h(a)-nak letezik maximalis x(j) eleme,
meghozza pont az, melyre g(j)=a.
****
Most vizsgaljuk a racionalis helyeket. A fenti eljarast ezekre is
elvegezhetjuk, azzal a kulombseggel, hogy ekkor a racionalis u-hoz
tartozo x(j) (y) minden elemeben benne lesz (mivel kikotottuk, hogy a
(q) sorozatunk szig. monoton, tehat az u racionalis szamunk nem lehet
eleme {(q)}-nak), ebbol pedig az kovetkezik, hogy az f baloldali
limesze az u helyen nem egyenlo f(u)-val. Megjegyezzuk, hogy ugyanez
a jobboldali limeszre nem vonatkozik, h-t a baloldali limeszre fentuk
ki. Ezzel keszen is vagyunk.
****
Elnezest kerek, ha esetleg valakit osszezavartam a pontatlansagokkal.
Udv.: Sebestyen Balazs
|