“ The linear operator which assigns to each operate its derivative is an example of a differential operator on a operate space. ”