Espaces mesurables

[leon1789]

A chaque problème ses outils pour le résoudre ... C'est pas moi ici qui veut "imposer" à cette haute assemblée ses modes de pensée.

Refuser l'axiome du choix général ne signifie pas refuser toutes les maths. Il y a simplement des nuances : certains résultats en ont besoin, pas d'autres. S'il y a plusieurs axiomes du choix, c'est que, quelque part indépendamment de nous, il doit y avoir une raison...

Edit Et les physiciens utilisent sans arrêt espaces de Hilbert et l'analyse fonctionnelle je serais surpris qu'ils se passent de Hahn-Banach dans toute sa généralité.

Donc tu serais surpris du fait qu'en physique, toutes les parties de R et toutes les fonctions réelles sont considérées mesurables.

(et que dire de Banach Tarski...)

[ffpower]

A mon avis les physiciens ils considerent les 2 axiomes comme vrais:Solovay et axiome du choix^^

[leon1789]

A mon avis les physiciens ils considerent les 2 axiomes comme vrais:Solovay et axiome du choix^^

ben je commence à le croire ! :zen:

[leon1789]

A mon avis les physiciens ils considerent les 2 axiomes comme vrais:Solovay et axiome du choix^^

ben je commence à le croire ! :zen: physique théorique vs expérimentale

[busard_des_roseaux]

re,

dans le temps (dans les années 70), ils faisaient la théorie des équa diffs
(existence d'une solution maximale) en ordonnant les solutions avec le lemme de Zorn qui nécessitait l'AC.Mais tout cela est bien fini, maintenant on se sert de la lipschiztianité des opérateurs, la preuve est plus constructive.