Edwinkumar Messages 23 Reaction score 0 Thread starter May 3, 2009 #1 Why do we define(by convention) that infimum of an empty set as [tex]\infty[/tex] and supremum as [tex]-\infty[/tex]? Last edited: May 3, 2009
Why do we define(by convention) that infimum of an empty set as [tex]\infty[/tex] and supremum as [tex]-\infty[/tex]?
Hurkyl Staff Emeritus Science Advisor Gold Member Messages 14,922 Reaction score 28 May 3, 2009 #2 It's not a convention -- it follows directly from the definition of the supremum as the least upper bound and the infimum as the greatest lower bound.
It's not a convention -- it follows directly from the definition of the supremum as the least upper bound and the infimum as the greatest lower bound.
matt grime Science Advisor Homework Helper Messages 9,361 Reaction score 6 May 3, 2009 #3 Remember that we say M is an upper bound for X if for all x in X... so if X is the empty set then this is never true. Now, "false implies true is true", i.e. all possible real numbers are upper bounds for the the empty set.
Remember that we say M is an upper bound for X if for all x in X... so if X is the empty set then this is never true. Now, "false implies true is true", i.e. all possible real numbers are upper bounds for the the empty set.
Edwinkumar Messages 23 Reaction score 0 May 5, 2009 #4 Thanks Hurkyl and matt grime for your replies. Yes I got it now!