Diffeological Spaces with a Non-Smooth Derivation

Abstract

We show that on certain diffeological spaces there exist linear derivations that satisfy the Leibniz rule but are not smooth with respect to the given diffeology. This reveals that the notion of tangent space defined via all such derivations is strictly larger than the one defined using only smooth derivations, showing that smoothness cannot be recovered from the Leibniz rule alone.