Hi
When a certain subject is being studied, including a natural phenomena, certain fixed rules, characteristics are noticed as defining whatever is under discussion. These rules or characteristics are called axioms/postulates which are the foundation upon which the system rests. For example, one may observe that every dog hates cats (I'm just making it up). So, a postulate is established which very much defines one of the traits of a dog. If we see an animal which looks like a dog but likes to play with cats, then according to the postulate it couldn't be a dog. But if biological studies prove that it's really a dog, then the established postulate falls apart. Another postulate related to dog can also be established that every dog loves a bone. So, a set of postulates or axioms defines what a particular thing should be or how it should behave. These are reasonable assumptions which are made after careful observation of the thing under discussion.
I have read somewhere that in the past there used to be a distinction between the word 'postulate' and 'axiom' but now they stand for the same.
In Euclidean geometry there are certain postulates. Euclidean geometry can be described as highly idealistic version of some of the things in real word (I have been told when it comes to real world hyperbolic geometry maps the reality better). Then, circle is an object of Euclidean geometry. It can be said that the circle in itself has a set of axioms such as the sum of angle subtended by the diameter. The same can be said of a triangle, which is also an object in Euclidean geometry, that if its meets certain axioms such as internal angles sum is 180 degree etc. then it's a triangle. But none of the axioms related to a circle or triangle can contradict the axioms of the system (i.e. Euclidean geometry) of which they are members.
Sometimes postulates seem self-evident and very reasonable assumptions which holds true as far as one can confirm. But sometimes those postulates aren't that much clear. For example, one of the postulates/axioms of theory of the relativity is that lights travels at the same speed no matter what. One might wonder that why Einstein chose this postulate. Was he able to measure the speed of light under different conditions? I don't think so. I believe some of the equations etc. he was working with made him realize that the speed of the light had to constant otherwise nothing works. So, in this case the postulate isn't that much self-evident from observable point of view but math equations tells us so (and now even the experiments).
Further it should be noted that axioms/postulates themselves are just a set of rules. They do not describe how the system works, how it could relate to the natural phenomena, why we study the system etc. You can have a set of rule of the game of chess but those rules does' really tell what chess is. They only tell you how are expected to play. Likewise, you can have a set of axioms for vector spaces (in layman terms, vectors are members of the system called vector spaces). Those axioms of vector spaces say nothing why we study vectors, how those vectors relate to the physical world. They are just rules which have been formulated after close observation of the system. So, as a result they don't need any proofs.
Do I make some sense? Please let me know. Thanks
Links which might be useful:
http://math.youngzones.org/Non-Egeometry/axioms.html
http://www.sfu.ca/~swartz/euclid.htm
When a certain subject is being studied, including a natural phenomena, certain fixed rules, characteristics are noticed as defining whatever is under discussion. These rules or characteristics are called axioms/postulates which are the foundation upon which the system rests. For example, one may observe that every dog hates cats (I'm just making it up). So, a postulate is established which very much defines one of the traits of a dog. If we see an animal which looks like a dog but likes to play with cats, then according to the postulate it couldn't be a dog. But if biological studies prove that it's really a dog, then the established postulate falls apart. Another postulate related to dog can also be established that every dog loves a bone. So, a set of postulates or axioms defines what a particular thing should be or how it should behave. These are reasonable assumptions which are made after careful observation of the thing under discussion.
I have read somewhere that in the past there used to be a distinction between the word 'postulate' and 'axiom' but now they stand for the same.
In Euclidean geometry there are certain postulates. Euclidean geometry can be described as highly idealistic version of some of the things in real word (I have been told when it comes to real world hyperbolic geometry maps the reality better). Then, circle is an object of Euclidean geometry. It can be said that the circle in itself has a set of axioms such as the sum of angle subtended by the diameter. The same can be said of a triangle, which is also an object in Euclidean geometry, that if its meets certain axioms such as internal angles sum is 180 degree etc. then it's a triangle. But none of the axioms related to a circle or triangle can contradict the axioms of the system (i.e. Euclidean geometry) of which they are members.
Sometimes postulates seem self-evident and very reasonable assumptions which holds true as far as one can confirm. But sometimes those postulates aren't that much clear. For example, one of the postulates/axioms of theory of the relativity is that lights travels at the same speed no matter what. One might wonder that why Einstein chose this postulate. Was he able to measure the speed of light under different conditions? I don't think so. I believe some of the equations etc. he was working with made him realize that the speed of the light had to constant otherwise nothing works. So, in this case the postulate isn't that much self-evident from observable point of view but math equations tells us so (and now even the experiments).
Further it should be noted that axioms/postulates themselves are just a set of rules. They do not describe how the system works, how it could relate to the natural phenomena, why we study the system etc. You can have a set of rule of the game of chess but those rules does' really tell what chess is. They only tell you how are expected to play. Likewise, you can have a set of axioms for vector spaces (in layman terms, vectors are members of the system called vector spaces). Those axioms of vector spaces say nothing why we study vectors, how those vectors relate to the physical world. They are just rules which have been formulated after close observation of the system. So, as a result they don't need any proofs.
Do I make some sense? Please let me know. Thanks
Links which might be useful:
http://math.youngzones.org/Non-Egeometry/axioms.html
http://www.sfu.ca/~swartz/euclid.htm
Last edited: