V ´alasz Pap Gyula b´ır ´alat ´ara
K¨osz¨onetet mondok Pap Gyul ´anak t ´amogat´o b´ır ´alat ´a´ert ´es sz ´amos ´ert´ekes ´eszre- v´etel´e´ert, melyeket a disszert ´aci´or´ol illetve a t´ezisf ¨uzetr˝ol megfogalmazott. Mivel kifejezett k´erd´eseket nem tett fel, az al ´abbiakban ezekre az ´eszrev´etelekre reag ´alok.
Hi ´anyz´o bizony´ıt ´asok: Bizonyos technikai seg´edt´etelek bizony´ıt ´as ´at val´oban nem k¨oz¨oltem, hanem a cikkekre hivatkoztam. Ezek t¨obbnyire egyes funkcion ´alok m´er- het˝os´eg´er˝ol sz´oltak. A terjedelem tov ´abbi n¨ovel´ese, ´ugy ´ereztem, jelent˝osen elked- vetlen´ıtette volna az ´erdekl˝od˝o olvas´okat, ez´ert az ilyen jelleg ˝u ´all´ıt ´asok kihagy ´asa mellet d¨ont¨ottem. A 10pt bet ˝um´eretet is hasonl´o okb´ol v ´alasztottam.
Az nullhalmazok k´erd´ese: igen, a diszkr´et idej ˝u esetben is aF P-nulla halmazait kell tartalmaznia aF0-nak.
Onfinansz´ıroz ´as:¨ val´oban, nem hangs ´ulyoztam az ¨onfininsz´ıroz ´as (szokv ´anyos) felt´etel´enek megl´et´et a disszert ´aci´o (6) illetve a t´ezisf ¨uzet (12) k´epletein´el.
A l´enyeges szupr´emumokr´ol:sajnos nem l ´atok m´odot ezen ´ervel´esek egyszer ˝us´ıt´e- s´ere.
A korl ´atoss ´ag ´ertelmez´es´er˝ol: aνt, κt determinisztikus konstansok (f ¨ugghetnekt- t˝ol), ´es l´etezik olyan K > 0 determinisztikus konstans, melyre |∆St| ≤ K m.m., mindent-re. Hasonl´oan, l´etezik F > 0 determinisztikus konstans, melyre|φ∗t| ≤ F m.m., mindent-re.
Tov ´abb ´a k¨osz¨on¨om a figyelmeztet´est a t´ezisf ¨uzet 4. Feltev´es´eben szerepl˝o sajt´o- hib ´ara, az I. ´es J. ´All´ıt ´asok pongyola megfogalmaz ´as ´ara illetve a v ´arhat´o ´ert´ekek jel¨ol´es´enek k¨ovetkezetlens´eg´ere (id˝onk´ent van z ´ar´ojel, id˝onk´ent nincs).
R ´asonyi Mikl´os
G¨od¨oll˝o, 2017. j ´unius 12.