You are currently browsing the tag archive for the ‘real analysis’ tag.

**Definition 1 (Convex hull)**

*The set of all convex combinations of points from a set is called the convex hull of . It is denoted by .*

*
*

Similar to a closure of a set, the convex hull of a set is the smallest convex set containing . We will now see some examples.

- Some basic geometric examples.
- Birkhoff – Von Neumann Theorem: Consider the set of permutation matrices . Then the convex hull of this set is the set of all doubly stochastic matrices.

**Hw 1**Prove that the convex hull of a set is convex.

We will now see an interesting application of convex hull.

**Theorem 2 (Gauss-Lucas Theorem)**

*Let be a -th degree polynomial with real coefficients. By fundamental theorem of algebra there are -roots of the polynomial (they might be complex). Call the roots be the set of all the roots. Observe that each root can be represented as a point in the plane . Then the roots of the degree polynomial lies in the convex hull .*

*Proof:* Without loss of generality the polynomial can be represented as

So we have

Let be a root of . Then we have and hence

Multiplying both sides with , we obatin

which implies

If then for some and hence the theorem is proved. Else if

which equals

which implies

Taking the conjugate we get the result where .

We will now look at one more theorem that looks at convex combinations.

**Theorem 3 (Caratheodory’s theorem )**

*Let . Then any point can be represented as a convex combination of points of*

*
Advertisements
*Some observations before the proof:

- The points depend on in consideration.
- points are necessary. Let be three non-collinear points. Let be the the centroid of the triangle formed by these three points. Observe that the convex combination of the three points is necessary to obtain .
- Observe that the points are from and not .

*Proof:* Any point can be represented as a convex combination of some points in . So

where and . If we are done. Hence we will only consider the case of . Let . Now consider the set of equations and . This system of equations can be put in matrix form as

Since the matrix is of size , and , there are non trivial solutions of this equation (look at rank-nullity theorem to observe that ). From now on Let be one such solution. Now let . Since , the point can be represented as

Also observe that since . Now we will choose such that and equals for one term so that becomes a convex combination. Since implies some ‘s are positive and others are negative. If for some , , then . So we need to consider only the terms with . For all such that , we want

which implies

Hence if we choose , then one term and every other term will be positive. So we are able to express

where one of the coefficients is zero, \ie, as a convex combination of points. We can continue this procedure till

We will now see a simple application of Caratheodory’s theorem.

**Lemma 4**If a set is compact, then its convex hull is also compact.

*Proof:* Consider a sequence . If we show that there is a convergent subsequence which converges to a point in then we are done.

By Caratheodory’s theorem, each can be represented as a convex sum of points in . So

Now consider the following matrix of dimensions

Now consider the first column . Since this sequence lies in and is compact, there is a sub-sequence in that that converges to a point . The indices of this subsequence are denoted by . Now consider the second column, but consider only rows corresponding to the index set . Since a compact set, there exists a subsequene of that converges to some point in . Denote the indices corresponding to this subsequence by the set . Now consider the third column corresponding to but only corresponding to the rows . Since and is compact, we can find a subsequence which converges to . Denote the set of the indices corresponding to this sub sequence by . Continue this till all the are exhausted. So we will finally have an index set corresponding to the last column.

Now consider the original sequence . It is easy to see that, the subsequence corresponding to the index set converges to a point

which belongs to the set proving the result.

*
***1. Compact sets **

We will now move to an important class of sets. These sets are desirable (most analysts) since they are very nice and easy to work with. There are many definitions of compact sets. Since we are in , we will use a sequence definition). There are alternative ways to define compact sets, however we will not concentrate on them (See the appendix for an alternative definition).

We first begin with a notion for a subsequence. Given a sequence a subsequence is denoted by such that .

**A set is compact if and only if for any sequence , there is a subsequence that converges to a point in .**

The above definition does not provide us with a clear picture of how compact sets look. The next theorem provides a better characterization of compact sets in .

**Theorem 1 (Bolzanoâ€“Weierstrass theorem)**

*A set is compact if and only if it is closed and bounded in*

Before we go into the proof let us see some examples of compact sets.

- The set is compact since it is closed and bounded.
- is not compact since it is not closed.
- is not compact since it is not bounded.
- The ball in is not compact since it is an open set. However the closure of the ball
is compact.

