I am a beginner at Real Analysis and attempting to prove some of the results in Problems in Mathematical Analysis volume – I by Kaczor and Nowak. I would like someone to verify, if my proof to the below question is rigorous and correct. If it isn't, I would like some hints that would lead me to the correct proof.
1.1.2. Let $A \subset \mathbb{R}$ be a non-empty subset. Define $-A=\{x:-x \in A\}$. Show that
\begin{align*}
\sup (-A)&=-\inf A \\
\inf (-A)&=-\sup A
\end{align*}
Proof.
(1) Let $l \in \mathbb{R}$ be the infimum of the set $A$. From the definition of the greatest lower bound for a set:
(a) $l$ is a lower bound for $A$.
So, $l \le x$ for all $x \in A$. Thus, $-l \ge -x$ for all $x$. So, $-l$ is an upper bound for $-A$.
(b) If $b$ is any lower bound for $A$, $b \le l$. Therefore, $-b \ge -x$ for all elements in $-A$ and $-b \ge -l$.
Hence, we can conclude that $-l$ is the supremum of $-A$.
(2) The proof for the infimum of $-A$ follows similarly.
Best Answer
Rather than commenting on your work, I will comment on your ability to verify your work.
In other to prove that a number is the supremum of a set, there are two things you need to do. If you've shown those two things, then you are done, you don't need any help checking your work.
(This is not to discourage you from asking for help on this website, but you seem to understand how to prove what's being asked of you, so I'm trying to help you figure out that at least in this instance, you can easily verify your work yourself.)
Edit:
Actually, you know what, I think I mislead you above. The issue I see with your proof is that you proved $-l$ is an upper bound for $-A$, but you didn't quite prove that it's the least upper bound. So consider some number $r$ such that $r \geq -x$ for all $x \in A$. (Aside: I think you typed $S$ in a couple places where you meant to type $A$.) We see that $r \geq -x$ implies that $-r \leq x$, so $-r$ is a lower bound for $A$, and therefore $-r \leq l$ since we know $l$ is the infimum of $A$. Thus, $r \geq -l$, so $-l$ is the least upper bound of $-A$ as desired.
Basically, you took any other lower bound $b$ of $A$, showed that $-b$ is an upper bound for $-A$, and showed that $-l$ is no greater than $-b$. This is really close to what you should do, but I don't think it's quite right. To be proper you need to take any other upper bound $r$ for $-A$ as I did above, and then show that $r$ is at least as big as $-l$.