# 积分绝对值不等式　`prop.integral-abs-ineq`
命题：$|\int f| \le \int |f|$
layer 20 · 命题 · 积分 · 分析学
[在星图里打开](../#n=prop.integral-abs-ineq)　·　[节点索引](../index.md)

设 $f \in L^1(\mu)$，则

$$| \int f d\mu | \le \int |f| d\mu$$

## 为什么成立（入边，证明在 proofs/）
- [`def.integrable`](../nodes/def.integrable.md) 可积 / L¹：用到了定义 可积 / L¹　[proofs/def-link.integrable-integral-abs.md](../proofs/def-link.integrable-integral-abs.md)

- …另有入边，续页见 [nodes/prop.integral-abs-ineq.2.md](./prop.integral-abs-ineq.2.md)

refs: Folland, Real Analysis, Prop. 2.22

> 说明见 `notes/prop.integral-abs-ineq.md`

引用：`prop.integral-abs-ineq`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)