# Limits of Functions ....Conway, Proposition 2.1.2 .... ....

• MHB
• Math Amateur
In summary: Your Name]In summary, the conversation was about Proposition 2.1.2 in John B. Conway's book, with a focus on the proof and its logic. The reader needed help understanding the logic behind Conway's assumption and contradiction in this part of the proof. The expert explains that Conway is trying to prove the contrapositive of the statement and shows how his assumption and contradiction lead to this proof.
Math Amateur
Gold Member
MHB
I am reading John B. Conway's book: A First Course in Analysis and am focused on Chapter 2: Differentiation ... and in particular I am focused on Section 2.1: Limits ...

I need help with an aspect of the proof of Proposition 2.1.2 ...Proposition 2.1.2 and its proof read as follows:
View attachment 9496

In the above proof by Conway we read the following:

" ... ... Now assume that $$\displaystyle f(a_n) \to L$$ whenever $$\displaystyle \{ a_n \}$$ is a sequence in $$\displaystyle X$$ \ $$\displaystyle \{a\}$$ that converges to $$\displaystyle a$$, and let $$\displaystyle \epsilon \gt 0$$. Suppose no $$\displaystyle \delta \gt 0$$ can be found can be found tho satisfy the definition. ... ... "
Above Conway seems to me that he is assuming that $$\displaystyle f(a_n) \to L$$ and then assuming that the definition of f(a_n) \to L doesn't hold true ... which seems invalid ...

Can someone explain Conway's logic ... can someone please explain what is actually being done in this part of the proof ...

Peter

#### Attachments

• Conway - Proposition 2.1.2 ... .png
20.9 KB · Views: 82

Dear Peter,

Thank you for reaching out for help with Proposition 2.1.2 in Conway's book. I can understand how this part of the proof may seem confusing to you. Let me try to explain Conway's logic in this section.

Firstly, in this part of the proof, Conway is trying to show that if the definition of f(a_n) \to L does not hold true, then there exists no \delta \gt 0 that satisfies the definition. In other words, he is trying to prove the contrapositive of the statement.

Secondly, in order to prove the contrapositive, Conway is assuming the opposite of the statement, which is that f(a_n) \to L does not hold true. This means that there exists some \epsilon \gt 0 such that for every \delta \gt 0, there exists a sequence \{ a_n \} in X \ \{a\} that converges to a, but f(a_n) is not within \epsilon of L.

Finally, Conway is showing that this assumption leads to a contradiction, which means that the original statement must be true. He does this by showing that for any \epsilon \gt 0, there exists a \delta \gt 0 that satisfies the definition, which contradicts our assumption.

I hope this explanation helps you understand Conway's logic in this part of the proof. If you have any further questions, please do not hesitate to ask.

## 1. What is Proposition 2.1.2 in Conway's Limits of Functions?

Proposition 2.1.2 in Conway's Limits of Functions states that if a function f is continuous at a point c, then the limit of f as x approaches c is equal to f(c).

## 2. How do you determine if a function is continuous at a point?

A function is continuous at a point if the limit of the function at that point exists and is equal to the value of the function at that point.

## 3. What is the significance of Proposition 2.1.2 in calculus?

Proposition 2.1.2 is significant in calculus because it provides a way to determine if a function is continuous at a point, which is a fundamental concept in calculus. It also allows for the evaluation of limits of continuous functions at specific points.

## 4. Can Proposition 2.1.2 be applied to all functions?

No, Proposition 2.1.2 can only be applied to functions that are continuous at a point. If a function is not continuous at a point, then the limit at that point may not exist or may not be equal to the value of the function at that point.

## 5. How is Proposition 2.1.2 related to the concept of limits in calculus?

Proposition 2.1.2 is directly related to the concept of limits in calculus as it provides a way to evaluate limits of continuous functions at specific points. It is also used in the definition of continuity, which is essential in understanding limits in calculus.

• Topology and Analysis
Replies
7
Views
2K
• Topology and Analysis
Replies
2
Views
1K
• Topology and Analysis
Replies
5
Views
2K
• Topology and Analysis
Replies
2
Views
2K
• Topology and Analysis
Replies
3
Views
2K
• Topology and Analysis
Replies
2
Views
2K
• Topology and Analysis
Replies
3
Views
1K
• Topology and Analysis
Replies
4
Views
1K
• Topology and Analysis
Replies
5
Views
2K
• Topology and Analysis
Replies
3
Views
1K