나무모에 미러 (일반/어두운 화면)
최근 수정 시각 : 2025-01-31 01:11:02

합성곱


해석학·미적분학
Analysis · Calculus
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"
<colbgcolor=#26455A>실수와 복소수실수(실직선 · 아르키메데스 성질) · 복소수(복소평면 · 극형식 · 편각) · 근방 · 유계 · 콤팩트성 · 완비성
함수함수 · 조각적 정의 · 항등함수 · 역함수 · 멱함수 · 다변수함수(동차함수 · 음함수) · 다가 함수 · 함수의 그래프 · 좌표계 · 닮은꼴 함수 · 극값 · 볼록/오목 · 증감표
초등함수(대수함수 · 초월함수 · 로그함수 · 지수함수 · 삼각함수) · 특수함수 · 범함수(변분법 · 오일러 방정식) · 병리적 함수
극한·연속 함수의 극한 · 수열의 극한 · 연속함수 · ε-δ 논법 · 수렴(균등수렴) · 발산 · 부정형 · 점근선 · 무한대 · 무한소 · 특이점 · 0.999…=1
중간값 정리 · 최대·최소 정리 · 부동점 정리 · 스털링 근사 · 선형근사(어림)
수열·급수 수열(규칙과 대응) · 급수(멱급수 · 테일러 급수(/목록) · 조화급수 · 그란디 급수(라마누잔합) · 망원급수(부분분수분해)) · 그물
오일러 수열 · 베르누이 수열 · 월리스 곱
단조 수렴 정리 · 슈톨츠-체사로 정리 · 축소구간정리 · 급수의 수렴 판정 · 리만 재배열 정리 · 바젤 문제 · 파울하버의 공식 · 오일러-매클로린 공식 · 콜라츠 추측미해결
미분 미분 · 도함수(이계도함수 · 도함수 일람) · 곱미분 · 몫미분 · 연쇄 법칙 · 임계점(변곡점 · 안장점) · 매끄러움
평균값 정리(롤의 정리) · 테일러 정리 · 역함수 정리 · 다르부 정리 · 로피탈 정리
립시츠 규칙 · 뉴턴-랩슨 방법 · 유율법 · 경사하강법
적분 적분 · 정적분(/예제) · 스틸체스 적분 · 부정적분(부정적분 일람) · 부분적분(LIATE 법칙 · 도표적분법 · /예제) · 치환적분 · 이상적분(코시 주요값)
미적분의 기본정리 · 적분의 평균값 정리
리시 방법 · 2학년의 꿈
다변수·벡터 미적분 편도함수 · 미분형식 · · 중적분(선적분 · 면적분 · 야코비안) ·야코비 공식
라그랑주 승수법 · 오일러 동차함수 정리 · 선적분의 기본정리 · 스토크스 정리(발산 정리 · 그린 정리변분법
미분방정식 미분방정식(/풀이) · 라플라스 변환
측도론 측도 · 가측함수 · 곱측도 · 르베그 적분 · 절대 연속 측도 · 라돈-니코딤 도함수
칸토어 집합 · 비탈리 집합
복소해석 코시-리만 방정식 · 로랑 급수(주부) · 유수 · 해석적 연속 · 오일러 공식(오일러 등식 · 드 무아브르 공식) · 리우빌의 정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리
함수해석 공간 위상 벡터 공간 · 국소 볼록 공간 · 거리공간 · 프레셰 공간 · 노름공간 · 바나흐 공간 · 내적공간 · 힐베르트 공간 · Lp 공간
작용소 수반 작용소 · 에르미트 작용소 · 정규 작용소 · 유니터리 작용소 · 컴팩트 작용소
대수 바나흐 대수 · C*-대수 · 폰 노이만 대수
정리 한-바나흐 정리 · 스펙트럼 정리 · 베르 범주 정리
이론 디랙 델타 함수(분포이론)
조화해석 푸리에 해석(푸리에 변환 · 아다마르 변환)
관련 분야 해석 기하학 · 미분 기하학 · 해석적 정수론(1의 거듭제곱근 · 가우스 정수 · 아이젠슈타인 정수 · 소수 정리 · 리만 가설미해결) · 확률론(확률 변수 · 중심극한정리) · 수치해석학 · 카오스 이론 · 분수계 미적분학 · 수리물리학(양-밀스 질량 간극 가설미해결 · 나비에 스토크스 방정식의 해 존재 및 매끄러움미해결) · 수리경제학(경제수학) · 공업수학
기타 퍼지 논리 · 합성곱
}}}}}}}}} ||

1. 정의2. 정리3. 활용 사례4. 순환 컨볼루션

파일:convolution_ex_1.gif
합성곱의 기하학적 표현.[1]

