Closure of Proper Ideal in Unital Banach Algebra is Proper Ideal
Theorem
Let $\struct {A, \norm {\, \cdot \,} }$ be a Banach algebra over $\C$.
Let $I$ be a proper ideal of $A$.
Then $I^-$ is a proper ideal of $A$.
Proof
From Closure of Subspace of Normed Vector Space is Subspace, $I^-$ is a vector subspace of $A$.
Let $x \in I^-$ and $y \in A$.
We need to show that $x y \in I^-$.
From the definition of a closed set in a normed vector space, there exists a sequence $\sequence {x_n}_{n \mathop \in \N}$ valued in $I$ such that:
- $x_n \to x$
Since $I$ is an ideal, we have $x_n y \in I$ for each $n \in \N$.
From Product Rule for Sequence in Normed Algebra, we have:
- $x_n y \to x y$
From the definition of closure, we have $x y \in I^-$.
So $I^-$ is an ideal.
It remains to show that it is proper.
Let $\map G A$ be the group of units of $A$.
From Ideal of Unit is Whole Ring, we have:
- $J \cap \map G A = \O$
From Group of Units in Unital Banach Algebra is Open, $\map G A$ is open.
Hence from Open Set Disjoint from Set is Disjoint from Closure, we have that:
- $J^- \cap \map G A = \O$
From Ideal of Unit is Whole Ring, we conclude that $I^-$ is a proper ideal of $A$.
$\blacksquare$