10. Commutative Banach algebras - Aarhus Universitet
10. Commutative Banach algebras - Aarhus Universitet
10. Commutative Banach algebras - Aarhus Universitet
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
The proof of Theorem 11.3<br />
Proof.<br />
(a) : Let J be a proper ideal in A. The proper ideals in A which<br />
contain J constitute a partially ordered set when ordered by<br />
inclusion. By Hausdorff’s maximality theorem there is a maximal<br />
totally ordered set Ω in this partially ordered set. Let I be the<br />
union of the ideals in Ω.<br />
It follows I is an ideal since Ω is totally ordered.<br />
If 1 ∈ J there must be an ideal from Ω which contains 1. By (a) of<br />
Lemma 2 this is not possible since the ideals in Ω are proper. This<br />
shows that J is a proper ideal.<br />
Note that J ⊆ I. By maximality of Ω there can not be a proper<br />
ideal J ′ in A such that J ⊆ J ′ and J = J ′ , i.e. J is a maximal ideal.<br />
Klaus Thomsen <strong>10.</strong> <strong>Commutative</strong> <strong>Banach</strong> <strong>algebras</strong>