|
Salut, Denis. It seems no one has greeted you recently. Charles Matthews (talk) 17:07, 27 November 2009 (UTC)
2^omega=omega ?
editBonjour,
J'aimerais beaucoup avoir la preuve de 2ω=ω, en se basant sur la définition "de base" de l'exponentiation (celle qui passe par la définition de α(β), et non par récurrence transfinie).
En effet, en reprenant la définition en question, 2(ω) serait égal à l'ensemble des fonctions indicatrices de ω (les f:ω→{0,1}), qui ont un support fini.
Cela ressemble beaucoup à l'ensemble des parties de ω !!
Probablement la nuance réside justement dans le fait que les fonctions de 2(ω) sont à support fini, et j'aimerais donc beaucoup avoir des éclaircissements !
(Aussi, si l'explication réside justement dans la question de support fini, pourquoi l'exponentielle pour les ordinaux limite est-elle définie ainsi et non pas "comme" l'exponentielle pour les cardinaux ?)
En tout cas merci à vous et aux autres coéditeurs de l'article qui est vraiment excellent (bien supérieur à la version anglaise par exemple) !
Welcome to The Wikipedia Adventure!
edit- Hi Dfeldmann! We're so happy you wanted to play to learn, as a friendly and fun way to get into our community and mission. I think these links might be helpful to you as you get started.
-- 20:31, Friday, September 18, 2015 (UTC)
Mission 1 | Mission 2 | Mission 3 | Mission 4 | Mission 5 | Mission 6 | Mission 7 |
Say Hello to the World | An Invitation to Earth | Small Changes, Big Impact | The Neutral Point of View | The Veil of Verifiability | The Civility Code | Looking Good Together |