*Proof:* I will prove the theorem in . A similar proof with more notation will hold true for general . We will first prove that a closed and bounded set is compact. So we should prove that given any sequence in , there exists a convergence subsequence with limit in .

Let be a sequence in . Since is bounded, it can be fitted in a big square say , that is . Now divide the square into equal parts. So now each square is of side . Since the sequence has infinite number of points, at least one of the square should contain infinite number of points (If not we are done). Call that square . So is some square of side length . Now divide the square into equal squares of side length . Again, at least one of these squares will contain infinite number of points. Pick one such square and call it . Now again divide the square into equal squares and continue this procedure.

Observe that the side length of is . So will pick the subsequence this way: Pick any point of the original sequence from square and denote it by . Pick the second point from the original sequence with and lying in square . Call it . Continue this way to obtain a subsequence . You should always be able to do this since there are infinite number of points in any square we picked. Also observe the following: The sets are monotocnically decreasing, i.e., and they are closed. Since the arbitrary intersection of closed sets is closed, is closed. It turns out that the intersection of these sets will contain only one point which we denote by , i.e., (*It is interesting to prove this and will leave it to you*).

The claim is that the subsequence converges to the point in . It is sufficient to prove that the subsequence converses. The limit will automatically lie in the set since the set is closed. So let us now prove that the subsequence converges. Fix an . It is easy to observe that for all , will lie in and also lies in . Since the width of is it follows that

We can choose a large such that (for example ) and hence , which implies as . This proves the existence of a subsequence of any sequence converging to a point in .

The converse (showing that compact implies closed and bounded) is left as HW.

In some sense compact sets are the best kind of sets to deal with. Since they are closed all the limit points exist inside the set and the set itself is bounded.

**Hw 1 ** Are the following sets compact: (prove or disprove)

- as a subset of
- , is invertible matrix and
- as a subset of .
- . Try to prove or disprove using the sequential definition of compactness.

**Hw 2**Prove that the union of two compact sets is compact.

**Hw 3**Let be the squares defined in the previous theorem. Prove that . (Hint: Look at the coordinates of the corners of the square. See if they form a monotonic bounded sequence. )

**Hw 4**If is a compact set and is a closed subset of , i.e., then is compact.

If is a compact set, since is bounded, and exist and since it is closed the and belong to the set . We now come to the most important theorem from an optimization perspective.

**Lemma 2**Let be a compact set and be a continuous function. Then the image of the set , \ie is compact.

*Proof:* Let be a sequence in the set . Then the pre image of the sequence is in the compact set . By the definition of compactness, there is some subsequence that converges to a point in . Since the function is continuous, by the definition, converges to . This means where is some point in . Hence for every sequence there exists a subsequence which converges to a point in . Hence the set is compact.

We will see some examples soon, but first an important corollary.

**Lemma 3**If is a continuous function. Then is bounded on the set and attains its maximum or minimum in the set .

*Proof:* Since is a compact set and is continuous the image is a compact set. Since is compact it is closed and bounded. Hence the supremum and the infimum of the set exist and they belong to the set.

**Lemma 4**Any two norms and on the Euclidean space are equivalent.

*Proof:* Let be the unit sphere in with respect to the standard Euclidean norm , i.e., .

First claim: It suffices to prove that and are equivalent on .

Reason: Suppose you are able to prove that and are equivalent on , i.e.,

Let be an arbitrary point in . Observe that , i.e., the point . Hence

By the property of the norms,

which proves that

We will now prove (1). Consider the function on . Since , and and are continuous functions with respect to the standard Euclidean norm, their quotient is also continuous with respect to the Euclidean norm. Also observe that is a closed and bounded set with respect to Euclidean norm and hence compact. By the previous theorem the image is compact. Hence the supremum and infimum of the set are attained. Hence for any

which proves the result.

We will state the following theorem without proof:

**Theorem 5 (Tychonoff’s theorem)**

*If and are compact sets, then their Cartesian product is also compact. (This holds true for product of an arbitrary number of sets)*

**2. Appendix (optional) **

The following characterization of compact sets is fundamental compared to the sequential definition as it depends only on the underlying topology (open sets)

** 2.1. An open cover description of compact sets **

An open cover of a set is a collection of sets such that . In plain English, an open cover of is a collection of open sets that cover the set . Observe that the set need not be finite. Let’s see some examples.

