We show that derivations of the differential structure of a subcartesian space satisfy the chain rule and have maximal integral curves.

We establish a formula for the variation of integrals of differential forms on cubic chains in the context of diffeological spaces. Then we establish the diffeological version of Stokes’ theorem, and we apply that to get the diffeological variant of the Cartan–Lie formula. Still in the context of Cartan–De Rham calculus in diffeology, we construct a chain-homotopy operator $K$, and we apply it here to get the homotopic invariance of De Rham cohomology for diffeological spaces. This is the chain-homotopy operator that is used in symplectic diffeology to construct the moment map.

We show that if the family $\mathcal{O}$ of orbits of all vector fields on a subcartesian space $P$ is locally finite and each orbit in $\mathcal{O}$ is locally closed, then $\mathcal{O}$ defines a smooth Whitney A stratification of $P$. We also show that the stratification by orbit type of the space of orbits $M/G$ of a proper action of a Lie group $G$ on a smooth manifold $M$ is given by orbits of the family of all vector fields on $M/G$.

We discuss properties of the regular part ${{S}_{\text{reg}}}$ of a subcartesian space $S$. We show that ${{S}_{\text{reg}}}$ is open and dense in $S$ and the restriction to ${{S}_{\text{reg}}}$ of the tangent bundle space of $S$ is locally trivial.

Let $\mathcal{F}$ be a family of vector fields on a manifold or a subcartesian space spanning a distribution $D.$ We prove that an orbit $O$ of $\mathcal{F}$ is an integral manifold of $D$ if $D$ is involutive on $O$ and it has constant rank on $O$. This result implies Frobenius’ theorem, and its various generalizations, on manifolds as well as on subcartesian spaces.

This note signals an error in the above paper by giving a counter-example.

We present a new approach to singular reduction of Hamiltonian systems with symmetries. The tools we use are the category of differential spaces of Sikorski and the Stefan-Sussmann theorem. The former is applied to analyze the differential structure of the spaces involved and the latter is used to prove that some of these spaces are smooth manifolds.

Our main result is the identification of accessible sets of the generalized distribution spanned by the Hamiltonian vector fields of invariant functions with singular reduced spaces. We are also able to describe the differential structure of a singular reduced space corresponding to a coadjoint orbit which need not be locally closed.

We present a systematic method of approximating, to an arbitrary accuracy, a probability measure µ on x = [0,1]q, q 1, with invariant measures for iterated function systems by matching its moments. There are two novel features in our treatment. 1. An infinite set of fixed affine contraction maps on , w2, · ·· }, subject to an ‘ϵ-contractivity' condition, is employed. Thus, only an optimization over the associated probabilities pi is required. 2. We prove a collage theorem for moments which reduces the moment matching problem to that of minimizing the collage distance between moment vectors. The minimization procedure is a standard quadratic programming problem in the pi which can be solved in a finite number of steps. Some numerical calculations for the approximation of measures on [0, 1] are presented.