# Thread: greatest least bound and least upper bound proof

1. ## greatest least bound and least upper bound proof

I've been struggling with this one.

Let A be a partially ordered set. Suppose X⊆Y⊆A.

1. Assuming that all the least upper bounds and greatest lower bounds exist, prove that glb(Y) ≤ glb(X) ≤ lub(X) ≤ lub (Y)

2. Find two subsets X and Y of Real Numbers for which X is a proper subset of Y and yet glb(Y) = glb(X) and lub(X) = lub(y)

2. Originally Posted by tae1466
I've been struggling with this one.

Let A be a partially ordered set. Suppose X⊆Y⊆A.

1. Assuming that all the least upper bounds and greatest lower bounds exist, prove that glb(Y) ≤ glb(X) ≤ lub(X) ≤ lub (Y)

2. Find two subsets X and Y of Real Numbers for which X is a proper subset of Y and yet glb(Y) = glb(X) and lub(X) = lub(y)
1. I'll do part of this. See if you can do the rest.

Problem: Let $\displaystyle X\subseteq Y$. Prove that $\displaystyle \sup\left(X\right)\le\sup\left(Y\right)$

Proof: We know that since $\displaystyle X\subseteq Y$ that $\displaystyle x\in X\implies x\in Y$. But $\displaystyle \forall x\in Y\quad x\le\sup\left(Y\right)$, so $\displaystyle \forall x\in X\quad x\le \sup\left(Y\right)$. Therefore $\displaystyle \sup\left(Y\right)$ is an upper bound for $\displaystyle X$. And by definition $\displaystyle \sup\left(X\right)$ is at least as small as any upper bound of $\displaystyle X$. The conclusion follows.

2. What about $\displaystyle X=(0,1)$ and $\displaystyle Y=[0,1]$?