Join Nostr
2025-04-15 16:53:01 UTC
in reply to

Dan Piponi on Nostr: So here's Chevalley, found on archive.org I love that "L(f) is often called the ...

So here's Chevalley, found on archive.org

I love that "L(f) is often called the derivative of f in the direction of L".

It's pretty bold to:

(1) say this is the derivative in the direction of L when L is in fact defined to be a derivative and the definition gives no obvious notion of direction.

(2) say "often called"? Today maybe, but then? Maybe there's some prehistory here.