Real Analysis – Sequences
For the more mathematical inclined the process of assuming the existence of the real numbers and defining properties they have to respect may not be the most satisfactory way to go about it, but that’s just what we need in here. Remember that this is a blog on Physics and not on Mathematics.
After having introduced the set of the real numbers, and proving some statements about them it is time for us to move on in the study of real analysis.
As was previously stated we’ll do this using sequences. We chose this road because some results are easier to prove using sequences and then natural extensions to functions can be achieved.
Definition 10 A sequence, , is a mathematical function that acts on , or a subset of it, and takes values on . Symbolically |
As an example of a sequences we have defined for all the natural numbers greater than .
Its graphical representation may be:
Definition 11 We’ll say that has as as limit the number , and denote it by or , if, for each there exists one natural number , from which the distance between and is smaller than . |
Let us give a concrete example: For the graph we showed, we can see that has smaller and smaller values, and that, from its definition, is always positive. So, we can see that .
For all of this to be mathematically sound, we need to prove that for all we could indeed find a natural number for which .
In order to do this it usually helps to see this condition as a game played between two people. One of them is constantly choosing values for and the other is saying from which order the distance between and will be smaller than the given .
At a given point the order-giving player is tired to answer to all the different the other player is choosing and decides to find a general expression for as a function of . If such an expression can be found than the game is won and really has as limit the number .
As a general rule we can also say that as becomes smaller as the from which the definition of limit is verified gets larger.
Definition 12 The range of a sequence is the set . |
Definition 13 Following definition 12 we’ll say that a sequence is bounded above if the set of its terms, the range, is bounded above.
In an analogous way one can also define a bounded below sequence and a bounded sequence. One will say that a given sequence is unbounded when it isn’t bounded. |
As an example of a bounded sequence (and by definition also a bounded below and bounded above sequence) we have .
As an example of an unbounded sequence we have
Let us now suppose that we have a bounded sequence . That it is to say that there exist two real numbers and so that .
Now or . Since and we can define and we are left with and . Or in an equivalent way . Thus if is bounded, there exists such as . Reciprocally if , is a bounded sequence.
Definition 14 We’ll say that a given sequence is convergent if it tends to a finite limit. We’ll say that the sequence is divergent otherwise. |
Theorem 13 If is convergent then it is bounded.
Proof: Omitted. |
Take care that the converse of this theorem needs not to be a true statement. We only know that convergent sequences have to be bounded ones, but we know nothing about the nature of a given sequence if it is a bounded one.
As an example we can cite which is a bounded sequence but isn’t a convergent one.
In mathematical lingo we say that the condition of a sequence being bounded isn’t sufficient for it to be convergent.
We will now introduce the notions of neighborhood of a given point. Loosely speaking the neighborhood of a point, is the set of points that are near him.
β 5.1. Neighborhoods β
Definition 15 Given and , the neighborhood of of radius is the set of points in and is denoted by . |
As an example let’s apply the notion of neighborhood in the definition of limit:
Thus if and only if where we used the definition of neighborhood and the previous calculation.
January 27, 2009 at 2:06 pm
typo-spotting:
– in the first paragraph after the last graph:
[tex]|u_n| \leq 0\quad \forall n[/tex]
should be:
[tex]|u_n| \leq \alpha \quad \forall n[/tex]
– In theorem I, it should be then and not “than”.
January 27, 2009 at 2:07 pm
When do we get to the physics? π
January 27, 2009 at 5:11 pm
My good man due to popular demand I’ll start the chapter on Newtonian Physics earlier than expected. Just as note I’ll expect people to know a little bit on differential and integral calculus. :p
And thanks a lot on the typos. Just keep’em coming as you find them. π
January 29, 2009 at 1:32 am
[…] Climbing the Mountain Physics from the bottom up! « Real Analysis – Sequences […]
April 3, 2009 at 5:12 pm
[…] April 3, 2009 After introducing sequences and gaining some knowledge of some of their properties (I,II ,III , and IV) we are ready to embark on the study of real analysis while using concepts that […]