| dbo:abstract
|
- En théorie des ensembles, un cardinal infini est dit régulier s'il est égal à sa cofinalité. Intuitivement, un cardinal est régulier si toute réunion indexée par un ensemble petit d'ensembles petits est petite, où un ensemble est dit petit s'il est de cardinalité strictement inférieure à . Une autre définition possible équivalente est que est régulier si pour tout cardinal , toute fonction est bornée. Un cardinal qui n'est pas régulier est dit singulier. Par exemple, pour , petit signifie fini, or toute réunion indexée par un ensemble fini d'ensembles finis est finie, donc est un cardinal régulier. Pour , petit signifie dénombrable, or, sous l'axiome du choix dénombrable, toute réunion indexée par un ensemble dénombrable d'ensembles dénombrables est dénombrable, donc est régulier. On peut montrer, sous l'axiome du choix, qu'il en est de même pour tout cardinal successeur : si est un ordinal, alors est régulier. C'est une conséquence simple du fait que . Un cardinal singulier est nécessairement un cardinal limite. Une question naturelle se pose : la réciproque est-elle vraie ? Un contre-exemple à cette réciproque, c'est-à-dire un cardinal limite et régulier, est appelé cardinal faiblement inaccessible. Le premier cardinal singulier est . En effet, , il peut donc s'écrire comme une réunion indexée par un ensemble dénombrable d'ensembles de cardinalité strictement inférieure. (fr)
- En théorie des ensembles, un cardinal infini est dit régulier s'il est égal à sa cofinalité. Intuitivement, un cardinal est régulier si toute réunion indexée par un ensemble petit d'ensembles petits est petite, où un ensemble est dit petit s'il est de cardinalité strictement inférieure à . Une autre définition possible équivalente est que est régulier si pour tout cardinal , toute fonction est bornée. Un cardinal qui n'est pas régulier est dit singulier. Par exemple, pour , petit signifie fini, or toute réunion indexée par un ensemble fini d'ensembles finis est finie, donc est un cardinal régulier. Pour , petit signifie dénombrable, or, sous l'axiome du choix dénombrable, toute réunion indexée par un ensemble dénombrable d'ensembles dénombrables est dénombrable, donc est régulier. On peut montrer, sous l'axiome du choix, qu'il en est de même pour tout cardinal successeur : si est un ordinal, alors est régulier. C'est une conséquence simple du fait que . Un cardinal singulier est nécessairement un cardinal limite. Une question naturelle se pose : la réciproque est-elle vraie ? Un contre-exemple à cette réciproque, c'est-à-dire un cardinal limite et régulier, est appelé cardinal faiblement inaccessible. Le premier cardinal singulier est . En effet, , il peut donc s'écrire comme une réunion indexée par un ensemble dénombrable d'ensembles de cardinalité strictement inférieure. (fr)
|
| rdfs:comment
|
- En théorie des ensembles, un cardinal infini est dit régulier s'il est égal à sa cofinalité. Intuitivement, un cardinal est régulier si toute réunion indexée par un ensemble petit d'ensembles petits est petite, où un ensemble est dit petit s'il est de cardinalité strictement inférieure à . Une autre définition possible équivalente est que est régulier si pour tout cardinal , toute fonction est bornée. Un cardinal qui n'est pas régulier est dit singulier. (fr)
- En théorie des ensembles, un cardinal infini est dit régulier s'il est égal à sa cofinalité. Intuitivement, un cardinal est régulier si toute réunion indexée par un ensemble petit d'ensembles petits est petite, où un ensemble est dit petit s'il est de cardinalité strictement inférieure à . Une autre définition possible équivalente est que est régulier si pour tout cardinal , toute fonction est bornée. Un cardinal qui n'est pas régulier est dit singulier. (fr)
|
