Idéal sans générateur

$\textbf{1.}$ $I_c$ est un idéal. Soit $I$ un idéal de $A$ contenant $I_c$. Si $I=I_c$, sinon on cherche une fonction dans $I$ qui ne n’annule jamais.
Soit $f\in I\setminus I_c$ et $g\in I_c$ (sur un graphique on prend une fonction en forme de V avec la pointe en $c$, $g(c)=0$. Alors $g+f^2\in I$ par propriété d’idéal et $g+f^2$ ne s’annule jamais. On note $\phi=g+f^2$.
Soit $h\in A$ alors $h=\underset{\in I}{\underbrace{h\phi}}\underset{\in A}{\underbrace{\frac{1}{\phi}}} \in I$ donc $A=I$.

$\textbf{2.}$ On procède par l’absurde.
On suppose qu’il existe $f\in A$ tq $I_c=fA$. Alors $f\in I_c$ et ne s’annule qu’en $c$. En effet, soit $x\neq c$ un autre point d’annulation. On reprend la fonction $g$ définie comme un V de pointe $c$ tq $g(c)=0$, alors on peut l’écrire $fh$ et donc $g(x)=0$ ABSURDE !
On considère $\sqrt{|f|}$. Par hypothèse on peut l’écrire $fg$ avec $g\in A$, alors $\displaystyle\frac{1}{\sqrt{|f|}}=g$, vrai pour tout $x\neq c$ et on fait $x\rightarrow c$ alors $g(x)\rightarrow +\infty$ ce qui contredit la continuité de $g$.

$\textbf{3.}$ On procède encore par l’absurde.
On suppose qu’il existe $f_1,...,f_m$ tq $f_1A+...f_mA=I_c$. De même les $f_i$ s’annule en $c$ et par un argument similaire les $f_i$ n’admettent pas d’une autre racine commune. Ainsi $f_1^2+...+f_m^2 \in I_c$ et ne s’annule qu’en $c$. Il existe $g_1,...,g_m\in A$ tq $\sqrt[3]{f_1^2+...+f_m^2} = f_1g_1 +...+ f_mg_m$.
On rappelle que pour tout $a,b$ réels $ab\leq \frac{a^2+b^2}{2}$. Ainsi
$$f_1^2+...f_m^2 = \left(f_1g_1+...+f_mg_m\right)^3 = \sum_{i,j,k}f_if_jf_kg_ig_jg_k$$donc
$1=\frac{1}{f_1^2+...+f_m^2}\sum_{i,j,k} f_if_jf_kg_ig_jg_k\leq \sum_{i,j,k} \frac{f_if_jf_k}{f_1^2+...+f_m^2}g_ig_jg_k\leq \sum_{i,j,k} |f_i| \frac{f_j^2+f_k^2}{2\left(f_1^2+...+f_m^2\right)}|g_ig_kg_l|\leq \sum_{i,j,k} \frac{1}{2}|f_ig_ig_jg_k|$
Ce qui est absurde pour $x$ assez proche de $c$.