스라소니 머릿속에는

Indicator Function

6 min read

Indicator Function

Notation

기호의미
집합 의 지시함수 (클래식 기호)
집합 의 지시함수 (현대적 기호)
집합 의 지시함수 (대안 기호)
구간 의 지시함수 (교재 기호)
집합
원소

Overview

Indicator function (지시함수)는 input으로 받은 원소 가 특정 집합에 속하는지 여부를 0과 1로 나타내는 함수이다.
… 이게 전부다! 어려울 거 없다.

집합론, 측도론, 확률론에서 기본적이면서도 강력한 도구로 사용되며, 복잡한 함수를 단순한 형태로 근사하는 데 핵심적인 역할을 한다.

Key Points

기본 정의

집합 에 대한 지시함수 는 다음과 같이 정의된다:

다양한 표기법

전통적 기호: (그리스 문자 카이)
현대적 기호: 또는
대안 기호:

구간에서의 지시함수

반열린구간 에 대해:

시각적 표현:

X[a,b)(t) │
          │  ┌─────┐
        1 │  │     │
          │  │     │
        0 │──┘     └──────
          └──┼─────┼──────► t
            a     b

기본 성질들

합성 (Union):
OR 연산 같은 기능

교집합 (Intersection):
AND 연산 같은 기능능

여집합 (Complement):

차집합 (Difference):

단순함수로의 확장

단순함수 Simple Functions: 유한개의 지시함수들의 선형결합

여기서 는 상수, 는 서로소 집합들
위의 ‘시각적 표현’에서 지시함수가 높이 1인 박스 모양으로 나타난다는 것을 상기기하라.
단순 함수는 여러가지 폭()과 높이()를 가진 박스들을 쌓아 올려서 만들 수 있다.
유한개의 박스를 쌓아 올렸기 때문에 단순 함수는 계단모양을 가지게 된다,

Questions & Insights

왜 지시함수가 중요한가?

  1. 근사의 기초: 모든 측도가능한 함수는 단순함수(지시함수들의 조합)로 근사 가능
    → 즉, 모든 함수를 계단 모양의 함수로 근사할 수 있다는 뜻이다.
  2. 적분 이론: 르베그 적분의 구성에서 출발점
  3. 확률론: 사건의 발생 여부를 수치화
  4. 컴퓨터 과학: Boolean 논리와의 직접적 연결

용어의 혼동

주의: “Characteristic function”과 혼동 금지!

확률론에서 Characteristic function:

이는 확률분포의 푸리에 변환으로 완전히 다른 개념

올바른 용어:

  • 집합 지시: Indicator function
  • 분포 특성화: Characteristic function

Itô Integral에서의 역할

단순함수 구성 (Øksendal 교재 3.1.7):

의미:

  • 시간축을 간격으로 분할
  • 각 구간에서 상수값
  • 지시함수로 구간별 “상자” 함수 생성

측도론에서의 응용

집합의 측도:

확률:

References

Stochastic Differential Equations 공부하기

  • Bernt Øksendal, “Stochastic Differential Equations”, Section 3.1
  • 측도론 교재들에서의 단순함수 구성
  • 집합론에서의 특성함수 정의

Notes from Claude

실용적 응용

컴퓨터에서의 구현:

def indicator(x, a, b):
    return 1 if a <= x < b else 0

통계에서의 활용:

  • 조건부 기댓값:
  • 조건부 확률:

함수 근사의 핵심 아이디어

단계적 근사 과정:

  1. 복잡한 함수를 간단한 “계단” 모양으로 근사
  2. 각 “계단”은 지시함수와 상수의 곱
  3. 구간을 세분화하여 정밀도 향상
  4. 극한에서 원래 함수에 수렴

이는 리만 적분의 직사각형 근사와 본질적으로 같은 아이디어이지만, 확률론과 측도론에서 더 일반적인 형태로 발전된 것이다.

추상화의 력

지시함수는 단순해 보이지만:

  • 모든 측도가능 함수의 구성 요소
  • 복잡한 확률과정의 기초
  • 현대 해석학의 출발점

“가장 단순한 것이 가장 강력하다”는 수학의 아름다운 예시이다.

그래프 뷰

백링크