Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

X is a arbitrary non empty set , B(X) the set of bounded functions $f:X\rightarrow \mathbb{R}$ and $||f||_\infty = \sup_{x\in X} |f(x)|$

Completeness: Let $(f_n(x))_{n \in \mathbb{N}}$ be a cauchy sequence, then: $$||f_n-f_m||\le \frac{\epsilon}{2} \ \text{for n,m greater than some N}$$

the cauchy sequence $f_n$ will have a limit $f(x)$ for $x \in \mathbb{R}$, so there must be a $f_{n_k}$ with a $n_k > N$ such that : $|f_{n_k}(x)-f(x)|\le \frac{\epsilon}{2}$ so one can put:

$$|f_n(x)-f(x)| \le ||f_n(x)-f_{n_k}(x)||+ |f_{n_k}(x)-f(x)| \le \epsilon $$

And for every $x\in \mathbb{R}$: $$|f(x)|\le |f_{n_k}(x)|+|f_n(x)-f(x)|\le ||f_{n_k}(x)||+\epsilon < \infty$$

Is this sufficient to say that it was shown that $(B(X), ||.||_\infty )$ is a Banach space?

Is it also a Banach Algebra?

share|improve this question
2  
assuming that it is complete : I don't understand. –  Davide Giraudo Jan 19 '13 at 17:35
add comment

1 Answer 1

up vote 0 down vote accepted

Let $\|f\|:= \sup_{x\in X} |f(x)|$.

For proving that your space $(B(X),\|\cdot \|)$ is complete I would begin with : Let $(f_n)_{n=0}^\infty$ be a Cauchysequence in $B(X)$. Let $\epsilon >0 $. Then we find $N \in \mathbb N$ such that for all $n,m \geq N: \|f_n - f_m\| < \epsilon$. This implies that each $(f_n(x))_{n=0}^\infty$ converges pointwise because $\mathbb R$ is complete. Then we may define $$ f: X \rightarrow \mathbb R: x\mapsto \lim_{n \rightarrow \infty} f_n(x) $$ We now show that $f_n \rightarrow f$ uniform on $X$. Let $\epsilon > 0$. Then we find $N \in \mathbb N$ such that for all $n,m \geq N$ : $$ |f_n(x)-f_m(x)| < \epsilon, \forall x \in X $$ Taking the limit in $m \rightarrow \infty$ (this must be verified as legitimate step, too) leads to $$ \forall n \geq N: |f_n(x)-f(x)| < \epsilon, \forall x \in X $$ which proves uniform convergence of the $f_n$ to $f$. Thus any Cauchysequence in $B(x)$ converges which proves completeness of $(B(x),\|\cdot\|)$.

Further is boundedness preserved by uniform convergence .

What I mean by "thist must be verified": For a given sequence $(a_n)_{n=0}^\infty$ in $\mathbb R$ with limit $a$ we have for any metric d: $$ \lim_{n \rightarrow \infty} d(a_n,x) = d(a,x) $$ where $x$ is some point in your space.

share|improve this answer
    
Thanks, it does answer the question in the title. –  bakabakabaka Jan 19 '13 at 20:46
    
I am not familiar with "Banach Algebra" so sorry for that ^^ –  André Jan 20 '13 at 9:37
add comment

Your Answer

 
discard

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.