|
|
|
|
Space
|
| |
|
| |
Space is the boundless extent within which matter is physically extended and objects and events have positions relative to one another. Physical space is often conceived in three linear dimensions, although modern physicists usually consider it, with time, to be part of the boundless four-dimensional continuum known as spacetime. In mathematics spaces with different numbers of dimensions and with different underlying structures can be examined. The concept of space is considered to be of fundamental importance to an understanding of the universe although disagreement continues between philosophers over whether it is itself an entity, a relationship between entities, or part of a conceptual framework.
Many of the philosophical questions arose in the 17th century, during the early development of classical mechanics. In Isaac Newton's view, space was absolute - in the sense that it existed permanently and independently of whether there were any matter in the space. Other natural philosophers, notably Gottfried Leibniz, thought instead that space was a collection of relations between objects, given by their distance and direction from one another. In the 18th century, Immanuel Kant described space and time as elements of a systematic framework which humans use to structure their experience.
In the 19th and 20th centuries mathematicians began to examine non-Euclidean geometries, in which space can be said to be curved, rather than flat. According to Albert Einstein's theory of general relativity, space around gravitational fields deviates from Euclidean space. Experimental tests of general relativity have confirmed that non-Euclidean space provides a better model for explaining the existing laws of mechanics and optics.
=Philosophy of space=
Leibniz and NewtonIn the seventeenth century, the philosophy of space and time emerged as a central issue in epistemology and metaphysics. At its heart, Gottfried Leibniz, the German philosopher-mathematician, and Isaac Newton, the English physicist-mathematician, set out two opposing theories of what space is. Rather than being an entity which independently exists over and above other matter, Leibniz held that space is no more than the collection of spatial relations between objects in the world: "space is that which results from places taken together". Unoccupied regions are those which could have objects in them and thus spatial relations with other places. For Leibniz, then, space was an idealised abstraction from the relations between individual entities or their possible locations and therefore could not be continuous but must be discrete. Space could be thought of in a similar way to the relations between family members. Although people in the family are related to one another, the relations do not exist independently of the people. Leibniz argued that space could not exist independently of objects in the world because that would imply that there would be a difference between two universes exactly alike except for the location of the material world in each universe. But since there would be no observational way of telling these universes apart then, according to the identity of indiscernibles, there would be no real difference between them. According to the principle of sufficient reason, any theory of space which implied that there could be these two possible universes, must therefore be wrong.
Newton took space to be more than relations between material objects and based his position on observation and experimentation. For a relationist there can be no real difference between inertial motion, in which the object travels with constant velocity, and non-inertial motion, in which the velocity changes with time, since all spatial measurements are relative to other objects and their motions. But Newton argued that since non-inertial motion generates forces, it must be absolute. He used the example of water in a spinning bucket to demonstrate his argument. Water in a bucket is hung from a rope and set to spin, starts with a flat surface. After a while, as the bucket continues to spin, the surface of the water becomes concave. If the bucket's spinning is stopped then the surface of the water remains concave as it continues to spin. The concave surface is therefore apparently not the result of relative motion between the bucket and the water. Instead, Newton argued, it must be a result of non-inertial motion relative to space itself. For several centuries the bucket argument was decisive in showing that space must exist independently of matter.
KantIn the eighteenth century the German philosopher Immanuel Kant developed a theory of knowledge in which knowledge about space can be both a priori and synthetic. In Kant's view, knowledge about space is a priori, in that it is held independently of experience. His reasoning was that it is impossible to imagine the axioms of geometry not being true. For example, intuition seems to give us complete certainty that there is one and only one straight line through two points. Since the theorems of Euclidean geometry are logically derived from the axioms, space can therefore be completely understood without one having to observe it. According to Kant, knowledge about space is also synthetic, in that statements about space are not simply true by virtue of the meaning of the words in the statement. In other words, since, in his view, the theorems of geometry describe the actual structure of the world, one can make factual statements about space. For instance, if one inspects a triangle, its angles always seem to sum to 180°. Whereas scientific laws have to be justified by experience and could be falsified at any moment, it is inconceivable that geometrical laws could be violated. Alongside arithmetic, geometry provided Kant with one of his chief examples of synthetic a priori knowledge. In his work, Kant rejected the view that space must be either a substance or relation. Instead he came to the conclusion that space and time are not discovered by humans to be objective features of the world, but are part of a systematic framework for organizing our experiences.
Non-Euclidean geometryEuclid's Elements contained five postulates which form the basis for Euclidean geometry. One of these, the parallel postulate has been the subject of debate among mathematicians for many centuries. It states that on any plane on which there is a straight line L1 and a point P not on L1, there is only one straight line L2 on the plane which passes through the point P and is parallel to the straight line L1. Until the 19th century, few doubted the truth of the postulate; instead debate centered over whether it was necessary as an axiom, or whether it was a theory which could be derived from the other axioms. Around 1830 though, the Hungarian János Bolyai and the Russian Nikolai Ivanovich Lobachevsky separately published treatises on a type of geometry which does not include the parallel postulate, called hyperbolic geometry. In this geometry, there are an infinite number of parallel lines which pass through the point P. Consequently the sum of angles in a triangle is less than 180o and the ratio of a circle's circumference to its diameter is greater than pi. In the 1850s, Bernhard Riemann developed an equivalent theory of elliptical geometry, in which there are no parallel lines which pass through P. In this geometry, triangles have more than 180o and circles have a ratio of circumference to diameter which is less than pi.
| Type of geometry | Number of parallels | Sum of angles in a triangle | Ratio of circumference to diameter of circle | Measure of curvature |
|---|
| Hyperbolic | Infinite | < 180o | > p | < 0 |
|---|
| Euclidean | 1 | 180o | p | 0 |
|---|
| Elliptical | 0 | > 180o | < p | > 0 |
|---|
Gauss and PoincaréAlthough there was a prevailing Kantian consensus at the time, once non-Euclidean geometries had been formalised, some began to wonder whether or not physical space is curved. Carl Friedrich Gauss, the German mathematician, was the first to consider an empirical investigation of the geometrical structure of space. He thought of making a test of the sum of the angles of an enormous stellar triangle and there are reports he actually carried out a test, on a small scale, by triangulating mountain tops in Germany.
Henri Poincaré, a French mathematician and physicist of the late 19th century introduced an important insight which attempted to demonstrate the futility of any attempt to discover by experiment which geometry applies to space. He considered the predicament which would face scientists if they were confined to the surface of an imaginary large sphere with particular properties, known as a sphere-world. In this world, the temperature is taken to vary in such a way that all objects expand and contract in similar proportions in different places on the sphere. With a suitable falloff in temperature, if the scientists try to use measuring rods to determine the sum of the angles in a triangle, they can be deceived into thinking that they inhabit a plane, rather than a spherical surface. In fact, the scientists cannot in principle determine whether they inhabit a plane or sphere and, Poincaré argued, the same is true for the debate over whether real space is Euclidean or not. For him, it was a matter of convention which geometry was used to describe space. Since Euclidean geometry is simpler than non-Euclidean geometry, he assumed the former would always be used to describe the 'true' geometry of the world.
EinsteinIn 1905, Albert Einstein published a paper on a special theory of relativity, in which he proposed that space and time be combined into a single construct known as spacetime. In this theory, the speed of light in a vacuum is the same for all observers - which has the result that two events that appear simultaneous to one particular observer will not be simultaneous to another observer if the observers are moving with respect to one another. Moreover, an observer will measure a moving clock to tick more slowly than one which is stationary with respect to them; and objects are measured to be shortened in the direction that they are moving with respect to the observer.
Over the following ten years Einstein worked on a general theory of relativity, which is a theory of how gravity interacts with spacetime. Instead of viewing gravity as a force field acting in spacetime, Einstein suggested that it modifies the geometric structure of spacetime itself. According to the general theory, time goes more slowly at places with lower gravitational potentials and rays of light bend in the presence of a gravitational field. Scientists have studied the behaviour of binary pulsars, confirming the predictions of Einstein's theories and Non-Euclidean geometry is usually used to describe spacetime.
=Mathematics= In modern mathematics, spaces are frequently described as different types of manifolds which are spaces that locally approximate to Euclidean space and where the properties are defined largely on local connectedness of points that lie on the manifold.
=Physics=
Classical mechanicsSpace is one of the few fundamental quantities in physics, meaning that it cannot be defined via other quantities because nothing more fundamental is known at the present. On the other hand, it can be related to other fundamental quantities. Thus, similar to other fundamental quantities (like time and mass), space can be explored via measurement and experiment.
AstronomyAstronomy is the science involved with the observation, explanation and measuring of objects in outer space.
RelativityBefore Einstein's work on relativistic physics, time and space were viewed as independent dimensions. Einstein's discoveries have shown that due to relativity of motion our space and time can be mathematically combined into one object — spacetime. It turns out that distances in space or in time separately are not invariant with respect to Lorentz coordinate transformations, but distances in Minkowski space-time along space-time intervals are — which justifies the name.
In addition, time and space dimensions should not be viewed as exactly equivalent in Minkowski space-time. One can freely move in space but not in time. Thus, time and space coordinates are treated differently both in special relativity (where time is sometimes considered an imaginary coordinate) and in general relativity (where different signs are assigned to time and space components of spacetime metric).
Furthermore, from Einstein's general theory of relativity, it has been shown that space-time is geometrically distorted- curved -near to gravitationally significant masses.
Experiments are ongoing to attempt to directly measure gravitational waves. This is essentially solutions to the equations of general relativity which describe moving ripples of spacetime. Indirect evidence for this has been found in the motions of the Hulse-Taylor binary system.
|
| |
|
|