in Set Theory & Algebra
1,871 views
0 votes
0 votes
every total ordered set is distributive.
in Set Theory & Algebra
by
1.9k views

1 Answer

5 votes
5 votes
Best answer

Every totally ordered set is a distributive lattice. 

A totally ordered set means, for every two elements of the set $a$ and $b$, either $a \leq b$ or $b \leq a$, and thus $a \leq b$ if and only if $a \wedge b = a$ (meet operation) and $a \vee b = b$ (join operation). 

A lattice $(L,∨,∧)$ is distributive if the following identity holds for all $x, y,$ and $z$ in $L$:

$$x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z)$$.

$\text{LHS} = x \wedge (y \vee z)$.

For a totally ordered set, this will return $x$, iff order of $x$ is $\leq$ either $y$ or $z$. Otherwise it will return the larger of $y$ and $z$.

The same thing is applicable for $\text{RHS}$ also making $\text{LHS} = \text{RHS}$ for a totally ordered set.

selected by
by

3 Comments

Thank you Sir
1
1

Suppose y   z    Here , I m getting x(yz)  = X ^ Z = X

Then how this statement is true :

              this will return x, iff order of  x is  both y and z ??
 

1
1
Thanks - corrected..
1
1
Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true