Hi espen180
espen180 said:
It seems you find the fact that a function of independent coordinates is set equal to a constant.
I'm not sure what you meant to say here - there's a missing word - `confusing'?
espen180 said:
I resolution is that when such a restraint is set on the system, the coordinates are no longer fully independent. If you have s function of 4 variables, you may only choose 3 of them freely. The fourth is determined from the values of the other three.
Right - I think I see what you're saying here, but I'll write out what I think you're suggesting to make relevant distinctions explicit. I apologise for making this long-winded, but I think the standard abbreviations are causing confusion, and I want to clearly distinguish between functions, equations, points that satisfy an equation etc.
This is the kind of process you describe in your paragraph, fleshed out using your nice example from a few posts ago, where this starting function 3 place rather than 4 place though.
Begin with the *function* f(x, y, z) = ax + by + cz + d.
Consider those points <x, y, z> which, when plugged into the function f, make f output 0.
This defines a set of triples (or points of a 3-d manifold) <x, y, z>
Another way of defining the same set of points is by the equation: ax + by + cz + d = 0.
Because, for each x and y, there is one and only one z which satisfies this equation, we can rewrite the same set of points as <x, y, (- d - ax - by)/c>.
(note that we would have to proceed with more care if we had begun with a function h(x y z) = x^2 + y^2 + z^2 - d^2. The <x y z> which satisfy h = 0 define a sphere, and in this case, for each x and y, there are two values of z that solve the equation)
So the third value is clearly a function of the first two.
So we can define a NEW *two place* function g(x y) = (-d - ax - by)/c.
This two place function can now be differentiated as usual - with respect to x or with respect to y, to get -a/c and -b/c respectively.
Ok, very longwinded, sorry. But hopefully the worry is now clear: this isn't what happens in the example you present, and it doesn't permit the differentiations you make.
If L is just the function which equals ax + by + cz + d, then the differentiations you write make sense and follow from the definition of L, but you can't assert that the *function* L = 0.
If, on the other hand, you are implicitly defining a function along the (longwinded) lines above by considering the x,y,z that satisfy L = zero, then you need to make explicit which function you've chosen (x in terms of y and z - or y in terms of z and x - or z in terms of x and y) AND the differentiations you write do not follow. Firstly, there are only two variables in the function defined; secondly, as you see above, the answers you get for these functions are not simply a, b or c.