Have you ever tried to explain/inflict forcing on your non-set theory friends? Let me tell you it is hard. In my ongoing effort to try to explain everything to everyone here is my attempt at explaining the idea of forcing, without explaining forcing.
First, I direct you to this post which explains the simulation argument.
tl; dr – Imagine that our civilization could simulate (artificially) intelligent civilizations. They wouldn’t know that they are in a simulation and could also run their own simulations.
Reading this post reminded me about forcing. Here is my reply to the OP (who happens to be my brother-in-law), and I would appreciate feedback on this so that I can refine my analogy:
Cool. This illustrates a key observation that underlies a lot of the mathematics (set theory) that I do. It goes like this for the interested parties:
We run a simulation as you’ve described, but we make sure that the simulation only has “a small number of things in it”. Perhaps we have some sort of minimal simulation, like we don’t include the letter Z in their languages or something (Call this SIM1). Now we check that the simulation can come up with its own simulations. It can? Great! So now we know that “having the letter Z in your language” is not a requirement for coming up with simulations. Or we could add a whole bunch of new crazy letters (in say SIM2) and see if they can still run simulations. Lets say they can still come up with simulations. Continue reading Every Day I’m Simulating
In my ongoing love affair with compactness I am constantly revisiting a particular proof of the Heine-Borel theorem, a characterization of compactness in . There are two proofs that I know of: the standard “subdivision” proof and the “creeping along” proof. I am going to focus on the creeping along proof.
Heine-Borel Theorem. A subset is compact if and only if it is closed and bounded.
To do some creeping we need to collect some useful facts.
Fact 1. A subset is bounded if and only if is contained in some closed interval
Fact 2. The set is complete (as a linear order) because every non-empty set with an upper bound has a least upper bound, called .
Fact 3. Closed subsets of compact subsets of are in fact themselves compact. With fact 1 this means that it is enough to show that closed and bounded intervals in are compact. (In general closed subsets of compact spaces are compact.)
Last week we looked at the concepts of a collection of sets being n-linked or having the finite intersection property. The key theorem was Helly’s theorem which says:
Helly’s Theorem: If a (countable) family of closed convex sets (at least one of which is bounded) in the plane are 3-linked, then they have a point in common, as they have the FIP.
Now I will look at some of the generalizations that Alexander Soifer, author of “The Mathematical Coloring Book”, makes in Chapter 28 of that book. More than pure generalizations they are the combination of Ramsey theory and Helly’s Theorem
I love compactness. I really do. It turns infinite things into (almost) finite things. I could gush about how great it is, but instead let me tell you about one problem where compact sets act as the delimiter.
Here is one way to characterize compactness:
A space X is compact if and only if any family of closed sets with the Finite Intersection Property (FIP) has a common point.
[Remember that a collection has the FIP if every finite subcollection has a common point (i.e. has non-empty intersection).]
This has a pretty clear connection to filters, as filters are collections of sets with the FIP (and the intersection is in the filter!) and closed under supersets. One example of a filter is the collection of all subsets of the real line that contain a closed interval around 0.
A closely related notion is that of being 2-linked. A collection A is 2-linked if any two sets in A have non-empty intersection. For example the collection of real intervals is 2-linked. Another example is the set of sides of a polygon triangle. (Why not a square?)
Then of course we can talk about being 3-linked which means that any 3 sets have non-empty intersection (we will now say that this is called ‘meeting’). Obviously, is 2-linked, but not 3-linked. (edit: Yeah, so not only is this not obvious, but it is not true! I address this here.)
Then we could go on to define n-linked for an arbitrary natural number n.
Question 1: How is the FIP related to being n-linked? Question 2: Can you find, for each n, an example of a collection that is n-linked but not n+1 linked? Question 3: How is n-linkedness related to the dimension of the real line?
I’ll get to these later. But you should think about them. 1 and 2 are not hard. 3 takes some thought, but just try to come up with a conjecture.