Densidad de la transversalidad en multijets de variedades con borde anguloso.
We introduce diffeological real or complex vector spaces. We define the fine diffeology on any vector space. We equip the vector space 𝓗 of square summable sequences with the fine diffeology. We show that the unit sphere 𝓢 of 𝓗, equipped with the subset diffeology, is an embedded diffeological submanifold modeled on 𝓗. We show that the projective space 𝓟, equipped with the quotient diffeology of 𝓢 by 𝓢¹, is also a diffeological manifold modeled on 𝓗. We define the Fubini-Study symplectic...