Maximal Ideal in Unital Banach Algebra is Closed
Jump to navigation
Jump to search
Theorem
Let $\struct {A, \norm {\, \cdot \,} }$ be a Banach algebra over $\C$.
Let $I$ be a maximal ideal of $A$.
Then $I$ is closed.
Proof
From Closure of Proper Ideal in Unital Banach Algebra is Proper Ideal, the closure $I^-$ is a proper ideal of $A$ with $I \subseteq I^-$.
Since $I$ is a maximal ideal, we have $I = I^-$.
From Set is Closed iff Equals Topological Closure, we conclude that $I$ is closed.
$\blacksquare$