06.08.2013 Views

10. Commutative Banach algebras - Aarhus Universitet

10. Commutative Banach algebras - Aarhus Universitet

10. Commutative Banach algebras - Aarhus Universitet

SHOW MORE
SHOW LESS

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>

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!