Epsilon-Delta Proof of Limit in R2

  • Thread starter Thread starter ChemEng1
  • Start date Start date
  • Tags Tags
    Limit Proof
Click For Summary
SUMMARY

The limit behavior of the function f(λ,μ)=\frac{λμ}{|λ|+|μ|} as (λ,μ) approaches (0,0) in ℝ2 under the 2-norm is confirmed to be (0,0). The discussion emphasizes the need for a rigorous ε, δ proof, starting with the identification of (0,0) as a cluster point of ℝ2\{(0,0)}. Participants suggest using sequences and density arguments to establish the limit. Squaring the fraction is also recommended as a potential simplification in the proof process.

PREREQUISITES
  • Understanding of ε, δ definitions of limits in metric spaces
  • Familiarity with the 2-norm in ℝ2
  • Knowledge of cluster points and sequences in topology
  • Ability to manipulate algebraic expressions involving limits
NEXT STEPS
  • Study the ε, δ definition of limits in detail
  • Learn about cluster points and their significance in real analysis
  • Explore techniques for proving limits using sequences
  • Investigate the implications of squaring functions in limit proofs
USEFUL FOR

Students in calculus or real analysis, particularly those tackling limits in multiple dimensions, and anyone seeking to strengthen their understanding of rigorous mathematical proofs.

ChemEng1
Messages
52
Reaction score
0

Homework Statement


Examine the limit behavior on (ℝ2, 2-norm) for f(λ,μ)=\frac{λμ}{|λ|+|μ|} defined on ℝ2\{(0,0)} at (λ,μ)=(0,0).

I think the limit of f(λ,μ) at (0,0) is (0,0). I have tried multiple paths to (0,0) that seem to indicate this. (λ=μ, λ=μ2, et al.)

However, I am lost trying to develop a rigorous ε, δ proof for this. Any help would be appreciated.

Homework Equations


Definition of Limit: Given metric spaces (X,d) and (Y,d') a mapping T:X→Y and a cluster point x0 of X, we say that T has a limit as x approaches x0 and that limit is y0 if given ε>0, there exists δ>0 such that d'(Tx,y0)<ε when 0<d(x,x0)<δ.

The Attempt at a Solution


Step 1. Show that (λ,μ)=(0,0) is a cluster point of ℝ2\{(0,0)}.
Let A={ℝ2\{(0,0)}). Consider sequence {an}={(\frac{1}{n},\frac{1}{n})}. Observe (0,0) is not an element of {an}. Let a=(0,0). d(an,a)=\sqrt{\left(\frac{1}{n}-0\right)^{2}+\left(\frac{1}{n}-0\right)^{2}}\Rightarrow\frac{\sqrt{2}}{n}=0 as n→∞. Therefore (0,0) is a cluster point of A.

(Perhaps a density argument would be more consise way to argue this?)

Step 2. Apply Definition of Limit.
Pick an ε>0. Then for d'(f(λ,μ),y0)<ε→\sqrt{\left(\frac{λμ}{|λ|+|μ|}-f(0,0)\right)^{2}}<ε.

From this I do not know how to pull out the d((λ,μ),(0,0))<δ→\sqrt{(λ-0)^{2}+(μ-0)^{2}}<δ to continue building this proof.

How far off track am I on this?
 
Last edited:
Physics news on Phys.org
ChemEng1 said:

Homework Statement


Examine the limit behavior on (ℝ2, 2-norm) for f(λ,μ)=\frac{λμ}{|λ|+|μ|} defined on ℝ2\{(0,0)} at (λ,μ)=(0,0).

I think the limit of f(λ,μ) at (0,0) is (0,0)

You mean you think the limit is 0. Try squaring the fraction and work on that.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
4K
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K