# some more supremums and infimums (real analysis)

• Jan 15th 2008, 08:53 PM
alexmin
some more supremums and infimums (real analysis)
For any two non-empty subsets of R let us write P<=Q if , for each x in P, there is a y in Q satisfying x<=y

(a) Show that if P<=Q then supP<= supQ (sup is short for supremum)

(b) Give an Example to show that if P<=Q then it does not follow that infP<=infQ (inf is short for infimum)

(c) Give an example to show that if P<=Q and if Q<=P then it does not follow that P=Q
• Jan 15th 2008, 10:37 PM
Jhevon
Quote:

Originally Posted by alexmin
For any two non-empty subsets of R let us write P<=Q if , for each x in P, there is a y in Q satisfying x<=y

(a) Show that if P<=Q then supP<= supQ (sup is short for supremum)

Proof:

Let $\displaystyle x$ be an arbitrary element of $\displaystyle P$ and $\displaystyle y$ be the element of $\displaystyle Q$ such that $\displaystyle x \le y$. Now we know that $\displaystyle y \le \sup Q$ for all $\displaystyle y \in Q$, by the definition of supremum. So we have $\displaystyle x \le y \le \sup Q$. In particular, we have $\displaystyle x \le \sup Q$ for all $\displaystyle x \in P$. But this means that $\displaystyle \sup Q$ is an upper bound for the set $\displaystyle P$. Now, by the defintion of the supremum, $\displaystyle x \le \sup P$ for all $\displaystyle x \in P$ AND $\displaystyle \sup P$ is less than or equal to any other upper bound for $\displaystyle P$. Thus we have $\displaystyle \sup P \le \sup Q$, as desired.

QED
• Jan 15th 2008, 10:43 PM
Jhevon
Quote:

Originally Posted by alexmin
(c) Give an example to show that if P<=Q and if Q<=P then it does not follow that P=Q

let P be the interval [0,1) and Q be the interval (0,1)
• Jan 15th 2008, 10:46 PM
Jhevon
Quote:

Originally Posted by alexmin
(b) Give an Example to show that if P<=Q then it does not follow that infP<=infQ (inf is short for infimum)

Let P be the interval (1,2) and let Q be the interval (0,2)