Conjunto estacionário

Em matemática, especialmente na teoria dos conjuntos e teoria dos modelos, há pelo menos três noções de conjunto estacionário:

Noção clássica

Se $\kappa$ é um cardinal de incontável cofinalidade, $S\subseteq \kappa ,$ e $S$ que intercepta cada conjunto clubePredefinição:Nota de rodapé em $\kappa ,$ então $S$ é chamado um conjunto estacionário. Se um conjunto é não-estacionário, então ele é chamado um conjunto fino. Esta noção não deve ser confundida com a noção de um conjunto finoPredefinição:Nota de rodapé na teoria dos números.

Se $S$ é um conjunto estacionário e $C$ é um conjunto de clube, então a sua intersecção $S\cap C$ também é estacionária. Porque, se $D$ é qualquer conjunto de clube, então $C\cap D$ é um conjunto de clube porque a interseção de dois conjuntos de clube é clube. Assim $(S\cap C)\cap D=S\cap (C\cap D)$ não é vazio. Portanto $(S\cap C)$ deve ser estacionária.Predefinição:Nota de rodapé

A restrição para cofinalidade incontável é, a fim de evitar trivialidades:

Suponha que $\kappa$ tem cofinalidade contável. Então $S\subset \kappa$ é estacionário em $\kappa$ se, e somente se, $\kappa \setminus S$ é limitado em $\kappa$.

Em particular, se a cofinalidade de $\kappa$ é $\omega ={\mathrm{\aleph }}_0$, então todos os dois subconjuntos estacionários de $\kappa$ têm intersecção estacionária.

Este não é mais o caso se a cofinalidade de $\kappa$ é incontável. De facto, suponha $\kappa$ é regular e $S\subset \kappa$ é estacionário. Então, $S$ pode ser particionado em $\kappa$ vários conjuntos estacionários disjuntos. Este resultado é devido ao modelo de Robert M. Solovay.

Se $\kappa$ é um sucessor cardinal, este resultado é devido a Ulam e é facilmente demonstrado por meio da matriz de Ulam.

Noção generalizada

Esta noção é o modelo teórico na natureza e algumas vezes referido como a estacionaridade generalizada. Ela é provavelmente devida a Menachem Magidor, ForemanPredefinição:Nota de rodapé e Saharon Shelah e também tem sido utilizada proeminentemente por WoodinPredefinição:Nota de rodapé.

Seja $X$ um conjunto não vazio. Um conjunto $C\subset 𝒫(X)$ é o clube (fechado e sem limites) se e somente se existe uma função $F:[X{]}^{<\omega }\to X$ de tal modo que $C=\{z:F[[z{]}^{<\omega }]\subset z\}$.

Neste caso, $[y{]}^{<\omega }$ é a coleção de subconjuntos finitos de $y$.

$S\subset 𝒫(X)$ é estacionário em $𝒫(X)$ se e somente se reúne a cada subconjunto de clube $𝒫(X)$.

Para ver a conexão com a a teoria de modelos, observe que, se $M$ é uma estrutura com universo $X$ em uma linguagem calculáveis e $F$ é uma função Skolem para $M$, então, um estacionário $S$ deve conter uma subestrutura elementar de $M$.

Em verdade, $S\subset 𝒫(X)$ é estacionário se e apenas se para qualquer tal estrutura $M$ existe uma subestrutura elementar de $M$ que pertença a $S$.

Noção de Jech

Existe também uma noção de subconjunto estacionária de $[X{]}^{\lambda }$, para $\lambda$ um cardinal e $X$ um conjunto de tal forma que $|X|\ge \lambda$, onde $|X|\ge \lambda$ é o conjunto de subconjuntos de $X$ da cardinalidade $\lambda$: $[X{]}^{\lambda }=\{Y\subset X:|Y|=\lambda \}$. Esta noção é devida a Thomas Jech. Como antes, $S\subset [X{]}^{\lambda }$ é estacionário se e somente se encontra todos os clubes, onde um subconjunto do clube de $[X{]}^{\lambda }$ é um conjunto ilimitado sob $\subset$ e fechado sob união de cadeias de comprimento de no máximo $\lambda$. Em geral, estas noções são diferente, embora, para $X={\omega }_1$ e $\lambda ={\mathrm{\aleph }}_0$ elas coincidem no sentido de que $S\subset [{\omega }_1{]}^{\omega }$ é estacionário se e apenas se $S\cap {\omega }_1$ é estacionário em ${\omega }_1$.

A versão adequada do lema de Fodor também é válido para essa noção.