- #1

- 315

- 1

## Main Question or Discussion Point

Example, if:

[itex]z=xy[/itex]

[itex]y=x[/itex]

then:

the partial derivative [itex]\frac{\partial z}{\partial x} = y[/itex], treating [itex]z[/itex] as a function of two variables [itex]z(x, y) = xy[/itex]

the total derivative [itex]\frac{dz}{dx} = 2x[/itex], treating [itex]z[/itex] as a function of one variable, [itex]z(x) =z y(x)[/itex].

So there doesn't seem to be a way to define the partial or total derivative based only on one function [itex]z[/itex] defined as a set of ordered pairs plus domain/codomain. So how do you define a function in such a way that you can define the partial and total derivative?

This may not be clear. If you don't see the problem, consider this question:

For [itex]f : \mathbb{R} \times \mathbb{R} -> \mathbb{R}[/itex], what's the total derivative of [itex]f[/itex] with respect to its first parameter, and how does this differ from the partial derivative of [itex]f[/itex] with respect to its first parameter?

How many parameters does the operator "total derivative" take and what are they? There's at least the function and the variable the total derivative is taken with respect to, but those two parameters don't seem enough, without changing the definition of function. How many parameters does the operator "partial derivative" take and what are they?

To handle the distinction between the total derivative and partial derivative, in calculus you also need some idea of the relationships between the variables used in the function definition. These relationships are not encoded in the usual definition of a function.

[itex]z=xy[/itex]

[itex]y=x[/itex]

then:

the partial derivative [itex]\frac{\partial z}{\partial x} = y[/itex], treating [itex]z[/itex] as a function of two variables [itex]z(x, y) = xy[/itex]

the total derivative [itex]\frac{dz}{dx} = 2x[/itex], treating [itex]z[/itex] as a function of one variable, [itex]z(x) =z y(x)[/itex].

So there doesn't seem to be a way to define the partial or total derivative based only on one function [itex]z[/itex] defined as a set of ordered pairs plus domain/codomain. So how do you define a function in such a way that you can define the partial and total derivative?

This may not be clear. If you don't see the problem, consider this question:

For [itex]f : \mathbb{R} \times \mathbb{R} -> \mathbb{R}[/itex], what's the total derivative of [itex]f[/itex] with respect to its first parameter, and how does this differ from the partial derivative of [itex]f[/itex] with respect to its first parameter?

How many parameters does the operator "total derivative" take and what are they? There's at least the function and the variable the total derivative is taken with respect to, but those two parameters don't seem enough, without changing the definition of function. How many parameters does the operator "partial derivative" take and what are they?

To handle the distinction between the total derivative and partial derivative, in calculus you also need some idea of the relationships between the variables used in the function definition. These relationships are not encoded in the usual definition of a function.

Last edited: