함수해석학에서, '''분포'''(分布, )는 함수와 확률 분포 등을, 디랙 델타 분포와 같이 특이점을 가질 있게 일반화한 것이다. == 정의 == 유클리드 공간 속의 열린집합 주어졌다고 하자. 위의 실수 콤팩트 지지 매끄러운 함수들의 실수 벡터 공간을 또는 라고 쓰고, 원소를 위의 '''시험 함수'''(試驗函數, )라고 한다. 여기에 다음과 같은 위상을 주자. 함수열 수렴할 필요충분조건은 다음 조건이 모두 성립하는 것과 동치이다. 어떤 콤팩트 집합 대하여, *: 모든 다중지표 대하여, 여기서 지지 집합을 뜻하며, 균등 수렴을 뜻한다. 위상에 따라, 시험 함수 공간 완비 거리화 가능 국소 볼록 공간을 이룬다. 연속 쌍대 공간 '''분포 공간'''(分布空間, )이라고 하고, 원소를 '''분포'''(分布, )라고 한다. 분포 시험 함수 대하여, 보통 다음과 같이 표기한다. 물론 대하여 라는 대상은 엄밀히 정의되지 않으므로 우변의 표기법은 단순히 표기법에 불과하다. == 연산 == === 지지 집합 === 분포 '''지지 집합'''(支持集合, 다음과 같이 정의된다. 라는 것은 다음 조건과 일치한다. 어떤 열린 근방 대하여, 이다. 분포의 지지 집합은 (열린집합들의 합집합의 여집합이므로) 항상 속의 닫힌집합이다. 분포 '''특이 지지 집합'''(特異支持集合, 다음과 같이 정의된다. 라는 것은 다음 조건과 동치이다. 어떤 열린 근방 대하여, 매끄러운 함수이다. 즉, 되는 존재한다. 분포의 특이 지지 집합 역시 속의 닫힌집합이다. 특이 지지 집합과 관련된 개념으로 '''파면 집합'''이 있다. 이는 특이 지지 집합과 달리, 특이성이 발생하는 방향에 대한 정보를 담고 있다. === 국소화 === 열린집합 위에 정의된 분포 열린 부분 집합 주어졌다고 하자. 그렇다면, 시험 함수에 대하여 다음과 같은 자연스러운 포함 관계가 존재한다. 대한 '''제한'''()은 다음과 같다. 이에 따라, 분포 공간은 실수 벡터 공간의 층을 이룬다. 일반적으로, 분포 주어졌을 때, 분포의 에서의 정의할 없다. 다만, 만약 경우, 해당하는 매끄러운 함수의 값으로 정의할 있다. 또한, 다른 층과 마찬가지로, 에서의 싹을 정의할 있다. === 미분 === 부분 적분 공식에 따라, 분포의 '''미분'''은 다음과 같이 정의된다. 이를 일반화하여, 임의의 다중지표 대하여 분포 미분 정의할 있다. === 곱셈 === 분포의 곱셈은 일반적으로 정의할 없다. 구체적으로, 다음 조건들을 만족시키는 분포의 곱셈을 정의할 없다. 쌍선형이다. 규칙이 성립한다. 국소 적분 가능 함수의 (함수로서의) 곱셈은 분포로서의 곱셈과 일치한다. 예를 들어, 실수선 위의 단위 계단 함수 생각하자. 그렇다면 함수의 곱셈으로서 임의의 양의 정수 대하여 성립한다. 양변에 규칙을 적용하고, 이라면 된다 (는 디랙 델타 분포). 이는 임의의 대하여 성립하므로, 되어 모순이다. 다만, 분포의 파면 집합이 적절한 조건을 만족시킨다면 곱셈을 정의할 있다. 특히, 분포 가운데 하나가 매끄러운 함수라면, 분포와 함수의 곱셈을 다음과 같이 정의할 있다. 임의의 대하여, 이에 따라, 가환환 위의 가군을 이루며, 나아가 가환환층 위의 가군층을 이룬다. === 푸리에 변환 === 시험 함수의 푸리에 변환은 일반적으로 시험 함수가 아니므로, 분포 공간 전체에 푸리에 변환을 정의할 없다. 그러나 시험 함수 대신 푸리에 변환에 대하여 닫힌 공간인 슈바르츠 함수를 사용하면, '''조절 분포'''라는, 푸리에 변환에 대하여 닫혀 있는 분포 공간의 부분 공간을 얻는다. == 성질 == === 분포 공간의 위상 === 분포 공간 연속 쌍대 공간이므로, 위에 다양한 위상이 존재한다. 흔히 사용되는 위상은 다음과 같다. 약한-* 위상. 경우 국소 볼록 공간이지만, 거리화 가능 공간이 아니다. 콤팩트 집합 위에서의 균등 수렴 위상. 경우, 국소 볼록 공간이며, 추가로 핵공간()이자 몽텔 공간()이다. 그러나 이는 거리화 가능 공간이 아니다. === 함수 공간의 매장 === 위의 '''국소 적분 가능 함수'''()란 다음 조건을 만족시키는 함수 말한다. 임의의 콤팩트 집합 대하여, 르베그 적분 가능 함수이다. 모든 연속 함수와 임의의 대하여 Lp 함수는 국소 적분 가능 함수이다. 국소 적분 가능 함수의 공간을 쓰자. Lp 공간과 마찬가지로, 임의의 대하여 거의 어디서나 0인 경우 정의하고, 으로 정의하자. 국소 적분 가능 함수 대하여, 대응하는 분포 다음과 같이 정의할 있다. (이는 항상 연속 함수라는 것을 보일 있다.) 따라서, 이는 실수 벡터 공간의 단사 선형 변환 정의한다. === 측도 공간의 매장 === 위의 임의의 라돈 측도 대하여, 대응하는 분포 다음과 같이 정의할 있다. 반대로, 분포 다음 성질을 만족시킨다고 하자. 그렇다면, 되는 라돈 측도 존재한다. 이는 리스 표현 정리와 유사하다. 하지만 조건이 성립하지 않을 경우, 일반적인 분포는 (부호 붙은) 측도로 나타낼 없다. 예를 들어, 실수선 위의, 디랙 델타 분포의 미분 부호 붙은 측도로 나타낼 없다. === 연속 함수로의 표현 === 열린집합 위의 임의의 분포 유한 개의 다중지표와 연속 함수들 로부터 다음과 같이 나타낼 있다. 다시 말해, 분포 공간은 연속 함수들의 모든 유한차 미분을 포함하는 최소의 벡터 공간이다. == == === 함수와 측도 === 모든 국소 적분 가능 함수는 분포를 이룬다. 마찬가지로, 모든 라돈 측도 역시 분포를 이룬다. 보다 일반적으로, 부호 붙은 라돈 측도, 라돈 측도의 역시 분포를 이룬다. === 디랙 델타 함수와 도함수 === 실수선 위에 다음과 같은 연속 함수를 생각하자. 함수에 도함수를 취하면, 다음과 같은 분포들을 얻는다. 단위 계단 함수이다. 이는 국소 적분 가능 함수로 나타낼 있지만, 연속 함수가 아니다. 디랙 델타 분포이다. 이는 이상 함수가 아니지만, 라돈 측도이며, 다음과 같다. *: 디랙 델타의 도함수이다. 이는 이상 라돈 측도조차 아니며, 다음과 같다. *: 계속해서 도함수를 취하면, 다음과 같다. *: === 코시 주요값 === 실수선 위에, 연속 함수를 이룬다. 함수의 도함수들은 다음과 같다. 연속 함수가 아니지만, 국소 적분 가능 함수이다. 다음과 같다. (여기서 코시 주요값이다.) *: 다음과 같다. (여기서 아다마르 유한 성분()이다.) *: 보다 일반적으로, 다음과 같다. *: == 관련 개념 == '''사토 초함수'''()는 분포와 유사하지만, 정칙 함수를 기반으로 하는 이론이다. '''콜롱보 대수'''()는 분포와 달리 곱셈이 정의되는 일반화 함수 이론이다. 콜롱보 대수의 원소는 분포로 수렴하는 함수열로 구성되는데, 콜롱보 대수에서의 곱셈은 일반적으로 함수열에 의존한다. '''흐름'''()은 분포의 개념을 미분 형식으로 일반화한 것이며, 조르주 람이 도입하였다. 차원 유클리드 공간에서 흐름과 분포는 일치하지만, 임의의 매끄러운 다양체에서는 이는 성립하지 않는다. == 응용 == 모든 적분 가능한 함수는 분포들의 공간에서 미분을 가지며, 이를 이용해 편미분 방정식의 해를 구할 있다. 물리학이나 공학에서 나타나는 비연속적인 문제들을 미분 방정식으로 나타나면 이는 분포를 해로 갖는 경우가 많으며, 대표적인 예로 디랙 델타 분포가 있다. == 역사 == 편미분 방정식의 이론이 발달하면서, 1830년대에 발명된 그린 함수와 같은 개념을 엄밀히 정의할 필요가 대두되었다. 세르게이 리보비치 소볼레프는 1936년에 2차 쌍곡 편미분 방정식을 다루는 분포의 개념을 사용하였다. 이후 1950년에 로랑 슈바르츠는 분포의 이론을 체계적으로 엄밀히 개발하였고, "분포"()라는 용어를 고안하였다. 1954년에 슈바르츠는 일반적으로 분포의 곱을 정의할 없음을 증명하였다. == 참고 문헌 == == 외부 링크 == == 같이 보기 == 파면 집합 디랙 델타 분포 조절 분포 측도 분류:함수해석학 분류:매끄러운 함수