Talk:Diffeology
From Wikipedia, the free encyclopedia
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)
