Talk:Diffeology

From Wikipedia, the free encyclopedia

WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating: Stub Class Low Priority  Field: Geometry

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)