# A sequence $f_n to f$ uniformly on $(0,1)$ where $f, f_n in C([0,1])$ implies $f_n(0) to f(0)$, $f_n(1) to f(1)$.

Mathematics Asked by CyCeez on January 5, 2022

This is a past problem for an Applied Math QR Exam:

Suppose $$f_n$$, for $$n in mathbb{N}$$, and $$f$$ are
continuous functions on the closed interval $$[0,1]$$. Assume that $$f_n to f$$
as $$n to infty$$ uniformly on the open interval $$(0,1)$$. Prove
that

$$f_n(0) to f(0) quad text{and} quad f_n(1) to f(1).$$

Am I wrong to think the proof is just an $$epsilon/3$$ argument, at least for $$f_n(0) to f(0)$$? If so, then I think that my proof is lacking subtleties to be precise. In particular, I don’t think I can give an exact $$N = N(epsilon)$$ in applying the definitions. I’m also not sure that proving $$f_n(1) to f(1)$$ is any different, except that maybe in the $$epsilon$$$$delta$$ definition for, say, $$f$$, we must say $$1 – x < delta$$ implies $$|f(x) – f(1)| < epsilon$$. Lastly, my proof isn’t too creative – just application of definitions. So, any more elegant proofs would be of great help, too.

Proof of $$f_n(0) to f(0)$$. Our goal is to show that $$forall epsilon > 0$$, $$exists N$$ such that $$n > N$$ implies $$|f_n(0) – f(0)| < epsilon$$.

By assumption, we know that $$f, f_n in mathcal{C}([0,1])$$ tells us

$$forall epsilon > 0, exists delta_0 > 0 text{ such that } |x| < delta_0 Longrightarrow |f(x) – f(0)| < frac{epsilon}{3},$$

$$forall epsilon > 0, exists delta_1 > 0 text{ such that } |x| < delta_1 Longrightarrow |f_n(x) – f_n(0)| < frac{epsilon}{3},$$

and that $$f_n to f$$ uniformly on $$(0,1)$$ tells us

$$forall epsilon > 0, exists M text{ such that } forall x in (0,1), n > M Longrightarrow |f_n(x) – f(x)| < frac{epsilon}{3}.$$

Now, for any $$x in (0,1)$$, we have

begin{align*}|f_n(0) – f(0)| &= |f_n(0) – f_n(x) + f_n(x) – f(x) + f(x) – f(0)| \ &leq |f_n(x) – f_n(0)| + |f_n(x) – f(x)| + |f(x) – f(0)| \ &< 3 cdot frac{epsilon}{3} = epsilon.end{align*}

So, choosing any $$N > M$$ and letting $$delta_0, delta_1 to 0$$ implies $$epsilon to 0$$, and therefore $$f_n(0) = f(0)$$.

## Related Questions

### If $sigma in A_n$ has a split conjugacy class, then $tau sigma tau^{-1}$ is not conjugate to $sigma$ for odd $tau$

0  Asked on November 27, 2020 by jskattt797

### Irreducible polynomial equations from equations of algebraic functions in two variables?

2  Asked on November 27, 2020 by iv_

### Solving two coupled ODEs without use of complex numbers

1  Asked on November 27, 2020 by daniels-krimans

### How many words of length $10$ are there in which not all of the vowels A, E, I, O, U appear?

1  Asked on November 27, 2020 by jos-pedro-ferreira

### Cardinality of finite sequences of infinite set

1  Asked on November 27, 2020 by avir_12

### Valuation of polynomials

1  Asked on November 27, 2020 by muselive

### Existence of the Eigenvalues of an Idempotent Mapping

2  Asked on November 27, 2020 by v-elizabeth

### resolution – satisfiability of formula (edit: renaming clause variables)

1  Asked on November 27, 2020 by harshatech2012

### Satisfying an equation in natural numbers

1  Asked on November 26, 2020 by luyw

### Showing $x^2sin frac {1}{x}$ is surjective

2  Asked on November 26, 2020 by mathfun

### Computing the area between 2 curves

1  Asked on November 26, 2020 by diego-lima

### limit of multivariable function as x,y approach to infinity

1  Asked on November 26, 2020 by simon

### Finding Solutions to a System of Diophantine Equations

0  Asked on November 26, 2020 by godorgovern

### Could it be argued that the set containing only the origin is a “vector space”?

1  Asked on November 26, 2020 by financial_physician

### If $f_n(x)$ uniformly converge to a positive function, then $dfrac{1}{f_n(x)}rightrightarrowsdfrac{1}{f(x)}$?

2  Asked on November 26, 2020 by user823011

### Doubt on showing that when $p$ is prime, the only unipotent class is $p-1$?

1  Asked on November 25, 2020 by billy-rubina

### Solve $n < e^{6 sqrt{n}}$

3  Asked on November 24, 2020

### Evaluate integral $int (x^2-1)(x^3-3x)^{4/3} mathop{dx}$

3  Asked on November 24, 2020 by user801303

### Find all pairs of integers $(x, y)$ such that $x^3+y^3=(x+y)^2.$

1  Asked on November 23, 2020

### Integer solutions to $z^2=10x^2-2y^2$

3  Asked on November 22, 2020 by slave-of-christ