Home » Subject » Unsorted

Pseudodifference of filter objects (Solved)

Importance: Medium ✭✭
Author(s): Porton, Victor
Subject: Unsorted
Keywords: filters
pseudodifference
Recomm. for undergrads: no
Posted by: porton
on: November 24th, 2009
Solved by: Porton, Victor

Let $ U $ is a set. A filter $ \mathcal{F} $ (on $ U $) is a non-empty set of subsets of $ U $ such that $ A, B \in \mathcal{F} \Leftrightarrow A \cap B \in \mathcal{F} $. Note that unlike some other authors I do not require $ \emptyset \notin \mathcal{F} $.

I will call the set of filter objects the set of filters ordered reverse to set theoretic inclusion of filters, with principal filters equated to the corresponding sets. See here for the formal definition of filter objects. I will denote $ (\operatorname{up} a) $ the filter corresponding to a filter object $ a $. I will denote the set of filter objects (on $ U $) as $ \mathfrak{F} $.

I will denote $ (\operatorname{atoms} a) $ the set of atomic lattice elements under a given lattice element $ a $. If $ a $ is a filter object, then $ (\operatorname{atoms} a) $ is essentially the set of ultrafilters over $ a $.

Problem   Which of the following expressions are pairwise equal for all $ a, b \in \mathfrak{F} $ for each set $ U $? (If some are not equal, provide counter-examples.)
    \item $ \bigcap^{\mathfrak{F}} \left\{ z \in \mathfrak{F} | a \subseteq b \cup^{\mathfrak{F}} z \right\} $;

    \item $ \bigcup^{\mathfrak{F}} \left\{ z \in \mathfrak{F} | z \subseteq a \wedge z \cap^{\mathfrak{F}} b = \emptyset \right\} $;

    \item $ \bigcup^{\mathfrak{F}} (\operatorname{atoms} a \setminus \operatorname{atoms} b) $;

    \item $ \bigcup^{\mathfrak{F}} \left\{ a \cap^{\mathfrak{F}} (U\setminus B) | B \in \operatorname{up} b \right\} $.

I have proved all equalities true.

Bibliography

*Victor Porton. Open problem: Pseudodifference of filters


* indicates original appearance(s) of problem.
add new comment

Filter objects- formal definition

On May 19th, 2012 Anonymous says:

In "pseudodifference of filter", the link for formal definition of filter objects does not work. Y V TYAGI

reply

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.