Skip to main content
6 of 6
removed capitals from title
YCor
  • 63.9k
  • 5
  • 187
  • 286

Form of a hereditary subalgebra of $C^*$-algebra $C_0(X)$

I would like to show that: "every hereditary subalgebra $U$ of a $C^*$-algebra $C_0(X)$ for a locally compact Hausdorff Space $X$ has the form $J_E := \{f \in C_0(X) : f|_E=0 \}$ for a closed subset $E$ of $X$."

Any idea about how to show it concretely? (maybe using the Stone–Weierstrass Theorem?)

VvvV
  • 11
  • 2