ℓ^∞(X)中格恒等式证明与子格等价条件求证

嘿，我来一步步帮你搞定这个Banach格的问题，咱们拆成两部分来解决～

一、证明两个函数等式 #

首先明确：在ℓ^∞(X)中，函数的上确界f∨g和下确界f∧g是逐点定义的，即对任意x∈X，有：
$$(f∨g)(x) = \max{f(x), g(x)}, \quad (f∧g)(x) = \min{f(x), g(x)}$$

要证明函数等式，只需要验证逐点成立即可（函数相等当且仅当每个点的函数值都相等）。

1. 证明 $f+g = f∨g + f∧g$ #

任取x∈X，令a = f(x)，b = g(x)，只需证a + b = max(a,b) + min(a,b)：

• 若a ≥ b：max(a,b)=a，min(a,b)=b，右边a + b，与左边相等；
• 若a < b：max(a,b)=b，min(a,b)=a，右边b + a，与左边相等。

因此对所有x∈X，等式成立，故函数层面f+g = f∨g + f∧g得证。

2. 证明 $|f−g| = f∨g − f∧g$ #

同样任取x∈X，令a = f(x)，b = g(x)，只需证|a - b| = max(a,b) - min(a,b)：

• 若a ≥ b：|a - b| = a - b，右边a - b，与左边相等；
• 若a < b：|a - b| = b - a，右边b - a，与左边相等。

逐点成立，故函数层面|f−g| = f∨g − f∧g得证。

二、证明A是子格当且仅当∀f∈A，|f|∈A #

先明确两个核心定义：

• ℓ^∞(X)的子格：子空间A满足：若f,g∈A，则f∨g∈A且f∧g∈A；
• 绝对值函数的格表示：|f|(x) = |f(x)|，而逐点来看|f| = f∨(-f)（因为对任意实数a，|a| = max(a, -a)）。

1. 必要性（A是子格 ⇒ ∀f∈A，|f|∈A） #

若A是子格，对任意f∈A：

• 因为A是子空间，所以-f∈A（子空间对负元封闭）；
• 子格要求f∨(-f)∈A，而f∨(-f)=|f|，因此|f|∈A。

2. 充分性（∀f∈A，|f|∈A ⇒ A是子格） #

假设对所有f∈A，|f|∈A，要证f∨g∈A和f∧g∈A对任意f,g∈A成立：
利用第一部分的等式变形：
$$f∨g = \frac{(f+g) + |f - g|}{2}, \quad f∧g = \frac{(f+g) - |f - g|}{2}$$
因为A是子空间：

• f+g∈A（子空间对加法封闭）；
• f - g∈A（子空间对减法封闭），进而|f - g|∈A（根据假设）；
• 子空间对标量乘法封闭，因此(f+g) + |f - g|的1/2倍也属于A，即f∨g∈A；同理f∧g∈A。

因此A是ℓ^∞(X)的子格。

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