Find GLB of A: $(-1)^n\left(\frac{1}{4}-\frac{2}{n}\right)$

  • Context: MHB 
  • Thread starter Thread starter NoName3
  • Start date Start date
  • Tags Tags
    Bound
Click For Summary
SUMMARY

The greatest lower bound (glb) of the set A, defined as $A = \{(-1)^n \left(\frac{1}{4}-\frac{2}{n}\right): n \in \mathbb{N}\}$, is conclusively determined to be $-\frac{3}{4}$. The analysis shows that the sequence alternates between increasing and decreasing values, with $x_{2k}$ strictly increasing from $-\frac{3}{4}$ to $\frac{1}{4}$ and $x_{2k+1}$ decreasing from $\frac{7}{4}$ to $-\frac{1}{4}$. The proof confirms that for any $\epsilon > 0$, $-\frac{3}{4} + \epsilon$ cannot serve as a lower bound, solidifying $-\frac{3}{4}$ as the glb of A.

PREREQUISITES
  • Understanding of sequences and limits in real analysis.
  • Familiarity with the concepts of lower bounds and greatest lower bounds (glb).
  • Knowledge of mathematical induction and inequalities.
  • Proficiency in manipulating algebraic expressions involving fractions.
NEXT STEPS
  • Study the properties of sequences and their convergence in real analysis.
  • Learn about the concepts of upper bounds and least upper bounds (lub) in mathematical sets.
  • Explore epsilon-delta definitions of limits to strengthen understanding of bounds.
  • Investigate the behavior of alternating sequences and their convergence properties.
USEFUL FOR

Mathematics students, particularly those studying real analysis, as well as educators and researchers interested in sequence convergence and bounds in mathematical sets.

NoName3
Messages
24
Reaction score
0
Find $\text{glb}(A)$ if $A = \left\{(-1)^n \left(\frac{1}{4}-\frac{2}{n} \right): n \in \mathbb{N}\right\}$.$\displaystyle x_n = (-1)^n \left(\frac{1}{4}-\frac{2}{n} \right)$ then $ \displaystyle x_{2k} = \frac{1}{4}-\dfrac{1}{k} = \frac{k-4}{4k}$ and $ \displaystyle x_{2k+1} = -\left(\frac{1}{4}-\frac{2}{2k+1}\right) = \frac{7-2k}{4(2k+1)}$.

Now we analyse $x_{2k}$ Let $j = 2k$ then $x_{j} = \dfrac{j-8}{4j}$ and $x_{j+1} = \dfrac{j-7}{4(j+1)} $. Which is bigger: $x_j$ or $x_{j+1}$?

That's where I'm stuck - I can't analyse $x_{2k}, x_{2k+1}$. Is there a trick to it or we have to analyse cases?
 
Last edited:
Physics news on Phys.org
NoName said:
$ \displaystyle x_{2k} = \frac{1}{4}-\dfrac{1}{k} = \frac{k-4}{4k}$.

we analyse $x_{2k}$ Let $j = 2k$ then $x_{j} = \dfrac{j-8}{8j}$

Your formula for $x_j$ is not correct.

We have the following:
$\displaystyle x_{2k} = \frac{k-4}{4k}=\frac{\frac{2k}{2}-4}{2(2k)} \ \overset{j=2k}{=} \ \frac{\frac{j}{2}-4}{2j}=\frac{j-8}{4j}$
 
NoName said:
Which is bigger: $x_j$ or $x_{j+1}$?

Suppose that $\frac{j-8}{4j}\leq \frac{j-7}{4(j+1)}$, then $$4(j+1)(j-8)\leq 4j(j-7) \\ \Rightarrow 4(j^2-7j-8)\leq 4j^2-28j \\ \Rightarrow 4j^2-28j-32\leq 4j^2-28j \\ \Rightarrow -32\leq 0$$ which is true. Therefore, $x_j\leq x_{j+1}$.
 
Thanks, mathmari. Since the equality is never attained, we have $x_j < x_{j+1}$ thus $x_j$ is strictly increasing from $-3/4$ to $1/4$. Letting $i= 2k+1$ we have $x_i = \dfrac{8-i}{4i}$ and $x_{i+1} = \dfrac{7-i}{4(i+1)}$. Therefore $x_{i+1} > x_i$. Hence $x_i$ is decreasing from $7/4$ to $-1/4$. That's the same thing as saying it's increasing from $-1/4$ to $7/4$. Therefore $\min(-3/4, -1/4) < x_n < \max(1/4, 7/4) \iff -3/4 < x_n < 7/4 $ Therefore we have $\text{lub}(A) = -3/4.$ Is this correct analysis? I've seen a solution that considers the point $x_2 = 5/12$, which makes me doubt this.
 
Last edited:
It appears that I was having an off-day here. The $\epsilon-\delta$ proof is far simpler than that. Let $x_n = \dfrac{(-1)^n(n-8)}{4n}.$ A lower bound for $x_n$ is $-\dfrac{3}{4}$. We want to show that $-\dfrac{3}{4}+\epsilon$
is not a lower bound for any $\epsilon > 0$. If $\epsilon > 0$, then $ \exists ~ (2n+1)$ s.t. $\dfrac{2(2n+1)+8}{4(2n+1)}< \epsilon$.

Then $x_{2n+1} = \dfrac{7n-2n}{4(2n+1)} = \dfrac{-3(2n+1)+4n+10}{4(2n+1)} = -\dfrac{3}{4}+\dfrac{2(2n+1)+8}{4(2k+1)} < -\dfrac{3}{4}+\epsilon. $

Hence $-\dfrac{3}{4}+\epsilon$ is not a lower bound for $x_n$ for any $\epsilon > 0$, and therefore $\text{glb}(A) = -\dfrac{3}{4}.$
 
Actually my proof above is not valid for $\epsilon \le \frac{1}{2}$.

Let $x_n = \dfrac{(-1)^n(n-8)}{4n}.$ Clearly a lower bound for $x_n$ is $-\dfrac{3}{4}$.
We need to show that $-\dfrac{3}{4}+\epsilon$ is not a lower bound for $\epsilon > 0$.
If $\epsilon > 0$, there exists an even integer $2n$ s.t. $\dfrac{2n-2}{2n}< \epsilon$, then:
$$x_{2n} = \dfrac{2n-8}{4(2n)} = \dfrac{8(n-1)-6n}{4(2n)} = -\dfrac{3}{4}+\dfrac{2n-2}{2n}< -\dfrac{3}{4}+\epsilon. $$ Thus $-\dfrac{3}{4}$ is the greatest lower bound of $A$. I believe it works now. (Happy)
 

Similar threads

  • · Replies 12 ·
Replies
12
Views
3K
Replies
32
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
8
Views
2K
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K