정리 2.18 보다가 λ가 Borel measure고 f는 컴팩트 서포트를 가지는 연속함수인데 K가 컴팩트면 λ(K)가 유한일때 Λf = integral f dλ에서 Λ가 linear funtional이라고 하더라고
보고 왜 이렇게 되는지 모르겠어서 이 부분 증명 써보니 5-6줄 나오는 증명이던데 ㅋㅋㅋㅋㅋ
솔직히 증명 써보니 졸라 당연한 소리 한거긴 하던데 암튼 이렇게 건너뛰면 읽기 힘들잖아 ㅅㅂ ㅋㅋㅋㅋㅋ
정리 2.18 보다가 λ가 Borel measure고 f는 컴팩트 서포트를 가지는 연속함수인데 K가 컴팩트면 λ(K)가 유한일때 Λf = integral f dλ에서 Λ가 linear funtional이라고 하더라고
보고 왜 이렇게 되는지 모르겠어서 이 부분 증명 써보니 5-6줄 나오는 증명이던데 ㅋㅋㅋㅋㅋ
솔직히 증명 써보니 졸라 당연한 소리 한거긴 하던데 암튼 이렇게 건너뛰면 읽기 힘들잖아 ㅅㅂ ㅋㅋㅋㅋㅋ
5~6줄 나올 증명이 아니지 않나 well-definedness만 보면 나머지는 자명한데
Linear이려면 f가 L1에 있어야하자너