p=∞ 일 때 p-놈이 맥시멈 놈이 됨을 증명

p=∞ 일 때 p-놈이 맥시멈 놈이 됨을 증명

Proof That p Norm is Maximum Norm When p is Infinity

정리

$1 < p_{0} < \infty$ 에 대해 $\left\{ x_{n} \right\}_{n \in \mathbb{N} } \in \mathcal{l}^{p_{0}}$ 라고 하면

$$ \lim_{p \to \infty} \left( \sum_{n \in \mathbb{N} } | x_{n} |^{p} \right)^{ {{1} \over {p}} } = \sup_{n \in \mathbb{N}} | x_{ n } | $$

설명

맥시멈 놈은 해석학이나 선형대수학 등에서 꽤 일찍 접함에도 불구하고 왜 하필 $\infty$ 와 관계가 있는지 그 설명을 찾기가 어렵다. 다행스러운 점은 그냥 증명이 가능하는 것이다.

증명

$\displaystyle M := \sup_{n \in \mathbb{N}} | x_{ n } |$ 이라 하자. 만약 $M=0$ 이면 $\displaystyle 0 = \lim_{p \to \infty} \left( \sum_{n \in \mathbb{N} } | x_{n} |^{p} \right)^{ {{1} \over {p}} } = \sup_{n \in \mathbb{N}} | x_{ n } | = 0$ 이므로 $M > 0$ 을 가정하자. 새로운 수열을 $\displaystyle y_{n} : = {{x_{n}} \over {M}}$ 이라고 정의하면 $\displaystyle \sup_{n \in \mathbb{N}} | y_{ n } | = 1$ 이고 $\left\{ y_{n} \right\}_{ n \in \mathbb{N} } \in \mathcal{l}^{p_{0}}$ 이므로 $\displaystyle \lim_{p \to \infty} \left( \sum_{n \in \mathbb{N} } | x_{n} |^{p} \right)^{ {{1} \over {p}} } = M $ 임을 보이려면 $\displaystyle \lim_{p \to \infty} \left( \sum_{n \in \mathbb{N} } \left| {{x_{n} } \over {M}} \right|^{p} \right)^{ {{1} \over {p}} } = 1$ 을 보이는 것으로 충분하다.

  • Part 1. $\displaystyle \liminf_{p \to \infty } \left( \sum_{n \in \mathbb{N} } | y_{n} |^{p} \right)^{ {{1} \over {p}} } \ge 1$

    $\displaystyle \sup_{n \in \mathbb{N}} | y_{ n } | = 1$ 이므로 임의의 $\varepsilon > 0$ 에 대해 $| y_{n_{0} } | > 1 - \varepsilon$ 을 만족하는 $n_{0} \in \mathbb{N}$ 이 존재한다. 모든 $\varepsilon > 0$ 에 대해 $\displaystyle \liminf_{p \to \infty } \left( \sum_{n \in \mathbb{N} } | y_{n} |^{p} \right)^{ {{1} \over {p}} } \ge | y_{ n_{0} } | > 1 - \varepsilon$ 이 성립하므로

    $$ \liminf_{p \to \infty } \left( \sum_{n \in \mathbb{N} } | y_{n} |^{p} \right)^{ {{1} \over {p}} } \ge 1 $$

  • Part 2. $\displaystyle \limsup_{p \to \infty} \left( \sum_{ n \in \mathbb{N} } | y_{n} |^{p} \right)^{ {{1} \over {p}} } \le 1$

    $\left\{ y_{n} \right\}_{ n \in \mathbb{N} } \in \mathcal{l}_{p_{0}}$ 이므로 $\displaystyle \sum_{ n > N } | y_{n} |^{p_{0}} < 1$ 를 만족하는 $N \in \mathbb{n}$ 이 존재한다. $p > p_{0}$ 이라고 하면

    $$ \sum_{ n > N } | y_{n} |^{p} < \sum_{ n > N } | y_{n} |^{p_{0}} < 1 $$

    $\displaystyle \left( \sum_{ n \in \mathbb{N} } | y_{n} |^{p} \right)^{ {{1} \over {p}} } \le \left( | y_{1} |^{p} + \cdots + | y_{N} |^{p} + 1 \right)^{ {{1} \over {p}} } \le \left( N + 1 \right)^{ {{1} \over {p}} }$ 이 성립하므로

    $$ \limsup_{p \to \infty} \left( \sum_{ n \in \mathbb{N} } | y_{n} |^{p} \right)^{ {{1} \over {p}} } \le \limsup_{p \to \infty} \left( N + 1 \right)^{ {{1} \over {p}} } = 1 $$

  • Part 3.

    위의 Part 1.Part 2. 에 따라

    $$ \limsup_{p \to \infty} \left( \sum_{ n \in \mathbb{N} } | y_{n} |^{p} \right)^{ {{1} \over {p}} } \le 1 \le \liminf_{p \to \infty } \left( \sum_{n \in \mathbb{N} } | y_{n} |^{p} \right)^{ {{1} \over {p}} } $$

    결과적으로

    $$ \lim_{p \to \infty} \left( \sum_{ n \in \mathbb{N} } | y_{n} |^{p} \right)^{ {{1} \over {p}} } =1 $$

댓글