민코프스키 부등식

3. Lₚ 공간의 형태

1 < p < ∞ 일 때 측도 μ가 주어진 측도 공간 X에 대하여 f, g가 X에서 [0, ∞]로 가는 가측 함수일 때, 측도 μ에 대한 Lₚ 공간 Lₚ(μ)에서는 민코프스키 부등식을 다음과 같이 쓸 수 있다.^[4]

:$\backslash |f+g\backslash |\_p\; \backslash le\; \backslash |f\backslash |\_p\; +\; \backslash |g\backslash |\_p.$

이 형태 때문에 이 부등식이 민코프스키 삼각 부등식이라 불리는 것이다. 이를 이용하면 Lₚ(μ)가 복소 벡터 공간이 된다는 것은 분명하다.

4. 적분 형태

(X, m, μ)와 (Y, n, ν)를 σ-유한 측도 공간이라 하고 F를 X×Y 위에서 정의된 m×n 가측 함수라 하자. 그러면 1≤p<∞인 경우 다음과 같은 적분 형태 민코프스키 부등식이 성립한다.^[5]

:$\backslash left[\backslash int\_\{X\}\backslash left(\backslash int\_\{Y\}F(x,y)\backslash ,d\backslash nu(y)\backslash right)^pd\backslash mu(x)\backslash right]^\{1/p\}\; \backslash le\; \backslash int\_\{Y\}\backslash left(\backslash int\_\{X\}F(x,y)^p\backslash ,d\backslash mu(x)\backslash right)^\{1/p\}d\backslash nu(y).$

이 부등식은 '민코프스키 적분부등식'이라고도 한다. p=1인 경우 이 부등식은 토넬리의 정리에서 바로 증명된다. 1 < p 에 대한 증명은 토넬리의 정리와 횔더 부등식을 사용하며, 기본적으로 앞의 형태들과 유사한 아이디어를 사용한다.

5. 일반화

민코프스키 부등식은 거듭제곱 함수 x^p 외에 다른 함수 φ(x)로 일반화할 수 있다. 일반화된 부등식은 다음과 같다.

:$$\backslash phi^\{-1\}\backslash left(\backslash textstyle\backslash sum\backslash limits\_\{i=1\}^n\; \backslash phi(x\_i\; +\; y\_i)\backslash right)\; \backslash leq\; \backslash phi^\{-1\}\backslash left(\backslash textstyle\backslash sum\backslash limits\_\{i=1\}^n\; \backslash phi(x\_i)\backslash right)\; +\; \backslash phi^\{-1\}\backslash left(\backslash textstyle\backslash sum\backslash limits\_\{i=1\}^n\; \backslash phi(y\_i)\backslash right).$$

Mulholland^[1] 등은 φ에 대한 다양한 충분 조건을 찾았다. 예를 들어, x ≥ 0에 대해 Mulholland가 제시한 충분 조건은 다음과 같다.

# φ(x)는 연속적이고 엄격하게 증가하며, φ(0) = 0이다.

# φ(x)는 x의 볼록 함수이다.

# logφ(x)는 log(x)의 볼록 함수이다.

6. 역 부등식

일 때, 역 부등식이 성립한다.

:$$\backslash |f+g\backslash |\_p\; \backslash ge\; \backslash |f\backslash |\_p\; +\; \backslash |g\backslash |\_p$$

예시 $f=-1,\; g=1$ 및 $p\; =\; 1$에서 알 수 있듯이, $f$와 $g$가 모두 음수가 아니라는 제약 조건이 더 필요하다.

:

역 부등식은 표준 민코프스키 부등식과 동일한 논리를 따르지만, 이 범위에서 횔더 부등식 또한 반전된다는 점을 이용한다.

역 민코프스키 부등식을 사용하여, 조화 평균 및 기하 평균과 같이 $p\; \backslash leq\; 1$인 거듭제곱 평균이 오목하다는 것을 증명할 수 있다.

7. 증명

민코프스키 부등식은 횔더 부등식을 사용하여 증명할 수 있다.^[5]

1 < ''p'' < ∞인 경우, 측도 μ가 주어진 측도 공간 X에서 f, g가 X에서 [0, ∞]로 가는 가측 함수일 때, 측도 μ에 대한 $L\_p$ 공간 $L\_p(\backslash mu)$에서 민코프스키 부등식은 다음과 같이 쓸 수 있다.^[4]

:$\backslash |f+g\backslash |\_p\; \backslash le\; \backslash |f\backslash |\_p\; +\; \backslash |g\backslash |\_p.$

(X, m, μ)와 (Y, n, ν)를 σ-유한 측도 공간이라 하고 F를 X×Y 위에서 정의된 m×n 가측 함수라 하자. 그러면 1≤p<∞인 경우 다음과 같은 적분 형태 민코프스키 부등식이 성립한다. 이를 '민코프스키 적분부등식'이라고도 한다.^[5]

:$\backslash left[\backslash int\_\{X\}\backslash left(\backslash int\_\{Y\}F(x,y)\backslash ,d\backslash nu(y)\backslash right)^pd\backslash mu(x)\backslash right]^\{1/p\}\; \backslash le\; \backslash int\_\{Y\}\backslash left(\backslash int\_\{X\}F(x,y)^p\backslash ,d\backslash mu(x)\backslash right)^\{1/p\}d\backslash nu(y).$

p=1인 경우 이 부등식은 토넬리의 정리에서 바로 증명된다. 따라서 1
증명 과정은 "증명 과정" 하위 섹션에 상세히 나와있다.

7. 1. 증명 과정

8. 응용

민코프스키 부등식은 Lp 공간이 완비 거리 공간임을 증명하는 데 사용된다.^[4] 이 부등식은 확률론, 통계학, 정보 이론 등 다양한 분야에서 활용된다.

1측도 μ가 주어진 측도 공간 X에 대하여 f, g가 X에서 [0, ∞]로 가는 가측 함수일 때, 측도 μ에 대한 $L\_p$ 공간 $L\_p(\backslash mu)$에서 민코프스키 부등식은 다음과 같이 쓸 수 있다.

• $\backslash |f+g\backslash |\_p\; \backslash le\; \backslash |f\backslash |\_p\; +\; \backslash |g\backslash |\_p.$

• $\backslash left[\backslash int\_\{X\}\backslash left(\backslash int\_\{Y\}F(x,y)\backslash ,d\backslash nu(y)\backslash right)^pd\backslash mu(x)\backslash right]^\{1/p\}\; \backslash le\; \backslash int\_\{Y\}\backslash left(\backslash int\_\{X\}F(x,y)^p\backslash ,d\backslash mu(x)\backslash right)^\{1/p\}d\backslash nu(y).$

참조

_[1] 논문 On Generalizations of Minkowski's Inequality in the Form of a Triangle Inequality
_[2] 서적 Real Analysis Wiley
_[3] 서적 한국수학올림피아드 바이블 2 도서출판 세화
_[4] 서적 Real and Complex Analysis http://www.mcgraw-hi[...] McGraw-Hill 1987
_[5] 서적 실해석 & 함수해석학 교우사