Proving x is the Infimum of a Non-Empty Group with a Given Low Bound

  • Thread starter Thread starter transgalactic
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary

Homework Help Overview

The discussion revolves around proving that a given lower bound "x" of a non-empty set A is indeed the infimum of that set. The participants are exploring the implications of the condition that for any positive epsilon "e", there exists an element "y" in A such that "x" is less than or equal to "y" and "y" is less than or equal to "x + e".

Discussion Character

  • Conceptual clarification, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • Participants are attempting to clarify the meaning of the conditions given in the problem, particularly the role of "y" and the significance of the fixed "e". There is discussion about the definition of infimum and how it relates to the bounds of the set A.

Discussion Status

The discussion is ongoing, with participants seeking to understand the implications of the definitions and conditions presented. Some have offered insights into the nature of lower bounds and the properties of infimum, while others are still grappling with the interpretation of the problem statement.

Contextual Notes

There is a focus on the lack of a formula for the set A, which complicates the participants' ability to apply standard methods for proving infimum properties. The fixed nature of "e" and its implications for the elements of A are also under scrutiny.

transgalactic
Messages
1,386
Reaction score
0
its given that "x" is a low bound of non empty group A.
prove that x=inf A for e>0 there is "y" which x<=y<=x+e
??

i can't understand this question

i know how to prove that a certain number is inf or sup using only the formula of the group

but here i don't have the formula of the geoup
and i have this 'y' i don't know why its for??
 
Physics news on Phys.org
Perhaps you need to rewrite the question. x is a lower bound for nonempty set A? y is an element of A? For all e or a fixed e?
 
its given that "x" is a lower bound for non empty set A.
prove that x=inf A for e>0 there is "y" y is element of A which x<=y<=x+e
e is fixed
??
 
i know that inf is the biggest integer under the lower bound
and if we add a certain "e" then it will cease to be inf
and it will become inside the group
 
inf A is the greatest lower bound for the set A.
So inf A + e will not be a lower bound for the set A for some positive real e.

What does this statement mean: "for e>0 there is "y" y is element of A which x<=y<=x+e"?
 
that there is a fixed "e" for which x<=y<=x+e

y is element of A
 
It is stated that A is bounded below, x being a lower bound, and there is a specific e such that all elements of A fall in the interval [x, x + e]. So A is a bounded set. Perhaps you need to reread the question (or your notes that pertain to the question).
 
i think i got it
A bounded from the bottom
x is a low bound of A

i need to prove that x=inf Athis expression is just the definition of inf
x<=y<=x+eso i tried to solve it as if i got a formula
I presume that "x" is not inf
then our inf is x+e
now i proove that x+e is not infA
x+e>y

but here i got stuck because in this step i would do a formula operation.

??
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
6
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 8 ·
Replies
8
Views
9K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 12 ·
Replies
12
Views
2K
Replies
20
Views
4K
Replies
8
Views
2K