Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose that $A$ is a natural Banach function algebra on $K$, a compact Hausdorff space. So $A$ is realised as an algebra of continuous functions on $K$, is a Banach algebra for some norm (necessarily dominating the supremum norm) and each character on $A$ is given by evaluation at a point of $K$.

If $F\subseteq K$ is closed, then $$ I(F)=\{f\in A : f(k)=0 \ (k\in F) \}$$ is a closed ideal in $A$. If e.g. $A=C(K)$ then every closed ideal is of this form.

What's a simple example of an $A$ where not every closed ideal is of this form?

If I look in Bonsall+Duncan, I find that the Disc Algebra is an example. But quite a bit of theory is needed to show this. I'd like an easy example which I can explain to students. For bonus marks:

Can we find an $A$ which is conjugate closed?

share|cite|improve this question
how can we prove that I(F) is closed? – Alka Goyal Feb 17 '14 at 14:22
up vote 4 down vote accepted

$C^1([0,1])$ - take the ideal of functions which vanish at $p$ and whose derivatives vanish at $p$.

share|cite|improve this answer
D'oh! That was easy... Thank you! – Matthew Daws Mar 16 '12 at 16:27
No worries, I just happen to have got stuck on / noticed this some years ago while messing around with hulls and kernels – user16299 Mar 16 '12 at 16:50

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.