An algebraic brickwall (real analysis)

  • Context: Graduate 
  • Thread starter Thread starter mynameisfunk
  • Start date Start date
  • Tags Tags
    Analysis Real analysis
Click For Summary

Discussion Overview

The discussion revolves around a proof involving the relationship between sequences and real numbers, specifically focusing on the expression yn = x. Participants are exploring the conditions under which this holds true and the implications of certain assumptions in the proof.

Discussion Character

  • Technical explanation, Debate/contested, Conceptual clarification

Main Points Raised

  • One participant presents a proof attempt that assumes yn > x and seeks to derive a positive h such that (y - h)n > x.
  • Another participant questions the completeness of the problem statement, asking for clarification on the definitions of x and y.
  • A subsequent reply clarifies that n is an integer and x and y are real numbers, but still suggests that the problem statement may be incomplete.
  • Another participant argues that the problem may require a more specific form, indicating that the truth of the statement could depend on the arrangement of quantifiers and the nature of the variables involved.

Areas of Agreement / Disagreement

Participants generally agree that the problem statement is incomplete and that the assumptions made may affect the validity of the proof. Multiple competing views remain regarding the necessary conditions for the statement to hold true.

Contextual Notes

There are unresolved aspects regarding the definitions of x and y, as well as the implications of the quantifiers in the problem statement. The discussion highlights the potential for different interpretations based on these factors.

Who May Find This Useful

This discussion may be useful for individuals interested in real analysis, particularly those exploring proofs involving sequences and the conditions under which certain mathematical statements hold true.

mynameisfunk
Messages
122
Reaction score
0
Goal: to show yn=x

This particular part of the proof supposes that yn>x. So we want
an h>0 such that (y-h)n>x

yn-(y-h)n<yn-x

yn-(y-h)n=(y-(y-h))(yn-1+yn-2(y-h)+...+(y-h)n-1)<hnyn-1

this yields h=(yn-x)/(nyn-1)


my question: how the heck does one derive h from this?
 
Physics news on Phys.org
You are missing part of the problem statement. What are x and y?
 
n is an integer, x and y are reals.

Sorry bout that.
 
Seems to me you are still missing some of the problem statement. Maybe it needs to be of the form for all or for some something and something there exists something such that yn = x ?

With the somethings being integer and reals in some combination.
I think some for arrangements of somethings and the all/some the statement will be false, for others it will be trivial, maybe there is a nontrivial true case?
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 24 ·
Replies
24
Views
7K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
6
Views
7K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 14 ·
Replies
14
Views
2K