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

Let $\mathscr{A}$ be an algebra of bounded complex functions. (Or if necessary, continuous and domain of functions is compact)


$\mathscr{B}$ is uniformly closed iff $f\in\mathscr{B}$ whenever $f_n\in \mathscr{B} (n=1,2,\cdot)$ and $f_n\rightarrow f$ uniformly.

$\mathscr{B}$ is the uniform closure of $\mathscr{A}$ iff $\mathscr{B}$ is the set of all functions which are limits of uniformly convergent sequences of members of $\mathscr{A}$.


Let $\mathscr{B}$ be a uniform closure of $\mathscr{A}$.

How do i prove that $\mathscr{B}$ is uniformly closed in ZF?

Does Stone-Weierstrass theorem require choice since it is critical to prove Stone-Weierstrass Theorem?

share|cite|improve this question
How do you define the uniform closure? – Asaf Karagila Dec 17 '12 at 15:04
$\mathscr{B}$ is the uniform closure of $\mathscr{A}$ if $\mathscr{B}$ is the set of all functions which are limits of uniformly convergent sequences of members of $\mathscr{A}$. – Katlus Dec 17 '12 at 15:18
I just edited my question. Is there a term to distinguish these two definitions (one is on the post and the other is $\overline{\mathscr{A}}$)? The relation looks very similar to that between sequential continuity and $\epsilon-\delta$ continuity. – Katlus Dec 17 '12 at 15:39

I would answer for the first question.

Theorem: Let $\mathscr{B}$ be a uniform closure of $\mathscr{A}$. (Where $\mathscr{A}$ - algebra consisting of bounded functions). Then $\mathscr{B}$- uniformly closed algebra.

Proof: If $f\in\mathscr{B}$ and $g\in\mathscr{B}$, then there are uniformly convergent sequences $f_n\in\mathscr{A}$ and $g_n\in\mathscr{A}$ such that $f_n\to f$ and $g_n\to g$. Since the functions are bounded, we can write: $$f_n+g_n\to f+g$$ $$f_ng_n\to fg$$ $$cg_n\to cg$$ Where $c$ is constant from the field.

So $f+g\in\mathscr{B} $,$fg\in\mathscr{B} $,$cg\in\mathscr{B}$. So $\mathscr{B}$ is algebra.

Let $f_n$ is uniformly convergent sequence of elements from $\mathscr{B}$. There are functions $g_n$ such that $|f_n(x)-g_n(x)|<\frac{1}{n}$. If $f_n\to f$ then it is clear that $g_n\to f$, so (by definition of $\mathscr{B} $) $f\in\mathscr{B}$, so $\mathscr{B} $ is uniformly closed.


share|cite|improve this answer
Why choosing $g_n$ is not a choice? – Katlus Dec 17 '12 at 18:19
@Katlus: The existence of such sequence $g_n$ is guaranteed from the definition, and the choice of sequence does not affect the outcome. Since you are interested in finite number of choices it's fine. – Asaf Karagila Dec 17 '12 at 18:57
I don't really understand. Please let me know where i'm thinking wrong. Fix $n\in\mathbb{N}$. Then there exist (maybe) infinitely many sequences in $\mathscr{A}$ convergent to $f_n$. Isn't this choosing $g_n$ for each $n\in\mathbb{N}$? – Katlus Dec 17 '12 at 19:13
I still don't understand why constructin $\{g_n\}$ is not a countable choice. Please explain me the algorithm to construct that sequence $\{g_n\}$?? Sure $f$ is a limit point of $\mathscr{A}$, but how does that imply there actually exists such sequence – Katlus Dec 17 '12 at 19:38
@Asaf Please explain me why $\{g_n\}$ is guranteed from the definition. It seems countable choice is definitely in need here.. I'm stuck – Katlus Dec 17 '12 at 21:16

I think that $\mathscr{B}$ is the uniform closure of $\mathscr{A}$, for any $x$, $\mathscr{B}$ is the uniform closure of $\mathscr{A}$.

Recall the closure $\overline{E}$ of the set $E$ is closed. Here, $f_n(x) \rightarrow f(x)$ for any $x$ is holded. So $\mathscr{B}$ is uniform closed.

share|cite|improve this answer

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.