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.
Created local addition to contain the definition and some useful auxiliary stuff. Took a little out of smooth loop space as a seed (for some reason, the extraction got mangled but I think I got it right in the end.)
Thanks, Andrew. I’ll need to understand this at some level eventually.
Added a fair amount to local addition. I suspect that some of what I’m doing there could be moved to a different page, but I’m not sure what yet. Some bits are very closely tied to local additions so should be on the same page (the construction of the family of diffeomorphisms, for example), but the stuff about charts uses local additions and one likes local additions because they define these charts, so that is the primary concept of the two and so should be on its own page, or at least on a page “higher up the food chain” (somewhere linked off manifolds, maybe?).
Thoughts, anyone?
Incidentally, in the (unfinished) construction of charts for mapping spaces, I say “Frolicher space” for my source space, but the construction would work equally well for diffeological or Chen space since maps from a diffeological space into a Froelicher space factor through the “Frolicherification” of the diffeological space (same for Chen).
1 to 3 of 3