Santos

• Cartan 子代数
• Cauchy 函数方程
• 紧算符
• Fatou 引理
• Peter-Weyl 定理
• Stone-Weierstrass 定理
• 上确界范数