Wednesday, December 31, 2014

Structural specialization

There are a variety of cases in which it makes sense to preorder a set based upon the elements that it contains. One example is that with the set representation of a multiset the elements of the set include special multiple elements which are dependent upon previous multiples. Also algebraic structures like graphs have a specialization preorder associated with them in which edge elements are dependent upon the vertices that they contain. Multigraphs are a combination of these two notions as they can have multiples of edges which are dependent upon previous multiples of edges which are then dependent upon vertices.

A standard specialization relation can be provided that combines all these different notions of structures on sets into a single unified relation. This combined specialization relation will allow for all elements of distributive lattices to be treated like sets, multisets, and algebraic structures to be treated in a uniform way. This will then improve the handling of multisets and related structures like multigraphs so that they can be treated as a first class object in the algebra system.

Tuesday, December 16, 2014

Multiset systems

One of the critical problems of set theory is how to represent sequences as sets. Well Kuratowski solved the problem for sequences of size two through the set theoretic definition of the ordered pair there is no obvious solution to the problem of representing sequences of arbitrary size as set systems because sequences may contain repeated elements. I have thought about this problem so much in terms of set systems that I did not consider the possibility of using a multiset system instead.

In order to represent any sequence all we need to do is use a multiset system containing the multiset of elements up to a point in the sequence for each point in the sequence. This solution is so simple I am surprised I did not hear about this before. It is probably because multisets are far too often pushed aside for sets but no more. From now on I am going to make full use of multisets when I think about mathematics.

Wednesday, November 26, 2014

Disjoint union closed families

The disjoint union closed families are precisely those families for which it is the case that the union of any two disjoint sets in the family is contained within the family. The disjoint union closed families generalize both the union closed families which are both disjoint union closed and nondisjoint union closed and the symmetric difference closed families. The symmetric difference of any two disjoint sets is their union so symmetric difference closed families are disjoint union closed.

Besides the union closed families and the symmetric difference closed families the antidisjoint families are disjoint union closed. The antidisjoint families are precisely those families of sets whose every pair of sets is not disjoint. These include the nullfree chain families which also happen to have the property that they are union closed as they are chain families as well as the antidisjoint sperner families which are antidisjoint families that also contain no comparable pairs.

Monday, November 24, 2014

Nondisjoint union closed families

A family of sets is nondisjoint union closed if for all pairs of sets in the family whenever those sets have a nonempty intersection then their union is contained in the family. Such families of sets are order connectivity preserving because each dependent component of the family is upper bounded by its union and it is therefore connected.

The laminar families are of course nondisjoint union closed because the only nondisjoint pairs of sets that appear in a laminar family are chains. This means that independent families which never contain nondisjoint pairs and laminar multichain families are nondisjoint union closed.

The union closed families are of course also nondisjoint union closed as they are both disjoint union closed and nondisjoint union closed at the same time. The connectivity complexes are precisely those families of sets that are subunique closed as well as nondisjoint union closed. The connectivity complexes describe the connected sets of a structure which are nondisjoint union closed because if two nondisjoint sets are connected then so is their union.

Sunday, November 16, 2014

Order connectivity preserving families

The order connectivity preserving families are precisely those families whose comparable connected components and dependent connected components are equal. This implies that order connectivity preserving families generalize preorder containment families and irreducible containment families which are two of the major ways of converting partial orders into set systems. Here are some examples of such order connectivity preserving families:
#{#{0 1} #{2 3}}
#{#{} #{0} #{1} #{0 1}}
#{#{0} #{0 1} #{0 2} #{0 1 2 3}}
An example of a family of sets that is not order connectivity preserving is #{#{0 1} #{1 2}}. The two sets #{0 1} a #{1 2} are dependent despite being incomparable so this is not an order connectivity preserving family. Well it is possible to have a family of sets with such intersecting elements that is order connectivity preserving such as #{#{0 1} #{1 2} #{0 1 2}} considering that all uniquely order connected families preserve order connectivity it is only the laminar families which forbid dependent incomparable sets that are order connectivity preserving for all their subsets. All order connectivity preserving multichain families are laminar as is the case with multichain containment families.