Idéal normal

Martial
Martial
dans Fondements et Logique
Bonjour,
Quelqu'un sait-il ce qu'est un idéal "normal" ?
Je parle ici d'un idéal de parties, par exemple dans $\omega_1$, ou dans n'importe quel cardinal régulier $\kappa$.

Merci d'avance

Martial

Réponses

  • Mattar
    Mattar
    Un idéal est normal si le filtre correspondant est normal, et un filtre est normal s'il est clos par intersection diagonale, cf par exemple Jech chapitre 8, le paragraphe intitulé "Normal Filters" ou encore Kanamori, chapitre 1 partie 5, le paragraphe intitulé "Normality".
  • Martial
    Martial
    Merci bien, Mattar.
  • christophe c
    christophe c
    La normalité (de disons $J$) est la propriété ($k$ étant l'ordinal) : $\forall $a: $,
    $[$ si $\forall i<k: a(i)\in J$ alors $\{x\in k\mid \exists y<x : x\in a(y)\} \in J]$
    Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi
  • Martial
    Martial
    Merci bien, Christophe.
Connectez-vous ou Inscrivez-vous pour répondre.

Bonjour!

Pour participer au forum, cliquer sur l'un des boutons :

Connexion S'inscrire

Catégories

In this Discussion

Qui est en ligne 7

AmadouFoys +5 Invités