- Let . Then an open cover of is the set of sets . This is because . Observe that the cardinality of the cover is infinite.
- Let . Another open cover of is since . Here the cardinality of the cover is finite.
- Let . Then the set is an open cover since . Here again the cardinality of the over cover is not finite.

A set is compact if any open cover of has finite sub cover. This means that given *any* cover of compact set , you will be able to pick a finite number of subsets of the open cover to cover . The emphasis is on the word *any*. You should be able to pick a finite sub cover for any cover. Lets look at some examples:

- Consider the set . Then one open cover of is the set of sets . Let’s see if we can find a finite subcover. Observe that and belong to the previous cover and . It turns out (we will see later) that is compact.
- Consider the set . Then one open cover of is the set of sets . Let’s see if we can find a finite subcover. Observe that and belong to the previous cover and . Let see if we find an open cover of which has no finite sub cover.

Consider the open cover . This is an open cover of . You can check, how much ever you try you cannot pick a finite number of these sets to cover . is not a compact set. As this example shows, the finite subcover property should hold for any open cover.

The following theorem shows that the earlier definition of compact sets based on sequences and this definition based on open sets are both equivalent on .

**Theorem 6 (Heineâ€“Borel theorem)**

*A set is compact if and only if is bounded and closed.*

**1. Continuous functions **

A function is continuous at if for any sequence , . A function is continuous if it is continuous on every point of its domain. This is a very intuitive definition. Observe that the definition does not restrict the function to be in real spaces. Let us know see some examples. Let us see an example of a discontinuous function for the definition to be clear.

It is obvious that this function is discontinuous. However, we will use the definition to make this point. Consider the sequence . We have that . We have

since . However we have

So,

Since we are able to find a sequence such that which implies the function is not continuous at . One important observation is the following which I state as a lemma.

**Lemma 1**For any sequence and a function

if and only if is continuous.

**So before taking the limit operation inside a function, it is necessary to check if the function is continuous. ** Alternatively, a function is continuous at if for any , there exits a such that whenever . This is just a reformulation of the continuity. Observe that the notion of continuity depends on the notion of Balls and norm. (It turns out that in norm doesn’t matter since all norms are equivalent).

Let be some norm in . Consider the function . We will now show that the function is continuous with respect to the topology generated by the the Euclidean norm .

**Lemma 2**Let denote some norm on . Then the function is a continuous function with respect to the Euclidean norm.

*Proof:* Let be some sequence in and let converge to in the norm. This means that as becomes large. To prove continuity, we will have to show that as . From triangle inequality,

Hence rearranging and taking absolute value

Let be the standard basis of , i.e., a vector with in the -th position. Then we have

