A maximal ideal in a function ring
Let
Prove that
View code
Let $\mathcal{C}([0,1])$ be the (commutative) ring of continuous, real-valued functions on the unit interval, and let
\[
M=\left\{f\in \mathcal{C}([0,1])\,\mid\, f\left(\frac{1}{2}\right)=0\right\}.
\]
Prove that $M$ is a maximal ideal.