Prove Inequality: |x-x_0|, |y-y_0| & xy-x_0y_0<\epsilon

  • Thread starter Thread starter objectivesea
  • Start date Start date
  • Tags Tags
    Inequality Proof
Click For Summary

Homework Help Overview

The discussion revolves around proving an inequality involving the expressions |x-x_0|, |y-y_0|, and xy-x_0y_0, with a focus on the conditions under which these inequalities hold true. The subject area includes concepts from real analysis and inequalities.

Discussion Character

  • Exploratory, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • Participants explore the initial conditions for the inequalities and question the validity of the expressions provided. There is a discussion about whether the conditions for |y-y_0| should be adjusted and how that impacts the overall proof.

Discussion Status

The discussion is ongoing, with participants questioning the assumptions made in the initial problem statement. Some guidance has been offered regarding the implications of the inequalities, and there is an exploration of proving additional relationships to support the main inequality.

Contextual Notes

Participants are considering the implications of the minimum function and its relationship to the bounds of the variables involved. There is a specific interest in ensuring that the conditions remain valid under the constraints provided.

objectivesea
Messages
6
Reaction score
0

Homework Statement



Prove that if [tex]|x-x_0| < \textrm{min} \bigg ( \frac{\epsilon}{2|y_0|+1},1 \bigg )[/tex] and [tex]|y-y_0| < \frac{\epsilon}{2|x_0|+1}[/tex] then [tex]xy-x_0y_0<\epsilon[/tex]

Homework Equations


We can use basic algebra and the following axioms:
For any number [tex]a[/tex], one and only one of the following holds:
(i) [tex]a=0[/tex]
(ii) [tex]a[/tex] is in the collection [tex]P[/tex]
(iii) [tex]-a[/tex] is in the collection [tex]P[/tex]
Note: A number [tex]n[/tex] is the collection [tex]P[/tex] if and only if [tex]n>0[/tex]

If [tex]a[/tex] and [tex]b[/tex] are in [tex]P[/tex], then [tex]a+b[/tex] is in [tex]P[/tex].

If [tex]a[/tex] and [tex]b[/tex] are in [tex]P[/tex], then [tex]a \cdot b[/tex] is in P.

We may also use the following consequences of the above axioms:

For any numbers [tex]a[/tex]and [tex]b[/tex], one and only one of the following holds:
(i) [tex]a=b[/tex]
(ii) [tex]a < b[/tex]
(iii)[tex]a > b[/tex]

For any numbers [tex]a[/tex], [tex]b[/tex], and [tex]c[/tex], if [tex]a<b[/tex] and [tex]b<c[/tex], then [tex]a<c[/tex].

For any numbers [tex]a[/tex], [tex]b[/tex], and [tex]c[/tex], if [tex]a<b[/tex], then [tex]a+c<b+c[/tex].

For any numbers [tex]a[/tex], [tex]b[/tex], and [tex]c[/tex], if [tex]a<b[/tex] and [tex]0<c[/tex], then [tex]ac<bc[/tex].


The Attempt at a Solution



I'm not even sure where to start.
 
Physics news on Phys.org
Are you sure it's not
[tex] |y-y_0| < \textrm{min} \bigg (\frac{\epsilon}{2|x_0|+1},1 \bigg )[/tex]?
 
praharmitra said:
Are you sure it's not
[tex] |y-y_0| < \textrm{min} \bigg (\frac{\epsilon}{2|x_0|+1},1 \bigg )[/tex]?

I just double checked. I'm sure.
 
objectivesea said:
I just double checked. I'm sure.

But if [tex]|y-y_0|<\textrm{min} \bigg ( \frac {\epsilon}{2|x_0|+1},1 \bigg )[/tex]
then [tex]|y-y_0|< \frac {\epsilon}{2|x_0|+1}[/tex]
Since if [tex]\textrm{min} \bigg ( \frac {\epsilon}{2|x_0|+1},1 \bigg )=\frac {\epsilon}{2|x_0|+1}[/tex] then [tex]|y-y_0|<\frac {\epsilon}{2|x_0|+1}\leq 1[/tex].
And if [tex]\textrm{min} \bigg ( \frac {\epsilon}{2|x_0|+1},1 \bigg )=1[/tex] then [tex]|y-y_0|<1 \leq \frac {\epsilon}{2|x_0|+1}\[/tex]

either way [tex]|y-y_0|< \frac {\epsilon}{2|x_0|+1}[/tex]
 
No, I actually want the fact that [tex]|y-y_0|<1[/tex] in addition to all your above expressions. Now I am wondering, given your first inequality, is it possible to prove that

[tex]\frac{\epsilon}{2|x_0|+1} <1[/tex]. Do you think you can try to prove that?

If you can do that, then afterwards use the following:

1. [itex]min(a,b) \leq a,~min(a,b)\leq b[/itex]

2. [itex]|x-x_0| \geq |x|-|x_0|[/itex]

and proceed from there. But first try the first thing. Something I am not able to do.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 26 ·
Replies
26
Views
3K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
32
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K