Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
Product, Filters and Quantales
Replies:
31
Last Post:
Oct 21, 2013 7:52 AM




Re: Product, Filters and Quantales
Posted:
Oct 10, 2013 8:26 AM


William Elliot wrote:
> Upon examination, it's seen that (Ft,o,subset) is an order dual > of a quantale, a unital quantale. If, on the other hand, the > order of Ft is reversed the corollary > F o inf_k Gk = inf{ F o Gk  k in K } > inf_j Fj o G = inf{ Fj o G  j in J } > becomes > F o sup_k Gk = sup{ F o Gk  k in K } > sup_j Fj o G = sup{ Fj o G  j in J } > > Thusly (Ft,o,reversed subset) is a unital quantale.
Wrong. I have already given a counterexample in an other message.
The formula
F o inf_k Gk = inf{ F o Gk  k in K }
is true however when F is a principal filter. (See chapter 9 in my book).



