# L^p 自反　`cor.lp-reflexive`
推论：$1 < p < \infty$ 时 $L^p \cong (L^p)^{**}$
layer 19 · 推论 · L^p 空间 · 分析学
[在星图里打开](../#n=cor.lp-reflexive)　·　[节点索引](../index.md)

设 $1 < p < \infty$。则

$$L^p \cong (L^p)^{**}$$

即 $L^p$ 是**自反**的 Banach 空间。

## 为什么成立（入边，证明在 proofs/）
- [`def.lp-norm`](../nodes/def.lp-norm.md) L^p 范数：用到了定义 L^p 范数　[proofs/def-link.lp-reflexive.md](../proofs/def-link.lp-reflexive.md)

refs: Folland, Real Analysis, §6.2

> 说明见 `notes/cor.lp-reflexive.md`

引用：`cor.lp-reflexive`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)