Proof. If is smooth, then
Since , and both the real and complex MA operators are weakly continuous with respect to -limits, this equality passes to general . ∎
Verified tagged author-source HTML · 1912.02360v1 · cited publication edition alignment unverified.
Proof. If is smooth, then
Since , and both the real and complex MA operators are weakly continuous with respect to -limits, this equality passes to general . ∎