where is the -th coordinate of (recall that . Again using triangle inequality (or the property of the norm),

Observe that is a real number. Using the scaling property of a norm,

Now using Cauchy-Schwartz inequality,

Hence

where is some finite constant. So,

as . Hence converges to as . This implies that the function is continuous.

But we have for all , . So

Hence converges to . This implies is continuous.

While the definition is analytically good, its not “easy” to check if a function is continuous at every point. We now provide a stronger version of continuity that is often useful and desired. A function is Lipschitz continuous, if there exists a constant , such that for any in the domain of the function

is called the Lipschitz constant. It is easy to see that every Lipschitz continuous function is continuous. Let . Hence

Since is continuous we can move the limit inside the norm on the RHS.

This implies which implies the continuity of . Indeed we can show that every Lipschitz function is also differentiable and its derivative bounded. Examples of Lipschitz functions:

- is Lipschitz function with constant .
- and are Lipschitz function with constant .
- is Lipschitz function with constant .

We will now look at an alternative definition of continuity that uses open sets.

**Lemma 3**A function is continuous if and only if the inverse image of any open set is an open set. More precisely, is open for any open set .

*Proof:* We will prove that for a continuous function, the inverse image of an open set is open.

- Let . This implies .
- Since is an open set, there exists an such that .
- Since is continuous, there exits a such that if , then . This implies that
- This implies that .
- Hence is an open set.

The converse can be proved similarly (HW).

Observe that the ambient spaces ( and ) are important. A function can be continuous in one space and not in another. Look at on and .

Let us check for the constant function, . Its range is which is a closed set. Now take any open set in . Then which is open. Hence the function is continuous. Let us look at the step function that I have defined earlier. Consider the open set . Its inverse image is and equals . Observe that is not an open set and hence the function is not continuous.

**Hw 1**Use this definition to check the continuity of .

**Hw 2**Is the function continuous on ?

**1. Open sets **

On the standard topology can be described using the balls generated by the Euclidean norm. We begin with the central object of topology, an open set.

**Definition 1**A set is open if for every , there exists an such that .

Simply put, a set is open if for every point in the set we can find a radius such that a ball of radius centered around the point fits entirely in the set. Observe that the can be arbitrary small and also can depend on the position . We now provide a few examples.

- By convention, empty set is an open set.
- Let , \ie, the real line. The interval is an open set. It is obvious that if , we can choose and will fit entirely in . For any , choosing would suffice. Also observe that we do not have to worry about the end points and since they do not belong to .
- Observe that if and are open intervals then is open. This proof is obvious.
- If and are open sets in , show that are open sets.
- is open in .
- is not an open set. Reason out why? (Check what happens when you try to center a ball around ).
- A -dimensional ball is an open set in . (Prove it)

**Hw 1**Check if the following sets are open subsets of

please provide reasons.

**Theorem 2**Let and be two open sets. Then the intersection of the sets is open.

*Proof:* Let . This implies that belongs to both and . Since is an open set, there exists an such that and an such that . It is easy to see that, , which implies is open.

The previous two results can be extended to any finite collection of sets by induction. More precisely, if are open sets. Then is open. Let us see an example. If and , then their intersection is which is an open set. Let us also see an example which highlights the importance of finite number of sets. Let

Observe that is an open set. It is also easy to observe that the intersection of or for that case any finite number of is open. However,

which is closed. Hence one cannot claim that the intersection of an arbitrary number of open sets is open.

It turns out that the union of open sets is always open regardless of the number of sets.

**Theorem 3**Let be any set. Then if , is an open set for every , then their union

is always open.

*Proof:* HW

The set in the above theorem is called an indexing set. For example or or . So the number of sets in consideration depends on the cardinality of the index set. The above theorem indicates that for any cardinality of the index sets , the union is still open.

**Hw 2**This problem emphasizes the fact that the notion of a set being open (or closed) depends on the ambient space in consideration. As a subset of check if is an open set. Is an open set of ? (Use the definition of open set)?

**Hw 3**Let . Is the set an open subset of ? “” denotes set minus.

**Hw 4**Let denote the set of rational numbers in . That is

Is the set an open set of ?

**Hw 5**Let be a invertible matrix and belong to the range space of . Show that the set

is an open subset of . What happens if is not invertible?

**Hw 6**The following exercise shows the properties of sequences in an open set. Let and . Verify the following:

- Does ?
- What is the limit ? Does it belong to the set ?
- Let . Does the limit of the sequence belong to ?

This shows that even though a sequence belongs to an open set, the limit of the sequence (if it exists) may not belong to the set.

**Hw 7**Observe that the definition of an open set depends on the notion of a Ball which in turn depends on the norm used. Suppose is an open set with respect to the norm (the standard Euclidean norm). Is the set an open set in , when we use a different norm, for example the norm? Hint: Use the equivalence of norms in and the definition of open sets.

**2. Closed sets **

A set is a closed set if its complement is open.

So is a closed set in since its complement is an open set. Any set with finite cardinality (for example or ) is a closed set. Also observe that the entire set is both a closed and open set with respect to . So a closed or an open set need not be *bounded*. Also by convention, the empty set is a closed set.

**Hw 8**Check if the following sets are closed subsets of

Explain why.

From the definition of closed sets, we have the following important property which we state as a theorem.

**Theorem 4**Let be an open set in . Then its complement denoted by is closed.

We will now use the definition of closed sets and De-Morgan laws to characterize the union and intersection of closed sets.

**Theorem 5**Let and be two closed sets. Then the union of the sets is closed.

*Proof:* We have Since and are open sets (complements of closed set), it follows from the open sets intersection theorem that is open. Hence is open implying its complement is closed.

Observe that as in the open set case, the above theorem can be extended to any finite collection of closed sets. It turns out that the intersection of closed sets is always closed regardless of the number of sets.

**Theorem 6**Let be any set. Then if , is a closed set for every , then their intersection

is always closed.

*Proof:* HW

If are closed sets. Then is closed and follows from the previous result by induction.

While the above definition characterizes a closed set, we now look at an alternate definition of closed sets that is more intuitive. For that we require the notion of a limit point.

**Definition 7**is a limit point of a set if for every , is non-empty.

So a point is a limit point of a set when every ball centered around the point has a non-empty intersection with the set. For example if then every point of is a limit point of the set. In addition, the points and are limit points of the set (check why?). However is not a limit point of the set (Why?). So one can think of a limit point as a point in the set, or a point which is *arbitrary close* to some point in the set.

**Hw 9**Find the limit points of the following sets.

- .
- the set of rational numbers.

**Theorem 8**A set is closed if and only if it contains all of its limit points.

*Proof:* We we prove by contradiction. Let be a limit point of the closed set and let . We will provide a contradiction.

Since is closed, is open. Also since implies . Since is open, by the definition of an open set, there exists an such that . This implies that for this . Hence is not a limit point of . This contradicts our assumption.

**Hw 10**Prove that the supremum and the inifimum of a closed set belong to the set.

The closure of a set denoted by equals the union of the set and all its limit points, \ie,

So closure of equals .

We will now define the interior and the boundary of a set. Before that we require the notion of an interior point. Let be a point such that there exists a ball of some radius such that the ball fits entirely in . The set of all such points of is called the interior of and is denoted by

The definition of the interior is similar to that of an open set. In fact the interior of a set is the largest open set contained in . The interior of the set is the set itself. The interior of the set is the set . The interior of the set is the set . *Also observe that the set might not have any interior.*

**Hw 12**Find the interior of the sets in HW problem 11

**Hw 13**What is the interior of the set as a subset of (with respect to the metric on ). What is its interior as a subset of (with respect to the metric on ).

The above exercise shows that the ambient space is important to the definition of the interior of a set.

**Hw 14**Prove that a set is open if and only if all of its elements are inter points, \ie . Hint: Look at both the definitions.

The boundary of a set denoted by equals the set difference between the closure of the set and the interior of the set, \ie,

For example the boundary of the set are the points . The boundary of the set is the set .

**Hw 15**What is the boundary of the set as a subset of (with respect to the metric on ). What is its boundary of the above set as a subset of (with respect to the metric on ).

**Hw 16**Find the boundary of the sets in Exercise 11

**Hw 17**Prove that the boundary of a set is a closed set.

A set is bounded if there exists a ball of radius centered around the origin that contains the set. The square is bounded while the set is not bounded.

This lecture notes will cover the basics of Analysis and Linear Algebra that is required for the optimization theory course EE5121. This is by no stretch a comprehensive treatment of either Real Analysis or Linear Algebra. There are many excellent books that deal with both these subjects. Here are a few references:

- Andrei Nikolaevich Kolmogorov, Sergei Vasilevich Fomin, “Introductory real analysis”.
- H. L. Royden, “Real Analysis”.
- Walter Rudin, “Principles of mathematical analysis”.
- Gilbert Strang, “Introduction to linear algebra”.
- Roger A. Horn, Charles R. Johnson, “Matrix analysis”.

**1. Real numbers **

The set of real number is denoted by . We begin with an important property (axiom?) of the real number system. The real number system can be ordered. In plain English this means any two real number can be compared. We take this property for granted. However, it turns out to be a very important property that in general does not hold for lots of other fields.

Since any two numbers can be compared we can provide an upper bound to a set of real numbers. For example, consider the set of numbers . There are lot of real numbers that upper bound this set. Any number in the set , upper bound the numbers in while any number in the set , lower bound the real numbers in . If you consider the interval , then any number in the set upper bounds while lower bounds . It turns out, whenever a set has some upper bound and some lower bound, we can always pick the best upper bound and the best lower bound.

Don’t try to prove this as this is a distinguishing axiom of real numbers: *“Every non empty set of real numbers that has an upper bound has a least upper bound. Similarly, Every non empty set of real numbers that has a lower bound has a greatest lower bound.” * The least upper bound of a set is often denoted by and the greatest lower bound is denoted by . Also observe that the and need not belong to the set .

If we consider the set , we can see that and . For the set , there is no supremum as it is not upper bounded. Its infimum . However, if we extended the real number system by including and infimum and supremum exist for any set (they might just be and ).

**Hw 1**Find the and the of the following sets:

**Hw 2**For any , can ? Can you tell anything about the set ?

**Hw 3**Is it necessary that the supremeum belongs to the set . Similar question for the infimum. Look at the sets , and .

If the supremeum of a set belongs to the set, ie, , then the supremum is usually replaced with the maximum . So makes sense while doesn’t make sense. *So if you are unsure, always use and instead of and .*

**2. Basic Topology **

** 2.1. Norm and Inner Product **

One of the nice properties of real spaces is that we can define a norm and a notion of distance in a rather concrete manner. Most of the course deals with real functions and subsets of -dimensional real space. So unless otherwise stated the discussion will be about real spaces and functions. We first begin with the definition of a norm. A norm on is a function that maps every to a non-negative real number with the following properties:

- Let and , then .
- .
- If then

The most popular norm on is the Euclidean norm. For any point , its Euclidean norm is defined as

Other examples of norms are

**Hw 4**Prove that ,, satisfy the properties of a norm.

Two norms and are *equivalent*, if there exists two positive constants and such that for any

Observe that and do not depend on . Let us now show that and are equivalent. Let be some element in . Then

Where follows since any , . Taking square root on both sides we have, . We also have

Taking square root we obtain . Hence we have

which show that the norms and are equivalent. The following theorem shows that all norms in are equivalent.

*Proof:* The proof of this follows from a simple optimization problem. We will prove this later in the course.

**Hw 5**Show that , and norms are equivalent.

From now on we assume that we are provided with some norm on which we denote by . A norm can be used to define a distance metric as

It is easy to prove that is a metric. The only thing to prove is the triangle inequality which follows in a straight forward manner from the norm definition.

One of the most fundamental geometric object is a ball. A ball centered at and radius is denoted by and is defined as

Observe the strict inequality. This is called as an open ball.

**Hw 6**

- Plot when the norm is given by in .
- Plot when the norm is given by in .
- Plot when the norm is given by in .

Explain what equivalence of these three norms in terms of the plots.

**Hw 7**Let be a real matrix. For any define

Is a norm in a norm for any matrix ?. What are the properties of that will make a norm?

**Hw 8**Let be a real matrix. For any define

Is a norm in a norm for any matrix ?. What are the properties of that will make a norm?

**Hw 9**Let denote a symmetric matrix. A norm on the set of symmetric matrices can be defined as

Show that is a norm on symmetric real matrices.

\subsubsection{Dual norm} For any norm , its dual is defined as

We will first show that is a norm. We will show all the properties

- Homogeneity: First assume ,
Now if , then

- Suppose . This implies . However if we choose , then which is a contradiction. Hence .
- Triangle inequality:

Also observe that from the proof we observe that when . The dual norm of is again the norm, while for is the conjugate norm of , where . We have the following important lemma.

**Lemma 2**

*Proof:* From the definition we have

Since is the supremum of over all norm vectors, picking any particular one will only give a lower bound on . Pick . Observe that . Hence

which proves the result.

** 2.2. Sequences **

A sequence in (or any space), is a map from the set of integers to (or the space in consideration). We will now look at some important properties regarding the convergence of sequences. We say that a sequence converges to if for every , there exists some such that the distance between and for all is less than , \ie,

Let us think about a game: Suppose you want to argue (prove) that a sequence converges to some limit to your friend who is not convinced and challenges you. Your friend gives you an , say . Then you should show that you can find some such that the distance between the terms of the sequence after and , \ie, is smaller than the provided by your friend. Observe that you can choose whatever you want. So is provided by someone (your friend) and you will have to find the required . Now let us see some examples.

- Let for all . It is obvious that the limit of the sequence is . However, let us check it more formally. Suppose your friend gives you . You can observe that you can choose , since . Even if he had given you , would be valid.
- Let . Of course the limit is . Suppose your friend gives . Let us see how to choose the correct . So we want
which is always true. So you can pick . Now suppose your friend challenges you for , then you would want

This is possible if . So you can answer your friend that the corresponding to is .

- Let except that we replace some values as follows: , , and . You claim that the sequence still converges to . Then your friend challenges to . So what do you pick as. As last time picking will not work since . But you can see that choosing will work, since for all . So only the values of for large will matter and fluctuations for a finite set of values wont matter.

**Hw 10**Formally prove the following limits.

Let . Observe that for all . However, the limit does not belong to the set . In the coming sections, we will characterize sets so that when the sequence belong to the set, the limit also belongs to the set.