Skip to content
April 20, 2010 / porton

A theorem generalized

I generalized a theorem in the preprint article “Filters on posets and generalizations” on my Algebraic General Topology site.

The new theorem is formulated as following:

Theorem If (\mathfrak{A}; \mathfrak{Z}) is a join-closed filtrator and \mathfrak{A} is a meet-semilattice and \mathfrak{Z} is a complete lattice, then \mathrm{Cor}' (a \cap^{\mathfrak{A}} b) = \mathrm{Cor}' a \cap^{\mathfrak{Z}} \mathrm{Cor}' b.

From this theorem also follow the following formulas about funcoids:

  • \mathrm{Compl}(f\cap^{\mathsf{FCD}}g) = \mathrm{Compl}f\cap^{\mathsf{FCD}}\mathrm{Compl}g.
  • \mathrm{CoCompl}(f\cap^{\mathsf{FCD}}g) = \mathrm{CoCompl}f\cap^{\mathsf{FCD}}\mathrm{CoCompl}g.

The problem, whether meet of any two discrete funcoids is the same on the lattice of all funcoids and on the lattice of discrete funcoids, remains empty.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.

%d bloggers like this: