# a question on stationary sets

$S\subset \lambda$ is called a stationary set if for any closed unbounded set $E$ of $\lambda$, then $S\cap E \neq \emptyset.$ Why do people give the name "stationary set" for the sets which has such property? Could someone tell me the the background of stationary sets?

-
I don’t know who first used the term, but I’d not be surprised if it stems from the fact that any pressing-down (regressive) function on a stationary subset $S$ of an uncountable regular cardinal is constant (‘stationary’, so to speak) on a stationary subset of $S$. This is the Pressing-Down Lemma, Lemma II.6.15 in Kunen. – Brian M. Scott Jan 14 '12 at 8:14
I removed [notation] and [homework] since I don't think that these are very relevant to the question. John, feel free to correct me otherwise. – Asaf Karagila Jan 14 '12 at 8:36
@Brain: Mmm..., by your remarks, I find Pressing-Down Lemma is a little interesting:) – Paul Jan 14 '12 at 8:39
@Asaf Karagila : You are right. Thanks for your attention. – Paul Jan 14 '12 at 8:47
For additional information, see here. – Andrés E. Caicedo Jul 26 '13 at 6:41

The definition of stationary sets were given by Bloch in 1953, the name comes from Fodor's lemma stating:

Let $\kappa$ be a regular uncountable cardinal. $S$ is stationary if and only if for every $f:S\to\kappa$ such that $f(\alpha)<\alpha$ there is some $\gamma$ such that $f^{-1}(\gamma)$ is stationary.

This can be seem a bit strange, however we can rewrite the definition of a club set, and have something even nicer:

Let $\kappa$ be a regular uncountable cardinal. $A\subseteq\kappa$ is closed and unbounded if and only if there exists a normal function $f:\kappa\to\kappa$ such that $A=Rng(f)$.

(By normal I mean strictly increasing and continuous $f(\alpha)=\bigcup_{\beta<\alpha} f(\beta)$ for a limit $\alpha$.)

Using this definition we can redefine stationary sets:

Let $\kappa$ be a regular uncountable cardinal. $S\subseteq\kappa$ is stationary if and only if for every normal function $f:\kappa\to\kappa$ there is some $\alpha\in S$ such that $f(\alpha)=\alpha$.

Such a point $\alpha$ is stationary with respect to this $f$, and the set $S$ has a stationary point for every normal function, thus the name stationary set.

-
What's meaning of $Rng(f)$?:P – Paul Jan 14 '12 at 8:54
@John: $\{f(x)\mid x\in\kappa\}$ (the image of $f$) – Asaf Karagila Jan 14 '12 at 8:56
We always let $ran(f)$ denote the image of $f$. So a stationary set is with respect to some $f$. I see:) – Paul Jan 14 '12 at 9:00