This is an old revision of the document!
ParseError: syntax error, unexpected 'fn' (T_STRING), expecting :: (T_PAAMAYIM_NEKUDOTAYIM)
More info is available in the error log.
Teorema de Stone-Weierstrass
Este teorema é uma generalização do teorema de aproximação de Weierstrass. (entretanto na sua demonstração utilizamos o teorema de aproximação de Weierstrass)
Seja $C^0(M)$ o espaço de funções contínuas de um espaço métrico compacto $M$. Dizemos $\mathcal{A} \subset C^0(M)$ é álgebra de funções se:
- $f, g \in \mathcal{A}, c \in \mathbb{R} $ então $cf+g \in \mathcal{A}$
- $f, g \in \mathcal{A}$ então $f.g \in \mathcal{A}.$
Além disso, dizemos que $\mathcal{A}$ nunca zera se para todo $x \in M$ existe $f \in \mathcal{A}$ tal que $f(x) \neq 0.$
Exemplo: o conjunto de todos os polinômios reais é uma álgebra que nunca zera. Porém o conjunto de todos os polinômios com termo constante zero é uma álgebra, porém não é nunca zero.
Dizemos que $\mathcal{A}$ separa pontos de $M$ se para quaisquer $x \neq y \in M$ existe $f \in \mathcal{A}$ tal que $f(x) \neq f(y).$
Teorema (Stone-Weierstrass):
Seja $\mathcal{A} \subset C^{0}(M)$ uma álgebra que nunca zera e separa pontos, então $\mathcal{A}$ é denso em $C^0(M).$
Um1s9n9vnig