在數學 中，局部可積函數 是指在定義域 內的所有緊集 上都可積 的函數 。
設
Ω
{\displaystyle \Omega }
R
n
{\displaystyle \mathbb {R} ^{n}}
開集 。設
f
:
Ω
→
C
{\displaystyle \scriptstyle f:\Omega \to \mathbb {C} }
勒貝格 可測函數 。如果函數
f
{\displaystyle f}
緊集
K
⊂
Ω
{\displaystyle K\subset \Omega }
∫
K
|
f
|
d
x
<
+
∞
{\displaystyle \int _{K}|f|\mathrm {d} x<+\infty \,}
那麼就稱函數
f
{\displaystyle f}
Ω
{\displaystyle \Omega }
[ 1]
Ω
{\displaystyle \Omega }
L
l
o
c
1
(
Ω
)
{\displaystyle \scriptstyle L_{loc}^{1}(\Omega )}
L
l
o
c
1
(
Ω
)
=
{
f
:
Ω
→
C
,
{\displaystyle L_{loc}^{1}(\Omega )=\left\{f:\Omega \to \mathbb {C} ,\right.}
|
f
∈
L
1
(
K
)
,
∀
K
∈
P
0
(
Ω
)
}
{\displaystyle \left.\left|\ f\in L^{1}(K),\ \forall K\in {{\mathcal {P}}_{0}(\Omega )}\right.\right\}}
其中
P
0
(
Ω
)
{\displaystyle \scriptstyle {{\mathcal {P}}_{0}(\Omega )}}
Ω
{\displaystyle \Omega }
對於更一般的測度空間
(
X
,
d
μ
)
{\displaystyle (X,d\mu )}
[ 2]
所有
Ω
{\displaystyle \Omega }
連續函數 與可積函數都是
Ω
{\displaystyle \Omega }
Ω
{\displaystyle \Omega }
Ω
{\displaystyle \Omega }
L2 函數 也是
Ω
{\displaystyle \Omega }
[ 3]
局部可積函數都是幾乎處處 有界的函數
(
X
,
d
μ
)
{\displaystyle (X,d\mu )}
[ 4]
複數值的函數
f
{\displaystyle f}
當且僅當 其實部函數
R
e
(
f
)
:
x
→
R
e
(
f
(
x
)
)
{\displaystyle Re(f):x\to Re\left(f(x)\right)}
I
m
(
f
)
:
x
→
I
m
(
f
(
x
)
)
{\displaystyle Im(f):x\to Im\left(f(x)\right)}
f
{\displaystyle f}
當且僅當 其正部函數
f
+
:
x
→
(
f
(
x
)
)
+
{\displaystyle f_{+}:x\to \left(f(x)\right)_{+}}
f
−
:
x
→
(
f
(
x
)
)
−
{\displaystyle f_{-}:x\to \left(f(x)\right)_{-}}
[ 4]
^ Francis Hirsch, Gilles Lacombe. Elements of functional analysis ISBN 978-0387985244（英語） . ^ Jean Alexandre Dieudonné. Treatise on Analysis 第2卷. Academic Press. 1976年 （英語） . ^ John Michael Rassias. Functional analysis, approximation theory, and numerical analysis ISBN 978-981-02-0737-3（英語） . ^ 4.0 4.1 Jean Alexandre Dieudonné. Treatise on Analysis 第2卷. Academic Press. 1976 （英語） .
