1

$M\subseteq\mathbb{R}$
$M:=\{x \in \mathbb{Q}: x^2<7\}$

Does $M$ have an infimum, supremum, min, max?

My answer would be that it doesn't because $\sqrt{7}$ and $-\sqrt{7}$ are $\not\in \mathbb{Q}$
Is that correct?

parsiad
  • 25,154
lolan496
  • 173

2 Answers2

2

Definition: An upper bound $u$ of $M \subset \mathbb{R}$ is an element $u \in \mathbb{R}$ such that $u \geq m$ for all $m \in M$.

Definition: A supremum of $M \subset \mathbb{R}$ is an element $x \in \mathbb{R}$ such that

  • $x$ is an upper bound of $M$
  • for each upper bound $u$ of $M$, $x \leq u$

According to the above definition, $x$ does not have to be in $M$, which is perhaps where you have gotten confused.

Example: $M = [0, 1)$ does not have a maximum, since for any $x \in [0, 1)$, we can define $y = (x + 1)/2 \in M$, noting that $y > x$.

Example: $M = [0, 1)$ has a supremum, namely $1$. Can you prove this?

Once you have tackled the above example, you should be able to answer your original question (hint: use also the fact that any real number can be defined as the limit of a sequence of rational numbers).

parsiad
  • 25,154
  • Thank You! Three questions: If it was $x \in \mathbb{R}$ instead of $\mathbb{Q}$ there would also be no maximum, right? (because of $(x+1)/2 \in M$. And what about $≤$ instead of $<$. I guess no maximum either because the maximum would not be $\in \mathbb{Q}$. And: In my analysis textbook we got a similar example, only differences are that there is $2$ instead of $7$ and there isn't mentioned that $M$ is a subset of some other set. And it states that then there is neither a maximum nor a supremum. Is that task even correct/solvable? – lolan496 Feb 04 '18 at 17:14
  • To your first question, that is correct. To your second question, if it was $\leq$ and $x\in \mathbb{R}$, there would be a maximum (but not if it was $x \in \mathbb{Q}$). I'm not sure what you mean in your last question. – parsiad Feb 04 '18 at 21:06
0

The set does indeed have a supremum and infimum (use the density of $\Bbb Q$ in $\Bbb R$). However, it does not have a max/min as you say, because $M$ has a maximum if and only if $\sup M\in M$ and $M$ has a minimum if and only if $\inf M\in M$.

Dave
  • 13,568