C'est ce qui te permet de permuter tes intégrales et tes sommes. [...]
Passer par la partition de l'unité "intersection" est, si j'ai bien compris ce que tu veux dire, ce qui est fait dans la proposition PROPooDYDPooOWNtfD (dans giulietta, chapitre Integration on manifolds). Mais la permutation effective des sommes dans la preuve est une invention personnelle. Je ne l'aie vue nulle part.
Mais à la fin, je préfère la définition PROPooLCYGooLUxEYS
(pure invention personnelle) qui me semble plus intrinsèque que les partitions de l'unité.
[^] # Re: Sur la géométrie différentielle
Posté par LaurentClaessens (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 2.
Passer par la partition de l'unité "intersection" est, si j'ai bien compris ce que tu veux dire, ce qui est fait dans la proposition PROPooDYDPooOWNtfD (dans giulietta, chapitre Integration on manifolds). Mais la permutation effective des sommes dans la preuve est une invention personnelle. Je ne l'aie vue nulle part.
Mais à la fin, je préfère la définition PROPooLCYGooLUxEYS
(pure invention personnelle) qui me semble plus intrinsèque que les partitions de l'unité.