I have the following proof in my notes: ( C [ 0 , 1 ] , <mo fence="fals

Leonel Contreras

Leonel Contreras

Answered question

2022-06-19

I have the following proof in my notes:
( C [ 0 , 1 ] , 1 ) is not complete
Consider the sequence of functions
f n ( t ) = { 1 t , 1 / n t 1 n , 0 t 1 n
It can easily be shown that it is Cauchy in 1 So we have that ε N ε such that f n f ε m , n > N ε
Suppose f n converges, Then f C [ 0 , 1 ] such that f n f 1 0.
Then f n k f  a.e in [ 0 , 1 ]
f ( t ) = lim k f n k ( t ) = 1 t  a.e in [ 0 , 1 ]. Absurd.
I'm just failing to understand the last line. Can someone please explain
1. what is the absurd?
2. And how does pointwise convergence follows from a.e convergence (last line). Am I supposed to understand this f n k f  a.e in [ 0 , 1 ] as convergence in the real numbers, with the absolute value for every fixed t ( | f n k ( t ) f ( t ) |  a.e in [ 0 , 1 ]) ?

Answer & Explanation

sleuteleni7

sleuteleni7

Beginner2022-06-20Added 28 answers

1. The limit function f does not belong to ( C ( [ 0 , 1 ] ) , 1 ) , creating the contradiction since f was supposed to belong to this space. More precisely, f is equal to 1 / t a.e, but by continuity,
f ( 0 ) = lim t 0 f ( t ) = + ,
and therefore f may not be continuous at 0, since continuous functions on [0,1] are in particular finite at 0, a contradiction.
Makayla Boyd

Makayla Boyd

Beginner2022-06-21Added 6 answers

2. a.e convergence means precisely that the pointwise convergence is valid a.e.

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?