1. 정의

컨볼루션[2] / convolution /
합성곱에 관한 3Blue1Brown의 영상

함수 [math(f)]와 [math(g)]의 합성곱은 [math(f \ast g)]로 나타내며 다음과 같이 정의한다.
연속시간 도메인에서의 컨볼루션 정의
[math(\displaystyle {x(t) \ast h(t)} \equiv {\int_{-\infty}^{\infty}}x(\tau)\, h(t-\tau)\,{\rm d}\tau)]
이산시간 도메인에서의 컨볼루션 정의
[math(\displaystyle {x[n] \ast h[n]} \equiv \displaystyle\sum_{k=-\infty}^\infty x[k]\, h[n-k])]

컨볼루션을 직접 계산할 때는 한 신호를 고정시키고, 다른 신호는 y축 대칭 후 시간축에서 t만큼 평행이동한 것으로 나타낸 후, 시간변수 t가 음의 무한대부터 양의 무한대까지 이동하며 중첩된 영역의 두 함수값을 곱한 값의 적분(이산시간의 경우 시그마)을 계산하여 시간에 대한 함수로 나타내면 된다. 이는 고정시킨 함수가 필터 역할을 하면서 들어오는 입력신호를 가공하는 것으로 해석할 수 있다.

주로 푸리에 해석을 공부하는 과정에서 처음 맞닥뜨리게 되는 개념이다.

2. 정리

합성곱은 푸리에 변환에 대하여 일반적으로 다음과 같은 성질이 성립한다.
[math(\displaystyle y(t) = {x(t) \ast h(t)})]라 하면, [math(Y(j\omega) = X(j\omega)\, H(j\omega))]
[math(\displaystyle y[n] = {x[n] \ast h[n]})]이라 하면, [math(Y(e^{j\omega}) = X(e^{j\omega})\, H(e^{j\omega}))]

참고로 라플라스 변환, Z변환에 대해서도 성립한다. 역으로 라플라스 변환, Z변환에 대해 성립하면 푸리에 변환에 대해 성립하는 것은 자명한데, 이는 푸리에 변환과 이산 푸리에 변환이 각각 라플라스 변환, Z변환의 [math(s=j\omega)], [math(z=e^{j\omega})]인 특수한 경우이기 때문이다.

3. 활용 사례

컨볼루션 신경망 기법(CNN) 등에 응용되는 개념이다. 신호 및 시스템, 디지털 신호 처리에 많이 쓰인다.

컴퓨터 과학에서는 적분의 일반적인 정의[3]로 유도되는 이산공간에서의 컨볼루션 연산을 활용한다.

2018 수능 수학 가형 30번 문항에서 이것을 소재로 한 문제가 출제되었다. 2017 수능 30번과 함께 역대 최고난도로 꼽혔다.

포항공과대학교 2023학년도 학부 입학전형 면접 문제로 출제되었다. 앞장은 2차원 합성곱 신경망 문제가 나왔으며, 뒷장은 컨볼루션의 기하학적 정의를 이용한 문제가 나왔다. 원래 난이도가 높은 포스텍 면접 중에서도 매우 높은 난이도를 자랑했기 때문에 역시나 위의 수능 문제처럼 제대로 푼 학생이 손에 꼽혔다(...)

독립인 두 연속확률변수 X, Y에 대하여 확률변수 X+Y의 확률밀도함수는 X, Y 각각의 확률밀도함수의 컨볼루션이다. 출처[4]

4. 순환 컨볼루션

주기성을 가지는 함수에 대해 합성곱을 적용한 것이다.

푸리에 변환의 성질에 따라 주파수 영역에서 곱은 시간 영역에서 합성곱으로 혹은 그 반대로 나타난다.하지만 이산 푸리에 변환을 거치게 되면 주파수 영역에서의 샘플링으로 인해 비주기 신호가 시간 영역에서 주기성을 띄게 됨으로[5] 이것이 성립하지 않는다. DFT를 이용할 경우 시간 영역에서 주기성을 고려하여 순환 컨볼루션을 사용해야 한다.
[1] 저 움짤이 그리는 ㅅ자 그래프는 삼각파 함수 [math({rm tri}(x))]이다. 파란색 그래프는 구형파 함수 [math({rm rect}(x))] 또는 [math({rm Pi}(x))]이다.[2] 정식 번역명칭은 합성곱이지만 이쪽이 더 많이 쓰인다.[3] 측도공간 위에 주어진 함수의 선형 범함수[4] 증명은 적률생성함수를 이용하면 된다.[5] 시간 영역에서 샘플링을 하면 주파수 영역에서 주기성을 가지는 것을 반대로 적용한다.