|
|
|
Viewing Version
5
of
'meet continuous'
|
[ view 'meet continuous'
|
back to history
]
| Title of object: |
meet continuous |
| Canonical Name: |
MeetContinuous |
| Type: |
Definition |
| Created on: |
2007-01-22 23:14:57 |
| Modified on: |
2007-01-23 01:19:37 |
| Classification: |
msc:06B35, msc:06A12 |
| Defines: |
join continuous, order converges |
| Synonyms: |
meet continuous=order convergence |
Preamble:
\usepackage{amssymb,amscd}
\usepackage{amsmath}
\usepackage{amsfonts}
% used for TeXing text within eps files
%\usepackage{psfrag}
% need this for including graphics (\includegraphics)
%\usepackage{graphicx}
% for neatly defining theorems and propositions
%\usepackage{amsthm}
% making logically defined graphics
\usepackage{xypic}
\usepackage{pst-plot}
\usepackage{psfrag}
% define commands here
|
Content:
Let $L$ be a meet semilattice. We say that $L$ is \emph{meet continuous} if
\begin{enumerate}
\item for any monotone net $D=\lbrace x_i \mid i\in I\rbrace$ in $L$, its supremum $\bigvee D$ exists, and
\item for any $a\in L$ and any monotone net $\lbrace x_i\mid i\in I\rbrace$, $$a\wedge \bigvee \lbrace x_i \mid i\in I \rbrace = \bigvee \lbrace a\wedge x_i\mid i\in I \rbrace.$$
\end{enumerate}
A monotone net $\lbrace x_i\mid i\in I\rbrace$ is a net $x:I\to L$ such that $x$ is a non-decreasing function; that is, for any $i\le j$ in $I$, $x_i\le x_j$ in $L$.
Note that we could have replaced the first condition by saying simply that $D\subseteq L$ is a directed set. (A monotone net is a directed set, and a directed set is a trivially a monotone net, by considering the identity function as the net). It's not hard to see that if $D$ is a directed subset of $L$, then $a\wedge D:=\lbrace a\wedge x\mid x\in D\rbrace$ is also directed, so that the right hand side of the second condition makes sense.
Dually, a join semilattice $L$ is \emph{join continuous} if its dual (as a meet semilattice) is meet continuous. In other words, for any antitone net $D=\lbrace x_i\mid i\in I\rbrace$, its infimum $\bigwedge D$ exists and that
$$a\vee \bigwedge \lbrace x_i\mid i\in I\rbrace =\bigwedge \lbrace a\vee x_i\mid i\in I\rbrace.$$
An antitone net is just a net $x:I\to L$ such that for $i\le j$ in $I$, $x_j\le x_i$ in $L$.
Let a lattice $L$ be both meet continuous and join continuous. Let $\lbrace x_i\mid i\in I\rbrace$ be any net in $L$. We define the following:
$$\overline{\lim}\ x_i = \bigwedge_{j\in I} \lbrace \bigvee_{j\le i} x_i\rbrace\qquad\mbox{ and }\qquad\underline{\lim}\ x_i = \bigvee_{j\in I} \lbrace \bigwedge_{i\le j} x_i\rbrace$$
If there is an $x\in L$ such that $\overline{\lim}\ x_i=x=\underline{\lim}\ x_i$, then we say that the net $\lbrace x_i\rbrace$ \emph{order converges} to $x$, and we write $x_i\to x$, or $x=\lim\ x_i$. Now, define a subset $C\subseteq L$ to be \emph{closed} (in $L$) if for any net $\lbrace x_i\rbrace$ in $C$ such that $x_i\to x$ implies that $x\in C$, and \emph{open} if its set complement is closed, then $L$ becomes a topological lattice. With respect to this topology, meet $\wedge$ and join $\vee$ are easily seen to be continuous. |
|
|
|
|
|
