Cant understand this step in a bounded prove

  • Thread starter transgalactic
  • Start date
  • Tags
    Bounded
In summary, the conversation discusses the concept of a function f(x) continuing on the interval (-∞,a] and its border limit as x approaches -∞, which is assumed to exist and be finite. The goal is to prove that f(x) is bounded on (-∞,a] and/or that there exists a value x0 within this interval that is equal to the limit as x approaches -∞. This is represented by the equation \sup_{x\epsilon(-\infty,a]} f(x). The conversation then introduces a non-understood part involving a counterexample where the function is not bounded from the top, and xn represents a value within the interval [m0,a]. It is unclear how this
  • #1
transgalactic
1,395
0
the question:
f(x) continues on [tex](-\infty,a][/tex]
and suppose that the border [tex] \lim_{x->-\infty}f(x)[/tex] exists and finite.
prove that f(x) is bounded on [tex](-\infty,a][/tex] and/or that exists
[tex]x_0\epsilon(-\infty,a]=\lim _{x->-\infty }f(x)[/tex]
so
[tex]\sup_{x\epsilon(-\infty,a]} f(x)[/tex]
in other words prove that f(x) gets its highest value on [tex](-\infty,a][/tex]
and the supremum is the maximum

the non understood part:

suppose
[tex] \lim_{x->-\infty}f(x)=m_0[/tex]
suppose [tex]m_0<a[/tex]
and we check on the interval of [tex][m_0,a][/tex] where [tex][m_0,a]\subseteq (-\infty,a][/tex]

they prove by a counter example that:
"suppose the function is not bounded from the top then [tex]\forall n\epsilon N[/tex] and
[tex]m_0\leq x_n\leq a[/tex]"

i can't understand it.if a function is bounded by some epsilon then we take N for which after this N (n>N) f(x)<epsilon
if its not bounded from the top then
f(x) is bigger then epsilon for the whole interval

this is not what they writee up there
what are they writing there??
 
Last edited:
Physics news on Phys.org
  • #2
What's xn, and why are you looking at all of them? I'm not sure I understand what's going on in your post
 
  • #3
how its supposed to be diverged?
 

FAQ: Cant understand this step in a bounded prove

How do you define a "bounded prove"?

A bounded proof is a type of mathematical proof that uses a finite number of steps to logically demonstrate the truth of a statement. It is often used in fields such as computer science and logic to show that a certain algorithm or system is correct.

What is the purpose of a bounded proof?

The purpose of a bounded proof is to provide a clear and rigorous explanation of why a statement or theory is true. It allows for a systematic and structured approach to demonstrating the validity of a claim, which can help to build confidence in its correctness.

How do you approach understanding a step in a bounded proof?

The best way to approach understanding a step in a bounded proof is to carefully read and analyze each step, making sure to fully comprehend the definitions, assumptions, and logical reasoning behind it. It may also be helpful to break the step down into smaller components and work through them individually before putting them back together.

What are some common challenges in understanding steps in a bounded proof?

Some common challenges in understanding steps in a bounded proof include unfamiliar terminology, complex logical reasoning, and missing or incomplete explanations. It is important to take the time to thoroughly understand each step and seek clarification if necessary.

How can you improve your understanding of bounded proofs?

To improve your understanding of bounded proofs, it is important to practice working through different examples and exercises. It can also be helpful to discuss the proofs with others and seek feedback and explanations from experts in the field.

Similar threads

Back
Top