[일반] Monotone class argument들 왤케 어려움??

[익명(210.183)]

SDE에서 P_x(A) 가 x에 대해 measurable인거 보이려면

실린더 셋에서 성립한다는거 보이고, 

실린더 셋의 Dynkin system에서도 가측인거 보이고,

P_x(A) 가 가측이도록 만드는 A가 Dynkin임을 보여야 하는데

이정도로 긴 호흡의 증명이 그냥 교재에서는 쉬운 증명이라고 생략되어있네 ㅅㅂ

[수갤러 1(88.170)]

ㅋㅋ페이퍼읽다보면 그거보다 더좆같은거 많음 그런거보다보면 혈압오른다 한문장으로 어쩌고저쩌고해서 이거나옴 적어놨는데 직접 체크해보면 3페이지는 나오는것들

[익명(210.183)]

아 여기 분야에선 이정도 증명이 일상적인가 싶었네 ㅅㅂ 전혀 안쉬운거 맞잖아

[익명(210.180)]

그거 몇번 말해주더니 나중엔 그냥 monotone class argument에 의해 된다로 넘김 ㅋㅋㅋㅋ