Lp 공간은 측도론과 함수해석학에서 사용되는 함수 공간으로, 주어진 측도공간 $(X,\mathcal{A},\mu)$ 위에서 정의된 실수값(또는 복소수값) 함수 $f$가 $p$제곱 적분가능($1 \le p < \infty$)하거나 거의 어디서나 유계($p = \infty$)인 경우를 모아 만든 공간이다.
정의
측도공간 $(X,\mathcal{A},\mu)$와 실수 $p$ ($1 \le p \le \infty$)에 대해
$$ L^{p}(X,\mu)=\Bigl{f:X\to\mathbb{C},\Big|, f \text{가 가측이며 } |f|_{p}<\infty \Bigr}, $$
where
$$ |f|{p}= \begin{cases} \left(\displaystyle\int{X}|f(x)|^{p},d\mu(x)\right)^{1/p} & (1\le p<\infty),$$8pt] \operatorname*{ess,sup}_{x\in X}|f(x)| & (p=\infty). \end{cases} $$
두 함수가 $\mu$-거의 어디서나 같은 경우(즉, 차이가 영점집합 위에 있을 경우) 서로 동치라고 보고, 그 동치류를 원소로 취한다. 이렇게 정의된 $L^{p}(X,\mu)$는 $|,\cdot,|_{p}$에 대하여 완비노름공간(바나흐 공간)이 된다.
주요 성질
| 성질 | 내용 |
|---|---|
| 노름 | $|f|_{p}$는 $L^{p}$에서 정의된 노름이며, $p=\infty$인 경우에는 에센셜 상한을 이용한 노름이 된다. |
| 완비성 | 모든 $1\le p\le \infty$에 대해 $L^{p}(X,\mu)$는 바나흐 공간이다. |
| Hölder 부등식 | $1/p+1/q=1$ ($1\le p,q\le\infty$)일 때, $\displaystyle \int_{X} |
| Minkowski 부등식 | $|f+g|{p}\le |f|{p}+|g|_{p}$ (삼각 부등식) |
| Dual 공간 | $1<p<\infty$에서는 $(L^{p})^{}\cong L^{q}$ ($1/p+1/q=1$). $p=1$인 경우는 $(L^{1})^{}\cong L^{\infty}$이며, $p=\infty$인 경우는 $(L^{\infty})^{*}$가 일반적인 형태의 함수 공간이 아니다(예: ba 측도). |
| 밀도 | 유계 가측 함수와 연속 함수(적절한 위상에서)는 $L^{p}$에서 각각 밀집한다. 특히, 단순함수는 모든 $L^{p}$에서 밀집한다. |
| 연속 포함 | $1\le p<q\le\infty$이면, $\mu(X)<\infty$인 경우 $L^{q}\subset L^{p}$이며 $|f|{p}\le \mu(X)^{\frac{1}{p}-\frac{1}{q}}|f|{q}$. |
대표적인 예
| 측도공간 | 설명 | 주요 $L^{p}$ 사례 |
|---|---|---|
| $(\mathbb{R}^{n},\mathcal{B}(\mathbb{R}^{n}),\text{Lebesgue 측도})$ | 유클리드 공간에 대한 표준 측도 | $L^{p}(\mathbb{R}^{n})$는 흔히 미분방정식·푸리에 분석에서 사용 |
| $(\mathbb{N},\mathcal{P}(\mathbb{N}),\text{계산 측도})$ | 각 원소에 무게 1을 부여 | $\ell^{p}$ 공간, 즉 수열 $(a_{n})$의 $\sum |
| 확률공간 $(\Omega,\mathcal{F},\mathbb{P})$ | 확률론에서 기대값은 $L^{1}$ 노름 | $L^{p}(\Omega,\mathbb{P})$는 $p$차 적분가능 확률변수들의 공간 |
응용 분야
- 함수해석학 – 바나흐 공간, 힐베르트 공간($p=2$)의 기본 사례.
- 편미분 방정식 – 약해(weak) 해의 존재와 유일성을 증명하는 데 핵심 도구.
- 신호·이미지 처리 – $L^{2}$ 노름은 에너지 보존, $L^{1}$은 총 변동성 측정에 활용.
- 확률론·통계학 – 확률변수의 $p$차 적분가능성, 대수적 수렴 정리(예: 마르코프 부등식)와 연관.
- 조화 해석 – 푸리에 변환, 파동 방정식 해석 등에서 $L^{p}$‑$L^{q}$ 추정이 사용.
관련 개념
- 바나흐 공간 – 완비 노름공간, $L^{p}$는 대표적인 예.
- 힐베르트 공간 – $p=2$인 경우, 내적 $\langle f,g\rangle =\int f\overline{g},d\mu$가 정의되어 추가 구조를 가짐.
- Lp‑정리 – $L^{p}$ 공간 사이의 연속 포함 관계(특히 유한 측도 공간에서).
- Sobolev 공간 – 미분가능성을 포함한 $L^{p}$ 기반 함수 공간.
참고 문헌
- R. E. Hahn, Lectures on Functional Analysis, 1968.
- G. B. Folland, Real Analysis: Modern Techniques and Their Applications, 2판, 1999.
- L. C. Evans, Partial Differential Equations, 2판, 2010.
(위 문헌들은 Lp 공간에 대한 표준 교과서이며, 일반적인 정의와 성질을 다룬다.)