Infimum and extended real number

  • Context: Graduate 
  • Thread starter Thread starter wayneckm
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on the concept of infimum within the framework of extended real numbers. It establishes that the infimum of the sequence of negative infinity, represented as {-∞, -∞, ...}, is -∞, while the infimum of the sequence of positive infinity, {+∞, ...}, cannot be determined without additional context regarding the elements of the set. Definitions clarify that -∞ is less than all other extended real numbers, and +∞ is greater than all. The infimum is defined as the greatest number that is not smaller than any element in the set.

PREREQUISITES
  • Understanding of extended real numbers
  • Familiarity with mathematical definitions of infimum and supremum
  • Basic knowledge of sequences and sets in mathematics
  • Concept of tuples versus lists in mathematical contexts
NEXT STEPS
  • Study the properties of extended real numbers in mathematical analysis
  • Learn about the definitions and applications of infimum and supremum in various mathematical contexts
  • Explore the differences between sets, sequences, and tuples in mathematics
  • Investigate examples of infimum in different types of sets and sequences
USEFUL FOR

Mathematicians, students of mathematical analysis, and anyone interested in the properties of extended real numbers and their applications in mathematical theory.

wayneckm
Messages
66
Reaction score
0
Hello all,


I am a bit unclear about the infimum under the system of extended real number.
More precisely, I am wondering if it is a sqeuence of infinity, [tex]\left\{ -\infty, -\infty, \ldots \right\}[/tex] or [tex]\left\{ +\infty, +\infty, \ldots \right\}[/tex], should I say the infimum of each of them is [tex]-\infty[/tex] and [tex]+\infty[/tex] respectively?

Thanks.


Wayne
 
Physics news on Phys.org
Definition 1. The infimum of a set of numbers, {...}, is the greatest number, x, (in or out of the set) such that no element of the set is smaller than x.

Definition 2. -infinity is less than every other extended real number. +infinity is greater than every other extended real number.

Definition 3. In the context of mathematical analysis, a sequence usually means an infinite list (a,b,c,...), that is, one whose items can be labelled with the counting numbers: 1, 2, 3,... and so on forever. Sometimes the word sequence can mean a finite list. Tuple means a finite list, e.g. (9,3,4) is a tuple.

Differences between a set and a list. A set may be denoted by elements enclosed in curly brackets, {...}; its elements are separated by commas. A list, finite or otherwise, may be denoted by items enclosed in round brackets, (...); its items are separated by commas too. By definition, a set such as {7,7,2} = {7,2} = {2,7} = {7,2,7} = {2,2,2,2,2,2,2,7,2}. That is, order makes no difference, and when a set is expressed as a list, and the list contains more than one identical item, this list represents the same set as a list which differs from it only in that that item appears only once. But the list (7,7,2) does not equal the list (7,2) or the list (7,2,7) etc. The sequence of counting numbers (1,2,3,4,...) does not equal the sequence (1,1,2,3,...) or (2,1,3,4,...).

What is the infimum of {-infinity, -infinity, ... } = {-infinity, ...}? It's -infinity. That's the greatest number which no element of the set is less than.

What is the infimum of {+infinity,...}? Can't tell. Insufficient data, Captain. We need to know more about what other elements are in the set, what those dots represent. For example, if this set was {a | a > 110}, all extended real numbers, a, such that a > 0, then its infimum would be 0. But if this set was {+infinity, 52, -14}, then its infimum would be -14. And if the set contained -infinity, then -infinity would be its infimum.

Question. What is the infimum of {+infinity}? It's {+infinity}. Every other extended real number is less than +infinity, but all are less than +infinity.

Question. What's the infimum of the sequence, (...). Don't know. Undefined. The infimum has only been defined for a set. But if such a question comes up, a good guess will be that it means: what's the infimum of the set of items which make up the sequence.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K