MHB Problem of the Week #101 - May 5th, 2014

  • Thread starter Thread starter Chris L T521
  • Start date Start date
Click For Summary
The problem discusses the convergence of a sequence of continuous functions \( f_n: X \rightarrow Y \) to a function \( f \) under uniform convergence. It establishes that if \( x_n \) converges to \( x \) in the topological space \( X \), then the sequence \( f_n(x_n) \) converges to \( f(x) \) in the metric space \( Y \). The proof utilizes the definitions of uniform convergence and continuity, demonstrating that the distance \( d(f_n(x_n), f(x)) \) can be made arbitrarily small. The solution confirms that the convergence holds by combining the uniform convergence of \( f_n \) and the continuity of the functions. This result is significant in understanding the behavior of sequences of functions in topology and analysis.
Chris L T521
Gold Member
MHB
Messages
913
Reaction score
0
Here's this week's problem!

-----

Problem
: Let $X$ be a topological space and let $Y$ be a metric space. Let $f_n:X\rightarrow Y$ be a sequence of continuous functions. Let $x_n$ be a sequence of points of $X$ converging to $x$. Show that if the sequence $(f_n)$ converges uniformly to $f$, then $(f_n(x_n))$ converges to $f(x)$.

-----

Remember to read the http://www.mathhelpboards.com/showthread.php?772-Problem-of-the-Week-%28POTW%29-Procedure-and-Guidelines to find out how to http://www.mathhelpboards.com/forms.php?do=form&fid=2!
 
Physics news on Phys.org
This week's problem was correctly answered by Ackbach and girdav.

You can find Ackbach's solution below.

[sp]Let $\varepsilon>0$.

Assume $X$ is a topological space, and $Y$ is a metric space with metric $d$. Let $f_n:X \to Y$ be a sequence of continuous functions converging uniformly to $f$. Let $\{x_n\}$ be a sequence of points of $X$ converging to $x\in X$. We wish to show that $\{f_{n}(x_{n})\}$ converges to $f(x)$.

Since $f_n$ converges uniformly to $f$, by definition, $(\forall \varepsilon>0)(\exists N_{f}\in \mathbb{Z}^{+})$ s.t. $(\forall x\in X)$ and $(\forall n\ge N_{f})$, $d(f_{n}(x),f(x))<\dfrac{\varepsilon}{2}$.

Since the $f_n$ are continuous, for any sequence $\{y_n\}\to y$, all in $X$, it must be that $\{f_n(y_n)\}\to f_n(y)$. This latter statement means that there exists $N_{c}$ such that for all $n\ge N_{c}$, it must be that $d(f_n(x_n),f_n(x))<\dfrac{\varepsilon}{2}$.

Let $N=\max(N_f,N_c)$, and assume $n\ge N$. It follows that
$$d(f_n(x_n),f(x))\le d(f_n(x_n),f_n(x))+d(f_n(x),f(x)) \le \frac{\varepsilon}{2}+\frac{\varepsilon}{2}=\varepsilon.$$

This proves that $\{f_n(x_n)\}\to f(x)$, as required.[/sp]
 

Similar threads

Replies
1
Views
3K
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K