kiuhnm said:
I'm reading Scheck's book about Mechanics and it says that Newton's first law is not redundant as it defines what an inertial system is.
True - but there are equivalent definitions that do not use it. For example IMHO a better definition is found in Landau - Mechanics. An inertial frame is one where the laws of physics are the same at all points in space, directions, and instants of time. It can be shown that any two inertial frames are moving at constant velocity relative to each other (hint on proof - divide time into the sum of infinitesimal times - in each infinitesimal instant the Taylor expansion has higher terms you can neglect hence the transformation is linear). Sum them up and you get a linear transformation from which constant velocity follows by looking at the transformation of a fixed point - say the origin. What it does not say is any frame traveling at constant velocity to an inertial frame is inertial - this is the actual assumption - the rest is just definitions and some math as explained before..
Now getting back to the original statement, place a particle at the origin and have nothing else in the frame. If it shoots off in any direction then the laws of physics are not the same in all directions. If you have a particle going at constant velocity then you can go to an inertial frame where it is at rest and from before must remain at rest. Hence, assuming, not acting on by a force means nothing is affecting the particle you have the first law - but this time from symmetry. You can make this argument more rigorous using the Principle Of Least Action as explained in Landau's book.
Why I think it is better, is its based on symmetry, the importance of which is essential to relativity:
http://www2.physics.umd.edu/~yakovenk/teaching/Lorentz.pdf
kiuhnm said:
My problem is that we could say the same about Newton's second law. Indeed, Newton's second law is only valid, in general, for inertial systems, so it also defines them.Therefore, I think Newton's first law doesn't just define what an inertial system is, but, more importantly, states they exist (which is not obvious).
What do you think?
The symmetry argument I gave before make the existence of inertial frames very intuitive - but of course physics is an experimental science and it is an experimental fact internal frames with the rather obvious symmetry proprieties exist to a high degree of accuracy - especially in deep space. The second law strictly speaking is not a law - but the definition of what a force is. The assumption is the frame is not inertial if things start accelerating of their own accord - we naturally assume something must be making it do that. That something could be something in or outside the frame; and the frame inertial if that something was not present. So overall the frame can still be inertial but containing or influenced by something else. The definition of a force is a measure of that something. Why that definition - why not simply say acceleration or mass squared times acceleration - I am sure you can think of many others. The answer is its physical content - it says in analysing classical mechanics problems get thee to the forces as defined by the second law.
The third law is a statement whose validity is determined by experiment - it may be true or false. I assume you know it is equivilant to momentum conservation. For an advanced view of it look into Noethers Theorem:
http://applet-magic.com/noetherth.htm
Now what is the physical basis of Noether's Theorem? - the answer is Quantum Mechanics - but I will let you think about that - don't worry if you do not see it - you can do a post and me or someone else can explain it - but thinking about it will help develop your understanding.
As a further thing to think about, what is the actual basis of classical mechanics? The answer again is QM. Once you understand this it makes you laugh a bit when you see people say; are there any manifestations of QM here in the classical world. Well everything is actually quantum so there is no classical world separate from the quantum world - just a region where QM is very well approximated by classical laws.
Thanks
Bill