Talk:Diffeology

Latest comment: 19 years ago by Markus Schmaus

I am pretty sure, that the real vector spaces form a proper class. As every constant map has to be a plot there is at least one map for any real vector space. Plots therefore cannot form a set but a proper class.

According to Introduction to Diffeology (a working document) the domain of a plot has to be an open subset of Rn, n in N0. Now as N0 is a set the Rn-s form a set and the powerset of this set is also a set and the plots actually form a set. Markus Schmaus 13:29, 11 July 2005 (UTC)Reply