Its famously terse interface teaches you a mental discipline that I find helpful in creating files, and I find that my .tex files (math texts, letters, or otherwise) do get more concise when I use *ed* to edit them.

Moreover, *ed* is (almost) orthogonal, which means that for many tasks there is *one* way (or very few ways) to do the task. In other editors, such as emacs or vi you have dozens of ways to do things, and you have no chance of remembering all commands. In *ed*, there are just essentially 24 commands (and you can do almost everything with a subset of 13 commands) every one consisting of a single letter, plus some arguments. You can’t get terser than that!

Also, using *ed* primarily, you are outside the raging editor wars (usually vi vs emacs), and, in some ways, *above* them. Oh – just one more thing: have you ever wondered what editor the source code of *Unix* itself was written in…?

]]>

**Equivalent topological formulation**. If is a connected Hausdorff space such that , we can use this to color the associated hypergraph . (Indeed we can apply it to any topological space without isolated points.)

We can reformulate this in topological terms in the following way: Let be a connected Hausdorff space. We define the *nowhere dense covering number* to be the minimum cardinality of a set of nowhere dense subsets of such that . It is not hard to see that equals the chromatic number of the hypergraph .

For many standard connected Hausdorff spaces we have . For instance, if with the Euclidean topology, let . It took some effort to see that there are connected Hausdorff spaces with .

**Question**. For which cardinals is there a connected Hausdorff space such that ?

Many more natural questions arise in this context, such as how does behave with topological products, and so on. So far I haven’t found a reference studying this concept of “Hausdorff space coloring”.

]]>

Heliotides wurde uebrigens fuer seine Entdeckung in den Stand eines Gottes erhoben. Dies hat das Gewicht von etwa 3 heutigen Nobelpreisen. Schon die Griechen konnten bahnbrechende Entwicklungen in der Grundlagenforschung richtig einordnen.

Mit einem “Cheers!” an den Postillon.

]]>

such that .

We can generalize this by not restricting ourselves to a pair of points in the following way:

Let be a cardinal and let be a topological space. We say that is

–*homogeneous* if

1. , and

2. whenever are subsets with and is a bijective map, then there is a homeomorphism such that .

A natural question is now to ask whether for cardinals we have

that there is a space that is -homogeneous, but not -homgeneous.

Joel David Hamkins gave this wonderful partial answer, pointing out that the disjoint union of 2 circles is 1-homogeneous but not 2-homogeneous; and moreover that is

2-homogeneous but not 3-homogeneous.

Interestingly, neither Joel nor another mathematician, Andreas Blass, who wrote several comments on Joel’s post, could figure out how to continue from there – which gives rise to the following

**Open problem:** For integers , are there spaces that are -homogeneous, but not -homogeneous?

(The question has a positive answer given in Joel’s post for cardinals .)

]]>

For and we say that

if and only if for all we have .

Then we define to be **finitely continuous** if

So if you want to know the first positions of the output sequence , it suffices to know the first positions of the input sequence .

It turns out that this definition is equivalent to topological equivalence of functions , where is endowed with the discrete topology and carries the interval topology.

Nice, isn’t it?

]]>

if then is a minor of .

Let’s call that statement (Hadw). We show that it is equivalent to the following statement:

(Hadw’): If is not a complete graph, then there is a minor of such that

- , and
- .

It is clear that (Hadw) implies (Hadw’). For the other direction, take any finite graph and let . If is complete, we are done. If not, use (Hadw’) and let be a proper minor such that . If is complete, we are done, otherwise use (Hadw’) again to get a proper minor of with . And so on. Since is finite, this procedure is bound to end at for some . We

have , and since the procedure ended at , the graph must be complete. So we get statement (Hadw).

]]>

Endow with the following topology:

It is routine to verify that this is a topology on .

**Observation 1:** No sequence in converges to .

*Proof:* Let be any sequence. We distinguish two cases:

*Case 1:* For all the set is finite. Then we set . This is easily seen to be an open nbhood of and clearly doesn’t converge to .

*Case 2:* There is such that is infinite. Then is an open nbhood of , because for all with we have . Moreover, by the conditition described in the statement of Case 2, the sequence keeps “popping out” of and therefore does not converge to .

**Observation 2:** There is a sequence in such that is an accumulation point of .

*Proof:* Since is countable, there is a bijection from to and we let be that bijection.

So the sequence we constructed in Observation 2 has as an accumulation point, but no subsequence of converges to because of Observation 1!

]]>

**Question**: Is there a map with the following properties:

- ;
- if such that then ;
- is translation-invariant, that is for and where .

]]>

However, the limit does not always exist (examples?). So here is a modification and we define a map by

for all .

Question: is additive, that is for with do we have ? There is a surprising answer that I’ll post in a few days.

]]>

Friendships, social networks, and the like are often modelled using simple graphs. People are represented by vertices, and each edge denotes a pair of friends. The set of friends, or neighbors, of a vertex is defined to be . The number of friends, or the degree of is set to be and the average number of the friends of a person’s friends is defined by .

We say that a person (or vertex) is *proud* if and . One interesting version of the question above is: Do there exist graphs such that more than half of the people are proud?

The following insight is elementary, but it was still a surprise for me: It turns out that the share of proud people can be arbitrarily close to .. In order to prove this, take any integer and consider the complete graph on points with *one edge removed*. It is easy to see that the 2 people adjacent to the sole edge that was removed are the only ones that are not proud. So the share of proud people is which converges to as grows large.

]]>