<< Chapter < Page Chapter >> Page >

Proof: Assume that a sequence x n x in ( X , d ) . Fix ϵ > 0 . Since { x n } is convergent, there must exist an n 0 Z + such that d ( x n , x ) < ϵ / 2 for all n n 0 . Now, pick j , k n 0 . Then, using the triangle inequality, we have d ( x j , x k ) d ( x j , x ) + d ( x , x k ) < ϵ / 2 + ϵ / 2 (since both j and k are greater or equal to n 0 ) and so d ( x j , x k ) < ϵ . Therefore, the sequence { x n } is Cauchy.

One may wonder if the opposite is true: is every Cauchy sequence a convergent sequence?

Example 3 Focus on the metric space ( X , d 0 ) with X = ( 0 , 1 ] = { x R : 0 < x 1 } . Now consider the sequence x n = 1 / n in X . This is a Cauchy sequence: one can show this by picking n 0 ( ϵ ) > 2 / ϵ and using the triangle inequality to get

d 0 ( x j , x k ) d 0 ( x j , 0 ) + d 0 ( x k , 0 ) = | x j | + | x k | = 1 j + 1 k 1 n 0 + 1 n 0 = 2 n 0 < 2 2 / ϵ 2 2 / ϵ = ϵ .

However, this is not a convergent sequence: we've shown earlier that x n 0 . Since 0 ( 0 , 1 ] and a sequence has a unique limit, then there is no x ( 0 , 1 ] such that x n x .

Complete metric spaces

Whether Cauchy sequences converge or not underlies the concept of completeness of a space.

Definition 4 A complete metric space is a metric space in which all Cauchy sequences are convergent sequences.

Example 5 The metric space ( X , d 0 ) with X = ( 0 , 1 ] from earlier is not complete, since we found a Cauchy sequence that converges to a point outside of X . We can make it complete by adding the convergence point, i.e., if X ' = [ 0 , 1 ] then ( X ' , d 0 ) is a complete metric space.

Example 6 Let C [ T ] denote the space of all continuous functions with support T . If we pick the metric d 2 ( x , y ) = T | x ( t ) - y ( t ) | 2 d t 1 / 2 , then ( X , d 2 ) is a metric space; however, it is not a complete metric space.

To show that the space is not complete, all we have to do is find a Cauchy sequence of signals within C [ T ] that does not converge to any signal in C [ T ] . For simplicity, fix T = [ - 1 , 1 ] . Fortuitously, we find the sequence illustrated in [link] , which can be written as

x n ( t ) = - 1 if t < - 1 / n , 1 if t > 1 / n , n t if - 1 / n t 1 / n .
Illustration of a convergent sequence { x i } .

Since all these functions are continuous and defined over T , then { x n } is a sequence in C [ T ] . We can show that { x n } is a Cauchy sequence: let n 0 be an integer and pick j k n 0 . Then,

d 2 ( x j , x k ) = - 1 1 | x k ( t ) - x j ( t ) | 2 d t 1 / 2 = - 1 / j 1 / j | x k ( t ) - x j ( t ) | 2 d t 1 / 2 - 1 / j 1 / j 1 2 d t 1 / 2 ( 2 / j ) 1 / 2 2 / n 0 .

So for a given ϵ > 0 , by picking n 0 such that 2 / n 0 < ϵ (say, for example, n 0 > 2 / ϵ 2 ), we will have that d 2 ( x j , x k ) < ϵ for all j , k > n 0 ; thus, the sequence is Cauchy. Now, we must show that the sequence does not converge within C [ T ] : we will find a point x * C [ T ] such that for X ' = C [ T ] { x * } the sequence x n x * in ( X ' , d 2 ) . By inspecting the sequence of signals, we venture the guess

x * ( t ) = - 1 if t < 0 , 1 if t > 0 , 0 if t = 0 . ,

illustrated in [link] .

Initial guess for a convergence point x * for the sequence { x i } .

For this signal, we will have

d 2 ( x n , x * ) = - 1 1 | x n ( t ) - x * ( t ) | 2 d t 1 / 2 = - 1 0 | x n ( t ) - x * ( t ) | 2 d t + 0 1 | x n ( t ) - x * ( t ) | 2 d t 1 / 2 = - 1 / n 0 | n t - ( - 1 ) | 2 d t + 0 1 / n | n t - 1 | 2 d t 1 / 2 = - 1 / n 0 | n t + 1 | 2 d t + 0 1 / n | 1 - n t | 2 d t 1 / 2 = 0 1 / n | 1 - n t | 2 d t + 0 1 / n | 1 - n t | 2 d t 1 / 2 = 2 0 1 / n ( 1 - n t ) 2 d t 1 / 2 = 2 3 n 1 / 2 .

