0
$\begingroup$

i need again some help here. i am defining the minimum and max and inf and sup of this set

$A:=(]1,2[ \cup ]2,3]) \cup \{2\}$ which is equal to the interval $(1,3]$

i say, max is 3, and sup is also 3. and 1 is inf but what is minimum? there are many numbers with $1 which can be minimum of $A$, right?

can someone help me to understand the intuitive notion of infimum,supremum, and minimum and maximum. i know that the number which is minimum and maximum must be contained in the set. and every bounded non-empty set has supremum and infimum, but not always minimum and maximum. so in my case, there are maximum, supremum and inf, but no minimum? am i right?

3 Answers 3

4

$A:=\left(\; ]1,2[ \;\;\cup\;\; ]2,3]\;\right) \cup \{2\}$ which is equal to the interval $(1,3]$

Conclusions: $\max(A) = \sup(A) = 3$, $\inf(A) = 1$.


You are correct in all your conclusions. The infimum is indeed $1$, but $1 \notin (1, 3]$.

If a minimum exists, it must be IN the set (half-open interval), and it must equal the infimum of the set. As you observed, there is no such minimum value in $A$, so $A$ has no minimum.


(Note, the same is true about the maximum of a set: IF a maximum value of a set exists, it must be IN the set, and it must equal the supremum of the set: in this case, $3$ is the supremum of $A$ and it is also the maximum of $A$ because $3 \in A$.

The infimum and the supremum of a set always exist, but they NEED NOT be IN the set.

  • 0
    thanks a lot. this is the last time that i tried to understand this logic, because now i undertand :D2012-12-01
  • 0
    You're welcome, doniyer!2012-12-01
  • 0
    can you please read my assumption under Amr's answer. am i right?2012-12-01
  • 0
    Yes, you are right, doniyer. $B:= \bigcup_{z \in \mathbb{Z}} ]z,z+1[$ has a supremum, an infinimum, but no min or max.2012-12-01
  • 0
    okay, great, thanks :)2012-12-01
1

Not every set has a minimum. Your $A$ is such a set.

  • 0
    thanks, this sentence gave me the shot! :D great!2012-12-01
1

Suppose that a minimum exists.

Let $m$ be a minimum of the set $(1,3]$. let $m'=1+(m-1)/2$.Since $1, It follows that $m'\in(1,3]$ and $m' (a contradiction)

  • 0
    great. can you test me with this statement: i say, $B:= \bigcup_{z \in \mathbb{Z}} ]z,z+1[$ has only inf and sup but no max and min, right?2012-12-01
  • 0
    $B$ is unbounded2012-12-01