バナッハ環
The family "C"("σ"("T")) is a Banach algebra when endowed with the uniform norm. So the mapping