So if we select n 0 such that ( 2 3 n 0 ) 1 / 2 < ϵ , i.e., n 0 > 2 3 ϵ 2 , then we have that d 2 ( x n , x * ) < ϵ for n > n 0 , and so we have shown that x n x * . Now, since a convergent sequence has a unique limit and x * C [ T ] , then { x n } does not converge in ( C [ T ] , d 2 ) and this is not a complete metric space.

The property of equivalence between Cauchy sequences and convergent sequences often compels us to define metric spaces that are complete by choosing the metric appropriate to the signal space. For example, by switching the distance metric to d ( x , y ) = sup t T | x ( t ) - y ( t ) | , the metric space ( C [ T ] , d ) becomes complete.

Questions & Answers

A golfer on a fairway is 70 m away from the green, which sits below the level of the fairway by 20 m. If the golfer hits the ball at an angle of 40° with an initial speed of 20 m/s, how close to the green does she come?
Aislinn Reply
cm
tijani
what is titration
John Reply
what is physics
Siyaka Reply
A mouse of mass 200 g falls 100 m down a vertical mine shaft and lands at the bottom with a speed of 8.0 m/s. During its fall, how much work is done on the mouse by air resistance
Jude Reply
Can you compute that for me. Ty
Jude
what is the dimension formula of energy?
David Reply
what is viscosity?
David
what is inorganic
emma Reply
what is chemistry
Youesf Reply
what is inorganic
emma
Chemistry is a branch of science that deals with the study of matter,it composition,it structure and the changes it undergoes
Adjei
please, I'm a physics student and I need help in physics
Adjanou
chemistry could also be understood like the sexual attraction/repulsion of the male and female elements. the reaction varies depending on the energy differences of each given gender. + masculine -female.
Pedro
A ball is thrown straight up.it passes a 2.0m high window 7.50 m off the ground on it path up and takes 1.30 s to go past the window.what was the ball initial velocity
Krampah Reply
2. A sled plus passenger with total mass 50 kg is pulled 20 m across the snow (0.20) at constant velocity by a force directed 25° above the horizontal. Calculate (a) the work of the applied force, (b) the work of friction, and (c) the total work.
Sahid Reply
you have been hired as an espert witness in a court case involving an automobile accident. the accident involved car A of mass 1500kg which crashed into stationary car B of mass 1100kg. the driver of car A applied his brakes 15 m before he skidded and crashed into car B. after the collision, car A s
Samuel Reply
can someone explain to me, an ignorant high school student, why the trend of the graph doesn't follow the fact that the higher frequency a sound wave is, the more power it is, hence, making me think the phons output would follow this general trend?
Joseph Reply
Nevermind i just realied that the graph is the phons output for a person with normal hearing and not just the phons output of the sound waves power, I should read the entire thing next time
Joseph
Follow up question, does anyone know where I can find a graph that accuretly depicts the actual relative "power" output of sound over its frequency instead of just humans hearing
Joseph
"Generation of electrical energy from sound energy | IEEE Conference Publication | IEEE Xplore" ***ieeexplore.ieee.org/document/7150687?reload=true
Ryan
what's motion
Maurice Reply
what are the types of wave
Maurice
answer
Magreth
progressive wave
Magreth
hello friend how are you
Muhammad Reply
fine, how about you?
Mohammed
hi
Mujahid
A string is 3.00 m long with a mass of 5.00 g. The string is held taut with a tension of 500.00 N applied to the string. A pulse is sent down the string. How long does it take the pulse to travel the 3.00 m of the string?
yasuo Reply
Who can show me the full solution in this problem?
Reofrir Reply
Got questions? Join the online conversation and get instant answers!
Jobilize.com Reply

Get Jobilize Job Search Mobile App in your pocket Now!

Get it on Google Play Download on the App Store Now




Source:  OpenStax, Signal theory. OpenStax CNX. Oct 18, 2013 Download for free at http://legacy.cnx.org/content/col11542/1.3
Google Play and the Google Play logo are trademarks of Google Inc.

Notification Switch

Would you like to follow the 'Signal theory' conversation and receive update notifications?

Ask