Lydia Carey

Answered

2022-06-27

let L be a bounded distributive lattice with dual space $\left(X:={\mathcal{I}}_{p}\left(L\right),\subseteq ,\tau \right)$, then the clopen downsets of X are ${X}_{a},a\in L$.

Answer & Explanation

Jaylee Dodson

Expert

2022-06-28Added 22 answers

Step 1
Consider a prime ideal I in a clopen downset D. The downset generated by I is the intersection of all the sets ${X}_{a}$ such that $a\notin I$. Because D is compact, there is a finite subintersection which is a subset of D. A finite intersection of sets of the form ${X}_{a}$ is a set of the form ${X}_{a}$, so for each I in D there is some a such that $I\in {X}_{a}\subseteq D$.
Step 2
The union of all sets ${X}_{a}\subseteq D$ is therefore equal to D. Compactness yields a finite subunion, and a finite union of sets of the form ${X}_{a}$ is again a set of the form ${X}_{a}$.

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get your answer.

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

Didn't find what you were looking for?