표제어 · 확률과정
마팅게일 (Martingales)
원저자: Hanspeter Schmidli · 출처: Encyclopedia of Actuarial Science (Wiley, 2004)
읽는 법. 본문은 원서 표제어의 내용을 충실히 옮긴 것입니다. 회색 해설 상자는 학부 입문 학습을 돕기 위해 새로 추가한 부분이며 원문에는 없습니다. 모르는 용어는 글 끝 부록을 참고하세요.
1. 개요 — 공정한 게임 Introduction
여과 {Ft}(시각 t까지의 정보)에 적응된 적분가능 과정 M이 마팅게일이라 함은, 미래의 조건부 기댓값이 현재값과 같다는 ‘공정한 게임’ 조건을 뜻한다. Lévy가 도입하고 Doob이 체계화했다.
부등호 ≥이면 열마팅게일(submartingale), ≤이면 상마팅게일(supermartingale)이다. 볼록함수 f에 대해 Jensen 부등식으로 f(Mt)는 열마팅게일이 된다(예: M2).
2. 예 Examples
- 적분가능 확률변수 Y에 대해 Mt=E[Y|Ft]는 마팅게일이다.
- E[Xt]=0인 적분가능 Lévy 과정(독립·정상 증분)도 마팅게일이며 표준 브라운 운동이 대표적 예다.
- 랜덤워크 Sn=∑Ui에 대해 Mn=Sn−nE[U]는 마팅게일이다.
3. 옵셔널 스토핑 정리 Optional Stopping
핵심 정리는 ‘공정한 게임에서는 정지시각을 잘 고른다고 이득을 볼 수 없다’는 것이다. 열마팅게일과 정지시각 τ,σ에 대해
마팅게일이면 등호가 성립한다. 적분가능 정지시각 T와 랜덤워크에 적용하면 Wald 항등식을 얻는다.
4. 균등적분성 — 주의할 점 Uniform Integrability
t→∞로 보낼 때는 균등적분성이 필요하다. 표준 브라운 운동 W와 τ=inf{t>0:Wt>1}을 보면 Wτ=1이므로 E[Wτ]=1≠0=W0이다. 즉 정지시각이 유계가 아니면 옵셔널 스토핑 등식이 깨질 수 있다.
해설 왜 보험에서 마팅게일인가
파산이론에서 잉여과정에 적절한 지수변환을 가하면 마팅게일이 되고, 옵셔널 스토핑으로 Lundberg 부등식과 파산확률을 유도한다. 금융에서는 ‘동등 마팅게일 측도’가 무차익·파생상품 가격결정의 토대다.
참고 및 관련 표제어
관련 표제어. Brownian Motion(브라운 운동) · Lévy Processes(Lévy 과정) · Filtration(여과) · Change of Measure(측도변환) · Ruin Theory(파산이론) · Lundberg Inequality(룬드베리 부등식)
부록. 이 글에 나온 용어 (배경지식 보충)
- 여과(filtration) — 시간에 따라 늘어나는 정보(σ-대수)의 족.
- 적응(adapted) — Xt가 Ft로 결정됨.
- 정지시각 — 현재 정보만으로 ‘멈출지’ 판단되는 시각.
- 옵셔널 스토핑 — 정지시각에서의 기댓값 보존 정리.
- 균등적분성 — 극한과 기댓값의 교환을 보장하는 조건.
- Wald 항등식 — E[ST]=E[T]E[U].
한국보험시장 현황 Korea Market Practice
마팅게일은 한국 보험·금융에서 두 갈래로 등장한다. 하나는 파산이론의 지수마팅게일로 룬드베리 부등식을 유도하는 도구이고, 다른 하나는 변액보험 최저보증(GMxB)·금리연계형 상품의 무차익 가격결정이다. 위험중립측도 아래에서 할인된 자산·보증 가치가 마팅게일이 된다는 사실이 평가의 출발점이다.
IFRS17의 시장정합적 평가와 K-ICS의 변액보증리스크 시나리오 평가가 이 원리에 기반한다. 해지·만기·보증발동 같은 정지시각의 분석에는 옵셔널 스토핑 정리가 쓰이며, "정지시각을 잘 골라도 공정한 게임에서는 이득이 없다"는 직관이 가격의 일관성을 보장한다.
실무 변액보증 헤지와 마팅게일 검정
변액보증의 동적헤지 프로그램은 위험중립 마팅게일 가격의 민감도(그릭) 위에 구축된다. ESG가 생성한 경제 시나리오가 무차익 조건을 지키는지 확인하는 마팅게일 검정(martingale test)은 시나리오 검증의 표준 절차다.
[한국보험시장 현황]은 한국 보험시장 실무 관점(2026.6 기준)에서 추가 작성한 것임. · 원문: Encyclopedia of Actuarial Science (Wiley, 2004), “Martingales”. · 본 해설서의 [해설]·[예제]·[부록]은 학부 입문 학습용으로 추가·구성한 것임. 수식은 원문 기준 복원.