Hacker News new | ask | show | jobs
by staunton 712 days ago
You need measures to define the vector spaces that those (what you call "forms", and others call "distributions") act on...

Not that it would be impossible to define everything without measures (or even without real numbers), but it's really not clear how to go about it.