수리통계를 위한 해석학7 찍먹 측도론 3 Dynkin $\pi - \lambda$ theorem(Dynkin Pi-lambda theorem) 서론지난 시간에는 Carathéodory's extension theorem에 대해 알아보았습니다. 그런데 이 정리에서 $\sigma$-finite라는 조건을 추가했을 때는 그 measure가 unique 하게 존재합니다.이는 Probability measure에서 일반적인 상황입니다. 그렇다면 한 번 증명해봐야겠죠? 이 uniqueness를 증명하기 위한 초석은 Dynkin $\pi - \lambda$ theorem을 증명하는 것입니다.이를 위해 $\pi$ system과 $\lambda$ system에 대해서도 차근차근 알아보죠! 본론Definition of $\pi$ system$\pi$ system의 정의부터 찬찬히 알아봅시다. 다음은 그 서술입니다.A collection of $\mathcal{A.. 2024. 7. 11. 찍먹 측도론2 Carathéodory's extension theorem and proof 서론오늘은 Carathéodory's extension theorem에 대해 알아보겠습니다. (완벽 증명) 이 정리는 정말 좋은 정리인데요! Ring에서 pre-measure를 잘 정의하면 이를 mesure로 잘 확장할 수 있다는 뜻입니다. 이 정리의 필요성에 대해 생각해 봅시다.어떤 $\Omega$의 $\mathcal{P} (\Omega)$에 대해 measure가 쉽게 정의되지 않습니다. Lebesgue measure에 대해 Vitali set을 생각해 보면 직관적으로 존재해야 할 것 같은 measure에도 그 값이 존재하지 않을 수 있죠. 그런데 Carathéodory's extension theorem은 이런 경우를 배제하고 measure가 잘 존재하도록 하는 방법에 대해 알려줍니다.한 번 그 과.. 2024. 7. 8. 찍먹 측도론 Introduction(measure theory) 서론확률 측도(Probability Measure)가 대체 무엇일까 고민하던 나날 중 측도론(Measure Theory)를 공부해야겠다는 마음을 먹었습니다. 시간이 많이 않기 때문에 핵심만 훑으면서 일주일컷을 내려고 했지만... 진짜 대충만 알게 됐습니다 ㅋㅋㅋㅋ 그래도 아는 것 범위 내에서는 이해한 것 같아서 기록을 남겨두려 합니다. 본 포스팅은 https://www.youtube.com/@cachelackmathstatslectures7001 강의를 듣고 이해한 바를 중심으로 하고 있습니다. 본론일단 2024/07/04, 이 글을 쓰는 첫 날에 제가 이해하지 못하거나 아직 모르는 것을 서술해 보겠습니다. 1. Measureable의 직관적 정의Measureable의 정의가 다음과 같은데요.Set $A.. 2024. 7. 5. Moment Generating Function의 미분가능성? 3(feat. Power Series) 서론자, Moment Generating Function을 왜 미분할 수 있는지 그 궁금증 풀기 위한 마지막 여정입니다.m.g.f는 Power Series의 일종이기 때문에 Power Series를 미분할 수 있는지가 관심사였고, 다시 Power Series는 함수의 극한으로 표현할 수 있기 때문에 결국은 수렴하는 Sequence of functions가 미분가능한지를 확인하는 것이 우리의 관심사였습니다. 우리는 Rudin에 기술된 thm 7.8, thm 7.10, thm7.17를 증명해 오며 이 글까지 왔습니다.Thm 7.8 Cauchy Sequence를 활용한 Uniformly ConvergenceThm 7.10 Weierstrass M testThm 7.17 Sequence의 도함수가 Uniform.. 2024. 6. 23. 이전 1 2 다음
