P poset. x = &#x22C1;<!-- ⋁ --> ( &#x2193;<!-- ↓ --> x &#x2229;<!-- ∩ --> U

Merati4tmjn

Merati4tmjn

Answered question

2022-05-14

P poset. x = ( x U ) x , y P with y < x, a U s.t. a x and a y.

Answer & Explanation

Jerry Kidd

Jerry Kidd

Beginner2022-05-15Added 18 answers

Step 1
We prove the left to right direction first ( ). So let x < y P. We aim for a proof by contradiction, so suppose that for all a x with a U we also have that a y. This is exactly saying that for all a x U we have a y. That means that x = ( x U ) y < x, a contradiction. So there must be some a x with a U such that a y, as required.
Step 2
For the other direction ( ), we assume P is a complete lattice. Let x P be arbitrary. Since P is a complete lattice, ( x U ) exists and we can set y = ( x U ). We need to show that x = y. Clearly y x, as x is an upper bound of x U. Again aiming for a contradiction, we assume that x y and hence y < x. By assumption we can find a U with a x such that a y. However, this means precisely that a x U and a y. So y is not an upper bound of x U, contradiction. We conclude that x = y as required.

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Discrete math

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?