积分, VIII, p. 66
令 G 为局部紧致群和 β G 上的左 Haar 测度。证明当且仅当 G 是离散的时,代数 L1(G,β) 具有单位元元素。 (假设 G 非离散,且令 f0∈L1(G,β)。存在 e 的紧邻域 V,使得
∫V∣f0(x)∣dβ(x)<1. 令 U 为 e 的对称紧邻域,使得
U2⊂V。然后,对于几乎每个
x∈U,
∣(φU∗f0)(x)∣=∫U∣f0(y−1x)∣dβ(y)≤∫V∣f0(x)∣dβ(x)<1, 因此对于
L1(G,β)来说,
f0不是单位元元素。)