Red workbook, p1223 Mar 2014
- WA (i)
- [struck through] (ii) ( und haben versch. )
- Beweis: beide in , .
- => =>
- [ ]
- => , also unendlich
- => => Beh.
- => =>
- Notiz: es gibt kofinal viele solche ’s! □
- (2) Ein solches liefert mit Aufzaehlung von
- eine kofinale Folge, so dass .
- Also kann keine Aufzaehlung jede Schranke auf Endstuecken uebertrefeen.
- Gilt <= ? d.h.
- Assume to the contrary. (i)
- [struck through] (uu) ( and have different. )
- Proof: both in , .
- => => [[since]] [[ is infinite, thus contains two elements]]
- => , hence infinite
- and => Claim.
- Remark: there are cofinal many such ! □
- (2) With such we can find an enumeration and some cofinal enumeration .
- Hence no enumeration can exceed an arbitrary bound on end pieces
- Does <= hold? d.h.
This finishes the attempts to solve 4.1.7 from Hindman&Strauss (successfully). Given the nice write up of the solution, I’m guessing I worked the proof out someplace else (blackboard, separate piece of paper etc). This reminds me that in the office I was working in at the time I found this wonderful stack of thick letter size paper (letter size! in Germany!). I loved writing on the paper for rough drafts, preparing talks/lecture notes etc. But it clashed with my desire to keep notebooks.
This page is extremely fascinating for me because of the final question. It’s always easy to ask yourself if the reverse of a proposition holds; that’s just standard. In this case, the answer should be a pretty straight forward “no”; however, I don’t think I ever worked out a counterexample.
But that’s not what makes this so fascinating for me. What is fascinating is that I spent a lot of time during my postdoc to solve a very similar problem (and failed) which I consider one of the most interesting questions about idempotent filters. Unfortunately, I was unable to solve the question. I don’t want to go into detail here and it will take months until we get to that (a teaser never hurts, right?). It’s fascinating to see that I was very nearly thinking about the very same problem this early in my PhD (and, not surprisingly, missed the actually interesting question at this point).
- If and , does it follow that ?
- Probably no – there needs to be more additive structure, in a coherent/filter fashion; just infinite seems too weak.