Publicly-accessible
Copyright 1999, by the Rector and Visitors of the University of Virginia
Commercial use prohibited; all usage governed by our Conditions of Use:http://etext.lib.virginia.edu/conditions.html
First Edition
251 pagesPrepared for the University of Virginia Library Electronic Text Center.
COPYRIGHT 1910
BY
MUNN & COMPANY,
INC.
ENTERED AT STATIONERS' HALL, LONDON, 1910
ALL RIGHTS RESERVED UNDER
BERNE CONVENTION
PRINTED IN THE UNITED
STATES OF AMERICA BY
MACGOWAN
& SLIPPER
NEW YORK., N. Y.
IN January, 1909, a friend of the Scientific American, who desired to remain unknown, paid into the hands of the publishers the sum of Five Hundred Dollars, which was to be awarded as a prize for the best popular explanation of the Fourth Dimension, the object being to set forth in an essay not longer than twenty-five hundred words the meaning of the term so that the ordinary lay reader could understand it. The essays, 245 in number, were submitted under pseudonyms, in accordance with the rules drawn up by the Editor of the Scientific American, and were judged by Prof. Henry P. Manning, of Brown University, and Prof. S. A. Mitchell, of Columbia University.
The Five Hundred Dollar prize was awarded by the judges to Lieut.-Col. Graham Denby Fitch, Corps of Engineers, U. S. A. The prize-winning essay was published in the Scientific American of July 3rd, 1909, and three essays, which received honorabe mention, made their appearance in the issues of July 10th, 17th, and 24th, 1909.
Despite the character of the subject, extraordinary interest was manifested in the contest. Competitive essays were received not only from the United States, but from Turkey, Austria, Holland, India, Australia, France, and Germany. In fact, almost every civilized country was represented. Because of this unexpected interest in the subject, it has seemed advisable to preserve in permanent form a few of the essays
The publishers trust that the brief expositions of the Fourth Dimension here offered may serve to popularize a topic which has hitherto been unfortunately classed with such geometrical absurdities as the squaring of a circle and the bisection of an angle.
THE geometry studied in the schools is divided into two parts, Plane Geometry, or Geometry of Two Dimensions, and Solid Geometry, or Geometry of Three Dimensions, and the study of these geometries suggests an extension to geometry of four or more dimensions. In a plane, for example, one line may be perpendicular to another, and the position of any point can be determined by starting from a known point and measuring in two given perpendicular directions. In Solid Geometry there may be three mutually perpendicular lines, and the position of any point can be determined by starting from a known point and measuring in three given perpendicular directions. Thus the question arises: Why may there not be a geometry with four mutually perpendcular lines, in which the position of a point is determined by measuring in four perpendicular directions? Again, the area of a rectangle is expressed as the product of its base and altitude, and in Plane Geometry the things that are studied are made up of straight or curved lines or are bounded by such lines. The volume of a rectangular solid is expressed as the product of its three dimensions, and the things that are studied in Solid Geometry are mostly made up of flat or curved surfaces or are bounded by such surfaces. Why then
The Geometry of Three Dimensions is more extensive than Plane Geometry, yet nearly everything in it is more or less analogous to something in the plane; and so the Geometry of Four Dimensions would be still more extensive, yet related to the three-dimensional geometry as the three-dimensional geometry is related to the two-dimensional, so that it would seem almost possible to tell at once what the details of such a geometry would be.
These suggestions come more readily when the real subject matter of geometry and the nature of geometrical reasoning are understood. Geometry does not deal with material things like a string or sheet of paper, but with abstract lines and surfaces. Nor does geometry deal with actual facts. It only shows what would be true if certain other things were true. We apply some statement of geometry to a string or to a sheet of paper whenever the conditions of the statement seem to be fulfilled, and the correctness of the result depends upon whether the conditions are fulfilled.
Even the axioms of geometry, formerly regarded as self-evident truths, are now understood to be merely hypotheses. The mathematician does not say that the axioms are true. He develops a set of propositions that follow necessarily from the axioms and are involved in the axioms themselves, but the axioms themselves he can change, and by aking different sets of axioms he can build up different geometries, each geometry mathematically true, true in that it is a set of statements (theorems) necessarily involved in the set of axioms upon which it is built. It is necessary.
We choose, then, one of these geometries and apply it to our lives. We choose that geometry whose axioms and resulting theorems seem best to express the conditions of our existence, but this choice is not a part of mathematical reasoning; it is a matter of experiment and of experience.
Finally, the mathematician may go still further and leave undefined the subject matter of his geometry. He takes certain elements, calling them points and lines, and certain relations which he calls relations of position and magnitude. Without defining the elements or the relations he assumes that the elements have these relations. The statements that the elements have the relations are his axioms. From the axioms he derives other relations which necessarily follow. The statements of these relations are his theorems.
This is abstract geometry.1 The terms used are meaningless, whether they are the words point, line, intersect, etc., borrowed from the ordinary geometry, or new words invented for the purpose. It is easier, of course, to assign meanings to the terms at the beginning and give to the geometry a concrete form as it develops, especially if the concrete form is not too difficult for us to picture in our minds, but it is possible to construct the geometry abstractly and then to apply it by giving concrete meanings to its terms. By
When the student gets this view of geometry fixed in his mind he is more ready to entertain the notion of a geometry of four or more dimensions. He sees no difficulty in assuming a set of axioms which includes the hypothesis that there are points outside of a given space of three dimensions when points and space are themselves words without meaning. The difficulty which he meets in contemplating such a geometry or any geometry comes when he attempts to apply it to our existence or to some imagined existence where its application seems to contradict or to transcend our experience.
We have said that the same geometry can have more than one interpretation. Thus we shall see presently that a certain two-dimensional geometry may be interpreted as spherical geometry if we make the term straight line mean great circle. With a proper definition of length or distance our ordinary geometry may be interpreted as a geometry in which the circles through a certain fixed point are taken for straight lines. And so we might give other illustrations. Now the abstract geometry of four dimensions may be realized as a concrete geometry by letting the word point mean straight line in our space. It takes four numbers to determine the position of a straight line, and all the relations of the Geometry of Four Dimensions are represented by relations of these lines and by figures formed of them.2
But these interpretations seem far-fetched, and the
The most notable of the geometries developed from different sets of axioms are two, commonly called non-Euclidean geometries. These geometries are quite fully explained in the second essay of this collection. 3 Neither Lobachevsky nor Bolyai thought of geometry in the abstract way that we have indicated, but the Hyperbolic Geometry, which they discovered, was one which would seem to fit very well with our experience if we confined our attention to a small portion of a plane or to a small region of space. The same is true of the Elliptic Geometry. We cannot even say that the geometry of our space is Euclidean and not one of these two. Now the non-Euclidean geometries of two dimensions can be applied to certain curved surfaces in ordinary space (the space of Euclidean Geometry) if we interpret the term straight line to mean geodesic or straightest line. Some writers have taken this as an explanation of the non-Euclidean
In the same way that we have curved surfaces in ordinary space to which we can apply the non-Euclidean geometries of two dimensions, so in space of four dimensions we have curved spaces or hypersurfaces to which we can apply the non-Euclidean geometries of three dimensions, and some have taken this fact as completing the explanation of these geometries, eroneously supposing that they assume our space to be a curved space in space of four dimensions. Some have even thought that the Geometry of Four Dimensions was invented for the purpose of explaining the non-Euclidean geometries. The non-Euclidean geometries do not themselves assume that space is curved, nor do the non-Euclidean geometries of two and three dimensions make any assumption in regard to a fourth dimension. In fact, we may suppose that space of four dimensions, if there is such a space, is itself non-Euclidean, elliptic or hyperbolic as the case may be, and that our space is a three-dimensional space of the same kind without any curvature whatever. The notion of a geometry of four dimensions does not owe its origin to the non-Euclidean geometries. We have the same breaking away from tradition in both and both grow out of modern theories of the general nature of geometry, but the geometries of higher dimensions owe their origin to a natural extension from two and three dimensions and the mathematician has other uses for them equally as important as is their relation to the non-Euclidean geometries.
The notion of geometries of higher dimensions takes on its chief importance in Mathematics from the parallelism
This combination of Algebra and Geometry, which appears at first sight to serve chiefly a an aid to Geometry, turns out to be of greater service to Algebra. This happens in two ways. The language of Geometry furnishes a number of convenient terms for things which would otherwise have to be awkwardly described, and the visual conceptions of Geometry applied to the forms of Algebra make them seem less abstract and easier to understand. We have these advantages for the forms of Algebra which correspond to geometries of one, two, and three dimensions. Yet there is no reason in Algebra for the distinction between these forms and other forms, and when we have become accustomed to apply geometrical terms in Algebra we begin to use them in connection with all algebraic forms and thus to secure the first of the two advantages mentioned as derived from the combination of Algebra and Geometry.4
But it is from the visual conceptions of Geometry
We find, then, two ways in which the geometry of four or more dimensions is of importance to the mathematician. The notion of such a geometry as a logical system of theorems involved in a set of axioms is important to the student of abstract geometry, and the conception of space to which these geometries apply is of great assistance in the application of geometry to other mathematics. No one can consider himself completely equipped as a mathematician without some knowledge of the geometries of higher dimensions.
The notion of geometries of n dimensions began to suggest itself to mathematicians about the middle of the last century. Cayley, Grassmann, Rieman, Clifford, and some others introduced it into their mathematical investigations. Then from time to time different mathematicians took it up in different ways. Thus the first volume of the American Journal of Mathematics begins with an article in which Professor Newcomb shows that a sphere may be turned inside out in space of four dimensions without tearing, and in the third volume of the same journal Professor Stringham has given us a full account of the regular
Geometry of Four Dimensions is not only of importance to the mathematician, but it is also of interest in certain other lines of study. Thus it involves questions of space which concern the philosopher; efforts to understand it call into exercise our space perceptions and so attract the attention of the psychologist; and attempts to utilize the theories of hyperspace in the explanation of physical and other phenomena serve to bring the subject under the notice of those working in other branches of science. Moreover, the many curious forms and relations that appear in its development excite popular interest; for example, the relation of symmetrical forms as one of position only, a form being changeable into its symmetrical by mere rotation; the plane as an axis of rotation, and the possibility that two completeplanes may have only a point in common; the possibility that a flexible sphere may be turned inside out without tearing, that an object may be passed out of a closed box or room without penetrating the walls, that a knot in a cord may be
These curious features of space of four dimensions, while exciting our interest, baffle us in our study. Not only the possibility of such things but the facts themselves seem beyond our comprehension. In Plane and Solid Geometry we can draw figures and construct models; we are constantly seeing the things themselves and therefore, even when they are complicated, we can readily picture them in our minds. Geometry of Four Dimensions, however, in its ordinary application, deals with things which no one has known in experience or can imagine. Its very words seem to have no meaning. This is especially true at first, and any facility in perceiving the relations of these words, if acquired at all, must come slowly and of itself. In our efforts to understand the subject we naturally desire a perception of these things at the beginning. All that we should try to do, however, is to remember the various relations and to become familiar with them. In time they may perhaps acquire some of the vividness of the conceptions of three dimensional geometry. If we expect too much when we begin this study we shall be disappointed and discouraged. If we understand at the outset how little we should expect, we shall be in an attitude toward the subject that will be most conducive to success in its mastery.
It follows that we shall not find this subject an easy one to understand. It is something that we have to read a little at a time, to read repeatedly and to think over. We have to look at it from different points of view and to examine different ways of expressing it. Thus there are distinct advantages in having the subject presented in several short essays by differet
The essays in this book are all non-mathematical or popular in their treatment. It will assist us, therefore, if we understand the limitations of this form of presentation. From a comparison of the lower dimensional geometries we derive analogies for the Geometry of Four Dimensions and the analogies are so complete that the subject can be very fully explained in a non-mathematical way. The analogies are a guide, even to the mathematician, but the geometry does not depend on these analogies. As a system of theorems and proofs it is built up from its axioms by a process of logical reasoning just as the lower geometries are built up. If we wish to be convinced of the consistency of this geometry, of its truth as a mathematical system, we should study it mathematically. A non-mathematical exposition should be received solely as an explanation of the geometry itself, and the reader should understand clearly that it is designed not to convince him even of the possibility of such a geometry, but only to show him what it is.
The adoption of such an attitude on the part of the reader will be a long step toward accomplishing all that can be achieved through a non-mathematical treatment of the subject. If, however, the analogies are viewed as arguments, a person of skeptical mind will be apt to suspect that there is some fatal defect beneath their plausible exterior. Even if a philosophical writer wishes to use the analogies as well as the consistency of this geometry as an argument for the actual existence of four-dimensional space, such a consideration of
There is another way in which the principle of analogy may be used. By imagining two-dimensional beings living in a plane and unable to perceive anything of a third dimension we get a vivid idea of our own relation to four-dimensional space. A consideration of what ought to be their attitude toward any conceptions of a space of three dimensions makes clearer what should be our attitude toward conceptions of a higher space. This point of view is made more interesting by presentation in story form of a picture of life as it might be supposed to exist in a two-dimensional world. It is not necessary for such a presentation to go into all the details of the two-dimensional existence. A too minute description of such an existence would overburden the narrative with tedious explanations that would cause us to lose sight of its main purpose. But a story written so as to bring out skillfully a few of these relations does very much to help us in understanding what should be our attitude toward the higher geometry.6
The Geometry of Four Dimensions based on a suitable
In thus supposing the existence of two-dimensional beings it would be interesting in itself to see how far we can go in these details. Thus we may suppose that what we call two-dimensional matter is really three-dimensional, and that the two-dimensional beings are really three-dimensional, either with a slight thickness in the third dimension, or at least with a thickness which the beings themselves are unable to recognize. But we may also suppose them all to be really two-dimensional,
When we come to consider a two-dimensional space and a three-dimensional space together, the two-dimensional space lying within the three-dimensional, we have a considerable choice as to the nature of matter in these spaces, and any apparent difficulties may be ignored without affecting the usefulness of these suppositions for purposes of analogy. We may, however, be interested in the question for its own sake and try to see how far we can carry the details of such a combination
A study of the laws of four-dimensional matter, Four-dimensional Physics, would be very interesting,but we can give some idea of the various forms which occur, and the possible motions of things, without going too carefully into the theory or using the terms of science with great exactness. Our object is to give some idea, something as near a picture as we can, of the space of four dimensions, and we shall impose limitations upon the beings which we describe, or remove limitations, according to the course which seems best adapted to our object.
We observe the forms and positions of objects very largely by sight. Now the organs of sight of a being confined to some particular space may be supposed suited to the dimensions of his space. The picture formed in the retina of our eye is two-dimensional, the retina is a surface. A two-dimensional being, unable to perceive anything outside of his plane would have a one-dimensional retina, or at least his picture of an object in his world would be a mere line, different pictures being distinguished by the lengths, colors, and shading of these lines. The retina of a four-dimensional being would be three-dimensional if he is to
It is not easy for us to imagine such pictures, and so we can attempt to get an impression of the shapes of objects by supposing that a three-dimensional being, a person like ourselves, could pass through a series of parallel three-spaces (three-dimensional spaces) and in each three-space examine that portion of the object which lies in this space, that section of the object. This is just as we might suppose a two-dimensional being able to pass through a series of planes and in each plane to see the section of an object made by that plane. The section which we should see of a four-dimensional object would be a solid whose surface forms a part of the three-dimensional bundary of the object. This way of studying four-dimensional objects is discussed quite fully in Essay VII. (See also Essay V, page 85.)
There is another somewhat similar way of studying an object that we may find quite useful. We can imagine ourselves turning from one three-space into another perpendicular three-space. That is, by discarding one of the directions in our space we can suppose that we take into view the fourth direction, which goes away from our space, and so get its relation to two of our directions. We shall describe the section of an object made by any three-space as what we can see in that three-space. We shall do this particularly with reference to the different sections of an object obtained at any point by taking different perpendicular three-spaces.
One of the first things, for example, that we consider in studying Geometry of Four Dimensions is the line perpendicular to a three-space; such is the line which goes out from a point in our space in a new fourth direction perpendicular to all the lines of our space through that point.7 If we can let go of one of the dimensions of our space, keeping only that part which lies in a certain plane, and take into view the new fourth dimension, we shall see a plane and a line going out from it, perpendicular to all the lines of it, something with which we are perfectly familiar.
As another example consider two absolutely perpendicular planes. If we take a plane through a point O and the line which is perpendicular to the plane at O all in our space, and then take the line through O in the fourth direction perpendicular to al the lines through O in our space, we shall have a plane through O and two lines both perpendicular to the plane and perpendicular to each other. These two lines themselves determine a plane every line of which through O is perpendicular to the first plane. The two planes are said to be absolutely perpendicular. (See Essay I, page 45, where the expression completely perpendicular is used.) The most that we could see in any three-space of two absolutely perpendicular planes would be one, of the planes and a single line of the other plane, a line passing through O perpendicular to the plane that we see. The other plane cuts through the space along this line. These planes meet only at the point O. Indeed, two planes which do not lie entirely in one
If two planes are absolutely perpendicular to a third at two points O and O' they lie in a single three-space. In this three-space we should see them completely, and only a single line of the third plane. The line passes through O and O' and we see it as perpendicular to the two planes. On the other hand, in a three-space containing the third plane we can see all of it but only a single line of each of the two planes absolutely perpendicular to it.
We proceed to give some further account of the Four-dimensional Geometry. We do not intend to repeat what is given in the essays except so far as may be necessary in order to correct possible erroneous impressions, or to amplify certain points. It may be that the reader will find it better to read some of the essays before going on with this Introduction.8
When two planes are absolutely perpendicular at a point O, any point in one can go completely around O and around the other plane keeping all the time at the same distance from O and from the other plane. Thus we can go around a plane in space of four dimensions just as in our space we can go around a line. A two-dimensional being cannot go around a line in his plane; it divides the plane completely. And so we cannot go around a plane in our space for it divides
A plane can rotate on itself around one of its points. If two planes are absolutely perpendicular at a point O, one of them, rotating on itself in this way, remains absolutely perpendicular to the other. We may speak of the plane as rotating about the fixed plane as axis plane. At each point of a fixed plane is an absolutely perpendicular plane and these absolutely perpendicular planes may all rotate together about the fixed plane. This is the same as when we have in our three-space a fixed line and at each point a plane perpendicular to the line. Thus we think of objects in our space or of a portion of space as rotating about a fixed axis line; and in the same way we can think of objects in four-space or of a portion of four-space as rotating about a fixed plane as axis plane. In this rotation the parts are not distorted; they retain their form rigidly and need not be flexible.
We may also use a curved surface as axis of a rotation if we allow for a slight amount of dstortion. We will use the term material surface for a substance having two dimensions of considerable extent and two dimensions very small, just as we may say in our space that a piece of cloth has two dimensions of considerable size and one dimension very small, or that a string has
The relation of symmetrical figures is referred to in several of these essays but not always quite correctly. Symmetrical figures can best be understood by considering positions of symmetry with respect to a point, line, or plane.
Figures in a plane symmetrical with respect to a point are equal, for one can be turned about the point to the position of the other. Figures in a plane symmetrical with respect to a line, however, cannot be made to coincide without turning one of them over, turning it through space. Such figures would be regarded by two-dimensional beings as truly symmetrical, with corresponding parts equal, but arranged in opposite orders, so that it would never be possible to make them coincide.
Figures in space of three dimensions symmetrical
Now in space of four dimensions figures may be symmetrical with respect to a point, a line, a plane, or a three-space. Figures symmetrical with respect to a point may be made to be symmetrical with respect to a plane and vice-versa, and figures symmetrical with respect to a line may be made to be symmetrical with respect to a three-space and vice-versa. Figures symmetrical with respect to a three-space are truly symmetrical and can never be made to coincide by any motion in four-dimensional space. They may be said to have their parts arranged in opposite orders. But figures symmetrical with respect to a plane may be made to coincide by rotating one of them about the plane as axis plane through a rotation of 180 degrees, and this is true whether they are four-dimensional figures or three-dimensional figures. Thus to a four-dimensional
This is a very striking fact. A right glove turned over through space of four dimensions becomes a left glove, a right shoe becomes a left shoe. A right-anded man becomes a left-handed man. He does not use a different hand after the operation, but the hand which he uses now appears to everybody else as his left hand. In fact, his point of view is turned around, so that to him everybody else appears to be changed. Letters appear to him to be turned backward like printer's type, the hands of a clock go backward, the world becomes to him a looking-glass world.
There is a distinction not understood by some of these writers between turning an object over and turning it inside out. A right glove turned inside out in our space becomes a left glove and a right glove turned over in space of four dimensions becomes a left glove, but when the glove is turned over it is not turned inside out.9 On the other hand, a right glove may be turned inside out in space of four dimensions in the same way that a closed rubber ball may be turned inside out. This process has been described in a preceding paragraph. The fingers and thumb do not come out through the wrist, but every part by itself in its own place is turned over with only a little possible stretching and a very slight changing of the positions of the different particles of matter which go to make up the glove. In this process, however, the glove does not become a left glove, but remains a right glove. We can get the analogy by supposing that we have in a plane a nearly closed figure. This can be turned into
A hypersolid, that is, a portion of four-dimensional space, may be separated into two parts by a three-space. Thus a section, cutting a hypersolid into two parts, will be three-dimensional. A plane cannot separate two parts of a hypersolid any more than a line can separate two parts of a solid in our space. We may make a line go through a solid, cutting out a hole. This may happen also to a hypersolid. A rod or material line, having one principal dimension and the other three very small, will pierce a hypersolid and make a hole through it. But we may also pierce a hypersolid with a flat plate, something having two principal dimensions and two dimensions very small. The plate passing through the hypersolid could extend indefinitely in its two principal dimensions but the hypersolid would not fall apart. Thus we have two kinds of holes in space of four dimensions, one-dimensional holes and two-dimensional holes.
A one-dimensional hole may pass through an object in a direction away from our space and the object will appear to us entirely closed but hollow like a hollow sphere. A rod or cord may be passed through such a hole and held by it in position, but a rod or cord passed through a two-dimensional hole will slip away at once
A wheel of four-dimensional matter, in two dimensions of the shape of a circle and in the other two dimensions very small, would have for axis a flat plate instead of a rod. This axial plate could extend indefinitely in all the directions of its plane11 without any interference with the wheel. The wheel can slip all around over the axial plate unless held to some position on it, just as with us a wheel may slip along on its axis unless held to some position on it. We may suppose that in a three-space we can see the axial plate and a pair of opposite radii (spokes) of the wheel, appearing to us entirely separate; in this way we can see a two-dimensional hole. Or we can see the entire wheel with a hole through it and an axial rod, cut from the axial plate by our three-space.
We can fasten the wheel rigidly to the axial plate so
The axial plate may itself be a wheel. We may fasten two wheels together at their centers making them absolutely perpendicular to each other. Such a figure can revolve in two ways, th plane of one wheel being the axis plane of the rotation and the plane of the other wheel the rotation plane.
A wheel may be doubly circular so that a plane absolutely perpendicular to the wheel cuts it in a small circle just as the plane of the wheel itself cuts it in a large circle. Such a wheel, then, may turn in two ways and in either kind of rotation it rotates completely on itself without passing through any new portions of its four-dimensional space. (See below, page 38.)
We might have a spherical wheel; something in three dimensions of the shape of a sphere and its fourth dimension very small. Such a wheel with a one-dimensional hole through it may turn on an axial rod, but its motion is not confined to a definite direction of rotation as is the case with the flat wheel turning in its plane. For machinery requiring definite rotations we should use flat wheels with axial plates.12 A spherical wheel
A vehicle would require at least four wheels to be in equilibrium, and these must have at least two axes. Even with flat wheels and axial plates it is necesary to have at least two of these plates. Anything to remain in equilibrium must have at least four points of support, not all in one plane.
It is difficult to comprehend how the boundaries of hypersolids, that is, of portions of four-dimensional space, are three-dimensional. It is evident that analogy requires this, but it is not easy to understand how each point within a solid can be all that in its place separates the two portions into which the three-space of the solid divides four-space. At any point in the three-dimensional boundary of the hypersolid we can start and go in three mutually perpendicular directions within this boundary -- in as many directions as we have altogether in our three-dimensional space. We may have to trace curved paths if the boundary of the hypersolid is curved, but the paths start out in three mutually perpendicular directions just as in our space.
We can cut open a hypersolid bounded by polyhedrons so as to spread them out in a single three-space. Reversing this process, we can form the boundary of a hypersolid by putting together suitable solids in a
We shall mention some of the simpler figures of four-dimensional geometry corresponding to the figures studied in our solid geometries.
Among the first to be noticed are the hyperprism and hypercylinder with parallel line elements, and the hyerpyramid and hypercone with line elements meeting at a vertex. These all have for bases polyhedrons or solids of some kind, and the element lines extend away from the three-space of the base. The hypercube is a very particular case of the hyperprism.
The simplest case of a hyperpyramid is a figure called a pentahedroid. It has for base a tetrahedron or triangular pyramid and thus it has in all five vertices. Any five points, not all in one three-space, may be regarded as the vertices of a pentahedroid. These five points, taken four at a time, give us five tetrahedrons and the pentahedroid may be taken in five different ways as a hyperpyramid. The tetrahedrons are placed together face to face, each having one face in common with each of the others. We can cut these tetrahedrons apart sufficiently to spread them out into
In general, the boundary of a hyperpyramid consists of the polyhedron base and of lateral pyramids resting on the faces of the base. The lateral pyramids are joined to one another by their lateral faces in the same way that the faces of the polyhedron base are joined by the edges.
A hyperpyramid whose base is a pyramid may be regarded in two ways as a hyperpyramid, the vertex in either case being the vertex of the pyramid base in the other case. The two pyramid bases have, then, a common polygon base and the hyperpyramid may be considered as determined by a polygon and tw points not both in a three-space with the polygon. The line joining the two points may be called a line-vertex and the boundary consists of the two pyramids and a portion which may be generated by a triangle, varying it may be as to size and shape, with one side fixed, and with the opposite vertex tracing a polygon which does not lie in a three-space with the fixed side. The generating triangle may, then, be called a triangle element.
Similarly, a hypercone with a cone for base may be regarded in two ways as a hypercone and has for
The boundary of a hyperprism consists of the two polyhedron bases and a set of lateral prisms. The lateral prisms have for bases the faces of the polyhedron bases of the hyperprism and are joined to one another by their lateral faces.
A hyperprism with prism bases has for lateral boundary two prisms and a set of parallelopipeds. Such a figure may be considered in two ways as a hyperprism, the two lateral prisms in one case being the two bases in the other case. The four prisms are joined in succession by their ends and the series of parallelopipeds are joined, each to the two next to it, by two opposite faces and to a lateral face of each of the four prisms by the remaining four faces. If the four prisms are cut away from the parallelopipeds and cut apart along one common base they can be spread out in a single three-space, and if they are right prisms they become a single right prism. The parallelopipeds may then be cut apart along one common face and spread out in like manner, forming when rectangular a single right prism (parallelopiped). These two long prisms may be placed together on any pair of faces that were originally together, one prism placed crosswise to the other, and then they may be turned from face to face all over one another. In the original figure hey were wound around each other in such a way that every point in the lateral surface of one fitted upon a point in the lateral surface of the other, and they completely inclosed a portion of four-dimensional space.
If from the four prisms are taken four elements
In a similar way we may have a hypercylinder with cylinder bases. A part of the lateral boundary consists of two cylinders joining the ends of the cylinder bases, and the figure may be taken in two ways as a hypercylinder. Four elements that form a parallelogram may be taken from the four cylinders and the remaining part of the lateral boundary may be generated by this parallelogram moving parallel to itself, its vertices tracing the ends of the cylinders. Since the cylinders may be generated in a similar manner by a plane curve moving parallel to itself around any one of the parallelograms, we have a parallelogram and a closed plane curve, each playing the part of generating element with the other for directrix in generating one portion of the hypercylinder.
The hyperprism with prism bases and the hypercylinder with cylinder bases are, then, particular cases of a class of hypersolids which may be described as follows: Two polygons, or two closed plane curves, or a polygon and a plane curve are placed together so that they intersect but do not lie in a single three-space. Their planes will intersect only in the point where the curves intersect. One polygon or curve moves parallel to itself around the other and generaes (with all of its
If either portion of the boundary is separated from the other and cut through along one generator it may be spread out into a single three-space like our space. When the planes of the two generators are absolutely perpendicular each portion of the boundary spread out into a single three-space becomes a right prism or a right cylinder. We may in this case describe these figures in another way. To form a right double prism, for example, we take two right prisms with the altitude of each equal to the perimeter of the other. We can then bend these around each other, bring them together completely in all parts of their surfaces, and inclose a portion of four-dimensional space. In the same way we can form a right prism-cylinder or a right double cylinder, taking in one case a prism and a cylinder and in the other case two cylinders.
When cylinders of revolution are taken in this way the double cylinder formed may be called a cylinder of double revolution. This can rotate in two ways independently about two absolutely perpendicular planes, the planes of the circles formed from the axes of the two cylinders. In each of these rotations one of the axis circles rotates on itself and the other, lying in the
When one of the component cylinders has a very small radius in comparison with the other, so that the second has a very sall altitude, one cylinder being like a rope and the other like a wheel,13 the hypersolid is what we have called a doubly circular wheel (page 31).
One more figure which we have in four-space is the hypersphere mentioned in one or two of the essays, the locus of points at a given distance from a fixed point. Sometimes the term hypersphere is used to denote the hypersolid, the portion of four-space inclosed by this locus, which is then called the boundary or hypersurface of the hypersphere. The hypersphere (that is the boundary) is three-dimensional, and in it we have three-dimensional Elliptic Non-Euclidean Geometry just as the ordinary spherical geometry is two-dimensional Elliptic Non-Euclidean Geometry.
We will state some of the rules of mensuration for Geometry of Four Dimensions. In the case of hypersolids there are rules for computing the volume of the boundary or of portions of the boundary, and for computing the hypervolume, that is, the magnitude of that portion of four-space inclosed. These rules may be derived for the most part as the corresponding rules for area and volume are derived in the ordinary geometry, or they may be obtained by the methods of the Calculus. They all apply to regular figures and most of
Hyperprism and hypercylinder:
Hyperpyramid and hypercone:
Double prism, prism-cylinder, and double
cylinder:
The total volume of the boundary is the sum of two such products. We may say that the total volume is the sum of the two products formed by multiplying the areas of the generating polygons or curves, each by the perimeter of the other polygon or curve.
Hypervolume = Product of the areas of the two generating polygons or curves.
For the cylinder of double revolution of radii
R and R' we have the formulć,
Hypersphere:
A cylinder of double revolution circumscribed to a hypersphere, its radii equal to the radius of the hypersphere, will have double the volume of the hypersphere and double the hypervolume of the hypersphere.
The question of the existence of space of four
dimensions is one which we cannot escape. It may be well to remind the reader
that this is not a mathematical question, though the most interesting of all.
The possibility that we are a part of a four-dimensional space with physical
limitations which confine us to a three-dimensional space, and with limitations
of our senses which prevent us from perceiving anything outside of this space
this possibility excites the interest of all who are inclined to abstract
speculation. Attempts may be made to discover physical proofsof such a space, to
build up theories on its basis that will explain discoveries of modern Physics
as yet but little understood, or by it to account for various mysterious
phenomena. Most of us are satisfied that no real proofs of the existence of
space of four dimensions will be found along these lines. Even a workable
hypothesis based on the existence of four-dimensional space, though it might
serve temporarily better than any other hypothesis, would hardly justify a
belief in this existence. But we do say that the existence of space of four
dimensions can never be disproved by showing that it is absurd or inconsistent;
for such is not the case. Nor, on the other hand, will the most elaborate
development of the analogies of different kinds ever prove that it does exist.
-- -- -- --
The following articles and books treat in a
non-mathematical way of the fourth dimension or other modern ideas of geometry
discussed in this book:
It is impossible to form a mental picture of the fourth dimension. Nevertheless, it is not an absurdity, but a useful mathematical concept with a well-developed geometry involving no contradictions. To gain a partial and symbolic idea of its meaning, resort must be had to analogy with dimensions of a lower order.
An aggregate is said to be one, two, or three-dimensional according as one, two, or three numbers are necessary to determine any one of its elements. Considering space as an aggregate of points, a line is a one-dimensional space, because to determine the position of any point on it one number, giving its distance from some fixed point, suffices. Similarly, a plane is a two-dimensional space, and the point aggregate of ordinary space is three-dimensional. Thus, the exact position of any point of the earth is known when its latitude, longitude, and elevation above sea level are given. Now, if we have four variable, related quantities, each capable of assuming, independently of the others, every possible numerical value, we obtain a four-dimensional aggregate. Such an aggregate, if of points, constitutes four-dimensional space.
If we connect all points of our space (a 3-space) with an assumed point outside of it, then the aggregate of all the points of the connecting lines constitutes a 4-space(hyperspace). Again, just as a point moving generates a line, just as a line moving outside itself generates a surface, and a surface moving outside itself generates a solid; so a solid moving outside of our space generates a hypersolid, or portion of hyperspace. Or hyperspace itself may be conceived as generated by our entire space moving parallel to itself in a direction not contained in itself, just as our space may be generated by the similar motion of an unlimited plane, which may itself be generated by an unlimited right line. Any space is that which forms the boundary between two portions of a higher space, and just as every unlimited plane divides our space into two equal infinite parts, so every 3-space divides hyperspace into two equal infinite regions between which that 3-space forms a boundary of an infinitely small thickness in the fourth dimension.
Two plane figures (say triangles) if in the same plane may partially coalesce, but cannot intersect unless in different planes; similarly two volumes (say cubes) if in the same 3-space may partially coalesce but cannot intersect unless in different 3-spaces. In hyperspace we have the following possible intersections: A hypersolid and a 3-space intersect in a solid, two 3-spaces in a plane, three 3-spaces in a right line, four 3-spaces in a point, a 3-space and a plane in a right, line, a 3-space and a right line in a point, and two planes in a point. If the intersections are at an infinite distance the intersecting elements are said to be parallel, and if two 3-spaces are parallel all figures or volumes In one 3-space are at equal distances from
To a given right line at a given point one can erect in a plane but one perpendicular, while in a 3-space one can eret an infinite number of perpendiculars, forming together a perpendicular plane, and in hyperspace an infinite number of perpendicular planes forming together a 3-space perpendicular to the given right line. A 3-space can also be perpendicular to a plane or to another 3-space. Planes may be perpendicular in two ways, incompletely or completely perpendicular, according as they are in the same 3-space or not; in the latter case every right line of either plane is perpendicular to every right line of the other.
The position of a point in a plane may be determined by its distance from each of 2 perpendicular right lines; in our space, by its distance from each of 3 mutually perpendicular planes; and in hyperspace, by its distance from each of 4 mutually perpendicular 3-spaces. In hyperspace these distances are accordingly measured along 4 mutually perpendicular right lines, which, taken by twos, determine 6 mutually perpendicular planes; and, taken by threes, determine the above-mentioned 4 mutually perpendicular 3-spaces. Just as in our space it requires at least 3 points to determine a plane, so in hyperspace it requires at least 4 points to determine a 3-space. A 3-space may also be determined by 2 non-intersecting right lines or by a plane and one point not in it.
Just as portions of our space are bounded by surfaces, plane or curved, so portions of hyperspace are
While in our space there are but 5 regular polyhedrons (solids bounded by equal regular polygons), namely, the tetrahedron, cube, octahedron, dodecahedron, and icosahedron; in hyperspace there are 6 regular hyper-solids (cells), bounded by equal regular polyhedrons. These are C5 (bounded by 5 tetrahedrons), C8 (by 8 cubes), C16 (by 16 tetrahedrons), C24 (by 24 octahedrons), C120 (by 120 dodecahedrons), and C600 (by 600 tetrahedrons). All of them have been exhaustively studied by mathematicians, and models of their projections on our space have been constructed. Of these, C8 (or the hyper-cube) is the simplest, because, though with more bounding solids than C5, it is right-angled throughout, and therefore the standard form for measuring hyperspace. It is generated by a cube moving in the direction perpendicular to our space for a distance equal to one of its sides. In Fig. 1 where all dotted lines are supposed to be in hyperspace the initial cube is symbolically represented by A B C D
In Initial Cube. | Generated. | In Final Cube. | In Hypercube | |
Corners . . . . . . | 8 | .. | 8 | 16 |
Edges . . . . . . . | 12 | 8 | 12 | 32 |
Faces (squares) . . | 6 | 12 | 6 | 24 |
Cubes . . . . . . . | 1 | 6 | 1 | 8 |
Each corner is common to 4 mutually perpendicular edges, to 6 faces and to 4 cubes; each edge is common to 3 faces and 3 cubes; and each face is common to 2 cubes. Every cube therefore has one face in common with 6 of the 7 others. We must conceive of the hypercube as composed of cubes starting from squares parallel to the faces of the cube and of these cubes all that exist in our space are the parallel squares from which they start.
In a plane the only kind of rotation possible is that about a point, in 3-space rotation can take place about an axis line, and in hyperspace about an axis plane.
Two symmetrical plane figures such as the triangles A and B (Fig. 3) cannot be made to coincide by any movements in their plane, but by rotating one of them 180 deg. in the third dimension, it can be made to
Freedom of movement is greater in hyperspace than in our space. The degrees of freedom of a rigid body in our space are 6, namely, 3 translations along and 3 rotations about 3 axes, while the fixing of 3 of its points can prevent all movement. In hyperspace, however, with 3 of its points fixed it could still rotate about the plane passing through those points. A rigid body has 10 possible different movements in hyperspace, namely, 4 translations along 4 axes, and 6 rotations about 6 planes, while at least 4 of its points must be fixed to prevent all movement.
In hyperspace, a sphere if flexible could without
Has hyperspace a real physical existence? If so, our universe must have a small thickness in the fourth dimension, otherwise like the geometrical plane assumed to be without thickness, our world too would be a mere abstraction (as indeed some idealistic philosophers have maintained), that is, nothing but "a shadow cast by a more real four-dimensional world." The real existence of a slight extension in the fourth dimension would, moreover, simplify certain scientific theories. For instance, in our space 4 is the greatest number of points whose mutual distances, 6 in number, are all independent of each other; but in hyperspace the 10 distances between any 2 of 5 points are geometrically independent. If this greater freedom of position were permissible to atoms, it would help to explain such chemical phenomena as isomerism, where molecules of identical composition have different properties. Again, rotation in hyperspace would explain the change of a body producing a right-handed into one producing a left-handed polarization of light. Further, Prof. McKendrick said before the British Association: "It
Of what use then is the conception of hyperspace? For one thing, it gives a deeper insight into geometry. Thus, a circle considered merely as a one-dimensional aggregate of points has very few properties, while in a plane it has a center, radii, tangents, etc., and in 3-space has further numerous geometrical relations with the sphere, cone, etc. Similarly, the properties of any given line or surface increase in number when investigated in hyperspace. Also, just as it requires a 3-space to include certain one-dimensional aggregates (the helix, for instance), so in hyperspace hitherto unknown lines and surfaces become mathematically possible. Lower spaces are contained in higher (if curved, not necessarily the next higher); and just as the comprehension of plane geometry is enlarged by viewing plane figures in 3-space, so solid geometry is much illuminated by the geometry of hyperspace. Fields of mathematics hitherto inaccessible to geometry are now elucidated by geometrical representations. Finally, this conception effects a complete divorce between geometric space and real space, no longer considered necessarily identical and in other ways also enlarges our mental horizon.
The Fourth Dimension is an offshoot of the so-called "non-Euclidean" geometry, which has thrown so much light on the foundations of mathematics and on the nature of space.
For over 2,000 years Euclid was considered unassailable. His axioms were regarded as indisputable laws of real space, and his theorems as rigidly logical deductions therefrom. Neither view is correct. His axioms are metaphysical assumptions, and his theorems do not follow from them alone. The foundation of his method consists in establishing by superposition the congruence of lines, angles, plane figures, etc., and proof with him is thus merely a matter of constructive intuition. The axiom of "free mobility" (i. e., the possibility of moving figures in space without change of size or shape), which for instance does not hold on an egg-shaped surface but is essential to any system of geometrical measurement, is assumed by Euclid without being stated. (Hilbert discards proof by superposition, for motion itself needs a geometric foundation, and so cannot be a foundation for geometry.) Another of Euclid's tacit assumptions is that the straight line can be infinitely extended, which, true of Euclidean, is false of some non-Euclidean geometries (e. g. Riemann's).
Euclid proves that "if alternate angles are equal, then the lines are parallel," but of the converse propositions,
"If alternate angles are unequal, the lines meet."
"If the lines are parallel, alternate angles are equal" (either of which implies the other) he could prove neither, and hence assumed the first, his celebrated fifth postulate, without which he could not proceed, as it was needed to prove the early important theorem that the sum of the angles of a triangle is not less than two right angles. This postulate of parallels appeared to later mathematicians neither self-evident nor independent of the other axioms. Considered a flaw, fruitless efforts were made for centuries to prove it. Yet here Euclid is right; this axiom or some equivalent (e. g. two intersecting lines cannot both be parallel to the same line) is necessary to Euclidean geometry.
It was from endeavors to improve upon Euclid's theory of parallels that non-Euclidean geometry arose. If the fifth postulate is really involved in Euclid's other assumptions, its denial must lead to contradictions; but about 1830 the Russian Lobachevsky and the Hungarian Bolyai, independently of each other, showed that its denial led to a system of two-dimensional geometry as self-consistent as Euclid's. This new geometry is based on the assumption that through a given point a number of straight lines can be drawn parallel to a given straight line.
Euclid's proof that the sum of the three angles of a triangle is not greater than two right angles was still considered perfect until the German mathematician Riemann in 1854 showed that it must involve a fallacy, because no premises were used not as true of spherical as of plane triangles, yet the conclusion is
Thus we have three self-consistent geometries of two dimensions, inconsistent as a rule, however, with one another.
Let P C (Fig. 1) rotate counter-clockwise about P. Three different results are logically possible. When the rotating line ceases to intersect the fixed line on the right, either it will immediately intersect it on the left,
or it will continue to rotate for a time before intersection on the left occurs, or, lastly, it will intersect the fixed line on both sides for a period of time. The first possibility gives Euclid's, the second Lobachevsky's, and the third Riemann's geometry.
The straight line of one geometry is not the same as the straight line of another, but in all three geometries it is the shortest distance between two points. Such straightest lines are known as geodetic lines. Incidentally it may be mentioned that the ordinary straight line could not be drawn until recently except by means of a straight edge. This of course was equivalent to assuming it. A method of constructing it was not discovered
Defining space as "any unbounded continuum of geometric entities," the two non-Euclidean geometries, though logically on a par with the Euclidean, were considered inconsistent with reality until a space was known for which they held true. It was found, however, that Riemann's geometry is none other than that of a spherical surface (a two-dimensional space of constant positive curvature) provided arcs of great circles be taken as geodetic (straightest) lines. In 1868 the Italian Beltrami discovered a surface for which Lobachevsky's geometry held true, the so-called pseudospherical surface of infinite extent (a two-dimensional space of constant negative curvature). In our space only limited strips of the pseudo-sphere can be connectedly represented. It is a saddle-shaped surface (like the inner surface of a solid ring); and as the principal curvatures have their concavities turned in opposite ways, the curvature is negative. Euclid's geometry being true for the plane (a two-dimensional space of zero curvature), it will be seen that all three geometries require a space of constant curvature. On a pseudo-sphere the straightest line has two separate points at infinity, in a plane one, and on a sphere none.
Euclid's axiom that two straight lines -- or more generally two geodetic lines -- include no space, does not hold for geometry on the sphere. Euclid's fifth postulate, that two straight -- i. e. geodetic -- lines intersect when the sum of the interior angles is less than two right angles, does not hold for geometry on the pseudosphere. It can now be seen that Euclid's fifth postulate does not require nor admit of proof, because it embodies the definition of the kind of space to be dealt with (that of ordinary geometry).
Riemann also showed that there are logically three kinds of space of three dimensions, with properties analogous to the two-dimensional spaces mentioned. They are distinguished by a so-called measure of space curvature (purely analytical, not denoting curvature for sense perception). If this constant is zero, we have Euclidean space; if positive, we have spherical space; and if negative, we have pseudo-spherical space. In spherical space, straightest lines return upon themselves, and the back of our own head would be the ultimate background. Space would be unlimited but not infinitely great, and the sum of the angles of a triangle would exceed two right angles by an amount proportional to the area. In pseudo-spherical space straightest lines run to infinity as in Euclidean space, but the sum of the angles of a triangle is less than two right angles by an amount proportional to the area. In both spherical and pseudo-spherical space there are no similar figures of unequal size, for in each case the greater triangle must have different angles.
Lie proved that free motion can occur only in the above three spaces. There are other forms of non-Euclidean space which do not allow of free motion, called by Killing the Clifford-Klein spaces.
With three different self-consistent geometries of co-ordinate rank for the investigation of the properties of three-dimensional aggregates of points, it was natural to regard a space of any type as a locus in space of a higher dimension, and this led to the consideration of space of four dimensions, the properties of which, when of zero curvature, have been discussed in the main essay.
Euclidean space considered as a region of measureable quantities does not, as we have seen, correspond with the most general conception of an aggregate of three dimensions, but involves also special conditions. It is specially characterized by: 1, free mobility of rigid figures; 2, the single geodetic line between two points; 3, the existence of parallels; or by 1, free mobility; 2, postulate of similarity. Now these characteristics are not necessities of thought, and if they hold of real physical space, the fact must be determined by experience as in other empirical investigations, that is, by observation and experiment, for we cannot logically demand that the objective world must conform with our subjective intuitions.
It can never be proven, however, that our space is accurately Euclidean, for unavoidable errors of observation must always leave a slight margin in our measurements; and though within those limits our space is apparently Euclidean, this proves merely that the space constant is small, but not that it is zero. In spherical and pseudo-spherical triangles, the greater the area of the triangle the greater the difference of its angle sum from two right angles. But as even the interstellar triangles of parallax investigations are utterly insignificant compared with the dimensions of space itself, it must always remain an open question whether, if we
Real physical space cannot be said to be either Euclidean or non-Euclidean. Geometry therefore throws no light on the nature of real space. The study of real space is an empirical science, while geometry is a construction of pure thought, a branch of pure mathematics. Pure mathematics is a collection of hypothetical, deductive theories, each consisting of a definite system of primitive, undefined, concepts or symbols and primitive, unproved, but self-consistent assumptions (commonly called axioms) together with their logically deducible consequences following by rigidly deductive processes without appeal to intuition. Pure mathematics thus reveals itself as nothing but symbolic or formal logic. It is concerned with implications, not applications. On the other hand, natural science, which is empirical and ultimately dependent upon observation and experiment, and therefore incapable of absolute exactness, cannot become strictly mathematical. The certainty of geometry is thus merely the certainty with which conclusions follow from non-contradictory premises. As to whether these conclusions are true of the material world or not, pure mathematics is indifferent. As applied, geometry, in short, is not certain, but useful.
The fact that all pure mathematics, including geometry, is rigidly deductive, is in fact nothing but formal logic, has important philosophical bearings. It definitely
The fourth dimension has no real existence in the sense in which the external world that we know by
The word "dimension" is more readily explained than defined. All more or less clearly conceive of space as extending indefinitely or infinitely in every direction; and of extension in space there are three "dimensions" -- length, breadth, and thickness. Or, in another point of view, having three fixed points from which to reckon measurement, by three dimensions or measurements we can fix exactly the position of any point in space. Thus, if the three fixed points be the center of the earth, one of the poles, and some other point on the surface, as the location of the Royal Astronomical Observatory at Greenwich, the length of the line drawn from the center of the earth to the point in question in space, as a star, however remote, and the latitude and longitude of the point in which the line from the center intersects the surface, will be three dimensions, which fix exactly the position of the point in space, or of the star. Or again, starting from any point in space, we may reach any other point by proceeding successively in three directions at right angles with one another. Thus, moving from the starting point, first the proper distance east or west, then from the point arrived at the proper distance north or south, and finally the proper distance up or down, we reach the second point in question.
In all the ways in which the meaning of the word is thus illustrated we see that we can have no fewer and no more than three dimensions; but the believers in a fourth dimension infer its existence from analogy in one of the following deductive processes:
(1) Conceive, we are bidden, of a space of but one dimension. A being in such a space would be limited to a straight line, which he would conceive as extending
Conceive of a space of but two dimensions, like the flat surface of a table. Beings in such a space could move around one another, but one of them completely surrounded by others would be imprisoned by them. If, as before, the two-dimension space is within our space, and really depends on the limitation of the perceptive faculties of the beings in question, the imprisoned being could be lifted by a being in our space, and set down outside of the beings surrounding him. The latter would lose sight of him during this movement, and not understand how it had been effected.
From these suppositions of one-dimension space and two-dimension space, the inference is drawn that there may be a fourth dimension in our space, and that our ignorance of it arises only from the limitation of our perceptive faculties.
These suppositions, however, involve a fatal confusion of mathematical with physical conceptions. Mathematical lines and plane figures do not, like matter, occupy space, and they present no obstruction to the movements of one another. They may freely intersect, or pass through one another, or coincide wholly or in part with one another. If these supposititious beings in one-or two-dimensional space find any obstruction to
(2) The straight line, a one-dimension magnitude, ends in points; the square, a two-dimension magnitude, is bounded by straight lines, one-dimension magnitudes; the cube, a three-dimension magnitude, is bounded by squares, two-dimension magnitudes. It is inferred by analogy that three-dimension magnitudes bound four-dimension magnitudes, although the latter are not known to us. Thus the "four-dimensional cube" receives a name, the "tesseract," and is said to be bounded by cubes.
But there is no such analogy as is here assumed. All lines end in points, although some lines, like circular arcs, require two-dimensional space, and others, like a corkscrew curve, three-dimensional. Nor are all two-dimensional figures bounded by straight lines. The bounding lines of circles and ellipses, for example, require two-dimensional space, as much as the figures themselves. Still further, solids like spheres or egg-shaped bodies, are bounded by three-dimension surfaces. There is, therefore, no regular progression which would lead us to suppose the existence of magnitudes bounded by solids. In fact such a supposition is inconceivable. The only possible boundary of a solid is a surface, whatever be the number of the dimensions of space.
(3) In the series of the successive powers of a
To those who have some elementary knowledge of analytical geometry, or even of the use of graphs in algebra, the origin of the conception of spaces of higher order may be presented in a different way. As an equation containing two "variables" may be considered as representing the locus of a series of points in a plane, so an equation with three variables is the locus of points in space, referred to three rectangular axes. But since, as shown above, in explaining the word "dimension," three dimensions or co-ordinates fix definitely and exactly the position of a point, equations with more than three variables transcend the scope of our geometry, and require for analogous interpretation spaces of more than three dimensions.
There is no objection to the hypothesis of spaces of a "higher order" as a purely mathematical conception; but this abstract supposition has no bearing on the number of dimensions of actual space as we know it.
(4) If we connect by a straight line the vertex of an isosceles triangle with the middle point of the base. we have divided the triangle into two triangles which are plainly equal. If we were confined to the two-dimensional surface of which the triangles are a portion, we could never move them about so as to apply one to the other, and prove them equal by coincidence. Not
The four numbered sections above include virtually all the lines of thought along which the effort is made to substantiate the existence of a fourth dimension. Metaphysical considerations are sometimes added of the uncertainty and possible inaccuracy of our conception of space, but with no suggestion for correcting this inaccuracy, and no argument for the belief in a fourth dimension. Admit that the mind must itself contribute an a priori element to all knowledge, and that the truth of things is not limited by the phenomenal apprehension of them; it does not follow that this apprehension is to be assumed without demonstration
The theory of spaces of a higher order, as developed in section (3) above, is entirely legitimate as an abstract mathematical conception, but furnishes no basis for the supposition of a fourth dimension in our space. It virtually assumes space as we know it to be three-dimensional; yet from a suggestion arising from this theory apparently (for no other origin for the assumption is to be found) the four-dimensionists have made space as we know it a space of the highest order; for the same analogies and inferences on which they depend would lead us to a fifth, a sixth, an nth dimension. A fourth dimension belongs (or rather four dimensions belong) to the theoretical four-dimension space; but mathematics furnishes no basis for ascribing to our space more or fewer than three dimensions.
The confusion of thought of the four-dimensionists characterizes their writings on the subject. The most thorough-going devotee of the fourth dimension asserts: "There is nothing mysterious at all about it. . . . From every particle of matter there is a new direction, not connected with any of those which we know, but independent of all the paths we can draw in space, and at right angles to them all." It would seem indisputable that a direction at right angles with all the paths or lines that we can draw in space from
The attempted analogies described in section (1) above, are those on which the four-dimensionists chiefly depend, and they rely upon them to show that a fourth dimension would explain how a body may become invisible. They assert that a body would disappear on "entering the fourth dimension." This expression is manifestly unintelligible. Every body extends constantly in all the dimensions of space; we cannot think of it as "entering the dimension" of length, breadth, or thickness, or of "entering the fourth dimension," if there were one. But the disappearances produced as in section (1) depend wholly on removal from the limited perceptive faculties of the supposed observers; but our normal perceptions are unrestricted in direction, and extend to every point in space, unless cut off by distance or by an interposed physical obstruction. If all the particles of a body moved in the "new direction" of the imaginary fourth dimension, the body would still retain its length, breadth, and thickness, and would still remain within the range of our perceptions.
The assertion is made on the authority of eminent mathematicians, that in space of four dimensions there would be no obstruction to entering or emerging from space shut in on every side, as a tightly shut box or room, and "the fourth dimension" is relied upon to explain supposed mysterious occurrences of such entrance or emergence. The modification of physical laws in spaces of a higher order, those of unusual mathematical ability alone can be expected to understand,
It may be said in conclusion, that the only "explanation of the fourth dimension" that can reasonably be given, is to say that, in the sense in which the expression is used, the fourth dimension is absolutely non-existent. It could have meaning only to designate the dimension, in addition to the three that we know, belonging to the imaginary mathematical hypothesis of four-dimension space. The "fourth dimension" has no relation to the actual universe in which our sensations and perceptions are exercised, and belongs to that realm of thought to be entered only by the select few, whose exceptional genius includes the development of the mathematical imagination.
[1] First Honorably Mentioned Essay. -- This author is attacking arguments offered in proof of the existence of a space of four dimensions. Writers enthusiastic on the subject have given us details of the four dimensional geometry and have tried to explain certain real or alleged phenomena by theories based on this geometry, But the possibility of constructing a consistent system does not prove its existence and we may very well say in answer to these writers that no experience has justified a belief in such existence and that no well-authenticated facts are explained by these theories any more satisfactorily than by other theories. Some details, however, have been slightly misunderstood by the author, or by the four-dimensional writers whom he is answering, and his essay ought not to go out as an explanation of the fourth dimension without a correction of his statements on these points.
He refers first to analogies drawn from the suppositions of a space of one dimension and a space of two dimensions and our relation to the inhabitants of such spaces. The analogies derived from line and plane geometries and the relation of geometry of three dimensions to these geometries are very useful in helping us form a conception of the four-dimensional geometry. We may even apply these processes to physical conceptions and think of two-dimensional and four-dimensional matter with a two-dimensional and a four dimensional physics. Thus two-dimensional matter in a two dimensional space might be impenetrable, one portion furnishing obstruction to the movements of another portion, While these suppositions may "furnish no basis for belief in a fourth dimension," we should not say that they "involve a fatal confusion of mathematical with physical conceptions." The question of the existence or non-existence of such matter is a question of experimental physics rather than a question of possible physical conceptions,
In speaking of lines, squares, and cubes and their boundaries. and of the analogy by which we derive a conception of magnitudes in space of four dimensions bounded by solids, he says that there is no such analogy; for "the only possible boundary of a solid is a surface, whatever be the number of the dimensions of space." Apparently, he supposes that the magnitudes which are bounded by solids are themselves solids, whereas they are portions of the space of four dimensions. Lines are one-dimensional, surfaces are two-dimensional, and solids are three dimensional, whatever the number of dimensions of space. This certainly gives us a "regular progression," leading, however, to something which is not a solid any more than a solid is a surface. We can think and reason about these figures although we may not be able to form any picture of them in our imagination.
Some writers have stated that a right glove turned into a left glove by rotation in space of four dimensions is turned inside out. This is not true and, of course, it cannot be explained, but the change from right to left produced by a simple rotation is easily explained, and indeed it is exactly analogous to the case of symmetrical triangles in a plane. This matter is discussed quite fully in the Introduction (p. 28).
If the space of our perceptions did lie within a space of four dimensions then there would be a "new direction, not connected with any of those which we know, but at right angles to them all." Each direction which we know is at right angles to other directions which we know, but it does not follow that the new direction must coincide with them all or with any of them. We may "not need to be convinced that there is no such direction," but there is no confusion of thought in describing this direction.
Nor does the expression "entering the fourth dimension" seem to be "manifestly unintelligible," even if some slightly different phrase were better. If there were a "new direction" which we could not perceive, then our perceptions would not be unrestricted in direction. A body moving off in this direction would indeed "retain its length, breadth, and thickness," but would not remain within the range of our perceptions.
There is no question of the possibility in space of four dimensions of entering or passing out of what we call a tightly shut box or room, or of removing the contents of an egg without disturbing the shell (see foot-note p. 23). It is in this new direction that the walls of the room and the shell of the egg are supposed not to extend, and if such a direction did exist these movements would be possible without any modification of physical laws.
The space of our sensations and perceptions is only three-dimensional but there is nowhere any contradiction in the Geometry of Four Dimensions nor anything that is impossible, -- H. P. M.
The schoolboy early becomes familiar with linear measure, square measure, and solid or cubic measure. He understands them respectively as "the measurement of lengths," "the measurement of surface which depends on length and breadth taken conjointly," and "the measurement of volume which depends on length, breadth, and height all taken together." The first involves one dimension, length; the second, two mutually
perpendicular dimensions, length and breadth, multiplied together; and the third, three dimensions, each perpendicular to the other two -- length, breadth and height, all multiplied together. Let the units of these three kinds of measure (e. g., foot, square foot, and cubic foot) be represented by a line AB, a square AB CD with that line as side, and a cube ABCD-G with that line as edge and that square as base (Fig. 1).
Man can make no motion which cannot be resolved into a combination of three mutually perpendicular directions; he can reach no place which cannot be reached by going north or south, east or west, and upward or downward; he can find no point in a room which cannot be found by moving in the direction of the length, breadth, and height of the room. Sight reveals two dimensions directly, the breadth and the height of the object beheld, while the third dimension, the distance of the object, is estimated by means of the muscular turning of the eyes to focus them on it. No sense calls for a fourth direction, perpendicular to the other three; in fact, all of man's experience leaves him satisfied with three dimensions.
Leaving experience behind and reasoning wholly from analogy, the fourth dimension is introduced as follows: Four-dimensional measure depends on length, breadth, height, and a fourth dimension, all multiplied together. It involves four linear dimensions, each
The square ABCD (Fig. 1) is derived from the line AB by letting AB with its M points move through a distance of one foot in a direction perpendicular to the one dimension of AB; every point of AB in this motion describes a line, and ABCD contains, therefore, M lines, as well as M˛ points. The cube ABCD-G is derived from the square ABCD by letting ABCD move one foot in a direction perpendicular to its two dimensions; its M lines and M˛ points describe respectively M squares and M˛ lines; accordingly ABCD-G contains M squares, M˛ lines, and Mł points. Similarly, the four-dimensional unit is derived from the cube ABCD-G by letting that cube move one foot in a direction perpendicular to each of its three dimensions, i. e., in the direction of the fourth dimension; its M squares, M˛ lines, and Mł points describe respectively M cubes, M˛ squares, and Mł lines; accordingly the four-dimensional unit contains M cubes, M˛ squares, Mł lines, and M4 points. Considering the boundaries of the units, AB has two bounding points, ABCD has four, ABCD-G has eight -- four each from the initial and the final positions of the moving square and the four-dimensional unit has 16 -- eight each from the initial and the final positions of the moving cube. Of bounding lines, AB has one (or is itself one), ABCD has four, ABCD-G has twelve --
If the bounding lines of the square ABCD are supposed to be made of a continuous wire and that wire is cut at D, the boundary may then be folded down into line with AB, forming a one-dimensional figure (Fig. 2) of four linear units. The original linear
unit AB has one linear unit at either side of it and an extra one, CD beyond on one side. If the cube ABCD-G has its bounding squares supposedly made of a continuous sheet of tin and that sheet is cut along the lines EF, GH, HE, AE, BF, CG, and DH, the square faces can be folded down to form a two-dimensional
four-dimensional unit has its bounding cubes made of connected solid wood and this wood is cut through the appropriate planes, the cubes can be folded down to form, by analogy, a three-dimensional figure of eight cubes. The cube ABCD-G has a cube at each side of it and an extra one beyond on one side (Fig. 4). These eight cubes, now forming a three-dimensional figure, constituted the boundary of the four-dimensional unit.
The following table shows the results obtained for the contents and the boundaries of the four units considered:
Points. | Lines. | Squares. | Cubes. | |
One-dimensional unit | M | 1 | 0 | 0 |
Two-dimensional unit | M˛ | M | 1 | 0 |
Three-dimensional unit | Mł | M˛ | M | 1 |
Four-dimensional unit | M4 | Mł | M˛ | M |
Points. | Lines. | Squares. | Cubes. | |
One-dimensional unit | 1 | 1 | 0 | 0 |
Two-dimensional unit | 4 | 4 | 1 | 0 |
Three-dimensional unit | 8 | 12 | 6 | 1 |
Four-dimensional unit | 16 | 32 | 24 | 8 |
The reasoning used is capable of extension at once to units of five, or even more, dimensions.
If the one-dimensional unit is extended indefinitely to the right beyond B and to the left beyond A so that its length becomes greater than any number one can name, it represents a one-dimensional space. Similarly, the indefinitely great extension, equally in every dimension, of the other units gives a representation respectively of two-dimensional, three-dimensional, and four-dimensional spaces.
The one-dimensional unit is separated from the rest of the one-dimensional space in which it lies by two points, the two-dimensional unit from the rest of its two-dimensional space by four lines, the three-dimensional unit from the rest of its space by six squares, and, similarly, the four-dimensional unit is separated from the rest of the four-dimensional space in which it lies by eight cubes. To inclose an object of any number of dimensions in space of the same number of dimensions demands, in one-dimensional space, two points, in two-dimensional space, at least three lines, in three-dimensional space, at least four planes, and, in four-dimensional space, at least five three-dimensional spaces.
As with the units, so with the spaces, any point can be reached from any other in the same space by moving
Time represents a one-dimensional space; for it proceeds in one direction only from an indefinitely remote past to an indefinitely distant future (Fig. 5).
The present is a point traveling through time (or allowing time to slip past it) with uniform velocity; and any point in time can be reached by traveling through a definite distance (in years, months, etc.) from one chosen fixed point (e. g., the birth of Christ).
Any portion of the earth's surface, regarded as a plane, represents a portion of a two-dimensional space; and the two fixed directions are those of latitude and longitude. An illustration of three-dimensional space is that space to man's perception -- in which the universe is placed. Man can find no illustration of a four-dimensional space.
If two lines, AB and B'A', in the same one-dimensional space are symmetrical about a point O of that space (Fig. 6), AB cannot be so moved in that space that the corresponding points shall coincide (A with A', B with B', etc.). To effect such coincidence, it is necessary to rotate AB through two-dimensional space about O as a center; or, roughly speaking, AB
of corresponding points and lines can be effected only by rotating one triangle through three-dimensional space about the line of symmetry; or, roughly speaking, one triangle must be taken up into three-dimensional space, turned over, and put down on the other. Again, if two polyhedral figures in the same three-dimensional space are symmetrical with respect to a plane (Fig. 8), coincidence of corresponding points, lines, and planes can be effected only by rotating
The inability of man to locate the fourth dimension or to detect the existence of a four-dimensional space, even if it be close at hand, is comparable with the inability of a two-dimensional man, inhabiting a two-dimensional space, to locate the third dimension or to detect the existence of three-dimensional space, even though his own space might be part of it, as a plane is part of a solid. Suppose the two-dimensional space represented by this page to be inhabited by two-dimensional beings. They have length and breadth, can move in those two dimensions, and are supposedly conscious of them. They have no thickness, cannot rise from the paper or sink beneath it, and are unconscious of any dimension in such a direction; they have no "upward" and no "downward." Let them have intelligence concerning all within their space to the extent that man is intelligent regarding his universe; let them possess houses and barns, and in general let their life be as rich as may be. Their houses and barns will have no roofs and no floors, for the bounds of the space itself alone are there. Three lines are sufficient to inclose any object in their world, and the flat-man himself is exposed
Were one to explain to this flat-man that a three-dimensional being, approaching from the direction of that unknown third dimension, could reach within his most securely locked barn and remove its contents without opening a door or breaking a wall -- or could touch the very heart of the flat-man himself without piercing his skin -- the flat-man might still be none the nearer to an appreciation of the third dimension. Equally impossible is it for man to understand from what direction a four-dimensional robber must come to steal the treasures from the soundest vault without opening or breaking it -- or by what way of approach the four-dimensional physician would reach to touch the inmost spot of the human heart without piercing the skin of the body or the wall of the heart; yet the route of such a robber and of such a physician lies along the fourth dimension. By that route must come the four-dimensional being who is to remove the contents of the egg without puncturing the shell or
Algebra demands that geometry picture all its problems; and since an algebraic problem may contain four or five or more unknown quantities quite as well as any lesser number, algebra demands a four-dimensional, five-dimensional, or higher space for its use quite as imperatively as the spaces of lower dimensions. Perhaps certain phenomena of molecular physics or the mechanical principles of the electric current may find a complete explanation only with the use of the fourth dimension. Perhaps the fourth dimension escapes man's discovery only because the measurements in its direction are always very minute in comparison with the measurements in the three other dimensions. Thus far, however, the space of four dimensions -- and all spaces of more dimensions -- may be only "the fictitious geometric representation of an algebraic identity."
A colony of bees housed in a hive with glass walls so that their every movement can be observed affords a very instructive lesson in natural history. Such a glass hive may also serve as a helpful illustration in a consideration of the fourth dimension. Let us imagine a hive with its floor and roof of horizontal glass plates brought so close together that there is barely room for the bees to move about between them, and, for the purpose of our illustration, let us endow the bees with the intelligence of men. To these bees, so confined, forward and backward, right and left, would be familiar ideas and their world would be one of two dimensions only. Debarred from upward and downward movement by the closeness of the glass plates, the words "up" and "down" would be meaningless to them because there would be no experience upon which to base these ideas. Imperfect as is the illustration, it suggests the conception of a world of only two dimensions, length and breadth.
Plane geometry is a science which deals with such figures as triangles, squares, and circles. It is interesting to know that it originated in Egypt where it was developed to facilitate the measurement of land.
The bees in the glass hive could move around a square, could make triangles and circles, and to them plane geometry would be a practical science; but with their ignorance of an up-and-down direction, a cube or sphere would be inconceivable, and a third dimension would appear to them as absurd and unthinkable as a fourth dimension does to us. Suppose we lay two pencils on the table so as to cross one another at a right angle and then hold a third pencil so as to form right angles with the other two. While this is obviously a possible thing for us to do, it would be impossible for the bees with their ignorance of the dimension of height. They could, of course, have two slender pencils in their hive at a right angle to one another, but they could not have a third pencil at right angles to both of the first two. We may look upon the two pencils as representing the two dimensions of the world of the bees, and the three pencils as representing the three dimensions of our world. Suppose, further, that some one tells us to hold a fourth pencil at right angles with the other three. In our field of experience we can find no place for it, just as the bees could find no place in their field of experience for the third pencil. This fourth pencil represents the so-called fourth dimension. Although it is impossible for us to place it, the illustration of the relation of the bees to the third pencil or dimension teaches us that the limitations of experience
It is a matter of pure speculation as to whether there is such a thing as a fourth dimension, whether there are beings of intelligence to whom phenomena are manifested in the form of four dimensions. It is by no means the attitude of mathematicians instantly to recoil from the suggestion, but they are pleased to go ahead and study as accurately as possible under the necessary limitations what may be the properties of a space of four dimensions, if there is any such thing. The fundamental guiding principle of their investigation is this: Whatever they find to be the relations of geometry of two dimensions to geometry of three dimensions, they assume that there are similar or analogous relations between geometry of three dimensions and geometry of four dimensions. As the circle is to the sphere, so is the sphere to some unknown body, which may have its existence in space of four dimensions. As the square is to the cube so is the cube to a figure in space of four dimensions which we may call the "cuboid."
Of course the fourth dimension is intangible. Mathematicians do not ask us to imagine a fourth dimension, much less do they ask us to believe in it. It is not to be supposed that the most skilled student in this subject has a mental picture of four-dimensional space. Nevertheless, the properties and relations of figures existing in four-dimensional space may be investigated and stated.
Algebra is the science of numbers. It is a very efficient aid in the study of geometry. Algebra deals largely with equations such as x y=12, which means that x and y are two variable numbers that multiplied
Without going into detail, it may be stated that one equation with two variable numbers represents a plane figure, thus x˛ + y˛=15 represents a circle. One equation with three variable numbers represents a figure in space, thus x˛ + y˛-z˛=0 represents a cone. What does one equation with four variable numbers represent, say, for example, x˛ + y˛ + z˛ + w˛=20? By analogy, we should say a figure in space of four dimensions. Although we cannot imagine such a thing, we can pursue our analogies and study this unreal figure by means of its equation, and thus we can deduce many of its properties. The difference is simply this: whereas, when we study the equation of a cone, we can always turn to the real cone and interpret our results thereon, when we study an equation of a four-dimensional figure we have to be satisfied without such an interpretation. In other words, although our geometry halts with three dimensions
We will now outline briefly a way in which algebra may help to give a person some faint notion of a figure having four dimensions. It is somewhat common to study a figure having three dimensions by means of equally spaced parallel sections thereof. For example, if the microscopist wants to study the shape and structure of a germ cell, he slices off exceedingly thin sections and arranges them in succession on a glass slide. Then by looking at these sections in succession he can form an idea of the solid structure of the germ cell. Mathematicians have rules by which such sections of a solid figure may be constructed by means of equations. They start with an equation which represents a solid body, for example, x˛ + y˛ + z˛=9 representing a sphere, and they perform certain operations by which they get a series of resulting equations that represent the successive sections of the solid body. It remains, then, merely to draw pictures of the sections from the data afforded by the resulting equations. By looking at all these pictures, a person may get a fair idea of the shape of the original solid. In the case of a sphere the sections are circles of varying size. As we have already stated, an equation having four variable numbers, should by analogy represent a figure in space of four dimensions. Suppose we have such an equation, as x˛ + y˛ + z˛ + w˛ = 20. We can apply the same rules and perform the same operations to get sections of the figure represented by this equation. Curiously but consistently, these sections come out as solid figures. From the data afforded by the resulting equations, the mathematician
Thus we see how the fourth dimension may be studied by means of the equations which algebra furnishes. There is another bolder way. We have seen that we can hold three pencils so that each one of them will make a right angle with each of the others. Instead of saying that it is absurd to suppose that a fourth pencil can be held in a position so as to form right angles with each of the first three pencils, let us assume that it can be done. Without any further assumptions a complete geometry of four dimensions can be built up by pure reasoning. Many of its conclusions are no more obvious to the senses than is the fundamental assumption with which it starts. Still that is the only assumption; all else may be deduced from that one assumption and from the principles of our well-known plane and solid geometry.
An illustration of a special method in the study of space of four dimensions may serve to show how mathematicians reason about such things without being able actually to imagine them. We proceed by ascertaining the relations between two dimensions and three dimensions, and then establishing these relations by analogy between three dimensions and four dimensions. Suppose we have a glass cube resting on the table before us and we close one eye and look straight down upon it with the open eye. Its appearance
thought of three dimensions. The bees in the glass hive could draw such a figure as the one here on the paper before us. Nevertheless, on this figure many of the properties of the cube can be studied. By counting the four-sided figures (ABCD, EFGH, AEFB, BFGC, CGHD, DHEA), which we find to be six, we learn how many faces the cube has. By counting the corner points, which are eight, we learn how many
can get a three-dimensional figure which shall represent the four-dimensional figure which we call the cuboid? Just as we drew a smaller square inside of a larger one, so we should think of a smaller cube inside of a larger cube, and just as we drew lines joining the corresponding corners in the case of the squares, so we should make planes joining corresponding edges in the case of the cubes. The figure
What is the use of such generalities, abstractions and speculations? About the same as to know whether the earth goes around the sun or the sun goes around the earth. Space is as properly an object of scientific study as are planets or geological strata. Moreover, the study of these fundamental things in geometry throws light on the nature of our own mental equipment. We learn better what is the nature of reasoning processes and how knowledge is built up from simpler and more fundamental elements. Such speculations sometimes lead to very useful results.
If you hold 5 marbles in your hand and are told to take away 8 of them, this suggestion seems as unthinkable as the suggestion of a fourth dimension. But when men chose to represent by-3 the result of
The assumption of a fourth dimension has not as yet led to any noteworthy useful results, but it is by no means impossible that the science of four-dimensional geometry may come to have useful applications. It has been suggested by Prof. Karl Pearson that an atom may be a place where ether is flowing into our space from a space of four dimensions. It can be shown mathematically that this would explain many of the phenomena of matter. At the present stage, the suggestion is regarded, even by its author, as merely fanciful, though it is not as fanciful as the proposition of the German spiritualists who regard the fourth dimension as the abode of their disembodied spirits.
The baffling thing about speculation concerning the fourth dimension of space lies in the fact that we must reshape our very idea of space. We naturally think of space as the box which contains all the furniture of consciousness, and in altering our conception of it, as it is necessary to alter it in postulating an additional dimension, we are dealing, not with the contents, but with the box.
Let us think, not of space, but of spaces, differentiated from one another by their dimensionality and designated in terms of it, so that the greater the number of its dimensions the "higher" will be the space. Let us think of each higher space as generated from the one next below it, and as having the properties and dimensionalities of all spaces lower than itself patent, and higher than itself, latent.
Our space has three dimensions, and within it are given the conceptions of point and line, line and plane, plane and solid. These involve the relation of our space to higher space, and of lower space to our own.
One segment of a straight line is separated from another by a point, and the straight line itself can be generated by the motion of a point. One portion of a plane (2 space) is separated from another by a straight line, and the plane itself can be generated by the movement of the straight line in a direction not contained within itself. Again, two portions of a solid
In the generation of the plane by the line, and the solid by the plane, the "direction not contained within itself" is inevitably a direction at right angles to the line and to every line of the plane. Hence, a movement in the fourth dimension is a movement in an unknown direction at right angles to every known direction embraced within three-dimensional space.
Proceeding now from general to particular, let us endeavor to form some idea of the simplest symmetrical four-dimensional solid -- a tesseract -- corresponding with a square in 2 space and a cube in 3 space.
In 2 space a square surrounded by four other squares, one on each of its four lines, would be completely bounded and inclosed; but if this same square, together with its surrounding squares, moved in a direction at right angles to its surface (i. e., out of 2 space into 3 space) a distance equal to the length of one of its sides, it would trace out a cube bounded by four other cubes. To inclose it completely in 3 space it would be necessary to add two more bounding cubes, the first to that face which coincides with the square in its first position, and the second with the square in its final position, i. e., in the positive and negative ways of the third dimension. The cube would then
In this manner it is established that a tesseract is completely inclosed by eight similar tesseracts; and because the faces of a tesseract are cubes, a tesseract is bounded by eight equal cubes.
Now just as the cube has squares, lines, and points as elements, so the tesseract has cubes, squares, lines, and points as elements. Let us examine these.
In the movement of a cube, which consists of six squares, twelve lines, eight points, into 4 space, the six squares would give six squares in their initial, and six in their final position; and each of the twelve lines of the cube would trace out a square. Hence, a tesseract is bounded by twenty-four equal squares (6 + 6 + 12), and further analysis by means of models or diagrams reveals the fact that each is a meeting surface of two of the cubic sides.
The twelve lines of the cube, in its movement into 4 space, give twelve lines of the tesseract in their initial, and twelve in their final position, while each of the eight points traces out a line. Hence, a tesseract is bounded by thirty-two lines (12 + 12 + 8), and further analysis by means of models or diagrams reveals the fact that each is common to three cubes or to three square faces.
The eight points of a cube, in its movement into 4 space, give eight points in their initial, and eight in their final position. Hence, a tesseract has sixteen points (8 + 8), and further analysis shows that each is common to six square faces and to four cubes.
Although by these means it is possible to form a conception of the elements and projections of a tesseract in our space, and even to depict them graphically by a series of related diagrams, the intellect fails in its effort to co-ordinate these into one figure, that is, to picture the tesseract itself. The chief difficulty lies in the fact that it is next to impossible to think of a cube, a solid of our space, as a mere boundary -- one of the sides of a higher solid. A study of the corresponding predicament as presented to 2 space consciousness will be of assistance here.
In a hypothetical plane-world, to a hypothetical plane-being, endowed with a body and a mind like our own, but minus the power of movement in the third dimension and, therefore, minus the consciousness of it, a square would be a solid body, being completely enclosed by boundaries, in the form of lines, through which he can neither see nor pass. The essential insubstantiality of such a body and its property, known to us, of being one of the boundaries of a solid in our space, would seem to him no less a paradox than the
A rotation in 2 space takes place about a point; in 3 space about a line; hence, by analogy, a rotation in four dimensions takes place about a plane.
In 2 space, right-handed and left-handed similar right-angled triangles could never be made to coincide by any motion proper to that space, but their perfect coincidence could be effected easily by the rotation of one of them in the third dimension, about the line of one of its sides. So, in our space, corresponding right and left-handed solids of the same elements and equal volume, like the right and left hands, for instance, could be made to coincide by the rotation of one of them about a plane. The mirror image of a solid represents the solid after such a rotation.
The number and the variety of deductions concerning 4 space which can be made from simple premises of the above order is almost infinite, but a sufficient number of examples have been given to explain the what and how of 4 space. Where is it?
Go back to our first definition: Space is that which separates two portions of higher space from each other. Conceive of 2 space therefore as a vertical
Exactly analogous suppositions must be formed by us with regard to 4 space, namely: that our space separates two portions of higher space from each other; that in the infinitely minute of our world there is extension. and the power of motion in the fourth dimension; that there is a direction toward which we can never point extending from every point of our space, and that we "slip along" this invisible wall of higher space which we must give up any attempt to picture in relation to ours just as a plane being would have to give up any attempt to picture the plane at right angles to his plane.
Kant imagined that space might contain more than three dimensions. He even infers their "very probable real existence." Gauss and the non-Euclidean geometers have established a distinction between laws of space and laws of matter which clears the way for a conception of space of any dimensionality. To such a conception mathematics lends itself in a truly remarkable manner. It is reasonable to suppose that the fourth power of a number should have its spatial equivalent, just as a square is the spatial equivalent of its second power, and a cube of its third. Moreover, it is just as possible to deal with four dimensions arithmetically as with three and by analogous operations, and the shapes, movements, and mechanics of simple four-dimensional solids can be made intelligible to the understanding -- in other words, the mind finds itself still at home in regions where the senses do not operate.
The fact that we can apprehend but three dimensions does not disprove the existence of a fourth, and for the following reason. All our strictly sense impressions are two-dimensional, for we can see and contact only surfaces. Touch teaches that an object retains the same form and extension through all the variations of distance and position under which it is observed, notwithstanding that the form and extension of the image on the retina change constantly with the variation in position and distance of the object in respect to the eye. The reconciliation of the apparently contradictory facts of the invariableness of the object and the variableness of its appearance is only possible in a space of three dimensions, in which, owing to perspective distortions and changes, these variations of projection can be reconciled with the consistency of the form of a body. Consequently we come to the idea of the third dimension by an intellectual process in order to overcome the apparent inconsistency of facts of the existence of which our experience daily convinces us. This being so, the moment we observe in three-dimensional space contradictory facts, our reason would at once be forced to reconcile these contradictions, and in that attempt a conception of a fourth dimension of space -- if it reconciled the contradiction -- would arise. Furthermore, if from our childhood phenomena had been of daily occurrence, requiring a space of four dimensions for their proper understanding, we would naturally grow up with the conception of a space of four dimensions. It follows that the real existence of 4 space can only be decided by an observation of facts.
Are there any facts? Many phenomena classed as "occult," clairvoyance, apparition at a distance, the
A ship in a canal could be located at any given time by a knowledge of its distance from some town, since its motion from that town has been restricted to one direction. When space is of such a nature that a point in it may be located by one measurement from some fixed or standard point, that space is said to be linear or one-dimensional.
The same boat on the ocean, however, could not be located unless two measurements were given -- its latitude and longitude. The nature of such space is defined by the words "surface" or "two-dimensional area."
If, now, our vessel were converted into an airship or a submarine, we should be obliged to add to our other data its distance above or below the sea level in order to place it accurately. With three basic elements (in our illustration; the equator, the prime meridian, and the sea level) and with three known distances from these elements, we can locate any point that comes within our consciousness, whether above, on, or below the surface of the earth. Any additional measurements would be either superfluous or misleading. Hence we say that our space is three-dimensional.
In this discussion it will be necessary for us to use graphic representations of changes in one-dimensional, two-dimensional, and three-dimensional space, and for
The rising and falling of the mercury is a one-dimensional movement. If we wish to keep an automatic record of the temperature during a given period, it would be an easy matter to pass a strip of photographic paper behind a thermometer, and allow the sun or some artificial light to darken the part above the mercury. If this paper were kept stationery, the only record we could obtain would be that of the minimum height of the mercury. Therefore, some movement of the strip is necessary. If this motion were to be in the length direction of the thermometer, every part of the paper would be exposed to the action of the light, and no record at all would be obtained. We could obviate this trouble, however, by covering the strip while it moved through a distance equal to the length of the thermometer, then exposing it for a short time, and then again moving it. Thus, without involving a second dimension, we would get a permanent record of various successive heights of the mercury. These pictures would be intermittent, and we would miss the changes that took place while the picture film was moving. In order to get a complete and continuous chart of the changes, we must move the paper in a direction other than that of the length of the thermometer. In short, we are forced to introduce a second dimension. The strip may be moved by clock work, and then we would have a two-dimensional chart, from which we could determine the temperature at any required time, the horizontal measurement
It is not difficult to imagine a being whose percepts are confined to a linear representation of objects; for instance, a man whose sense of touch is paralyzed and whose eye is covered by a cataract in which a vertical slit has been successfully cut. Better yet, we may conceive of one whose retina itself is merely a line instead of a spherical surface. He could not imagine such a thing as an angle, and it would be as hard to explain parallel lines to him as to describe color to a man born blind. He could see the changes in the height of the mercury just as well as we, but a triangle passed before his line of vision would present the same sort of picture, viz., a line increasing in length; and there would be no way of convincing him of the simultaneous existence of all its parallel elements, which to us is a very simple concept. He could, however, picture from his memory, and re-produce, two or more lines which represent the height of the mercury at different times, but they would all lie in his one-dimensional consciousness as separate pictures.
His knowledge of a growing tree would be confined to a line with various colored parts which change, both as the tree grows and as he moves his line of vision, but the most complex of these changes could be reproduced by a picture on a plane surface, slowly passed before his eye. In brief, such a being could
When we come to consider changes in two dimensions, such, for instance, as are caused by the motion of the arms of a semaphore, how are we to represent them. A series of photographs might be taken in rapid succession, and if these were placed behind each other, a solid would be formed of which we might say each picture was a cross section. A book made up of these; pictures in their order is such a solid, and the little pocket mutoscope exactly satisfies this description. If its pages are rapidly turned, the successive sections are presented to our sight, and we apparently see the arms-of the semaphore changing their position. The kinetoscope with its two-dimensional strip and its shutter does the same thing more steadily, and presents the illusion of motion in a two-dimensional area even better than the little hand mutoscope. The pictures taken by the mutograph are really always two-dimensional; it is only our experience in shadow and perspective which gives us the illusion of motion in three dimensions when the ordinary "moving picture" is thrown on the screen. If we left the camera film unmoved while the semaphore was moving, only a picture of the stationary parts would be taken, the rest would be a blur. Hence we must move our picture film.
If we move it continuously, no record of any position of the semaphore will be taken. Here again we must obviate the difficulty by shutting out the light while the film moves over a distance equal to the size of the picture it is to take, then exposing it, and then covering it again. But no matter how quickly the camera shutter is snapped, the representations of the
If an imaginary being with a two-dimensional sense, an "Inhabitant of Flat-Land," were to have this solid passed through his plane, he would see reproduced the continuous motion of the semaphore arms. Like our slit-eyed friend, the "Line-lander," and for analogous reasons, he could not conceive the simultaneous existence of all these cross sections. But by using his memory, he could reproduce some of them as separate pictures in his two-dimensional world -- such pictures, perhaps, as we have in our kinetoscope film.
If a small quantity of yeast were allowed to ferment between the slide and cover glass of a microscope, we should have under our observation the growth of an object in practically two dimensions. Now, its phases at very small intervals could be photographed, but the same conditions that met us in the case of the semaphore, face us again. The only way to represent all the changes that take place would involve the tracing of each point from one position to another. This would produce a line; and since two dimensions are required to present all the points in their relative positions at any given time, this line, in order not to he obscured, must extend beyond the two-dimensional space in which the growth takes place. We must, therefore, create a solid, whose successive sections would be recognized by the two-dimensional mind as the growth of the object which was passing through the plane of their consciousness.
In our previous illustrations we were able by the use of two-dimensional space to fix permanently variations of position and magnitude of a one-dimensional object, and in three-dimensional space we were able to fix permanently the changes of an object moving or growing in two dimensions.
Coming now to the phenomena of our every-day world, we know that changes in position and growth take place continuously in our three-dimensional space, and that the time element is necessary to determine exactly the conditions of any variable or movable thing. Thus the description of a tree would give an entirely false impression, if only its dimensions were given without adding the particular time when these were taken; and the position of a planet would be incompletely given, unless the time of observation were
If we could only picture to ourselves that a three-dimensional object is merely the cross section of a permanent four dimensional thing, that what we are cognizant of is merely a phase of a thing which exists in its entirety, and of whose other phases we are ignorant, till they are brought to our own consciousness or till our consciousness reaches them, then we could conceive the physical nature of a four-dimensional object. Considering, for instance, our own material bodies, we are conscious of a gradual change of shape and position of all the parts, and yet, at the same time, we are conscious of a continuing identity throughout all these changes. Our past experiences are as real as the experiences we are now undergoing. Those past experiences, or phases of our existence, are as much a part of us as the present ones, and yet owing to the limitations of our three-dimensional consciousness we can reproduce past conditions only in memory. Nevertheless our lives in their completeness are made up of the sum of all our experiences and if our whole lives are considered as units, and each period of which we are conscious requires a three-dimensional space, then each individual may be considered as a four-dimensional solid.
Let us, however, take a more simple illustration. A biologist wishes to present to his class a concrete
Now, although every particle of the living jellyfish is constantly changing, either in size, or position, or in its relation to neighboring particles, we say it is the same jellyfish; there is a something that persists through all the changes; an individuality which differentiates this animal from all others, although to-day it is as different from what it was previously as any two models.
These models may be considered copies of mere phases of the jellyfish, just as photographs may be said to represent phases of the fermenting yeast, and two separate lines may be said to represent corresponding phases of the mercury length in the thermometer.
But no matter how small the interval which elapses between the making of two successive models, if there be any change at all, that change must have involved many, nay an infinite number, of smaller changes, and these changes in the case of each atom of the living organism must have been continuous; that is, they must be represented by a line, and not by a succession of separated points, if we would preserve the individuality of the animal in question.
Now this line cannot be represented in our three-dimensional space without interfering with other atoms which surround it in three directions. We are compelled, therefore, as in the previous illustrations, to go outside the space in which the change takes place, in order to represent completely the continuous change in anything which preserves its individuality while
Mind you, I do not say that a growing jellyfish is necessarily a fixed four-dimensional object, passing through three-dimensional space, but I do say it could be so represented; and that then a four-dimensional mentality could see any or all of its three-dimensional phases simultaneously, just as we can in a two-dimensional chart perceive simultaneously all the lengths of a varying line. To get a vague conception of such a four-dimensional figure, it is necessary for us to group all our three-dimensional memories of some changing object between two definite times, and imagine them merged into a something of such a nature that no part of one memory picture overlaps a different part of another, and yet that each of these concepts is itself complete. This is, of course, impossible to most of us, but so are many other mathematical and physical concepts.
More scientific but somewhat similar considerations than those quoted above, have forced all the great mathematicians and many great physicists to accept the fourth dimension as a solution of many difficulties. Its use is recognized, almost unconsciously, even by the elementary student, when he computes the area of a triangle, for here he multiplies four dimensions and extracts their square root to obtain a two-dimensional result, namely,
The transparency of the jellyfish was the exceptional feature which permitted its use to illustrate a three-dimensional object whose changes could be studied without dissecting it.
Our three-dimensional concepts generally are mere inferences from our two-dimensional knowledge, and we are easily deluded by our senses in forming them. When our knowledge of solids becomes as nearly perfect as our present knowledge of surfaces, then the vague four-dimensional figure may assume a more concrete form. Will this ever happen? Who can tell? Many more revolutionary theories have found concrete expression, and then obtained a firm foothold against stronger opposition and with less necessity for their existence.
It is difficult for a finite mind to picture, or even to conceive of conditions unconnected with finite experiences, and unperceivable by finite senses. All finite experiences are connected in some way with material substances or with perceivable forces. All material substances have one or more of the properties of length, breadth, or thickness, and all physical forces may in some way be rendered perceivable.
To the lay mind many scientific achievements seem almost miraculous, though by systematic effort any educated mind may comprehend any of the achievements in any of the sciences, for the results have to do alone with matter and forces, and are expressed in terms which may be transposed into the equivalent terms commonly used to describe every-day actions and experiences.
The science of astronomy, dealing as it does with infinite masses, infinite forces, and infinite distances, would seem to require the ultimate effort of a finite mind to comprehend, but the ultimate problems in astronomy deal only with masses, forces, and three-dimensional space, things of common knowledge, connected only in a lesser degree with common every-day actions and experiences.
The ultimate theories in physics and chemistry deal with atomic and molecular forces and masses and with their interactions; no matter how vast or how minute are the masses or forces they remain masses and forces, and their dimensions and activities are described in terms equivalent to those used in describing all other qualities and actions.
The qualities of three-dimensional matter we comprehend, forces we comprehend, and vibrations we can comprehend as one of the manifestations of forces; consequently, when the chemists or physicists in dealing with ultimate theories claim, as they do, that matter is simply the manifestation of forces, the idea may be grasped, though it may or may not be accepted.
Advocates of the fourth dimension ask more of our reasoning powers in explaining their hypothesis. One must lay aside all usual comparison with concrete things in grasping this hypothetical idea, as we can only reason about the qualities possessed by such a transcendental figure, the exact nature and form of which cannot possibly be definitely pictured to a finite mind. The conception is mental purely and is not connected with, nor necessary to, the solving or understanding of any actual problem. Four-dimensional space is not and cannot be connected with finite problems or experiences limited, as all such problems and experiences are, to space of three dimensions. We live and exist in space, all our problems and experiences are limited to actions in space.
We know that a point has position alone, but position in space with no dimension; when the point moves in a straight path a line is traced which has length alone, the first dimension, beginning at a point and ending at a point. Should the line move at an angle, say at a
Let us assemble the above facts for convenience in comparing them and add to the table the corresponding properties of an imaginary fourth dimensional figure, these being determined as follows:
As the line, the first dimension, is formed from a moving point, so a square, a typical second dimension figure, is formed from a moving line, making a figure bounded by four lines, and as a cube having a third dimension is similarly formed by a plane moving into
Number of dimensions in figure | Number of points in figure | Number of lines bounding figure | Number of planes bounding figure | Number of cubes bounding figure | |
Point | 0 | 1 | 0 | 0 | 0 |
Line | 1 | 2 | 0 | 0 | 0 |
Square | 2 | 4 | 4 | 0 | 0 |
Cube | 3 | 8 | 12 | 6 | 0 |
Corresponding figure of four dimensions | 4 | 16 | 32 | 24 | 8 |
the third dimension, making a figure bounded by six planes, does it not follow that a corresponding fourth dimensional figure is formed by the movement of a cube into the fourth direction and will be bounded by cubes?
If this is the case and the line derives from the point two points, and the square derives from the line four lines and four points; and if the cube derives from the square eight points, twelve lines and six planes, does it not follow that the moving figure gives to the corresponding fourth dimensional figure the following qualities?
The cube at rest has eight points in space, at the end of its movement it has eight new points in space, its movement into the fourth dimension has created the fourth dimensional figure; therefore, the figure should have sixteen points. The cube has at rest twelve lines or edges and has at the end of its movement twelve additional lines, and each of its eight points has traced a new line, making thirty-two lines or edges in all for a corresponding fourth dimensional figure. Similarly, as the cube has six planes at the beginning and has six new planes at the ending of its movement, and as its twelve lines will in moving
From this line of reasoning we derive from a point in an ascending scale through the well known figures and attributes of the first-, second-and third-dimensional figures, the logical attributes of a hypothetical figure of four dimensions, which is that it is bounded by eight cubes and has twenty-four planes and thirty-two lines meeting at sixteen points.
It is not sufficient to say that the incomprehensible fourth-dimension of geometry, corresponding to the figure of the fourth power of arithmetic and algebra, does not exist because we cannot picture it or even conceive of it, or because it does not enter into any problem connected with known matter or force. It may properly be claimed that a three-dimensional figure of infinite length, infinite breadth, and infinite thickness would embrace infinite space; but is it possible to picture or comprehend what infinite space is? Can a finite mind picture a space with no ending, space with no beginning and no ending; limitless space in which our vast solar system is a mere dot, in which the known stellar universe is probably also comparatively a mere dot, although it is actually so vast in extent that the light from some of its component stars which started toward us generations ago or centuries ago is
If space is limitless, the idea is incomprehensible, and if it is limited its limits are incomprehensible. Space is limited or it is limitless; in either case the idea is incomprehensible. Thus the mere statement that an idea is incomprehensible does not prove its non-existence. It is common to use as an analogy, in explaining the idea of the fourth dimension, the possible experiences of hypothetical beings existing in space of more limited dimensions than the three dimensional space we understand, and thus by comparison picture our possible experiences with space of four dimensions. Picture a being whose existence is passed in a plane, say a finite two-dimensional figure, a square, for instance. This being would be shut in by the four lines bounding the square, there would be no upper side or under side imaginable to this being, for upper side or under side would imply thickness which would be a dimension higher than the plane. Now this being could move in any direction on its square until a boundary line was encountered, which would be to it a barrier; it could picture the other side of this line, for the other would be simply a continuation of the plane; but to reach the other side without passing through the line would be incomprehensible, for it would necessitate movement in the third dimension, a movement in a direction incomprehensible to the plane being.
Now, however, a three-dimensional being, able to move and act in three-dimensional space, a human being, for instance, could remove the two-dimensional being
It is obvious that a one-dimensional figure on a line can, by motion in the second direction, pass off of the line without passing through the points which begin and end the line, and we have shown that a two-dimensional figure can, by motion in the third direction, pass out of a square without passing through the square's boundary lines; therefore, a three-dimensional figure could, by motion in the fourth direction, pass out of a cube without passing through the cube's boundary planes.
It will be noted that the generation of each of the three figures of known space is accomplished by one of three distinct motions, each differing, in direction from the motions preceding, and that by one or a combination of these three motions any point of any conceivable
The fourth movement, essential to the generation of a fourth dimension from a third-dimensional figure, is inconceivable to the human three-dimensional being just as the third movement essential in generating a third dimension from a two-dimensional figure would be inconceivable to a two-dimensional being whose possible experiences were always limited to a plane.
It is not logical to state that a fourth dimension cannot exist, for from the analogies derived from the other three movements, the first that of a moving point generating a line, the second that of a moving line generating a plane, and the third that of a moving plane generating a cubic figure, a clear strong argument is derived for the possibility of a fourth movement differing essentially in direction from any of the three preceding movements or any combination of them, just as they severally differ essentially from each other. This fourth movement is the movement necessary to generate a fourth dimension whose figure is inconceivable to the finite human mind, but whose boundaries, qualities, and other attributes can be as definitely described as if the hypothetical figure could be perceived by the human senses of vision and touch.
The concept of the fourth dimension is exclusively a mathematical one, and, therefore, can hardly be made intelligible without the introduction of a few mathematical ideas. The more important aspects of it, however, I shall endeavor to explain with the use only of the elements of that algebra and geometry which are usually taught in high schools.
The reader will recognize the following as
types of equations with which he has dealt, though he may not recollect clearly
all their properties:
Here the letters x and y
are, in first courses in algebra, commonly called the "unknowns." I do not
propose to inquire what values these unknowns may have, and, of course, these
equations are not supposed to be true simultaneously; they are chosen almost at
random as three entirely separate and independent examples to illustrate the
fact that some equations contain two and only two unknowns. In other equations
we may put three unknowns; in still others four, or five, or as many as we like.
Now, just as illustrations are valuable in making language vivid, so the mathematician finds that, when he can form some sort of a picture of his algebraic work, he realizes more clearly what it means; and it happens, fortunately, that there are a number of ways in which he can form pictures of such equations as these. I shall speak of but one, the simplest and common method. According to this method, in order to form pictures of equations in two unknowns, like (1), (2), and (3), it is necessary to use space of two dimensions -- for example, a plane; the essential thing is that anywhere in this space it must be possible to conceive of two lines intersecting at right angles. Some readers will recognize this as the method of rectangular Cartesian co-ordinates, but it is not important that the principle be explained in detail, for all we shall need to know is that it exists. It turns out that the picture we get for equation (1) is a straight line, drawn, of course, in some plane; that equation (2) is a circle, and that equation (3) is an ellipse; there are besides a host of other curves, corresponding to all conceivable algebraic equations in two unknowns -- spirals, heart-shaped curves, "figure eights," etc., some of which have been given names, and some of which have not.
In order to represent equations like (4) and (5), in which the number of unknowns is three, space of two dimensions will not suffice; now we shall need to let three straight lines intersect so that each makes a right angle with the other two, and that cannot happen
When, therefore, an equation contains exactly two unknowns or exactly three unknowns, it can be represented thus by some curve drawn in space of two dimensions, or by a surface in space of three dimensions. But when the number of unknowns is increased to four, as in equations (6) and (7), the method fails; for now it requires a kind of space in which may be drawn four straight lines, all meeting at one point, and each perpendicular to the other three. It is not possible to conceive of such a situation, and, therefore, the mathematician is obliged to do without the representation he has thus naturally been led to desire. But, though he cannot have the picture, he can have the language. Equation (6) looks a good deal like equation (4), which is a plane, and indeed it has many of the same properties; so he decides to call (6) also a plane, but to distinguish it from (4) he calls it a "plane in four dimensions,"1 while (4) is a plane in three dimensions.
From this point of view, then, the fourth dimension is a convenient phraseology, and only that. It is customary also to use in like manner the terms, "fifth dimension," and "sixth dimension," and so on, in speaking of equations in more than four unknowns; and when the mathematician thus uses such terms, when, for example, he speaks of a surface in four-dimensional space, he is speaking and thinking merely of some kind of equation in four unknowns.
But there is another point of view from which the fourth dimension is sometimes considered. Hopeless as it is for us, who have lived only in three-dimensional space, to conceive of four straight lines meeting at a point so that each is perpendicular to the other three, yet it is quite possible for us to find out what sort of things would happen if indeed four such straight lines could exist. To assume, then, that four such straight lines may exist, and to deduce the logical results of that assumption is another of the mathematician's problems. It matters not to him that his assumption asserts an inconceivable situation; he is not concerned at all with the question of its truth, only with its logical consequences.
Of course, such a geometry does not at the present state of our knowledge have important practical applications, but at least it is rich in ideas, and it is by no means certain that its relation to our surroundings is not closer than it appears. For, though in this sense four-dimensional space, that is, motion in four different mutually perpendicular directions, is to us unthinkable, we cannot surely say that it may not exist. If it does exist, we can know something of those four-dimensional bodies which may also exist, and a number of interesting results follow. Suppose, for
From these two aspects, then, the mathematician commonly regards this subject of four dimensions -- one furnishes an abbreviated and suggestive method of denoting various types of equations in four unknowns, and the other is the supposition that four mutually perpendicular straight lines can exist. Neither can properly be the basis of any physical theory, at least at present, for the one is only a phrase and the other is a supposition which is not surely supported by anything that we know of the physical universe. At the same time, it may be well to remember that there is nothing self-contradictory in the assertion that each of four straight lines can be perpendicular to all of the
We live in space of three dimensions. We call these three dimensions length, breadth, and thickness. For example, a line has length, but no breadth or thickness. A square has length and breadth, but no thickness. A cube has all three -- length, breadth, and thickness. All the objects which we touch and use have these three dimensions, no more and no less.
Even when we say that a line has length, but no breadth or thickness, in reality we have to exercise our imagination to picture a line absolutely devoid of breadth or thickness. In practice, if we attempted to make such an object of only one dimension, which we could pick up and handle, the nearest approach to it that we could make would be an extremely fine rod or wire, but the most finely attenuated wire that could possibly be manufactured would evidently have some breadth and some thickness, though they might be extremely minute.
If we attempt to manufacture a surface having two dimensions, length and breadth, but no thickness, we will find it equally impossible. Some of the metals are capable of being rolled into extremely thin sheets, but it would not be true to say that they have no thickness at all. We may speak of the surface of a sheet
Hence we see that the objects with which we are surrounded on all sides and which we constantly use, all have three dimensions. Our own bodies have three dimensions, and we live in a world of three dimensions. The notion of three dimensions is one of our inherent ideas, bequeathed to us by our earliest ancestors. Hence it is difficult for us to conceive the possibility of a world in which there are either more or less than three dimensions.
It is possible, however, to picture in the imagination a world of two, or even of only one dimension, because to do so, it is only necessary to take away, in imagination, from known objects, a portion of themselves, that is, one or two of their known dimensions, and to picture their appearance as it would be under those conditions.
On the other hand, to picture in the imagination a world of four dimensions, or even one object of four dimensions, requires that we add to three dimensions already known, other parts about which we know nothing whatever. It is obviously much easier to imagine a known object stripped of some of its known parts, but whose remaining parts are also known, than it is to imagine that same known object, with all of its known parts intact, and increased by other parts which are entirely unknown, and about which we have no information to guide us.
Moreover, we have no good reason for supposing that a world of four dimensions does anywhere exist. But the question has often been asked, If there are three dimensions, why are there not four, or five, or even
Because a condition, or a state of affairs, has never come within our own experience, does not by any means prove it impossible. There are many things in the world around us to-day, even in daily use, which not many years ago we would have declared impossible. We can readily call to mind several instances of this fact.
Hence, if we are not prepared to admit that a fourth dimension is impossible, we must conclude that it may somewhere, under some circumstances, be a possibility. When we have reached this conclusion, the mind eagerly begins to wonder and question what appearance an object of four dimensions would present, and what would be the conditions of life in a world of four dimensions. Since we have no information to guide us, we must look to the imagination for our only answer, and the imagination is ready to respond, as it always is when called upon, though in this case it has extremely meager data.
The best way to approach the solution of this interesting question, is to picture in the imagination beings of two dimensions, living in a world of two dimensions, and then to imagine the relation of our world of three dimensions to theirs. From this we can reason forward, from the known to the unknown, and by analogy, form some notion of the comparison between our three-dimensional space and a world of four dimensions.
A world of two dimensions would lie in a single plane, having length and breadth, but no thickness. Let us suppose this plane to be horizontal, like the flat top of a table. All the objects in it would be absolutely
They could glide about the plane in any direction they pleased, as long as they remained in the plane, but they could not move out of their plane. Hence they could not lift themselves up on edge, as we would stand a card on its edge on the table; nor turn themselves over, as we would turn up the face of a card. They could not move one hair's breadth out of their plane, for if they did they would at once be in three dimensions, and we are supposing them to live wholly in two dimensions.
They not only could not move out of their plane, but they could see only objects lying in their own plane. That is, their eyes would be so constructed that they could see horizontally in every direction in their own plane, but they could see nothing above their plane, and nothing below it.
Instead of imagining their plane a small one resting on the top of a table, we may, if we wish, imagine it a huge plane out in space, reaching out to the most distant stars. They might then be able to see the stars which happened to lie in this extended plane, but no matter how bright the stars not lying in their plane might be, those stars would be invisible to them.
Not only would these creatures be unable to move themselves out of their two-dimensional world into the third dimension, and unable to see any object not
Thus we can see how such creatures might live throughout the entire history of their race, in a world of only two dimensions, seeing and understanding only two dimensions, and yet with three dimensions lying all about them, extending out to infinity above their plane, and to infinity below it.
Now, if there is a fourth dimension, it must encompass the three dimensions with which we are familiar in very much the same way that three-dimensional space surrounds the plane of two dimensions.
If we should try to explain to the being who knows only two dimensions the meaning of the third dimension, we would probably begin by talking to him about one dimension, which, of course, he could easily understand. We would point out to him that if a straight line be drawn in one dimension, and then a second line drawn at right angles to the first, the two lines thus drawn would represent two dimensions. This he would understand perfectly. We would then pass to the next step, and explain to him that, starting from that same right angle, if we construct a third line perpendicular to both of the original lines at their point
Practically, this same difficulty confronts us, when we try to pass from the notion of three dimensions to the notion of four dimensions. We know that two lines at right angles to each other lie in a plane of two dimensions. And we know that a third line can be constructed in such a manner that all three lines will be perpendicular to one another in the same point, and that the three directions in which these lines extend will represent the three dimensions of our space. All this is very familiar to us. Now, if we proceed one step further, and construct a line meeting these three lines in their point of intersection, and perpendicular at one and the same time to all three of them, this fourth line will extend in the direction of the fourth dimension. We can follow the reasoning to this point, but when we try to construct the last line, we are in the same position as the being in two dimensions, who could not imagine what direction the third perpendicular would take. When we have found out how to draw four lines, meeting in a point, each of which shall be perpendicular to all the other three, we will have solved the problem of the fourth dimension; or at least we will be very warm, as the children say.
The square of any number, a, is written a˛, and it may be represented graphically by a flat surface bounded by four equal straight lines, whose length is a,
The cube of the same number is written ał, and is represented graphically by a solid figure of three dimensions, bounded by six squares, each equal to a˛. Its angles are formed by three edges meeting in a point, each edge being perpendicular to the other two.
Following the same analogy, the fourth power of the same number is written a4. This much we know; but its graphic representation we can only imagine, since it could only be formed in four dimensions.
It seems reasonable to suppose that it would be a figure bounded by cubes, since the cube was bounded by squares, and the square by lines; and that its angles would be formed by the meeting of four edges, each perpendicular to the other three.
Let us return for a moment to the consideration of the world of two dimensions, which we have supposed to be a plane resting on some flat surface, as a table, and peopled by flat creatures of two dimensions. It is obvious that in their eyes the edges of objects would constitute the exterior of the objects. We know that if we look down at a card lying on a table, we can see one entire side of the card. But a flat creature, in the same plane with the card, would be able to see only the edges of the card. Even their houses, like everything else, would be flat like the card, and the walls of these houses would be their edges. When their doors were closed, those on the outside would see only the edges or exterior of their card-like houses. And they could not comprehend how we, looking down from our three dimensions, could see the whole interior of these closed houses, just as they would fail to understand our ability to view the entire surface of the card. In some
If we should purloin an article from one of the two-dimensional closed houses, and remove it entirely from their plane, it would become suddenly invisible to them, and its disappearance would doubtless constitute a great mystery. In the same way, if there were a fourth dimension, it might be possible for some object belonging to us to disappear suddenly and mysteriously into the fourth dimension.
Although the creatures of our hypothetical two-dimensional world would be perfectly flat, they would possess a right side and a left side, just as a person in a photograph has a right and a left side. If we should lift a two-dimensional being from his plane, and replace him in a position that would be from our point of view bottom side up, his right and left sides would be reversed. This may be verified by experimenting with a face card. Hence we may imagine the possibility of any object being lifted from three dimensions into the fourth dimension and replaced in its former position with its right and left sides reversed.
We are told that there are light rays which are
invisible to us, solely because our eyes are so constructed as to be unable to
perceive them. And we are also told that there are tones so low or so high that
we can never hear them, because our ears are not attuned to them. Shakespeare
expresses this idea in the Merchant of Venice, when he makes Lorenzo say:
"There's not the smallest orb, which thou beholdest,
But in his motion like an angel sings.
Such harmony is in immortal souls
But, whilst this muddy vesture of decay
Doth grossly close it in, we cannot hear it."
And hence, whether or not a fourth dimension does really exist, it might be that causes similar to those just mentioned, that is, the limitations of some of our senses, would operate to render us unable to perceive it. But just as we may enjoy in imagination the "music of the spheres," though we cannot hear it, so we may take pleasure in exercising our ingenuity in picturing the different properties of the fourth dimension.
Before commencing any explanation of what is popularly -- i. e., physically -- meant by a "fourth dimension," it is necessary to preface that the expression is often used in an entirely different -- i. e., a mathematical -- sense, which bears no relation to the conception of an actual universe of four dimensions.
Mathematically speaking, the fourth dimension is merely a device of demonstrable utility for the solution of problems in geometry and algebra concerned with more than three independent variables, and is simply a convenient expedient of the same character as
Draw the complete diagram of a cube, edge 1 inch; at a distance less than 1 inch away in any direction repeat the diagram; then join all the corresponding points of the two figures, and the result is the plane projection of a tesseract. From it may be observed that, just as a cube is determined by 8 points and 12 lines, and bounded by 6 squares, so the tesseract is determined by 16 points, 32 lines, 24 squares, and bounded by 8 cubes.
Three-dimension webs, or projections of four-dimension figures in space, can with a little more difficulty be made; in fact, have been made in Germany by Dr. V. Schlegel.
Now, in order to gradually attain to the conception of a physical universe of four dimensions, we may consider that an infinite number of lines -- i. e., one-dimension figures -- laid side by side make up a plane, i. e., a two-dimension figure; and an infinite number of planes laid one on top of the other form a solid, i. e., a three-dimension figure, and therefore, by analogy, an infinite number of three-dimension figures allocated in the requisite direction (if we only knew how to do it) would compose a four-dimension figure.
Or, putting the idea in a slightly different form, a line may be considered as an infinitely thin slice of a surface, a surface as an infinitely thin slice of a solid,
If we figure to ourselves the conditions of existence in a world of two dimensions, and note the relation such a world would bear to the three-dimension world in which it might lie, we shall get some instructive analogies to the relations which would obtain between our universe and a universe of four dimensions which may be conceived to enfold it.
For instance, the world of an oyster or that of a thin, flat non-burrowing worm would be approximately two dimensions; while, by a reductio ad ultimam of these approximate conditions, and by supposing the worm incapable of cognizance or motion up or downward, we may obtain a very fair representation of life in a mathematical plane.
For the sake of economy in words, it will be well to call the two-dimension universe we are examining a plane, the three-dimension universe in which it lies space, and the supposititious enveloping four-dimension universe extra-space; and also to designate their inhabiting organisms by the symbols P, S, and E respectively.
Now, it can be easily seen that for P a line in his plane forms an insuperable barrier, since he is capable of no up or down motion, just as a wall of infinite height would be for S in space.
In the accompanying diagram (Fig. 1), if P wishes
Now, it is also perfectly clear that to S, who may be imagined to be occupying a position in space immediately above this plane, the line xy is no barrier, should he wish to move from the spot a to the spot b along the plane, which offers a perfectly free and uninterrupted field for his movement and vision; so that S can, by picking the object A up out of the plane an infinitely small distance into space, and putting it down in the plane again outside of rs, render it -- as by a miracle -- both visible and accessible to P (at a). Thus, the whole of P's world lies open and defenseless to the vision and active interference of S. Nothing can be so covered or walled up as to be hidden from him or out of his reach.
In a precisely analogous manner we may imagine that E, from the mysterious recesses of his extra-space,
extra-space from the outside of the room and back again into space on the inside of the room. Again, consider two figures, cd and ef, in the plane (Diagram 2) which have their sides and angles equal in every respect. It is clear that P may convince himself of their identical equality of sides and angles by measurement, but by no possible amount of turning ef about can he make it congruent to cd; i. e., capable of being put in such a position that it can be made to coincide with cd by superposition.
Yet S can do this (to P) impossible thing, by taking ef up into space, there turning it over, and replacing
An exactly analogous process may be performed by E with a solid belonging to space.
For instance, suppose g and h to be two pyramids, irregular but exactly symmetrical to each other and on equal bases, as in Diagram 3. It is obvious that we
may by measurement and calculation establish their equality of cubic content; but by no conceivable turning about of h can we make it fill the same actual space as g (supposing, of course, that g is removed at the time).
But nothing would be easier for E than to take up h into extra-space, there turn it about, and return it to space. Now it will in every way be not only equal to g, but exactly congruent to it and able to fit into the exact portion of space occupied by g. A somewhat similar action is performed in space when we turn a right-hand glove inside out, and so make it exactly congruent to the left-hand one; whereas, previously, it was only perfectly symmetrical to it.
From these considerations we deduce that any body in space which is symmetrical to another can, by being turned about in the fourth dimension, be made identically equal to the other, and symmetrical to its own previous self.
Once more, imagine S to pass completely through P's plane, and consider how the process will affect P's consciousness. Of course, only a section of S can exist in the plane at a given moment (though it is quite possible to conceive of every portion of S being in the plane at one moment or another during the passing); consequently, by no possible means can P become aware that S is anything but a plane. At the same time, there is little doubt that S's passage would present some inexplicable features to the observation of P.
To begin with, unless S happened to be in the form of a right prism or cylinder, and struck the plane with its base exactly parallel to the plane, the section presented to P's observation would vary continually in size and contour during the passage.
Even such a regular solid as a sphere would appear as a circle of gradually increasing and then diminishing-circumference, while if we consider an involved solid, such as a piece of rope with a few knots, coils, and hitches in it, we can see that P might well be hard put to it to comprehend that these alternately separated and conjoined, irregular, and perpetually varying areas in his plane were parts of a single whole; let alone the fact that this whole (could he only know it) is meanwhile in reality not changing its shape at all, merely its position in space.
The same difficulty will obviously be present to S in the passage of E or any other fourth dimension body through space. S can in no possible way become cognizant of more than a section of E at once, and that section must appear to him as a solid; possibly of varying size, shape, and character, and possibly also disappearing and reappearing (owing to extra-spatial convolutions) as several distinct bodies. In any case,
It is not easy at first to conceive of any circumstances under which a section of a body must be a solid, but a glimmer of this possibility may be arrived at thus: Consider the gradual growth of some fixed body -- a melon, say -- from its birth in the flower to its full development as a large fruit. Every day we have a slightly larger and slightly different shaped solid than we had the day before. Now, taking up a position alongside the melon, think of time as a fourth dimension, and visualize in a row the successive shapes which the melon has assumed since its birth. Thus, looking back along the direction of time -- as it were -- we can mentally become aware of a figure similar to an enlarged elephant tusk, and made up of a vast number of slightly varying and gradually increasing melon-shapes imposed one on the other, and each growing into the one beside it. This figure, observe, does not exist in space, for there has never been more than one melon-shape, as far as our actual senses are concerned, but it may be conceived to have a very real existence in time -- our supposititious fourth dimension; and, moreover, it possesses the property of a fourth-dimension figure, for at any given second, i. e., when a section of the figure in time is made, the section appears to us as a solid -- a melon. Were we capable of experiencing two widely separated moments in time and their connecting moments (all simultaneously), our melon -- and indeed
Again, in thinking of P's world, we have imagined the plane to be -- so far -- a rigidly level superficies; but it is quite apparent that, since P is incapable of cognizance of any motion or object outside his own world, this superficies might be curved, in space, without affecting him or his surroundings, or even interfering with the correctness of his scientific observations, since those observations take place exclusively in the superficies; just as the curvature of a sheet of paper will not vitiate the accuracy of a demonstration in plane geometry previously drawn on it. P's world might even be rolled up on itself, so that two places or beings which are an enormous distance (measured in the plane) apart, may be infinitely close to each other when the measurement is made along what S will see as the shortest line, i. e., the distance separating them in space.
Applying this conception to space, we can see that S's world, in a precisely analogous manner, might be curved, twisted, or even involved, in extra space, without S having any possible means of becoming aware of the fact.
This, of course, opens up the possibility that two bodies -- say the earth and sun -- which are, measured in space, millions of miles apart, may, if the measurement were made along the axis of the fourth dimension, prove to be close together, or actually touching. Some such explanation as this has, as a matter of fact, been invoked occasionally to account for various phenomena, such as the action of various natural forces across vacua of infinite extent, telepathy and the like. [1]
But just as Euclidean plane geometry fails utterly on an irregularly curved surface where the three angles of a triangle are not equivalent to two right angles, so our solid geometry would prove to be fundamentally incorrect in any portion of space which had such a curvature in extra-space.
Thus we may see that by extending our ideas of the possibilities of existence downward to a world of two dimensions, it is quite possible, if not to obtain actual information, at least to get glimpses of what relations the fourth-dimension world would bear to our universe, supposing it to exist; though it is only fair to say that just as a mathematically plane world would be utterly incapable of apprehension by our-three-dimension senses, so a world of four -- or more -- dimensions, while not impossible of conception, would be equally beyond the reach of our present faculties; so that worlds of two, four, five, or even n dimensions, may coexist with space in the universe we are familiar with, and we all the while be blissfully unconscious of the: fact.
Consider the following figures:
The line AB, possessing but a single dimension, can be moved in a direction not contained within itself, as to the right, so as to generate a surface; for example, square ABB1A1. Also the surface ABB1A1 possessing but two dimensions, can be moved in a direction not contained within itself, as up from the plane of the paper, so as to generate a solid; for example, cube ABB1A1-A2B2B3A3. Can the cube be moved in a direction not contained in its three dimensions so as to generate a new figure whose relation to the cube is analogous to that existing between the cube and its generating square and also analogous to that existing between the square and its generating line? If so, the new figure, called the four-square, contains an additional dimension. This is the fourth dimension.
As the dimension of length is perpendicular to the dimension of width; and as the dimension of height is at right angles to both length and width, the fourth dimension must be perpendicular to the other three.
The above is a full and complete explanation of what scientists call the fourth dimension.
That the possibilities of space are not exhausted with the three dimensions of length, breadth, and thickness has no doubt occurred independently to many minds. However, the present widespread interest in the fourth dimension may be traced directly to Dr. Zöllner, a German astronomer.
Zöllner believed that man is by nature a two-dimensional being; and that he acquires a full comprehension of the third dimension by a purely intellectual process only. The limitations of this article preclude a statement of the process by which he thought that man gains his consciousness of the third dimension. His work shows it to be conceivable that there may be beings who are structurally or intellectually limited to a world of but two dimensions. If structurally so limited, either we cannot imagine them, though we may think about them, or their extent in the third dimension is so extremely small in comparison with their length and breadth that it may be disregarded.
A two-dimensional being living in a plane, as the plane of this paper, might be led to consider the cord,
ab, with the loop or "knot" c lying so close to the paper that he would be unable to see anything unusual about it (Fig. 4).1 If asked to untie the "knot" he would move the end b entirely around the center of c,
he could draw the knotted portion of the cord
straight. His companions, seeing him untie the knot thus without moving the end
b, would be completely mystified by the incomprehensible process. By
analogy it seemed plain to Zöllner that some human being, by a purely
intellectual process, might arrive at a comprehension of the fourth dimension so
complete as to enable him to untie knots in a cord such as this in Fig. 6:
without moving its ends, simply by bending some essential part of the knot
through the fourth dimension.
This, Zöllner thought, would give a rational explanation of the mystifying rope-untying feats being performed by Slade of England.
Some of the probable characteristics of four-dimensional figures may be determined by analogy. Thus, the characteristics of the four-square are found as follows:
The line has two limiting points, as A and B in the
The line has a single limiting line; the square has 4; the cube, 12. Here the series is 1, 4, 12. The fourth term is found by noting the process by which the square is produced from the line; and the cube, from the square. In producing the square, the line is to be counted twice: as AB in its original position, and as A1B1 in its final position. Besides two more lines AA1 and BB1 are to be added as being traced out by the points A and B of the line. Similarly, in producing the cube from the square, each of the four lines of the square is to be counted twice: as found in ABB1A1 at the beginning, and then as found in the final position A2B2B3A3. Besides four more lines AA2, BB2, B1B3 and A1A3 must be added as being traced respectively by the four points found in the generating square. The rule, therefore, is: Multiply the number of lines in the generating figure by two and add a line for each point in it. The four-square should, therefore, have 2×12 + 8 lines.
The line has no planes; the square has 1; the cube, 6. Here we have the series 0, 1, 6. By noting how the cube is generated from the square, it is seen that the square is to be counted in two planes: as ABB1A1 at the beginning and again as A2B2B3A3 at the end of the generating motion. Besides, each of the lines of the square has also traced a plane in the generating process -- the plane ABB2A2 being generated, for example, by the line AB. The rule founded on the above is: Multiply the number of planes in the generating figure by 2 and add a plane for each line in it. Applying this
Noting that a cube is generated by the motion of a plane, it is thought that the four-square generated by the cube is limited by 8 cubes -- each of the 6 planes of the generating cube itself generating a cube and there being the two additional cubes formed by the initial and the final positions of the generating cube.
To a being limited either by structure or consciousness to a single dimension, any object, such as the square or the cube, or the four-square, crossing the line on which he lived, would be a wonderful phenomenon. Where a moment before there had been nothing, suddenly a point would appear; and, continuing for a time, it would as suddenly disappear.
Similarly, any object, such as the cube or the four-square, moving along the third dimension and passing through the surface on which a two-dimensional being lived would be to him a marvelous phenomenon. Where a moment before there had been absolutely nothing, suddenly a line would appear. Continuing for a time, it would suddenly and mysteriously disappear.
By analogy, it is reasonable to suppose that whenever a four-dimensional object or being comes within the range of our consciousness, it appears to us as an ordinary solid of three dimensions. Thus, we would perceive the four-square as a cube and nothing else. Likewise, a four-dimensional being moving steadily in the direction of the fourth dimension might suddenly appear at our side within a room destitute
It has been suggested that possibly many of the small objects each of us loses disappear by rolling out of three-dimensional space into the fourth dimension.
We cannot imagine how beings structurally limited to a single dimension or to two dimensions only, can exist. It is true, we can think about them; but only as being mere abstractions. So far as we know they have no existence. Analogy, based upon the above, says that to four-dimensional beings we are likewise mere abstractions and have no real existence.
If two one-dimensional beings were to meet, they could never pass each other. A being of more dimensions than one might carry one of them through the second dimension around his companion, to the complete mystification of both.
If a two-dimensional being were placed inside a square, he could never get out without breaking through one of the sides. A being of more dimensions than two could, however, lift him through a third dimension and set him down outside of his square without his comprehending in the least by what operation this miraculous result was accomplished.
Similarly, if some of us were locked in an air-tight room we could never get out until an opening were made in one of the six bounding surfaces. But, analogy says that a four-dimensional being might pass us through the fourth dimension and set us on the outside of the room without disturbing any of the bounding walls.
In a line, nothing can be rotated. In a plane, rotation takes place around a point. In three dimensions, rotation takes place around a line. In four dimensions, therefore, rotation takes place around a plane.
If a two-dimensional being were asked to turn m into coincidence with n in Fig. 7,
he would be unable to do so. A three-dimensional being, however, would simply turn m half-way over, through the third dimension, about the side 1, after which he could easily slide it over n.
Similarly, considering our hands, we cannot manipulate them in any way so as to make them coincide. But a four-dimensional being, by rotating one hand half way around about a plane can effect the coincidence easily.
Two one-dimensional beings living on the same line might know themselves to be miles apart, yet they might in the twinkling of an eye be placed face to face if the line were bent into a circle.
Two two-dimensional beings might be miles apart on the surface common to their existence. Yet it is conceivable that a three-dimensional being might bend their surface so as to bring them suddenly together.
Two friends may know themselves to be separated by half the world. Yet it is possible for a four-dimensional being to bend their space of three dimensions so as to bring them suddenly into each other's presence.2
Relative to the evidences of a fourth dimension, it may be stated that, as yet, nothing is known which points with any great degree of certainty to its existence.
As stated above, it would be possible to rotate the right hand in the fourth dimension about a plane and thus reverse it and make it coincide with its companion left hand. And because right-and left-handedness is not found in the mass (that is, in mountains, clouds, continents, etc.), but only in the minute (such as is produced in plants and animals and by molecular action), some believe that evidence of this additional dimension must be sought in the region of molecular and cellular activity.
There are two forms of tartaric acid which appear to be identical in every particular except that one turns the plane of polarized light to the right while the other turns it to the left. The right-handed changes into the left-handed without any apparent decomposition and without any apparent manifestation of force. If it can be shown that the change does take place thus, the phenomenon would be proof that the fourth dimension does exist.
In a surface there can be only three points which are equally distant from each other. In space, as we know it, four points and no more can be so arranged. In space of four dimensions five points can be thus placed. Now, in organic chemistry, it has been found that certain substances have the same formulas. For example, there are at least eight possible alcohols which have the formula C5H12O. The only way that chemists have of accounting for these different compounds is by supposing that there is a different grouping of the carbon, or C-atoms in each compound. If now it
Balance, or symmetry in a line can be produced with reference to a single point only. And, if that point is selected at random, in the line, the symmetry, or balance, can be accomplished by carrying a portion of the longer part of the line through the second dimension around the point and attaching it to the end of the shorter part.
Balance, or symmetry, in a surface, can be produced with reference to a line only. And if that line is selected at random in a figure in the surface, the figure may be put into symmetry only by carrying parts of the longer portions of the figure through the third dimension around the line and attaching them to the shorter portions on the other side.
In a similar way we know that there is three-dimensional symmetry, or balance, with reference to a plane. We see it manifested in the formation of crystals, and in right-and left-handedness, or bi-symmetry of plants and animals. Does this not at least indicate the probable existence of a fourth dimension?
And, finally, Prof. Hinton in developing his mechanics of the fourth dimension came to the conclusion that the mechanics of four-dimensional vortices explain the electric current -- a phenomenon hitherto unexplained. He has thus furnished the most direct evidence yet found that space does contain a fourth dimension.
In the seventh book of the "Republic," Plato imagines a group of prisoners chained at the mouth of a cavern. All movement is impossible to them. Their
By conceiving a possible state in which man is limited by his consciousness to less than what he really is, Plato cleared the way for the notion that the normal man is likewise limited by his consciousness to less than what he really is. This Greater, which Plato strove to find, is thought by some to involve the fourth dimension.
The fourth dimension has been aptly termed the playground of mathematics. It has certainly called forth much speculation and a great deal of discussion which should not be taken too seriously. To understand the term "fourth dimension," it is necessary to know something of its origin and of the train of thought which led up to it.
If we mark some point on a straight line or on a curve, any other point on it is located by giving one number, its distance from the fixed point. Such a line or curve is called a one-dimensional body, and a given number will locate some point on it. A point may be located on the earth's surface by giving two numbers, the latitude and the longitude. If the streets of a city are numbered, any house may be located by the two numbers which give the house and street. In general, any point on a plane may be located by giving the two distances from two intersecting reference lines. A similar statement may be made for a curved surface. We call such a plane or surface a two-dimensional body, and two numbers will locate a point on it.
The position of an anchored balloon or the bottom of a mine shaft is determined by three numbers: the latitude, longitude, and the vertical distance up or
Here an inquiring student asked, "Why stop here? Are there points which require four numbers for their representation?" Or the student may be led up to the question in another way. A one-dimensional body, a line or curve, may be the boundary of a two-dimensional body. The boundaries of a three-dimensional body are two-dimensional. "Do three-dimensional bodies bound anything?" Or again, he noticed that if b is the length of the side of a square, then b˛ represents its area, and bł the volume of the cube with edge equal to b. "What does b4 represent? Are there four-dimensional bodies?"
In trying to imagine a four-dimensional thing, the student turned back, and tried to see how three dimensions would appear to a person who knew only two dimensions. He imagined a race of beings endowed with all the faculties of any rational being except that they have but two dimensions and live in a two-dimensional region, say a plane. We might think of these people as the shadows of three-dimensional beings. In their language there are no such words as "up" or "down," "high" or "low." They can see nothing lying outside of the plane in which they live. They can move in any direction in the plane, but have no conception of any movement which will carry them out of the plane. Life in such a region would be under conditions quite different from life in three-dimensional space. A house for such beings may be simply a series of rectangles. A
If a schoolboy in shadow land wished to prove that the corresponding angles of the two triangles in Fig. 1 are equal because the corresponding sides are equal, he would perhaps show that each triangle could be moved
over until the vertices occupied the positions A"B"C". He could not place one triangle on the other, for he has no conception of such a thing. If the triangles were as shown in Fig. 2, the schoolboy could not use the sliding method of proof, for no amount of sliding could make the points ABC coincide with A"B"C". He might, however, conceive of the sides AB and BC to be made of some flexible cord, and the point B pushed
In working with this problem, he might have imagined two one-dimensional objects in a one-dimensional region with the fixed points ABC, and A'B'C', respectively
These objects may be moved in a straight line, but not out of it. In trying to make the points A'B'C' coincide with ABC, he would find it impossible to do so by sliding along the line, but a rotation about o in the second dimension would bring them together. By analogy he might think that if he could turn his triangle over in the third dimension about AC, he could solve his problem. But he has no conception of such a motion, though he might call his work with the triangle made of flexible cord a revolution in the third dimension.
By a miracle one of these shadow beings becomes endowed with a knowledge of three dimensions. He does marvelous things in the eyes of his neighbors. He can disappear and reappear at will. The strongest prison cannot hold him. If he moves out of the plane in which he has lived he can look down into the houses, even into the insides of his neighbors. If, before returning to shadow land, he should turn himself over, he would be a sort of reflection of his former self to his friends. His heart would be on the right side instead of the left. To his friends he would be left-handed instead of right-handed.
After amusing himself with his two-dimensional people, the student returned to his inquiry as to four dimensions. By analogy he supposed our space of three dimensions to lie in the midst of a space of four dimensions, just as his shadow land lay in the midst of three-dimensional space. He might speak of all people and objects as three-dimensional shadows of four-dimensional things. If now by supernatural means a person becomes endowed with four-dimensional knowledge, he can perform the same kind of antics that his two-dimensional analogue did in shadow land. No prison could hold him. He could take money from a sealed box without making an opening. He could disappear and reappear at will.
In three dimensions we have similar solids which cannot be made to occupy the same space; for example, the right and the left hand. By analogy with the schoolboy's triangle problem, the student conceived of one of such a pair of objects being carried into the fourth dimension turned over and brought back. The two objects can now be made to occupy the same place. Turning a right-hand glove inside out to make it fit the left hand would have the same effect as turning it over in the fourth dimension.1
Since the inhabitants of shadow land have no sense of "up" or "down," they cannot perceive in any way the plane upon which they move but which is present at every point. The imaginative student might then say that the ether which physicists claim to permeate our whole space is but the three-dimensional analogue to the plane of shadow land. So he could go on indefinitely with his analogies, but we must not forget that it is all the product of his imagination, and that there
While this student was amusing himself with his two-and four-dimensional beings, another student, an investigator in the realm of pure mathematics, had found that the ideas and the language of four dimensions were exceedingly useful. By drawing two perpendicular lines as in Fig. 4, he was able to locate every point in their plane, by giving the distances from each of the two lines. Like the schoolboy who begins his
problem, "Let x equal the number of men," the investigator lets x represent the distance of the point from the vertical line and y the distance from the horizontal line. He then, for the time being, concentrates his attention on the letters x and y, just as the schoolboy manipulates the x in his problem, without at all times keeping in mind that x means men. It is an easy extension by means of three infinite planes to represent any point in space by three numbers, x, y, and z. Again, the investigator, after letting these letters represent the point he is considering, deals only with the letters, and at times pays little attention to what they represent. But there are other things besides points which may be represented by numbers. He may wish to discuss spheres in space. Four numbers are needed to locate a sphere in space, three to locate the center and one to represent the radius. Again, if he wishes to locate a line of given length, he will use three numbers to locate one end of the line; and since the other end
These two students are types of the two classes of investigators who have studied the subject of dimensions. The first delights in placing before us those creatures of his imagination, those two and four-dimensional people with their imaginary environment. Just as the dramatist delights in presenting to us a hero who acts, under the conditions laid down in the story, in a manner consistent with his character as presented by the author, so this writer takes pleasure in bringing before our minds his creatures, whose sole characteristics are lack or oversupply of dimensions.
The second investigator is the mathematician who found it a real help in his investigations to use the ideas and language of four or more dimensions. He did not say that a four-or five-dimensional material world existed. He did not believe that our universe was part of an actual four-dimensional space, nor did he ask others to believe it. It was but another example of the mathematician's delight in generalization. In this way he introduced the idea of negative numbers to enrich his language and to give him more power of expression. He never asked us to believe in the existence
The ideas and phraseology, as exhibited in the writings of investigators in the subject of dimensions, were immediately seized by the romance writers, the prestidigitators, and a certain class of spiritualists. To the first it gave a new method for the disappearance and reappearance of the hero or the villain. As a rule, he returns as a reflection of his former self, having become turned over in the fourth dimension. To the second class it gave a new set of catchwords and phrases for use in sleight-of-hand performances. To the third class, led by Professor Zöllner of Leipsic, the fourth dimension became the abode of the spirit world. For them it solved a great problem, and many are their arguments to prove their contentions. The Bible is brought in to testify, and an extra dimension is read into the meaning of such verses as, "May be able to comprehend with all saints, what is the breadth and length and depth and height." (Ephesians iii, 18.) They boldly stated that physical space lies in a four-dimensional space, just as a line lies in a plane, or a plane lies in three-dimensional space. Just why one should stop at four dimensions is not made clear.
In a brief way we have then shown how the term "fourth dimension" arose. We have shown how the efforts of mankind to tear himself away from the
This, then, is the explanation of the term
"fourth dimension." But the persistent reader will perhaps repeat the question,
"Is there a fourth dimension?" If by this question he means, "Does a
fourth-dimensional world exist physically?" all we can say is that it is highly
improbable. Continued thought and discussion on this phase of the question will
only result in the state of mind of the Persian poet when he said,
"Myself when young did eagerly frequent
Doctor and saint, and heard great argument
About it and about; but ever more
Came out by the same door where in I went."
If a physical fourth dimension exists a three-dimensional being would never know it, nor would he have any way of finding out. The same statement may be made of two or of five dimensions. As a mental conception, the fourth dimension exists, but the world of our physical experience includes only the three-dimensional.
Oftentimes, a theory that is advanced in good faith by some distinguished authority falls into disrepute, because it is appropriated by less intelligent persons and is modified or extended to suit some non-related hypothesis of their own. To mutilations of this character the theory of four dimensions has become a sad victim.
The idea originated as a pure mathematical concept, capable of symbolic representation, but quite incapable of being visualized. This may be illustrated by a similar concept found in the use of negative numbers. The individual who subtracts 7 from 3 and gets negative 4 has a mathematical conception of its meaning. He does not, however, infer the actual existence of a negative number of objects. It is easy to conceive that when four trees in a garden are cut down there are four of them missing, yet no person can picture to himself minus four trees, because the mind can visualize only such quantities as result from actual counting. This lack of material existence, however, does not deter anyone from using negative numbers as a short cut in his calculations. In a similar way, the idea of four dimensions may be used in mathematical calculations and without any implication as to the existence of such a space.
Mathematical reasoning has taught us many of the
In this wise, the unwarranted extension of a mathematical concept has given the lay reader a much perverted idea of the fourth dimension, and it is the purpose of this article briefly to distinguish between the theory as rightfully advanced by mathematicians and the popular conception of the theory after it has been altered to suit the hypothesis of the spiritualists.
In all branches of study or enterprise the mind is greatly aided by concrete representation. Drawings or photographs are indispensable accessories in many branches of industry. No contractor would attempt to erect a building without first securing the drawings for it. So, too, in mathematics, the possibility of drawing a picture of an algebraic equation greatly simplifies its understanding.
Prior to the time of Descartes, the sciences of algebra and of geometry were treated as unrelated subjects. Descartes, however, discovered that algebraic equations of two or of three unknown quantities may be conveniently represented by geometric figures. The method of so representing an algebraic equation can be best illustrated by a simple example. We know from elementary algebra that in an equation of two unknown quantities, such as y=x˛-2x + 2, we may assign to x any value that we please. Furthermore, by solving
various values assigned to x, as shown by the points abcde in Fig. 1. From these points we measure in a direction parallel to the Y-axis distances aa' bb' cc' dd' ee', equal respectively to the values that were determined for y by the different numbers substituted for x. The points a' b' c' d' e', et! said to be points on the curve of the equation. It is evident that by assuming the successive values of x near enough together we can find an indefinite number of points between those already plotted. Fig. 2 shows the curve
This concrete representation of an equation may give to the reader but little further information concerning the equation, and the working drawing of any object may be to the layman nothing but a confused mass of lines, yet the drawing conveys to the draughtsman or to the mechanic a very exact conception of the object. So, too, the graph or curve of an equation conveys to the mathematician a concise idea of the properties of the equation.
Sometimes the engineer or the mathematician desires to plot an algebraic equation containing three variables, such as x + y + z = 10. Proceeding as before, it is possible to obtain values of z for particular values of x and y. The values of z, however, cannot be represented on the same plane with x and y, for it is necessary to have a third, a z-axis, along which to measure the values of z, and this axis must be perpendicular to the other two at their intersection. Having assumed a z-axis, we proceed to plot the equation of the three variables in the same manner that equations of two variables were plotted. Particular values for x and y are assumed and the equation is solved for z. The values thus obtained for each of the variables are then laid off in the direction of their respective axes.
This concrete representation of equations of two and three variables aided the mind so well in the solution of difficult problems that mathematicians suggested that this interpretation be extended to include equations of four variables such as are sometimes found in problems of electricity and of physics. An equation, such as, x + y + z + w = 16, to be plott! requires a fourth, a W-axis, along which to measure
Men are continually calculating what would happen if conditions were different from what they are. The student of history seeks to determine the effect on history, if Napoleon had won the battle of Waterloo; the physicist calculates the probable amount of heat that would be generated if the earth were suddenly stopped in its orbit; so, too, the mathematician, unable to construct four mutually perpendicular lines, spends valuable time in determining what would happen if it were possible to construct his perpendiculars. This leads him to the concept of four-dimensional space.
Here the reader is apt to become confused. The layman, on being told that in a four-dimensional space four straight lines can be constructed mutually perpendicular, immediately seeks to visualize to himself these four perpendiculars. Of course, all such attempts to picture these lines seem futile, and the whole discussion is, forthwith, pronounced a humbug. This, however, is not a fair verdict, because the layman does not usually get the true meaning of the mathematician. It is not meant that these four lines should be actually constructed. That, as far as we are able to know, is impossible. It is perfectly legitimate, however, to calculate what would happen if this were possible, and that is all the mathematician attempts to do.
Physical possibility and mathematical possibility are not always identical. A valid mathematical statement may often be quite incapable of physical interpretation, as will be shown by a reference to Euclid's eleventh axiom. A statement is possible mathematically if it is self-consistent, and if it does not contradict other assumptions in the same discussion. Euclid, the father of geometry, states in his eleventh axiom that through a given point only one straight line can be drawn parallel to another straight line. Proceeding on the assumption that his axiom was true, he built up a system of geometry. In the early part of the 19th century, Lobachevsky, who did not accept Euclid's axiom as true, because it could not be proved, said, let us assume that it is not true. Suppose that through a given point more than one straight line can be drawn parallel to another straight line. He then proceeded by purely mathematical reasoning to build up an entire geometry based on his new axiom. In itself, this geometry is perfectly self-consistent, and it is mathematically possible. Strange as it may seem, we are unable to prove absolutely which system is the true one. Euclidean geometry, however, is simpler, is more convenient, and has been found to hold true even in the most delicate measurements that are possible. Men will continue to use it in their measurements and calculations, because so far as we are able to judge from empirical knowledge, Euclidean geometry is the true one.
So far as our experience goes, all space is three-dimensional, but the statement cannot be proved absolutely. It must be accepted as an axiom. If some Lobachevsky should challenge us for a proof of this axiom, we could give him but little satisfaction. He
It is possible in dealing with equations of two variables to determine, without plotting them, many of the properties of the curves which they represent. By various manipulations of an algebraic equation, higher mathematics enables us to get the length of any portion of the curve, the direction of a tangent to the curve at any point, or the points of intersection of two curves. The method of studying the properties of a four-dimensional space is very similar to that just described for two and for three dimensions. We know that an equation of four variables represents some sort of a configuration in a space of four dimensions, so that by applying the principles of analytic geometry and calculus to the equation it is possible to determine the properties of the particular figure, solid, or body that the equation represents. It is not at all necessary to be able actually to construct these four-dimensional bodies in order to study their properties. As we determined the properties of curves and surfaces by studying their equations, so we may determine by the same
Some of the propositions of a four-dimensional geometry are extremely unique and almost incomprehensible. For instance, a hollow flexible sphere in a space of four dimensions could be turned inside out without tearing or stretching.1 If any object were capable of moving into a space of four dimensions, it could not be confined by the four walls of a room, and, as soon as it had moved the smallest part of a distance in the unknown direction, it would become invisible. In a space of four dimensions it is possible to revolve an object about a plane, though in three dimensions it is possible to revolve bodies only about straight lines or points.
A study of the strange properties of this hypothetical space, though interesting, is quite beyond the scope of this paper. A geometric proof would require a knowledge of very advanced mathematics, and the wonderful feats that might be accomplished by anyone possessing the secret of a fourth dimension have been well portrayed in several popular articles on the subject.
Is the existence of a four-dimensional space really impossible? is the question most frequently asked. If existence means that the intellectual idea of a thing can be formed, and that this idea shall not lead to contradictions with other well established ideas and with the results of our experience, then it may be said that four-dimensional space does exist. If, on the other hand, existence is taken to mean objective or actual reality, all that we can say about it is that we do not know.
All knowledge proceeds originally from experience, but the amount and the degree of perception possible for our senses is limited. There are many phenomena that are not evident to our senses, and which are known only in an indirect way. We know that there are light waves below the red and above the violet end of the spectrum, which are invisible to the eye. Usually, the non-observation of a phenomena is taken as strong evidence of its non-occurrence. For instance, there was a time when it would have been a reasonable induction to say that all plants and vegetables are motionless, and that animals alone are endowed with the power of locomotion. The perfection of the microscope has, however, shown us that minute plants are as active as minute animals. Hence we cannot always assert that because we do not observe a phenomenon that it does not exist. If we insisted that everything were just as it appeared to be from our observation, we should be in the position of a child who believes that all people have enough to eat, and that all children have nurse-maids. The child reasons from uncontradicted experience, and so do we, usually.
Although we cannot dogmatically deny the existence
Although we cannot dogmatically deny the existence of a four-dimensional space, even though such a space is inconceivable and impossible for us to imagine, yet we can say with confidence that our universe, as we know it, and every known agency in it, is confined by some unknown law to a space of three dimensions.
In setting out to investigate the possibility of a dimension above our present conceptions, we necessarily proceed along the lines of analogy. From comparative investigations in existences of one, two, and three dimensions we will deduce parallel results to enable us to establish formulas by which may be derived an abstract conception of some of the elementary properties of a body in four-dimensional space. To be consistent, we must proceed with the same care with which an astronomer would try to people a remote planet. While considering conditions which make life possible in his own sphere, he would make specific modifications in order to bring it into complete harmony with the new environments.
Although the practical representations of lines and points have appreciable size in all directions, we should not forget that in our discussion these are abstract not forget that in our discussion these are abstract terms, the latter having only position, and the former, merely a distance between any two positions. In like manner, a surface is imaginary, independent in space, or forming a terminating plane of a body. It is devoid of thickness to such an extent that were an infinite number to be placed one upon the other the aggregate would still have no thickness.
We will consider, first, the limitations in the perceptions of beings in a world of one dimension, that is,
having knowledge only of distance and location in their own path, anything requiring a realization of a third quality would be lost to them. Creature a observing b in the figure would see him as a point, because he sees only the end of b. Suppose the bodies, a, b, and c continued in their relative positions to one another throughout their entire existence, each would then, through his restricted knowledge of the other, be forced to different conclusions regarding the form of life outside his own. Now a, conscious of his own existence as a point and observing b as a point, would erroneously though logically, conclude that all life existed in point bodies. Creature b, upon seeing a and c as points, and being conscious of his own length, would at once
In Fig. 1, we employed any line, or path in space, but to avoid complications in succeeding diagrams, we shall adopt the straight line. A terminated line may be considered as a path of a point in space, bounded by its initial and final positions. The terminated straight line is the particular case where the point moves from one position to another by the shortest route AB (Fig. 2). If we move AB through the shortest path to the
final location A'B', we obtain a plane figure; and if AB be moved in this manner, a total distance equal to its length (Fig. 3), the result will be the definite plane figure known as a square. Hence the square may be called the elementary figure in the two-dimensional world, just as we consider a terminated straight line the elementary figure in the one-dimensional world.
In passing from the lineal to the areal existence, we find that we have greatly multiplied the number of possible varieties in shapes. Thus, our two-dimensional world may have not only creatures represented by points and lines, but also by numerous heterogeneous forms, including many familiar ones, such as
a point or a line, according as the spectator views it from the end or from the side; while the square, circle, triangle, and rectangle will appear merely as lines of various lengths. It would be only fair, however, to endow at least a few of these creatures with minds sufficiently mathematical to establish a few simple relationships. Suppose them to be confronted with the problem of proving the entire equality, by the Euclidean method, of the triangles ABC and abc (Fig. 4), when it is granted that the side AB is equal to the side ab, AC is equal to ac, and the angle CAB is equal to the angle cab. The mechanical operation here is within their possibilities.
Let us now place the same figures in the positions shown in Fig. 5. Given the same hypothesis, it might appear at first glace that this case is similar to Fig. 4, but a closer examination shows that Fig. 5 involves the
simple preliminary operation of reversing one of the triangles before it can be superimposed upon the other. It is evident that this "turning-over" process requires a knowledge of three dimensions, and, therefore, to creatures with a comprehension and breadth, the possibility of an Euclidean proof would be inconceivable. We will now suppose our two-dimensional world pierced by a line LN (Fig. 6), and imagine it to consist of such material that Fig. 6. the line may be moved about at will without necessitating its withdrawal from or tearing the plane. It is evident that the only portion of this line which could be detected by these creatures would be the point P -- a form of creature with which we have supposed them familiar -- freely moving about
We now come to the consideration of objects with which we are familiar, namely, those in three-dimensional space. All forms of matter manifest to our senses require space for their accommodation, having length, breadth, and height. The plane, line, and point exist in theory only to aid man in the present crude state of his mental development to build up imperfect images in conformity with forms as he senses them in the material world. As universal laws are the media through which nature works, she builds according to conditions and environments and inscrutable laws of economy. In nature, the straight line and the plane surface are the exceptions, appearing most frequently among the lower forms of plant and animal life, but man, ignorant of the finer considerations which shape the course of nature, and continually prone to error, must accomplish his results by the simplest, most direct methods within his comprehension. In doing this he has adopted as the standard of length a straight line; the unit of area, a plane figure known as the square; and the unit of volume, a six-sided figure called the cube. We have already seen how the plane may be derived from the straight line, by the same method we shall construct the elementary figure of three-dimensional space. Referring to Fig. 3, let us imagine the square AA'B'B moved at right angles to its surface, a distance equal to one of its sides. In doing this we have generated a figure (Fig. 7) which is three-dimensional.
Suppose that in selecting the straight line AB, from which our figures have been constructed, we had
whether there does not exist, beyond the limits of man's present knowledge, a higher order of beings for the comprehension of whom we, as three-dimensional beings, would require additional perceptive powers. With our present mental limitations, however, it would be impossible even to attempt to define an object which would require four-dimensional space for its accommodation, but by analogy we can deduce a few interesting facts regarding a figure which would apparently occupy the same position in the new world that the cube holds in our own.
We have seen that (1) points form the terminations of a straight line, (2) straight lines terminate, or bound, the square, and (3) squares form the bounding
In the movement of the line to form the square the number of boundaries obtained for the new figure was twice the original, plus two lines generated by the terminating points of the line. In like manner the containing sides of the cube were formed by the first and last positions of the square plus four squares created by the four containing lines. From these considerations it would appear that the four-square would have as its boundaries the initial and final positions of the cube plus six cubes formed by the displacement of the surfaces of the original figure, or a total of eight cubes. Again referring to our square and cube, we see that the number of points or corners in the constructed figure is twice the number of points (or corners) in the
Curious as the above geometrical deductions may appear, they are surpassed by the dramatic results that would accompany a conception of the fourth dimension. To a creature with a knowledge of mere length and breadth, our physical representation of lines on a plane surface would prove as impassable a barrier as a stone wall unlimited in height would to us. Now, it is evident that we, as three-dimensional beings, may touch all portions of a plane figure (Fig. 3) without disturbing any of the containing lines. If, then, a number of two-dimensional creatures were placed in such an enclosure, imagine their surprise at finding that there existed an order of beings capable of penetrating matter, as they know it, without in any way disturbing it! A parallel case may be imagined in our own existence, if we suppose a being A of the three-dimensional order shut in a hermetically sealed armor-plate vault and suddenly confronted by a being, B, having a knowledge of the fourth dimension.
It might seem possible from these considerations that, with such an advanced state of knowledge, we would be able to extract the pulp from fruit and the kernel from the nut without first removing the outer covering. Likewise, windows for the admission of light, or doors for communication with the outside world, would no longer be necessary, for the fourth dimension would destroy the present effectiveness of the barrier formed by the six sides of a room.
It will be many centuries, if ever, before man can prove the probability of a dimension above the third; but, as we have shown in connection with Fig. 6, we are scarcely justified in denying such an advanced state merely because all matter can apparently be shown to occupy three-dimensional space.
The development of our perceptive senses proceeds very slowly and, according to the theory of evolution, depends upon the extent of the use of existing faculties. We may be justified, therefore, in presuming that we are infinitely nearer to a realization of the four-dimensional existence, if such exists, than we are to the first dawn of reason.
We may consider this ideal state of mental development a possibility if we believe that, in the various stages of his progress, man carries over to each succeeding state a balance of inherent possibilities, which, in the new existence, prove the active influences determining the mental status of the next.
In view of this it might seem possible that that quality of the mind, subconsciousness, is in reality but a subtle force at work evolving greater possibilities in the acquirement of knowledge by the multiplication of the perceptive senses.
A straight line has length, but neither breadth nor height. It is a figure of one dimension or direction.
A flat or plane surface has length and breadth, but not height. It is a figure of two dimensions or directions.
A solid body, like a cube, has length, breadth and height. It is a figure of three dimensions or directions.
Line, surface, solid, represent one, two, three dimension.
If we could take an additional step, we should have a fourth dimension.
In what direction should we look for the fourth dimension? Let us see:
Draw a straight line (Fig. 1). Mark off one inch. This gives a figure of one dimension (length). It is bounded by two points.
On this line as base draw a square (Fig. 2). It has two dimensions (length and breadth). The new dimension is obtained by drawing a line at right angles to the first direction. The square is bounded by four
From another point of view, the square is formed by moving the line sideways (at right angles to itself) for a distance equal to its length.
With the square as base, construct a cube (Fig. 3). It is a three-dimensional figure. The third direction is at right angles to the other two, or to any line in the plane. The cube is bounded by six squares; the three-dimensional figure is bounded by six two-dimensional figures. It has twelve bounding lines and eight corners.
The cube is formed by lifting the square upward from the surface to a height equal to its length or breadth.
If we could move the cube in a fourth direction, at right angles to all its sides, we should form a four-dimensional figure. By analogy, it would be bounded by eight three-dimensional figures (cubes), and would have twenty-four square sides, thirty-two bounding lines, and sixteen points. (C. H. Hinton calls it a "tesseract.")
We can represent a three-dimensional figure, like a cube, on a two-dimensional surface, like paper. It is just as easy to represent the new four-dimensional figure on the two-dimensional surface of the paper.
Beginning at the point A (Fig. 4), we draw, first,
Now, let AJ represent a new direction, at right angles to all three directions, AB, AD and AK. This will be the fourth direction or dimension. We can complete the figure as before. This is a true picture of a four-dimensional figure represented on a surface: that is, in space of two dimensions. It is bounded by eight cubes, twenty-four squares, thirty-two lines and sixteen points.
Just as the cube was formed by moving the square upward for a distance equal to its length or breadth, so this "four dimensional cube" is formed by moving the cube for an equal distance in a new direction at right angles to all its sides.
In the flat picture (projection) of the cube, the square sides seem to overlap, to occupy the same space. In reality they do not overlap. So, in the flat picture of the four-dimensional figure, the cubes forming its boundaries seem to overlap. But in space of four dimensions they would not overlap.
Let us approach the question in another way. Draw a straight line (Fig. 5). Mark off on it two points, A and B. A one-dimensional person could push the line along till it reached the position A'B'. But he could not rotate it round B till it reached the position B"A".
Now, let us take a two-dimensional figure, such as a right-angled triangle, ABC (Fig. 6). A two-dimensional man could push the triangle sideways, to the position A'B'C' (Fig. 7). He could also rotate it
round the point B till it took the position A"B"C". But he could not conceive the triangle turned over, so as to take the position DEF (Fig. 8). He could not rotate it round a line (AB). But for us, three-dimensional folk, it is easy to turn the triangle over -- to rotate it round a line -- so that it appears reversed, as in a looking-glass.
Now, let us take a three-dimensional figure, a cube (here represented in two dimensions, flat). We can easily think of the cube turned round so as to take the position in Fig 10. We cannot turn it round so as to take the position in Fig. 11, that is, with right and left reversed, as we see ourselves in a looking-glass. We cannot rotate the cube round a surface. A four-dimensional person could, just as we can turn a triangle over, so that right and left are reversed.
We cannot do this. But we can easily represent it, either by holding our cube before a looking-glass or by such a diagram as Fig. 12. Here we can think of either the side ABCD or the side EFGH as being nearest to us, as being the front of the cube. It changes as we look at it.
This right-and-left rotation is characteristically four-dimensional. Something very like it occurs in nature. A beam of polarized light (whose wave-vibrations are all in one plane) is rotated either to the right or the
left, on passing through certain substances (sugar, starches), just as we might hold a ribbon by the ends and give it a twist to right or left. Dextrose and levulose (forms of sugar found in honey) owe their names to the fact that one rotates a polarized beam to the right (dextra, "right hand"), the other to the left (lćva, "left hand"). In chemical constitution, they are exactly the same. Such substances are called "isomeric." It is suggested that their contrasted properties are due to right and left reversal of their atoms, a four-dimensional movement in the minute particles of which they are built up.
Certain snails, exactly alike in all other characters, have a like difference; some are coiled to the right, others to the left. It is remarkable that their juices
The correspondence of the right and left hand, the right and left sides of the face or body, is similar. It could be produced by a four-dimensional twist, just as our Fig. 10 becomes Fig. 11. It is suggested that such a four-dimensional twist runs through living forms, that the life-force is in part four-dimensional.
Similarly, it is suggested that electric and magnetic forces are four-dimensional. Let us illustrate: Take a piece of flexible India rubber, shaped like an uncut pencil. You can roll it between your finger and thumb, thus rotating it on its center line (or axis). Now fasten the ends together so as to make a ring. You can turn this ring inside out, rotating it on its axis, which is now a circle instead of a straight line. A smoke-ring has just this motion, turning rapidly inside out. The particles on the outside keep moving to the right, while those on the inside move to the left.
Now, imagine another dimension added to the axis of our smoke-ring. Instead of a circle, it will be a cylinder or tube. The outside surface of the tube will have a continuous movement to the right; the inside, a continuous movement toward the left. It will be a four-dimensional "vortex ring." It is suggested that an electric current going along a wire is such a "four-dimensional vortex-ring." The positive current has a continuous right-hand movement; the negative, an equal and opposite left-hand movement.
Is our mental sight four-dimensional?
Consider the cube in Fig. 12. As we look at it, either face may be taken as the front. Without changing
We can do this, because our cube in Fig. 12 is not really solid. A four-dimensional man could do it with a solid cube. And we can do in thought what he could do in fact.
For imagine a solid cube before your mind's eye. You can look direct at the front of it. You can look equally straight at its back or at any side, without either moving your own imagined position or the cube's position. This is four-dimensional.
In the same way you can imagine a locked box, and at the same time imagine the inside of it, without thinking of it as open. You can imagine taking a diamond necklace out of it, while it remains locked. This is four-dimensional robbery, and would be easy to a four-dimensional bank-robber. Our safes would lie open to him for all their locks.
Draw a square on paper. It represents a two-dimensional room. A two-dimensional man could leave it only by going along the surface of the paper to one edge. Put your finger on the paper within the square. It represents the apparition of a three-dimensional being in a two-dimensional room. Raise your finger. The apparition has vanished without approaching the boundaries of the room. Similarly, a four-dimensional being could appear in the center of a three-dimensional room, and disappear as suddenly; just as you can think of yourself in one room and then in another, without having to think of yourself as approaching and going through the doors. This is four-dimensional.
Here is a two-dimensional knot (Fig. 13). [1] A two-dimensional man could only tie it by rotating half the string in a circle, thus bringing the two ends together. We can tie it by simply folding part of the string over without bringing the ends together. We could also tie such a knot on an endless cord -- a circle of string. Similarly, a four-dimensional man could tie one of our three-dimensional knots without bringing the ends of the string together; or he could tie knots on an endless cord -- say a ring of leather formed by cutting out the
center of a disk of leather. The fact that a four-dimensional being could tie such knots, take things from closed boxes, write inside closed box-slates, appear and vanish, suggested to Zöllner of Leipzig that four-dimensional beings do do these things -- at seances.
Again, imagine a two-dimensional space, like the surface of water. Take a cone, point downward, and immerse it in the water. First, only a point touches the water. It becomes a tiny circle, which gradually expands, till the whole cone is just immersed. Plunge it deeper, and the cone vanishes from our two-dimensional space -- the surface of the water. A two-dimensional
It is suggested that we in like manner could only perceive a four-dimensional form as a series of three-dimensional forms succeeding each other in time. Thus, the seven ages of man -- infant, schoolboy, lover, soldier, to lean and slippered pantaloon -- may be thought of as our three-dimensional perception of a four-dimensional form. They may be simultaneous, not successive, like the circles forming the cone. Both vanish at the end -- the cone into three-dimensional, the man, perhaps, into four-dimensional space. Thus time, which has only one dimension (length, but not breadth or height), may represent a fourth dimension added to our three-dimensional space.
If our mental vision be four-dimensional, then our mental or spiritual self may be four-dimensional. If seance-wonders are four-dimensional, they may represent the powers of spiritual beings. If time is but the way in which we perceive the fourth dimension, then our spiritual selves, being four-dimensional, may be above time, outside of time -- eternal.
Plato may have had this in mind when he compared us to men chained in a cave, watching shadows on the wall. That is, three-dimensional beings limited to two-dimensional perceptions. Did he mean that we are four-dimensional (spiritual) beings limited to three-dimensional (material) perceptions?
Had Paul the fourth dimension in mind when, speaking of spiritual life, he enumerated "the breadth and length and depth and height" (Eph. iii., 18); or when he wrote: "I knew a man, whether in the body, or out of the body, I cannot tell, how that he was caught up
These are some of the questions connected with the fourth dimension. This much is certain, that the term comes to us from a firm believer in spiritual life. Henry More, the Platonist, used the phrase "quarta dimensio" -- the "fourth dimension" -- in his "Enchiridion Metaphysicum," ch. 24, 7, about the year 1671, while Milton was still alive.
Again, solids move in lines, like a bullet; that is, in one dimension. Liquids tend to move in two dimensions, as water spreads over a surface. Gases tend to move in three dimensions, as air fills a bubble. Does ether tend to move in four dimensions? Are its contradictory properties the expression of this?
Are dreams four-dimensional? Is this the reason of their "simultaneous succession" -- years in a moment? But our (three-dimensional) space is limited.
Suppose some men were obliged to creep along inside a long gaspipe, so narrow, that each man would just fit it, and that consequently no two men could pass one another. Then each man would be able to move to and fro in the direction of the pipe, but in no other direction.
In such a case each man would be able to see only the feet of the man in front of him, and if any conversation should be held, it is very probable that it would be about the length they had moved, and not about breadth or height.
if you should look at the pipe from a great distance, you would see it as a black line, and if you were able to see through the wall, you would see little things moving along it.
Suppose a number of men were obliged to creep between two parallel horizontal planes, so near one to the other, that they just fitted between them. They would have more freedom of movement than the men in the pipe, for they would be able to move in different directions. From any given place they would be able to move to some other place by creeping first in one arbitrarily chosen direction and after that in a direction perpendicular to the former.
If you were to stand at a great distance above the planes, you would see only one plane, and if you were able to see through it, you would see little things, seemingly moving on that plane.
In ordinary life our movements are not so restricted as in the above-mentioned states, for we are not only at liberty to move on the surface of the earth, but we can also move in a direction perpendicular to it.
It might be possible to shut up the men within the pipe by means of a small hindrance at each of the two ends. The men between the planes might, in a similar way, be shut up by means of a wire, forming a closed figure, placed between the two planes, say at equal distances from each. Looking at the pipe, you would say that the movement in the pipe is restricted by two points, one at each end of the line, and that the movement on the plane is restricted by some closed figure on the plane.
But in ordinary life, neither a point nor a closed figure (for example, a figure drawn on the surface of the earth) is sufficient to hinder us from moving. We are restricted in our movement only when we are inclosed in a room or some other hollow body.
Now, the mathematician is accustomed to say that a line has one dimension (namely length), that a surface has two dimensions, and that a solid has three dimensions. This is done because a surface may always be compared with a rectangle, which has length and breadth, and a solid may be compared with a rectangular block, which has length, breadth, and height.
For the better understanding of the following, we will suppose that the pipe is really what it seems to be at a distance, namely, a single line, in which creatures are moving, which are not human beings, but
In the line, movement is possible only in one direction; therefore, we will call that line one dimensional space, and the creatures therein one-dimensional beings. In the plane, movement is possible in one arbitrarily chosen direction, and also in one perpendicular to that direction; therefore, we will call that plane two-dimensional space, and the creatures in it two-dimensional beings. We ourselves are three-dimensional beings, living in three-dimensional space. In that space we can move in any chosen direction, then in one perpendicular to it, and again in a third direction perpendicular to the first and second. For instance, you may walk along in a street, then move perpendicularly to the street when you enter a house, and after that move perpendicularly to the surface of the earth by rising in an elevator.
Now, the question arises: Is it possible that a fourth direction should exist, which is at the same time perpendicular to the first, second and third direction? That fourth direction we cannot see or draw; we are only able to think and to speak about it. A creature, able to move in the fourth direction, would be a four-dimensional being, and would have at his disposal a four-dimensional space.
A one-dimensional being cannot move in two-dimensional space, but he can think about it; a two-dimensional being cannot move in three-dimensional space,
The one-dimensional space can be supposed to lie in a two-dimensional space; the two-dimensional space to lie in a three-dimensional one. In the same way, three-dimensional space may lie in a four-dimensional one. That is to say, the two-dimensional space surrounds the one-dimensional; the three-dimensional space surrounds the two-dimensional, and thus the four-dimensional space must surround the three-dimensional. A two-dimensional creature would be hindered in its movement by a one-dimensional space lying in its two-dimensional space, if this one-dimensional space were impenetrable; it would be obliged to rest all its life on one side of the line, and it could never come in contact with two-dimensional beings on the other side of the line.
Two two-dimensional creatures on different sides of the line could, perhaps, hear each other, but never see each other.
A three-dimensional creature would be hindered in its movements by a two-dimensional space if this latter were impenetrable; it would be obliged to spend all its life on one side of the plane, and could never come in contact with beings on the other side of the plane.
In the same way, three-dimensional space would, if it were impenetrable from the side of the fourth direction, hinder two four-dimensional beings from coming in contact one with the other.
But as long as our world exists we have never heard
A one-dimensional being is unable to turn so as to make its head occupy the place of its other extremity; but if that same being should be taken to two-dimensional space, it might be turned round there, and then be put in the desired position. In the same way a two-dimensional being would not be able to turn upside down, but a three-dimensional being may do this by taking the two-dimensional being out of its plane, turning it round, and replacing it.
Suppose that same two-dimensional being to have the form of a rectangle with points ABCD (Fig. 1), then its fellow-beings would see a very remarkable change in its state. For if before this points A, B, C, and D succeeded each other the way of the sun they would, after the return of that being, follow each other in a contrary direction. Its fellow-being would have seen it disappear suddenly without having a notion where it had gone to, and would have seen it reappear
suddenly, but now inverted; for what first was on the right will now be on the left.
We gather from this that a four-dimensional being would be able to take a right-hand glove out of our space to his, and to bring it back as a left-hand glove; that a man taken to four-dimensional space might be (but not necessarily must be) transformed into his reflected image, with his heart on the right side of his body instead of on the left side, etc.
In drawing a one-dimensional space we have to draw only lines, each line having two limiting points. In two-dimensional space we can move that line at right angles to its direction, and we can obtain a square. The moving line is in its initial and final position a side of that figure; the two other sides are described by the limiting points of the line. By moving the square perpendicularly to its plane we can obtain a cube. The moving square is in its initial and final position, a limiting face of the cube; the sides of the square describe each another limiting face of the cube; consequently, there are six such-like faces. Each point of the square describes an edge of the cube; the square gives both in its initial and final position four edges; consequently, the cube must have 4 + 4 + 4, i. e., 12 edges.
If it were possible to move the cube in a fourth direction, perpendicularly to the three above-mentioned ones, then we should obtain a four-dimensional solid -- let us call it an over-cube -- of which by comparison we may notice the following properties: The cube in its initial and final position would form a part of the boundary of the solid; each limiting face of the cube would have described a new cube; consequently, the boundary would consist of 2 + 6, i. e., 8 cubes.
Each of the 12 edges of the cube would describe a square; in both the initial and final position there are 6 squares; so the over-cube would possess 12 + 6 + 6, i. e., 24 square faces.
Each of the 8 points of the cube would describe an edge; in both the initial and final position there are 12 edges; so there will be a total of 8 + 12 + 12, i. e., 32 edges.
The one-dimensional line has two final points, the
If a circle in two-dimensional space is passed through a one-dimensional space (which lies in that two-dimensional space), just between two one-dimensional beings, then these beings would be separated. Their distance would gradually increase until the moment that the center of the circle should be in the one-dimensional space; then that distance would be equal to the diameter of the circle. As the circle continues its movement, the beings would be able to approach each other again, and would reach each other at the very moment that the circle should disappear out of their sight. The one-dimensional beings would get the notion of a line, which grows to a certain maximum and then diminishes to zero.
If in the same way a sphere in three-dimensional space were to move through a two-dimensional space then there will be seen on the plane a circle, which gradually increases to a maximum and then diminishes to zero.
We conclude from this that in the fourth dimension there may exist a figure which, by passing through our three-dimensional space, would give us the impression of a sphere, growing larger until it reached a maximum and then gradually diminishing to zero.
For two-dimensional beings that, which we call their surface, is the inner part of them. They are not able to see each other's surface. For one-dimensional beings the line itself forms the inner part; they are not able to see that part of each other. But a two-dimensional being is able to touch the inner part of a one-dimensional being, and a three-dimensional being can touch
We conclude from this that a four-dimensional being may be able to touch our inner parts without being seen by us.
The phrase "space of four-dimensions" has been used in three distinct connections: in pure mathematics, in various theories put forth to explain certain phenomena in the physical sciences, and, lastly, in attempts to provide a suitable abiding place for the spirits of the dead. It was introduced and developed in mathematics long before it was used in either of the other connections. Moreover, its use in those other connections has been simply a succession of attempts to apply the mathematical concept.
Hence, the aim of this paper is first and chiefly to explain the meaning of the phrase as it is used in mathematics. There it is simply a language device to put certain mathematical facts in a more convenient form or to secure greater generality of expression or for both of these purposes. There is no question raised as to whether such a space actually exists or not. A space of four dimensions arises primarily by generalizing a few of the fundamental facts of ordinary plane and solid geometry. Consequently, an exact explanation cannot be given without first stating those facts on which the generalization is based.
Before taking up that explanation, I will mention some examples of other words whose meaning has been extended in a similar manner. In law, the word person has been extended so as to include a legal corporation. By this device a single statement is sufficient
The word dimension primarily means measurement. If we think of a straight line (Fig. 1), and of one fixed point on it, O, then the position of every other point on it, P, is fixed by one measurement, if its direction from the fixed point be given. Since one measurement is necessary and sufficient to fix a point, a straight line is called a space of one dimension. This, by the way, is a use of the word space, distinct from its ordinary use. For the same reason, any continuous line is called a space of one dimension. We will distinguish a straight line by calling it a straight one-dimensional space.
In a plane, two measurements are necessary and sufficient
For the same reason, any continuous surface is also called a space of two dimensions. We will distinguish a plane by calling it a straight two-dimensional space.
In like manner, three measurements are necessary and sufficient to fix a point, P (Fig. 3), in ordinary space with reference to three mutually perpendicular planes, XOY, YOZ, and ZOX. Hence, ordinary space
We can now state the following definitions
which evidently hold in ordinary plane and solid geometry:
We can immediately generalize by adding to this set of definitions the following:
1. A four-dimensional space is a space such that four measurements are necessary and sufficient to fix a point.
Let me here remind the reader that this statement is not intended to define anything that we can conceive mentally in the sense in which we conceive the spaces of fewer dimensions.
In a plane (a straight two-dimensional space) there are an unlimited number of straight lines (straight one-dimensional spaces). In ordinary space (a three-dimensional space) there are an unlimited number of planes (straight two-dimensional spaces). By generalizing we will give to our four-dimensional space the following property:
2. In a four-dimensional space there are an unlimited number of three-dimensional spaces.
The ordinary definition of a plane is as follows: a plane (a straight two-dimensional space) is a surface
3. A straight three-dimensional space is a three-dimensional space such that if any three points in it be joined by a straight two-dimensional space (a plane) every point in that two-dimensional space will lie in the three-dimensional space. Ordinary space is evidently a straight three-dimensional space.
In a plane (a straight two-dimensional space), any straight line (straight one-dimensional space) may be rotated about any point in that line, and even if the amount of rotation be ever so small, the line will occupy an entirely new position, excepting the point about which it was rotated. In ordinary space (a three-dimensional space), any plane (straight two-dimensional space) may be rotated about any straight line (straight one-dimensional space) which lies in that plane, and even if the amount of rotation be ever so small, the plane will occupy an entirely new position, excepting the line about which it was rotated; i. e., any fixed point in ordinary space originally in the plane but not in the axis of rotation will no longer be in that plane. By generalizing we will give to our four-dimensional space the following additional property:
4. In a four-dimensional space, any straight three-dimensional space (such as ordinary space) may be rotated about any two-dimensional space (plane) which lies in that three-dimensional space, and even if the amount of rotation be ever so small, the three-dimensional space will occupy an entirely new position excepting the two-dimensional space (plane) about which it
From the foregoing definitions and assumptions, the following theorem can be proved:
5. Any four points not all in the same plane determine a straight three-dimensional space.
Proof: Let A, B, C and D be any four points not all in the same plane. Pass a straight three-dimensional space through the points A, B, and C, and rotate it about the plane of A, B, and C. The principle of rotation, 4 above, shows that there will be one and only one position in which the rotating three-dimensional space will contain the point D. Hence the points A, B, C, and D determine a straight three-dimensional space.
From this theorem we have the following corollary:
6. Two straight three-dimensional spaces intersect in a plane.
For if all the points of the intersection do not lie in one plane, let A, B, C, and D be four points of the intersection not all in one plane. Then, by the theorem, there will be just one straight three-dimensional space containing all of them; but by hypothesis they are contained in two such spaces.
Proceeding in this way a geometry of four dimensions can be built up and all the theorems of plane geometry will hold in any plane contained in the four-dimensional space, and likewise all the theorems of solid geometry will hold in any straight three-dimensional space contained in the four-dimensional space. Our ordinary space can always be considered as being one of the three-dimensional spaces contained therein. While the whole structure just described is nothing
I wish to refer to one other interesting example before leaving this part of the discussion. It has been proved that in four-dimensional geometry there are six regular structures corresponding to the five regular solids of ordinary geometry. Now, just as a figure in solid geometry can be projected upon a plane, so these regular structures in four-dimensional geometry can be projected upon a three-dimensional space (ordinary space). A few years ago, Dr. Paul R. Heyl, then a graduate student at the University of Pennsylvania, constructed wire models of such projections. These models are now preserved in the mathematical seminar room in the University of Pennsylvania.
The most valuable use of the geometry of four dimensions is distinct from the use mentioned above. To understand it one must have a slight knowledge of analytic geometry, or of the geometrical representation of algebraic equations. Corresponding to any pair of numbers, there is a point in a plane (two-dimensional space); e.g., to the pair of numbers (4, 3) there corresponds the point P (Fig. 2). Corresponding to any set of three numbers there is a point in ordinary space (three-dimensional space); e. g., to the set of numbers (3, 2, 4) there corresponds the point P (Fig. 3). Similarly, from the above definition of four-dimensional
Also, to any relation in algebra between two variables there corresponds a line in a plane; e. g., to the first-degree equation, 2x + y=3, there corresponds a straight line in a plane. To any relation between three variables there corresponds a surface; e. g., to the first-degree equation, x + 3y + 2z=1, there corresponds a plane. Then making use of the language of four-dimensional geometry we can say that corresponding to any relation between four variables there corresponds a three-dimensional space; e. g., to the first-degree equation, x + y-2z + 3u=4, there corresponds a straight three-dimensional space. This is really nothing but a translation of the algebra into the language of geometry. In a similar manner any algebraic relation can be translated into the language of geometry.
It frequently happens, when a long algebraic discussion is translated into geometric language, that it becomes much more concise, and consequently the mathematician can get a much better view of his discussion as a whole; just as the bookkeeper by using the method of double-entry bookkeeping gets a much better view of the status of affairs in his firm. Moreover, when the bookkeeper has his accounts arrayed by the double-entry method, he is frequently able to discover important facts about his firm's business which would have eluded him if he had used the old single-entry system. Just in the same way, the mathematician has frequently discovered important facts in his algebra by viewing it after translation into the language of geometry. These newly discovered facts can then be translated back into algebraic language and become a valuable
The value of this will appear to one disposed to look at the practical side, if we consider how these algebraic relations may arise. The problem of a falling body gives rise to a relation between two variables, namely, time and the distance through which the body falls. This gives us an algebraic relation, S=16t˛, from which, by algebraic manipulation, other relations may be derived. These derived relations can then be interpreted in the terms of the original problem of a falling body. In some problems in electricity four variables are related. Such a relation can sometimes be expressed in algebra, deductions made from it, and these deductions interpreted again into the terms of electrical theory. Now, if the mathematician, by making use of the language of geometry, can discover other facts, these facts also can be interpreted into the terms of electrical theory.
Thus far we have treated of the meaning of the term fourth dimension as it is used in mathematics. The same term has been used in attempts to explain certain physical phenomena, such as the phenomena of light. The properties of the space thus assumed by the physicist are exactly the same as the properties assumed or developed by the mathematician. The physicist assumes the existence of a space of four dimensions, takes those properties, combines with them other physical principles, and makes deductions therefrom. He adds nothing to the meaning of the concept of a fourth dimension. Therefore, his theories are outside the scope of this paper.
In the third case, stated in the beginning, that of providing a place for the spirits of the dead, the procedure
Pupil: The newspapers have been printing things lately about the fourth dimension. Will you tell us something about it?
Teacher: I will do my best, but I fear that you will not be able to understand me.
Pupil: I don't understand what the fourth dimension is.
Teacher: State your difficulty as clearly as you can and it may be that I can help you.
Pupil: We have been studying about figures and objects that have length, breadth, and thickness. I don't see how an object can have another dimension.
Teacher: Objects such as you and I can see and handle do not, so far as we know, have a fourth dimension, but there may be other objects that have four dimensions.
Pupil: I don't see how that can be.
Teacher: Well, do you see how there can be an object of only two dimensions? Did you ever see or handle an object that had only length and breadth, but not thickness?
Pupil: No; I never did. Even the thinnest sheet of paper has some thickness.
Teacher: Yet you have no difficulty in dealing with figures, such as triangles and circles, that have no thickness. You even talk about them as though they actually exist.
Pupil: I thought there were such things as circles.
Teacher: You just said that you had never seen or handled anything that had no thickness. Did you ever see or handle a circle?
Pupil: No. Come to think of it, I never did. I see that a circle exists only in my own thought and not in reality.
Teacher: So far as our experience goes, we must admit that is true, but may we not conceive of the possibility of things existing which we cannot see and handle, things beyond the reach of our senses, that have no thickness; in other words, that have only two dimensions?
Pupil: If they are not real to me, I don't see how they can be real at all.
Teacher: Imagine for a moment that your shadow on the wall comes to life. Now, a shadow, as a mere surface, is not real to us. The shadow on the wall is to us a symbol of unreality, of that which has no substance. Can you not now imagine the surface of the wall extended indefinitely and a multitude of such figures as your shadow moving about upon that surface? These shadow figures cannot escape from the surface. They are living in space of two dimensions. If one of them points his finger, he points in some direction in the surface in which he lives; in other words, in the direction of a straight line lying within the plane. Perhaps the earth upon which such creatures live is a circle, and they move about upon the circumference of that circle. Other planets are circles, perhaps
Pupil: Yes, I can imagine all that; but that is a world of two dimensions. I can't imagine a world in which there are four dimensions.
Teacher: Perhaps not, because you have no experience like seeing your shadow to help you. But you may be able to think of the possibility of such a world, and indeed you have taken the first step in that direction.
Suppose the shadow man sees his image in a mirror, as in Fig. 1. Suppose, in his vanity, he wishes to appear as he does in the mirror, that is, to take the position of his image. Do you see that, if he goes to the other side of the mirror, remaining in his space of two dimensions; he is either standing on his head or has his back to the mirror? He cannot possibly take the position of his image and remain all the time in the plane. Now, suppose some higher being, who lives in space of three dimensions like yourself, picks up the shadow man and, turning him over, places him in the position of his image -- a movement you can
Now, when you look at your image in a mirror, the right and left sides of your body appear to have changed places. That freckle on your right cheek appears on the left cheek of your image. Your image is symmetrical to your body. You have learned in geometry that two symmetrical figures cannot, in general, be made to coincide. You may go behind the mirror as far as the image appeared to be and turn about, yet you cannot take the position of your image, or rather make your body coincide with that position. The freckle is still on your right cheek. Turn about as much as you please in your space of three dimensions, you cannot make your right and left sides exchange places. But suppose there were another direction in which your body might be turned by some higher being, just as you might pick up the shadow man and turn him about in a direction he could not think of, then you might be placed in the exact position of your image.
Pupil: Is that the position I would have if I were in space of four dimensions?
Teacher: Oh, no! That is the position you would have after turning about in space of four dimensions and returning to space of three dimensions, just as the shadow man takes the position of his image after
can you picture it to your mind, because your mental pictures depend on your experience in space of three dimensions.
Perhaps you can understand it better if we take simple geometrical figures. In Fig. 2 we have a square in the shadow world, and its image in a mirror. It may be placed in the position of its image or the symmetrical position by taking it out of the plane or moving it first in a direction perpendicular to the plane and then turning it over. Tell the shadow man that a line can be drawn at the point B perpendicular to both AB
In Fig. 3 we have a cube and its image in a mirror. To place the cube in the position of its image, it must first be moved in a direction perpendicular to all its edges. That direction is the fourth dimension. Now you are like the shadow man. When I tell you that
there may be a line at the point E perpendicular to the lines EF, EB, and EH, you do not believe me, because you cannot picture to your mind any such direction.
Pupil: Can you draw that line?
Teacher: That I cannot do. If I draw a line on the blackboard or making any angle with the board, it represents to your mind a line in space, the only space you know, and that is space of three dimensions. You see, the reality of the fourth dimension depends on there being a direction of movement of which we are not
We may unconsciously move in that unknown direction just as the whole world in which the shadow man lives might, unknown to him, be moved in a direction at right angles to the plane.
There is another way in which we may think of the fourth dimension. Just as we can understand how a cube or a sphere appears to the shadow man, as it passes
through the surface in which he lives, so we can understand how certain bodies of four dimensions would appear if they were to pass through our space.
Let us think of a cube passing through the shadow world, as in Fig. 4. The shadow man can see only that part of the cube which lies within the surface in which he lives. If the cube is passing through with four edges perpendicular to that surface, the shadow man sees a square. As the cube passes through, the substance of which that square is composed changes. We can see this if we suppose the surface of the cube to be shaded, say from yellow through orange to red. Now, the
We may think of a figure of four dimensions which bears the same relation to the cube that the cube bears to the square. A cube is generated by a square moving in a direction perpendicular to its sides, that is, in the third dimension. So this new figure is generated by a cube moving in a direction perpendicular to all its edges, that is, in the fourth dimension. As a cube moving through space of two dimensions appears as a continuously changing square, so this new figure in passing through our space would appear as a continuously changing cube. As the shadow man represents the cube to himself by a series of squares, each square being a section of the cube, so we may represent this new figure of four dimensions by a series of cubes, each cube being a section of the figure. To pass through our space, this curious figure of four dimensions must move a distance equal to one of the edges of the cube.
We might reason about other figures in the same way. We might even think of a being whose form bears the same relation to the human form that the human form bears to its shadow.
Pupil: I begin to see how we can think of a fourth dimension, but how can you prove that it is real?
Teacher: I cannot prove to you that it is real, since I have never yet seen a body disappear from our space and return to it after turning about in space of four dimensions; nor have I seen a four-dimensional being move through our space. If either of these things were to happen or could be proved to have happened, we should know to a certainty that there is a fourth dimension.
Pupil: Could anyone draw a picture of a body that has four dimensions?
Teacher: If such a picture were drawn it would have three dimensions, just as you may draw a picture of a cube and your picture has two dimensions. If your picture is drawn according to the laws of perspective it represents to your mind a cube, as the cube appears to you. Now, if a picture, having three dimensions and representing a body of four dimensions, were drawn, and if this picture accorded with the laws of perspective in space of four dimensions, still it would not represent to your mind a figure of four dimensions. You would probably mistake it for a model. You would see only the three-dimensional figure. It would require a being conscious of movement in the fourth dimension to interpret the picture.
Geometry tells us that a point has no dimension; that it possesses merely position in space. If, however, we move a point continuously in space it will generate a line (Fig. 1), which is said to possess one dimension
-- length. Now, let us move the line thus made through space. It generates a surface (Fig. 2), and we notice that our surface possesses the one dimension of the line and also a second dimension -- breadth. From a line possessing one dimension we have generated a surface with two dimensions. Now, if we move our surface through space it will generate a solid (Fig. 3). This possesses the length and breadth of the surface and, in addition to these, a third dimension -- thickness. From a point, then, we have generated a line with one
dimension. Such a figure would possess four dimensions, and the existence of such a figure would require the existence of a fourth dimension. It is by reasoning of this kind that the idea of a fourth dimension has been developed.
Now, let us take a line and see why the term one-dimensional is applied to it. On a line, the position of a point and, therefore, the point itself, is determined when its distance from an arbitrarily chosen point on the line, the zero point, is known. We find this distance by measuring, in terms of the unit of length, from zero to the point P (Fig. 4), in just the same
point at which two lines intersect each other at right angles. Such lines may be considered the axes of length and breadth. Now we measure the distance from P (Fig. 5) to each axis, and having these two distances our point can be determined. This is the same system that is used in locating positions on the surface of the earth, when we refer distances to the parallels of latitude and meridians of longitude. A point in the two-dimensional plane requires, then, two numbers for its determination, and, in general, for a two-dimensional system two numbers are necessary
Let us now study the possibilities of motion in the different systems. In a one-dimensional system there is but one possible direction for movement. In a two-dimensional system there is the possibility of movement in two directions. On a line, then, motion is possible in but one direction; in a plane, motion is possible in two directions. In a two-dimensional system all movements are either parallel to the two axes, or are combinations of movement in these two directions. Similarly, in a three-dimensional system, there is possible motion in three directions, and all movements in a three-dimensional system are either parallel to the three axes of length, breadth, and thickness, or are combinations of movement in these three directions. If, then, we extend the argument, we see that in a fourth-dimensional system, movement would be possible in one or all of four directions.
How many dimensions does the world in which we live possess? We have seen that a solid possesses three dimensions. Further, according to geometry, a
However, there are some who argue as follows: Motion in one direction will not take us to every point in a two-dimensional system; likewise, motion in two directions will not take us to every point in a three-dimensional system. So, they assert that motion in three directions will not enable us to reach all points in space as it really is. We know that motion in three directions will take us to every point in a three-dimensional system. Then, if motion in three directions will not take us to all points in space, we must assume motion in a fourth dimension, and so a fourth-dimensional space.
What, then, is this fourth dimension, and is there any evidence for its existence? Before we attempt to answer let us see clearly the difficulties encountered in discussing the fourth dimension. To beings living in a one-dimensional world the idea of breadth has no significance. To beings living in a two-dimensional world the idea of thickness would have no significance. They can move in but two directions and their world is consequently limited to the dimensions of length and breadth. Terms which are easily comprehended by us, who live in a world of three dimensions, would possess absolutely no significance to the two-dimensional beings. Similar to this, then, is the difficulty of describing the fourth dimension. If a fourth-dimensional being were to describe this dimension his
The first analogy depends on the properties of configuration. In a two-dimensional system we can place three points at equal distances from one another. Taking a plane as our two-dimensional system, and connecting
the three equidistant points, we have an equilateral triangle (Fig. 7). Try as we will, however, we cannot place four points in a plane equidistant from one another. If we add another, dimension to our system the placing of four points equidistant from one another can be accomplished. Taking three of the points arranged in the form of an equilateral triangle as a base, we place the fourth point in the third dimension above the others. We can place this at the same distance from the points in the plane, as these are from each other. Connecting our points by lines we have a
Let us illustrate this space arrangement. In chemistry, the molecules of a compound are said to consist of the atoms of the elements contained in the compound. These atoms are supposed to be at certain distances from one another, and to be held in their relative positions by certain forces. Formerly, all the atoms in a molecule were conceived to lie in one and the same plane. Now, however, the atoms are given a definite space arrangement. In order to account for certain facts, it has been necessary to assume in some molecules that four atoms are equidistant from one another. We picture them, therefore, as being situated at the vertices of a regular tetrahedron. If it were necessary to assume the equidistance of five atoms in the molecule, this would be evidence for the existence of a fourth dimension, as only in a fourth-dimensional system would this be possible.
Another analogy depends on the properties of rotation. In a plane, rotation takes place about a point; as may be illustrated by the drawing of a circle by means of a compass, in which the end of one leg of the compass is the point about which rotation takes place. It is impossible to have rotation about a point in a one-dimensional system, as a line. In a three-dimensional system, rotation may take place about a line, as, for instance, the rotation of the earth about its axis. In a world possessing four dimensions, however, we see by analogy that rotation would also be possible about a plane.
Let us see if this conclusion is justified. The process of rotation is closely connected with that of superposition, so the latter must be discussed to some extent. The congruence, or, roughly speaking, the equality of two geometric forms is determined by superimposing one upon the other, and then seeing if the two forms
coincide in every part. In a one-dimensional system we cannot superimpose one line upon the other;[1] the best we can do is to place the lines so that they meet. The only way m which superposition of lines can be secured is by moving one of the lines through a second dimension and then placing it upon the other (Fig. 9). It takes, then, a two-dimensional system to give us superposition of one dimension. Now, take the case of two equal triangles on a plane (Fig. 10). We can determine the congruence of 1 and 2 by displacement; that is, we move one of the triangles and then see if
rotate one of them about an edge through a third dimension until it again reaches the plane, and they can now be superimposed. Rotation about a line and superposition of two-dimensional figures require thus the aid of a third dimension. In this passage through the third dimension, however, the angles of the triangle were reversed, that is, the anterior and posterior angles are interchanged, and, in fact, it is due to this that the superposition is possible.
Let us extend this idea to the superposition of one solid upon another. For pyramids 1 and 2 we can use the process of displacement (Fig. 11). How can we superimpose 3 upon 2? Such pyramids are symmetrical. All lengths and angles of one have their exact
Now, to take another illustration from chemistry, there are two varieties of tartaric acid which crystallize in forms bearing the relation of object to mirror-image. Such crystals are illustrated in Fig. 12. Apparently these two varieties change the one into the other without chemical resolution and reconstitution. If it could be shown that such does take place, then this would be proof of a fourth dimension, because only in a fourth-dimensional space can a right-handed shape become a left-handed shape by simple movement.
These, then, are the most obvious of the possibilities of a fourth dimension.
Is there a real fourth-dimensional world? It is highly improbable. If there were such a world would it be inhabited by beings who could act upon us three-dimensional beings, as the Spiritualists assert? We reasoned the possibilities of a fourth-dimensional world by analogy -- we must reason this question in the same way. If there is a fourth-dimensional world containing beings that can act upon and influence us, who are but three-dimensional, then, by analogy,
we would expect the existence of a world of two-dimensional beings upon whom we could consciously act. We do not know of such a world. Also, we would expect a fifth-dimensional world with beings who could influence the beings of a fourth-dimensional world, and so on. Perhaps there is a two-dimensional world that we cannot influence. Then, the other worlds should be independent also, and if the fourth-dimensional beings can still influence us, then the fourth-dimensional world would be an exception in the great plan of creation. The existence of such a world with beings that can influence us is, therefore, highly improbable.
In conclusion, let us summarize what we have learned concerning the fourth dimension.
In a system of four dimensions:
Grateful acknowledgment is here given by the writer to Hermann Schubert and C. H. Hinton, whose papers have been freely used in the preparation of this essay.
Everybody has observed the difficulty that a little child has in realizing that it must step over a comparatively high object on the floor. It has no notion of falling. It is delighted and astonished as, from its eminence on the table, it watches you bend down and disappear and then rise up again and cry "peek-a-boo." This inability on the part of babies to comprehend a third dimension is well known. Now, very serious and bespectacled geometricians tell us that perhaps we, too, are but babies in a space of a fourth dimension, and that we, too, might be no less astonished if beings from that world chose to play peek-a-boo with us.
In order to get some notion of the fourth dimension, let us, first of all, get an idea of the meaning of dimension. The dictionary gives it as extension in space. Every material body, such as a tree, a horse, a sheet of paper, is known as a (physical) solid, and the limited portion of space it occupies is known as a (geometrical) solid, because it extends in three directions; and we speak of every object as having three dimensions -- length, breadth, and thickness. Yet, although a very thin sheet of paper is a solid, we can think of its surface only; and, although a tree is a solid, we can think of its height only, without any reference to its diameter.
But, having the solid, our experience does not permit us to go any further. However we move the solid, we still generate a solid and nothing else. Nevertheless, let us be bold and imagine that we move the solid into a space that it did not previously occupy and that we make it take an added dimension that it did not previously have. We now get an object of four dimensions.
It may be difficult for us to form a conception of a world of more than three dimensions. Yet it is no more difficult than to imagine a world confined to only two dimensions, or than, for beings of such a world, to form a conception of our space.
For simplicity, let the two-dimensional world be a plane, though equally well it might be the surface of a sphere. We may picture to ourselves the mode of life of the inhabitants of this flat land. They could
In this supposed land, let us draw two straight lines perpendicular to one another, that is, two straight lines intersecting at right angles at A. The drawing (Fig. 1) would be as perfectly conceivable to our plane beings as it is to us. But suppose we asked them to draw a third line perpendicular to the other two lines at the same point of intersection A.
That would seem absurd and impossible to them, just as it would be to us if we had to draw the required third line on the paper. But with this condition removed, we can leave the plane surface of the paper and draw the third line through the paper perpendicular to the surface at A, just as we might stick a pin at A vertical to this page.
So, too, with us, when we have a cube after drawing three mutually perpendicular lines, and are required to draw a fourth line passing through the same point, perpendicular to all of the three lines already there. In our space the problem is absurd and impossible. Our conceptions do not admit of more than three dimensions. But for a being that could conceive of a fourth dimension the problem would be easy. He would simply draw the line through that space.
Our conscious life is in three dimensions, and naturally the idea occurs whether there may not be a fourth dimension. No inhabitant of flatland could realize what life in a world of three dimensions would mean. Yet, if he were intellectual, he might be able to extend the analytical geometry that applied to his world, so as to obtain results true for a world in three dimensions, a world that would be unknown and inconceivable to him. Similarly, we cannot realize what life in four dimensions is like, though we can use our analytical geometry to obtain results true of that world or even of worlds of higher dimensions. Moreover, the analogy of our position to the inhabitant of flatland enables us to form some idea of how the inhabitants of space of four dimensions would regard us.
If we placed a dweller of flatland inside a circle, or inside a rectangle drawn on his plane, he would be as truly imprisoned as we are in a closed prison cell. He would go all around, and, finding every inch of it closed, he would simply despair of getting out, unless he could break through it. On account of his limited conceptions, he could not possibly understand how we might step over the boundary. He could form no notion of the trick. But we should simply step over the line and reappear on the other side. So, if we, confined within the six surfaces of a dungeon, a being able to move in the fourth dimension, he would step outside of the cell without breaking any part of the walls, ceiling or floor. He would do it as easily as we could pass over the circle drawn on a plane without touching it -- so wonderful to our friend in flatland. Our new being, the fourth-dimensional one, would simply disappear from our view like a spirit and then reappear again outside the prison. He would only
Let us continue our analogy further. We know that the cross-section of a line is a point; that of a surface, a line; and that of a cube, a surface. Hence, if a fourth-dimensional object were cut crosswise its section would be a cube; that is, a four-dimensional object
is bounded on all sides by solids. Again, on a line we can find two points equidistant from each other; for example, the points B and C with the single distance BC ( Fig. 2 ). In a plane, we can find three equidistant points, as the vertices of an equilateral triangle in which AB=BC=CA (Fig. 3). In our space, four equidistant points can be located, the vertices of a tetrahedron, that is, a pyramid having four triangular faces. Hence, in four-dimensional space it should be possible to find five equidistant points. Further, rotation in a plane takes place about a point; in our space, about an axis, as shown in Fig. 4. Hence, in four-dimensional space, rotation should take place about a plane.
This last point -- rotation -- leads to a curious geometrical application of the principle. We have in Fig. 5 two triangles, of which the sides and angles of the one are equal to the corresponding sides and angles of the other. We can lift one triangle up and turn it over on the other so that the two triangles fit exactly together. But, mind, we could not do it otherwise
than by lifting. Hence, these two triangles could never be fitted together by the mathematicians of flatland, since to them lifting is inconceivable. Possibly, however, they might suspect this method by noticing that an inhabitant of one-dimensional space -- say, for simplicity, one living on a straight line -- might experience a similar difficulty in comparing the equality of two segments, AB and B'A' (Fig. 6), each defined by a set of two points. We may suppose that the segments are equal and so that the corresponding points in them could be superposed by rotation round C. This movement, so simple to a flatlander, would be inconceivable to our one-dimensional being. In fact even if he were moving along the lines from A to A',
We have a somewhat similar difficulty in our geometry. Let us suppose two pyramids (Fig. 7) similarly related. All the faces and angles of the one correspond exactly to the faces and angles of the other. Yet lift them about as we please, we could never fit them together. If we fit the bases together, the two will lie on opposite sides, one being below the other. Again, we may conceive of two solids, such as a right hand and a left hand, which are exactly similar and equal, but of which one cannot be made to occupy exactly the same position in space as the other does. These are difficulties similar to those experienced by the inhabitants of flatland in comparing the triangles. But it may be conjectured that in the same way as such difficulties in the geometry of an inhabitant in space of one dimension are explicable by moving the figure temporarily into space of two dimensions by means of rotation round a point, and as such difficulties in the geometry of flatland are explicable by moving the figure temporarily into space of three dimensions by means of rotation round a line, so such difficulties in our geometry would disappear if we could temporarily move our figures into space of four dimensions by means of rotation round a plane -- a movement quite inconceivable to us. That is, the dweller in four-dimensional space would take our troublesome pyramids and fit them together without
To sum up, then, we may say that the fourth dimension is an extension in a space unknown to us and in a direction outside of those we can conceive. The idea is to us incomprehensible. We have no positive proof of its existence. But, inconclusive and insufficient as are the results, we can get a notion of the fourth dimension by attending to the corresponding step that the plane being would have to take in forming an imaginary construction of our space. Also, we considered how this inhabitant of flatland might find arguments to support the view that space of three dimensions existed, and then we saw whether analogous arguments applied to our world. Right around us, but in a direction that we can no more conceive than the flatlander can conceive a direction perpendicular to his plane, there may exist, then, another universe, or any number of universes. All that physical science can say against this supposition is, that even if a fourth dimension exists, it must forever remain unknown to us in our natural condition.
In conclusion, it may be said that the growth of this "fairyland of geometry" has been greatly influenced by the theory of parallels, which theory is the result of an attempt to prove that through a point only one line can be drawn parallel to another line -- this being taken for granted in our plane geometries. Ignoring, then, this accepted truth, Lobachevsky, a Russian geometer, and the Hungarian Bolyai constructed, about 1830, a geometry in which more than one line can be drawn through a point parallel to another line. The term applied to it is "metageometry," and its study has stimulated the development of the geometry of hyperspace, of which the fourth dimension is but a special case.
Furthermore, attempts have been made to find, in the space of four dimensions, explanations of certain difficulties or apparent inconsistencies in physical science. Thus, the behavior of the atoms in certain carbon compounds has been attributed to their motion in the fourth dimension. Attempts have also been made to explain the properties and constitution of matter by means of space of four dimensions. One writer has even argued thus: If a finite solid were passed slowly through flatland, the inhabitants would be conscious only of that part of it which was in their plane; that is, they would see only a surface, or the section of the solid by their space. They would see the shape of the object gradually change and finally vanish. In the same way, if a body of four dimensions were passed through our space, we should be conscious of it only as a solid, namely, the section of the body by our space; and as it moved along, we should see its form and appearance gradually change and finally vanish, perhaps. So he suggested that the birth, growth, life,
Dimension as applied to space signifies extension.
These extensions are measured in directions mutually perpendicular to one another, and the number of dimensions is determined by the number of independent perpendicular directions that can exist in the given space.
To illustrate: In Fig 1, assume that ZO is a line drawn from the center of a sphere to the surface. All points in the line, from an assumed origin, O, to infinity in either direction could be represented by giving different values to one variable, as z, and using the proper sign, plus or minus.
Imagine that the line ZO is the only space in existence, and that a mathematical intelligence is concentrated in the point Q1. It would have one sense of direction only, an "up-down" sense, for it could form no conception of any motion perpendicular to its line. From these two premises (the one algebraical, and the other geometrical), it follows that a line is a one-dimensional space.
At the point O erect OX perpendicular to OZ. A plane passed through these two lines will cut a circle ZOR from the sphere. The mathematical intelligence in this case may be represented by the square Q2. We may imagine it confined in the plane to the immediate proximity of the circumference of the circle ZOR, just as our habitat is located in the immediate vicinity of the surface of the earth. Q2, however, has one more space perception than Q1, for the former, in traveling its circumference, adds a sense of "forward-backward." Q2 can move in either direction, OZ or OX. These two directions may be assumed at pleasure in the plane, but having assumed arbitrarily any one direction, only one other perpendicular direction can exist in the plane. Every point in the plane of ZOX may be reached by giving proper values to two variables, x and z. Hence, a plane is a space of two dimensions.
If, at the point O, we draw a perpendicular OY to the plane of ZOX, we determine a new space of three dimensions. The mathematical intelligence, now represented by the cube Q3, has the added perception of "right-left."1 This is "our" "solid" space. The essential characteristic of this space is that, at each point, any number of three independent perpendicular directions may be determined, but no more than three. All points in "our" space may be located by giving different algebraical values to three variables, as x, y, and z.
Let us assume that at the point O a fourth line, OW, could be drawn perpendicular to the three axes, OX,
We are absolutely lacking in the "w" sense. The key to this direction is concealed from the mathematical genius as well as from the schoolboy. The question naturally arises: Is this limitation a human limitation only, or is there something inherent in what we might term "absolute reason" that precludes the idea of the fourth and higher dimensions? It is at least possible that the limitation exists in human reason alone. General geometry, both pure and analytical, ascends from zero to any number of dimensions without any break to betray the passing of the third dimension.
If we accept a "w" direction, definitely
abandoning all hope of mentally representing it, we can investigate the
properties of four-dimensioned space as satisfactorily as we can those of three
dimensions. Our only method of investigation must be analogy, but we shall find
that it will not once fail us. Following this line of inquiry, we may develop
the following properties of four-dimensioned space:
Let us assume, for purposes of illustration, that a two-dimensional world and a four-dimensional world has each a separate existence. We must further postulate
If Q3 should visit a 2-world, he would be perceived by Q2 as two-dimensional. For example, if the visitor were cubical in shape, every part would be invisible to Q2, except the square base of contact. Q2 could not understand how a coin, "head-up," could be turned "tail-up." Q3 could easily perform the feat, either by taking the coin into his own space, turning it, and restoring it, or by turning it around a chord of the circular coin as an axis. The maximum element of the circle that could possibly remain visible to Q2 during the transformation would be a single diameter. Similarly, if Q4 should visit our world, he would appear as a three-dimensional being. He could turn a sphere "inside out," either by withdrawing it to his own space, or by revolving it through his space around a circle of the sphere remaining in our space. [5] The maximum element of the sphere that could be seen during any such operation would be a great circle.
Again, if Q2 were inside the bounding line of any figure, as the circumference of a circle, he could not reach the outside without breaking through. Q3, by first moving normal to the plane, could pass out and in at will, without penetrating the boundary. So, in
Q2 could make a simple loop in a string, [6] but so long as he kept the string intact and the ends fastened, he could not straighten it. Q3 could do this, however, by lifting the loop into his space, untwisting it, and restoring the string. The corresponding maneuver with us would be the untying of an ordinary ("thumb") knot, without disturbing the fastened ends or cutting the string. Q3 would have to evoke Q4 to solve this problem.
It is interesting to note that Slade (who was eventually
exposed) performed the trick of passing a grain of corn through the solid surface of a glass sphere, and that of untying a knot, as described in the preceding paragraph. The celebrated mathematician, Zöllner, witnessed these two performances, and appears to have believed that Slade was assisted by fourth-dimensional "spirits."
Q2 regards the symmetrical triangles of Fig. 2 as different shapes, because he cannot possibly make them coincide. He perceives a disposition of the one with respect to the other exactly analogous to the one we perceive with respect to "right-handed" and "left-handed" shapes. Q3 proves that the triangles are equal,
If Q3, views ABC from above the plane of the paper, he obtains one aspect of the triangle. If he views ABC from a point the same distance below the plane of the paper, he obtains the other (the abc) aspect. We see then that Q3's conception of symmetrical shapes, as but two aspects of one shape, results from his freedom of movement in a direction normal to Q2's space.
We sense a right glove and a left glove as different shapes, yet we have an intuitive feeling they ought to be the same figures. If one turns a right glove inside out, it becomes a left glove, and vice versa. Q4 can perform this transformation, when the gloves are closed surfaces. If he rotates a right glove a half-turn through his space, it becomes a left glove, the rotating glove being necessarily turned "inside out" during the movement.7
Suppose that Q4 should view a glove from two points, the one "above," and the other a corresponding position "below" our space. From one point of view, the glove will appear to him as a right glove, and from the other point of view, as a left glove. He recognizes no difference whatsoever between "outside" and "inside," except one of aspect. It is for this reason that the passage from what we call the "inside" of a sphere to the "outside" does not necessarily involve the penetration of the surface. This attribute of Q4's intelligence results from his ability to conceive and move in what we have called the "w" direction. If I were
It should be noted that if two symmetrical figures be rotated a quarter-turn toward each other through the next higher space, they will coincide. From this point of view, symmetrical figures may be regarded as resulting from a splitting of one figure in a given space, and an unfolding into the next lower space.
With the possible exception of symmetry existing in our world, we have no evidence of the real existence of a 4-world in the finite, and no evidence whatever in the direction of the infinite.
We know that the ether, although it eludes all of our senses, envelopes and permeates our phenomenal world. We feel in some vague, intuitive way, that it is the medium connecting us with a higher order of existence and thought. In the ether, if anywhere, we should expect to find some fourth-dimensional characteristics. Gravitation, electricity, magnetism, and light are known to be due to stresses in, or motions of, the infinitesimal particles of the ether. The real nature of these phenomena has never been fully explained by three-dimensional mathematical analysis. Indeed, the unexplained residuum would seem to indicate that so far we have merely been considering the three-dimensional aspects of four-dimensional processes. As one illustration of many, it has been shown both mathematically and experimentally that no more than five corpuscles may have an independent grouping in an atom; a most significant fact, in view of our third "property" of 4-space.
The fourth dimension has an ethical and philosophical