Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I already responded at the other thread. As I suggested there, this would be an interesting project (to me, anyway) if Stieltjes integration and differentiation were put in a certain “structural” light that emphasizes categorical themes such as duality. As you may know, this wiki emphasizes a categorical (and higher categorical) view on mathematics – culturally this might be very different from cultures familiar from hard analysis.
One of my professors in graduate school was François Trèves, who was fairly immersed in an abstract Bourbaki-like environment for treating PDE theory. Some of my tastes in analysis were formed by him, and also by Rudin’s books. (But I am very, very far from being an analyst. Toby Bartels is an nLab contributor who seems to have studied analysis in some depth, but he is often coming at things from a constructivist or intuitionist angle, so again that could be very different from what you are used to.)
So, I say we can give this a try. We could use some beefing up of some analytic topics. For example, I don’t think we have anything on Lebesgue decomposition. We do have a bit on Radon-Nikodym derivative.
1 to 2 of 2