RSSAmplifier

Blog

Musings on general topology and orderings

By Dominic van der Zypen

dominiczypen.wordpress.comRSS feed ↗10 posts

Latest posts

Atomistic, but non-complete lattices

The motivation for this post is that these days I am goofing around with lattices arising from subspaces of hypergraphs, which are complete and atomistic. Let be a lattice with a bottom element . We say that is an atom Continue reading

Selection principles: “Omega choose T” vs “Omega choose Gamma”

Motivation. We show that the space satisfies the selection principle , but not . This gives a negative answer to the question in the general setting. Below is a self-contained treatment of the matter. Let be a topological space. Continue reading

The Vietoris topology as a functor V : Top -> Top

Given a set and , we let and . If is a topological space, the Vietoris topology on the ground set is the topology generated by the subbasis is and denoted by . Let Continue reading

The Parity Principle: a pitfall in the use of Zorn’s Lemma

Motivation. The three-dimensional cube can be formalized by where vertices are connected by an edge if and only if their symmetric difference contains exactly element. If we want to assign to each vertex one of the colors black and white Continue reading

Ramsey functions, property B, and the Axiom of Choice

Let denote the collection of infinite subsets of (the first infinite ordinal) and let be any map. We say that is monochromatic with respect to if restricted to is constant (or, equivalently, if for all with ). We say is Continue reading

A Funny Field

Let denote the first infinite cardinal that is, the set of non-negative integers. Let be the smallest prime number, and let enumerate all prime numbers in ascending order. Let be a free ultrafilter on . We consider the field Continue reading

Making critical graphs as regular as possible

Suppose you want to have a graph with chromatic number equaling some value , such that is minimal with this property. So you end up with a -(vertex-)critical graph. It is easy to construct critical graphs by starting with some Continue reading

Generalizing the T_0 separation axiom

The starting point of this blog post is a slight reformulation of the separation axiom: A topological space is if for all there is a set such that Given a cardinal , we say that a space is if for Continue reading

Basics on towers on the natural numbers

For we write if is finite, and we write if and . A tower is a collection of co-infinite subsets of such that for all we have and either or . ( is co-infinite if is infinite.) If are towers, Continue reading

A definition of minor (in graph theory)

Many people I talk to about graph theory feel some uneasiness when it comes to the notion of minor . I want to try to alleviate this feeling by providing the definiton of minor that I work with. First an easy Continue reading