11
$\begingroup$

In set theory, in particular the context of forcing, if $M$ is a model of $\sf ZFC$ and $P\in M$ is a partial order, we say that $G\subseteq P$ is a generic filter (or $M$-generic or generic over $M$) if:

  1. Whenever $p\in G$, and $p\leq q$ then $q\in G$.
  2. Whenever $p,q\in G$ then there is some $r\in G$ such that $r\leq p,q$.
  3. If $D\subseteq P$ is dense (for all $p\in P$ there is $q\in D$ such that $q\leq p$), and $D\in M$, then $D\cap G\neq\varnothing$.

The first two conditions specify that $G$ is a filter, and the third is the required genericity. So a filter is generic if it meets all the dense sets in the ground model. Since this context allows it, we can replace dense by "open dense", meaning $D$ is dense and if $p\in D$ and $q\leq p$ then $q\in D$.

So being generic means meeting all the dense open sets. And this definition agrees with the definition of genericity in the contexts of topology and algebraic geometry (and perhaps other fields of mathematics as well).

Question. Where did the term "generic" come from originally to mathematics, and how did it trickle into set theory?

It should be noted that Cohen used "generic" in his original paper, but it seems to have a different meaning, and not quite this one.

$\endgroup$
10
  • $\begingroup$ I wasn't sure about the tags, so feel free to change them if need be. $\endgroup$
    – Asaf Karagila
    Jun 7, 2014 at 0:15
  • 5
    $\begingroup$ Wbat is a difference between Cohen's usage and this one? $\endgroup$ Jun 7, 2014 at 1:14
  • 1
    $\begingroup$ Let's interpret the question also as a request to exhibit other precise concepts of genericity in mathematics other than the set-theoretic usage. $\endgroup$ Jun 7, 2014 at 1:40
  • 2
    $\begingroup$ The connection between Cohen's notion of genericity and the notion from topology and analysis (based on Baire category) was, as far as I know, first observed by Gaisi Takeuti. $\endgroup$ Jun 7, 2014 at 2:24
  • 3
    $\begingroup$ @JoelDavidHamkins, I imagine "generic" along with "typical", "general", "random" etc. is used throughout mathematics. For example, the generic points in a measure preserving system (ergodic theory) are those where the pointwise ergodic theorem holds on continuous functions. (Even these can be connected to forcing (sort of). Hoyrup and Rojas showed the Schnorr randoms are exactly the generic points of all computable ergodic m.p.s. Also, the Schnorr randoms are known to be the generics in the filter of effectively closed sets of computable measure -- an effective type of Solovay forcing.) $\endgroup$
    – Jason Rute
    Jun 7, 2014 at 6:33

2 Answers 2

9
$\begingroup$

In trying to trace the history of forcing in an earlier MO question, I came across G.H. Moore's The origins of forcing. I think you can find in Moore's piece an answer to your question, too. On p. 164 he writes:

enter image description here

From the corresponding paper of Solovay, A Model of Set-Theory in which Every Set of Reals is Lebesgue Measurable, p. 4:

enter image description here

The next page footnotes:

Our original definition of generic was based on "complete sequences". The present approach is due to Levy [8].

I have found no copies of the Levy papers, but Solovay's citations of 8 and 9, respectively, are:

enter image description here

$\endgroup$
2
  • 2
    $\begingroup$ I actually held in my hands a copy of Levy's second paper a year ago (the one from Notices of AMS). It was exciting. I asked for his permission to scan it and post it online, but he said that since these things have been published and reworked and cleaned up, there's no point in doing that. $\endgroup$
    – Asaf Karagila
    Jun 7, 2014 at 12:03
  • 2
    $\begingroup$ I just got off the phone with Levy. He didn't really remember who and how it entered the language. But he did say that after Cohen developed forcing, there was a lot of effort to polish the theory into a general form. So it must have been somewhere then. My question was ultimately left unanswered, though. $\endgroup$
    – Asaf Karagila
    Jun 24, 2014 at 17:17
5
$\begingroup$

As far as the usage in set theory is concerned, Cohen gives the following explanation in his book, Set Theory and the Continuum Hypothesis, after explaining a failed attempt to construct a suitable set $a$:

Rather than describe $a$ directly, it is better to examine the various properties of $a$ and determine which are desirable and which are not. The chief point is that we do not wish $a$ to contain "special" information about $M$, which can only be seen from the outside … The $a$ which we construct will be referred to as a "generic" set relative to $M$. The idea is that all the properties of $a$ must be "forced" to hold merely on the basis that $a$ behaves like a "generic" set in $M$. This concept of deciding when a statement about $a$ is "forced" to hold is the key point of the construction.

Certainly Cohen was partially motivated by the prior use of the term in geometry and topology, and in particular the fact that generic sets should satisfy any condition that is "dense."

$\endgroup$
4
  • $\begingroup$ It seems that it might be the case, but the use of "generic" here can be understood the same way as a natural language use, rather than the specific mathematical use in topology and geometry. $\endgroup$
    – Asaf Karagila
    Jun 7, 2014 at 12:05
  • $\begingroup$ @AsafKaragila, can't this be said about the use of the term "generic" in topology and geometry as well? The technical and English meanings are not very different, and it is obvious why the term was chosen (unlike, say, the terms "mice" and "creative" which are not so obvious). I think it is very possible (although I have no historical evidence for this), that the informal usage by Cohen slowly became formal and started out independent of topology, and happened to express the same idea. Also see here: en.wikipedia.org/wiki/Generic_property $\endgroup$
    – Jason Rute
    Jun 8, 2014 at 5:41
  • $\begingroup$ @Jason: Yes, it is possible. I have read the Wikipedia pages (that one you mention and for Generic point), but neither gave any hint as to how generic came into set theory. Did it come in all by itself? Was it an influence of topology? Or was algebraic geometers using the terms already and that influenced Cohen? Or maybe whoever developed the modern notion of a generic filter wasn't influenced by Cohen's choice, and rather used the notion of a topology? That's essentially the answer I was hoping to get. $\endgroup$
    – Asaf Karagila
    Jun 8, 2014 at 7:07
  • $\begingroup$ From Benjamin Dickman's response it seems clear that the later use of the word "generic" in set theory was influenced by Cohen's use of the word. "Generic" was certainly previously used in topology and geometry, as a quick MathSciNet search can confirm. I suppose it is conceivable that Cohen was unaware of that usage, or uninfluenced by it, but that would be very surprising. (Granted that he may not have realized exactly how close the parallel really was.) $\endgroup$ Jun 8, 2014 at 20:52

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.