7cea8474bd806bf136ea86e6469f3433c40f6ad394e23d344e16429eb7

저거만 하면 끝인데 흠

regular함을 보이는거같은데


안쪽에서 closed set으로 잡으면,

그니까 안쪽에서 closed 잡아서 차이가 given epsilon만으로 컨트롤 가능할 때 measurable이라고 정의할 때

바깥쪽에서 open set 잡아서 차이가 given epsilon으로 컨트롤 가능함을 보여야하거든


그래서 지금 완전 순차적으로 올라가서 이제 complement에 대해서 닫혀있다만 보이면 되긴하는데

안쪽 closed set이라서 complement 기준으로는 외부 영역이라 좀 애매하네..



약간 아이디어가

complement기준 안쪽 closed set은 원래 기준 바깥쪽 open set이니까, 대충 그걸로 조질라했음


그래서 일단 새롭게 정의한 (안쪽 closed set들로 잡는) measurability에 대해서 set operation이 잘 닫혀있다는 것을 좀 보이고 대충 complement에 대해서도 닫혀있다는 것으로 최종적으로 가려는게 목표임


ㅜㅜ. 도와줄 사람