求助求证：若f∈L^1_{loc}(ℝ)，存在ε>0使∫_{-ε}^ε|f(x)|dx<1/2

嗨，这个问题其实可以通过局部可积的定义加上勒贝格积分的核心性质来解决，我给你一步步理清楚：

首先，先明确局部可积空间 (L^1_{\text{loc}}(\mathbb{R})) 的关键定义：函数 (f) 属于这个空间，意味着它在任何紧集（比如闭区间）上的绝对值积分都是有限的。简单说，随便取一个包含原点的闭区间，比如 ([-1,1])，积分 (\int_{-1}^1 |f(x)|dx) 肯定是个有限数，记为 (M)。

接下来要用到勒贝格积分的绝对连续性——这是解决这类“找小区间让积分足够小”问题的核心工具：

• 对于刚才的有限积分 (M)，不管你想要多小的正数 (\delta)（这里我们取 (\delta = \frac{1}{2})），总能找到一个正数 (\eta)，只要某个可测集 (A) 是 ([-1,1]) 的子集，并且 (A) 的长度（勒贝格测度）小于 (\eta)，那么 (|f|) 在 (A) 上的积分就会小于 (\delta)。

现在我们要构造符合条件的 (\varepsilon)：

• 取 (\varepsilon = \frac{\eta}{4})（其实只要满足 (2\varepsilon < \eta) 就行，比如 (\varepsilon = \frac{\eta}{3}) 也可以），这时候区间 ([-\varepsilon, \varepsilon]) 的长度是 (2\varepsilon)，显然小于 (\eta)，而且这个区间完全包含在 ([-1,1]) 里。
• 代入绝对连续性的结论，直接就能得到 (\int_{-\varepsilon}^\varepsilon |f(x)|dx < \frac{1}{2})，这不就找到了我们需要的正数 (\varepsilon) 嘛！

另外换个角度理解：定义函数 (F(\varepsilon) = \int_{-\varepsilon}^\varepsilon |f(x)|dx)，这个函数在 (\varepsilon \geq 0) 时是单调不减的，而且 (F(0) = 0)。因为 (f) 在 ([-1,1]) 上可积，所以当 (\varepsilon) 趋近于0的时候，(F(\varepsilon)) 会趋近于0。既然极限是0，那肯定存在某个小的 (\varepsilon > 0)，让 (F(\varepsilon)) 小于 (\frac{1}{2})，这也能证明结论。

内容的提问来源于stack exchange，提问作者Mini_me