The Prologue
On the Variability of Psychic Powers-The Discovery of the Fourth Dimension Marks a Distinct Stage in Psychogenesis-The Non-Methodical Character of Discoveries-The Three Periods of Psychogenetic Development-The Scope and Permissibility of Mathetic License-Kosmic Unitariness Underlying Diversity.
In presenting this volume to the public profound apologies are made to the professional mathematician for the temerity which is shown thereby. All technical discussion of the problems pertinent to the geometry of hyperspace, however, has been carefully avoided. The reader is, therefore, referred to the bibliography published at the end of this volume for matter relating to this aspect of the subject. The aim rather has been to outline briefly the progress of mathematical thought which has led up to the idea of the multiple dimensionality of space; to state the cardinal principles of the Non-Euclidean geometry and to offer an interpretation of the metageometrical concept in the light of the evolutionary nature of human faculties and material characteristics and properties.
The onus of this treatise is, therefore, to distinguish between what is commonly known as sensible space and that other species of space known as geometric spaces. Also to show that the notion which has been styled hyperspace is nothing more nor less than an evidence of the faint, early outcroppings in the human mind of a faculty which, in the course of time, will become the normal possession of the entire human race. Thus the weight of all presentations will be to give currency to the belief, very strongly held, that humanity, now in its infancy, is yet to evolve faculties and capabilities, both mental and spiritual, to a degree hitherto viewed as inconceivable.
On this view it must appear that the faculty of thought including the powers of imagination and conceptualization are not psychological invariants, but, on the other hand, are true variants. They are, consequently, answerable to the principle of evolution just as all vital phenomena are. Some have thought that no matter what idea may come into the mind of the human race or at what time the idea may be born the mind always has been able to conceive it. That is, many believe that the nature of mind is such that no matter how complex an idea may be there has always been in the mind the power of conceiving it. But this view cannot be said to have the support of any trustworthy testimony. If so, then the mind must at once be recognized as fully matured and capable during every epoch of human evolution, no less in the first than in the latest, which, of course, is absurd. It is undoubtedly more reasonable and correct to believe that the powers of conceptualization are matters of evolutionary concern. For instance, the assertion that the mind was incapable of conceiving, in the realm of theology, a non-anthropomorphic god, or, in the field of biology, the doctrine of evolution, or, in the domain of invention, the wireless telegraph, or, in mathematics, the concept of hyperspace before the actual time of these conceptions, cannot be successfully controverted.
In fact, it may be laid down as one of the first principles of psychogenesis that the mind rarely, if ever, conceives an idea until it has previously developed the power of conceptualizing it and giving it expression in the terms of prior experience. As in the growth of the body there are certain processes which require the full development of the organ of expression before they can be safely executed so in the phyletic development of faculties there are certain ideas, conceptions and scopes of mental vision which cannot be visualized or conceptualized until the basis for such mentation has been laid by the appearance of previously developed faculties of expression. And especially is this true of the intellect. Inasmuch as the entire content of the intellect is constituted of sense-derived knowledge, with the exception of intuitions which are not of intellectual origin though dependent upon the intellect for interpretation, there can be no doubt as to the necessity of there being first deposed in the intellect a sense-derived basis for intellection before it can become manifest. The Sensationalists, led by Leibnitz, propounded as their fundamental premise this dictum: "There is nothing in the intellect which has not first been in the senses except the intellect itself," and this has never been gainsaid by any school that could disprove it. The intuitionalist does not deny it: he merely claims that we are the recipients of another form of knowledge, the intuitional, which, instead of being derived from sense-experience, is projected into the intellectual consciousness from another source which we designate the Thinker. Thus, from the two forms of consciousness, come into the area of awareness truths that spring from entirely different sources. From the one source a steady stream of impressions flow constituting the substance of intellectual consciousness; from the other only a drop, every now and then, falls into the great inrushing mass so as to add a dim phosphorescence to an otherwise unilluminated pool. Obviously, when there is a lack of sensuous data from which a certain concept may be elaborated there can be no conception based upon them, and as the variety and quality of concepts are in exact proportion to the variety and quality of sense-experience there can be no demand for a particular species of notions such as might be elaborated out of the absent or non-existent perception. Hence, the power of conceiving springs forth from sense-experience. Sense-experience is essentially a mass of perceptions: these, creating a demand for additional adaptations, conspire, as if, to evoke the power or faculty to meet the demand, and consequently, an added conceptualization is made.
Progress in human thought is made in a manner similar to that which prevails in the development of other natural processes, such as, the power of speech in the child. In the development of this faculty there are certain definite stages which appear in due sequence. The child is not gifted with the power of speech at once. It comes, by gradual and sometimes painful growth, into a full use of this faculty. Now, much the same principle holds true in the evolution of the mind in the human species. It is an established biologic principle that the ontogenetic processes manifested in the individual are but a recapitulation of the phylogenetic processes which are observable in the progress of the entire species. The view becomes even more cogent when note is taken of the fact that the foetus, during embryogenesis, passes successively through stages of growth which have been shown to be analogous, if not identical, with those stages through which the human species has developed, namely, the mineral, vegetal and animal.
Wherefore it may be said that the fourth dimensional concept marks a distinct stage in psychogenesis or evolution of mind. It required, as will be shown in Chapter II, nearly two thousand years for it to germinate, take root and come to full fruition. For it was not until the early years of the nineteenth century that mathematicians, taking inspiration from Riemann (1826-1866) fully recognized the concept as a metaphysical possibility, or even the idea was conceived at all. Serious doubt is entertained as to the possibility of its conception by any human mind before this date, that is, the time when it was actually born. Prior to that time, mathematical thought was taking upon itself that shape and tendence which would eventually lead to the discovery of hyperspace; but it could not have reached the zenith of its upward strivings at one bound. That would have been unnatural.
Such is the constitution of the mind that although it is the quantity which bridges the chasm between the two stages of man's evolution when he merely thinks and when he really knows it is entirely under the domain of law and must observe the times and seasons, as it were, in the performance of its functions. The scope of psychogenesis is very broad, perhaps unlimited; but its various stages are very clearly defined notwithstanding the breadth of its scope of motility. And while the distance from moneron to man, or from feeling to thinking is vast, the gulf which separates man, the Thinker, from man, the knower, is vaster still. Who, therefore, can say what are the delights yet in store for the mind as it approaches, by slow paces, the goal whereat it will not need to struggle through the devious paths of perceiving, conceiving, analyzing, comparing, generalizing, inferring and judging; but will be able to know definitely, absolutely and instantaneously? That some such consummation as this shall crown the labors of mental evolution seems only natural and logical.
It may be thought by some that the character and content of revelational impressions constitute a variation from the requirements of the law above referred to, but a little thought will expose the fallacy of this view. The nature of a revealed message is such as to make it thoroughly amenable to the restrictions imposed by the evolutionary aspects of mind in general. That this is true becomes apparent upon an examination of the four cardinal characteristics of such impressions. First, we have to consider the indefinite character of an apocalyptic ideograph which is due to its symbolic nature. This is a feature which relieves the impression of any pragmatic value whatsoever, especially for the period embracing its promulgation. Then, such cryptic messages may or may not be understood by the recipient in which latter case it is nonpropagable. Second, the necessity of previous experience in the mind of the recipient in order that he may be able to interpret to his own mind the psychic impingement. The basis which such experience affords must necessarily be present in order that there may be an adequate medium of mental qualities and powers in which the ideogram may be preserved. A third characteristic is that revelations quite invariably presuppose a contemplative attitude of mind which, in the very nature of the case, superinduces a state of preparedness in the mind for the proper entertainment of the concept involved. This fact proves quite conclusively that revelational impressions are not exceptions to the general rule. Lastly, a dissatisfaction with the conditions with which the symbolism deals or to which it pertains is also a prerequisite. This condition is really that which calls forth the cryptic annunciation, and yet, preceding it is a long series of causes which have produced both the conditions and the revolt which the revelator feels at their presence. In view of the foregoing, it would appear that objections based upon the alleged nonconformity of the revealed or inspired cannot be entertained as it must be manifest that it, too, falls within the scope of the laws of mental growth.
Discoveries, whether of philosophical or mechanical nature, or whether of ethical or purely mathematical tendence, are never the results of a deliberate, methodical or purposive reflection. For instance, let us take Lie's "transformation groups," mathematic contrivances used in the solution of certain theorems. Now, it ought to be obvious that these mathetic machinations were not discovered by Sophus Lie as a consequence of any methodic or purposeful intention on his part. That is, he did not set out deliberately to discover "transformation groups." For back of the "groups" lay the entire range of analytic investigations; the mathematical thought of more than a thousand years furnished the substructure upon which Lie built the conception of his "groups." Similarly, it may be said with equal assurance that no matter how great the intensity of thought, nor how purposeful, nor of how long duration the series of concentrated abstractions which led up to the invention of the printing press, the linotype or multiplex printing press of our day could not have been produced abruptly, nor by use of the mental dynamics of the human mind of remoter days. Its production had to follow the path outlaid by the laws of psychogenesis and await the development of those powers which alone could give it birth. The whole question resolves itself, therefore, into the idea of the complete subserviency of the mind, in all matters of special moment, to the laws aforementioned. The supersession of the law of its own life by the mind is well-nigh unthinkable, if not quite so.
If we now view the history of the mind as manifested in the human species, three great epochs which divide the scope of mental evolution into more or less well-defined stages present themselves. These are: first, the formative stage; second, the determinative stage; third, the stage of freedom, or the elaborative stage.
In all of the early races of men, through every step which even preceded the genus homo, the generic mind was being formulated. It was being given shape, outline and direction. All of the first stage, the formative, was devoted to organization and direction. Those elementary sensations which constituted the basis of mind in the primitive man were accordingly strongly determinative of what the mind should be in these latter days. To this general result were contributed the effects of the activity of cells, nerves, bones, fibers, muscles and the blood.
The formative period naturally covered a very extensive area in the history of mind or psychogenetic development. It was followed closely, but almost insensibly, by the determinative period during which all the latent powers, capacities and faculties which were the direct products of the formative period were being utilized in meeting the demands of the law of necessity. The making of provisions against domestic want, against the attacks of external foes; the combating of diseases, physical inefficiency, the weather, wild beasts, the asperities of tribal enmities; as well as furthering the production of art, music, sculpture, the various branches of handiwork, literature, philosophies, religions and the effectuation of all those things which now appear as the result of the mental activity of the present-day man make up the essence and purpose of the determinative period.
Signs of the dawn of the elaborative stage, also called the stage of freedom, have been manifest now for upwards of three centuries and it is, therefore, in its beginnings. It is not fully upon us. Not yet can we fully realize what it may mean, nor can we unerringly forecast its ultimate outcome; but we feel that it is even now here in all the glories of its matutinal freshness. And the mind is beginning to be free from the grinding necessities of the constructive period having already freed itself from the restrictive handicaps of the primeval formulation period. Already the upgrowing rejuvenescences so common at the beginning of a new period are commencing to show themselves in every department of human activity in the almost universal desire for greater freedom. And this is particularly noticeable in the many political upheavals which, from time to time, are coming to the surface as well as in the countless other aspects of the wide-spread renaissance. Perhaps the time may come, never quite fully, when there will be no longer any necessity to provide against the external exigencies of life; perhaps, the time will never be when the mind shall no more be bound by the law of self-preservation, not even when it has attained unto the immortality of absolute knowledge; yet, it is intuitively felt that it must come to pass that the mind shall be vastly freer than it is to-day. And with this new freedom must come liberation from the necessities of the elementary problems of mere physical existence.
The inference is, therefore, drawn that the fourth dimensional concept, and all that it connotes of hyperspace or spaces of n-dimensionality are some of the evidences that this stage of freedom is dawning. And the mind, joyous at the prospect of unbounded liberty which these concepts offer, cannot restrain itself but has already begun to revel in the sunlit glories of a newer day. What the end shall be; what effect this new liberty will have on man's spiritual and economic life; and what it may mean in the upward strivings of the Thinker for that sublime perpetuity which is always the property of immediate knowledge no one can hope, at the present time, to fathom. It is, however, believed with Keyser that "it is by the creation of hyperspaces that the rational spirit secures release from limitation"; for, as he says, "in them it lives ever joyously, sustained by an unfailing sense of infinite freedom."
The elevating influence of abstract thinking, such as excogitation upon problems dealing with entities inhabiting the domain of mathesis is, without doubt, incalculable in view of the fact that it is only through this kind of thought that the spirit is enabled to reach its highest possibilities. This is undoubtedly the philosophy of those religious and occult exercises known as "meditations," and this perhaps was the main idea in the mind of the Hebrew poet when he exclaimed: "Let the words of my mouth and the meditation of my heart be acceptable in thy sight, O Lord, my strength and my Redeemer." The principal, if not the only, value possessed by the "summitless hierarchies of hyperspaces" which the mathematician constructs in the world of pure thought is the enrichening and ennobling influence which they exert upon the mind. But admittedly this unbounded domain of mathetic territory which he explores and which he finds "peopled with ideas, ensembles, propositions, relations and implications in endless variety and multiplicity" is quite real to him and subsists under a reign of law the penalties of which, while not as austere and unreasonable as some which we find in our tridimensional world, are nevertheless quite as palpable and as much to be feared. For the orthodoxy of mathematics is as cold and intolerant as ever the religious fanatic can be. But the reality and even the actuality which may be imputed to the domain of mathesis is of an entirely different quality from that which we experience in our world of triune dimensionality and it is a regrettable error of judgment to identify them. It ought, therefore, never be expected, nor is it logically reasonable to assume that the entities which inhabit the mathetic realm of the analyst should be submissive to the laws of sensible space; nor that the conditions which may be found therein can ever be made conformable to the conditions which exist in perceptual space.
It was Plato's belief that ideas alone possessed reality and what we regard as actual and real is on account of its ephemerality and evanescence not real but illusionary. This view has been shared by a number of eminent thinkers who followed, with some ostentation, the lead established by Plato. For a considerable period of time this school of thinkers had many adherents; but the principles at length fell into disrepute owing to the absurdities indulged in by some of the less careful followers. The realism, or for that matter, the actuality of ideas cannot be denied; yet it is a realism which is neither to be compared with the physical reality of sense-impressions nor its phenomena. The character and peculiarity of ideas are in a class apart from similar notions of perceptual space content. It is as if we were considering the potentialities of the spirit world and the entities therein in connection with incarnate entities which in the very nature of the case is not allowable. Furthermore, it is unreasonable to suppose that the conditions on a higher plane than the physical can be made responsible to a similar set of conditions on the physical plane.
There are certain astronomers who base their speculations as to the habitability of other planets upon the absurd hypothesis that the conditions of life upon all planets must be the same as those on the earth, forgetting that the extent of the universe and the scope of motility of life itself are of such a nature as to admit of endless variations and adaptations. There is a realism of ideas and a realism of perceptual space. Yet this is no reason why the two should be identified. On the other hand, owing to the diversity in the universe, every consideration would naturally lead to the assumption that they are dissimilar. To invest ideas, notions, implications and inferences with a reality need not logically or otherwise affect the reality of a stone, a fig, or even of a sense-impression.
To a being on the spirit levels our grossest realities must appear as non-existent. They are neither palpable nor contactable in any manner within the ordinary range of physical possibilities. For us his gravest experiences can have no reality whatsoever; for no matter how real an experience may be to him it is altogether beyond our powers of perception, and therefore, to us non-existent also. It should, however, be stated that the state of our knowledge about a given condition can in no way affect its existence. It merely establishes the fact that two or more realities may exist independent of one another and further that the gamut of realism in the universe is infinite and approaches a final state when its occlusion into absolute being follows as a logical sequence.
Recurring to the consideration of the reality of spirit-realms as compared with that of sensible space, it comes to view that our idealism, that is, the idealism which is a quality of conceptualization, may be regarded as identical with their realism, at least as being on the same plane as it. Stated differently, the things that are ideal to us and which constitute the data of our consciousness may be as real to them as the commonest object of sense-knowledge is to us. What, therefore, appears to us as the most ethereal and idealistic may have quite a realistic character for them.
Ultimately, however, and in the final deeps of analysis it will be found undoubtedly that both our realism and our idealism as well as similar qualities of the spirit world are in all essential considerations quite illusionary. All knowledge gained in a condition short of divinity itself is sadly relative. Even mathematical knowledge falls far short of the absolute, the fondest claims of the orthodox mathematician to the contrary notwithstanding. It has been said frequently that a mathematical fact is an absolute fact and that its verity, necessity and certainty cannot be questioned anywhere in the universe whether on Jupiter, Neptune, Fomalhaut, Canopus or Spica. But having so declared, the fact of the sheer relativity of our knowledge is not disturbed thereby nor controverted. Happily, neither distance nor a lack of distance can in any way affect the quality of human knowledge, mathematical knowledge not excepted. That can only be affected by conditions which cause it to approach perfection and nothing but evolution can do that.
In the light of results obtained in analytic investigations the question of the flexibility of mathematical applications becomes evident and one instead of being convinced of the vaunted invariability of the laws obtaining in the world of mathesis is, on the other hand, made aware of the remarkable and seemingly unrestrained facility with which these laws may be made to apply to any conditions or set of assumptions within the range of the mind's powers of conception. Mathematicians have deified the definition and endowed it with omnific powers imputing unto it all the attributes of divinity-immutability, invariance, and sempiternity. In this they have erred grievously although, perhaps, necessarily. Mathetic conclusions are entirely conditional and depend for their certainty upon the imputed certitude of other propositions which in turn are dependent, in ever increasing and endlessly complex relations, upon previously assumed postulates. These facts make it exceedingly difficult to understand the attitude of mind which has obscured the utter mutability and consequent ultimate unreliability of the fine-spun theories of analytic machinations.
The apriority of all mathematical knowledge is open to serious questioning. And although there is no hesitancy in admitting the basic agreement of the most primary facts of mathematical knowledge with the essential character of the intellect the existence of well-defined limits for such congruence cannot be gainsaid. The subjunctive quality of geometric and analytical propositions is made apparent by an examination of the possibilities falling within the scope of permissibility offered by mathetic license. For instance, privileged to proceed according to the analytic method it is allowable to reconstruct the sequence of values in our ordinary system of enumeration so as to admit of the specification of a new value for say, the entire series of odd numbers. This value might be assumed to be a plus-or-minus one, dependent upon its posture in the series. That is, all odd numbers in the series beginning with the digit 3, and continuing, 5, 7, 9, 11, 13, 15, 17, 19, ... n, could be assumed to have only a place value which might be regarded as a constant-variable. The series of even numbers, 2, 4, 6, 8, 10, 12, 14, 16, ... n, may be assumed to retain their present sequence values. Under this system the digit 1 would have an absolute value; all other odd numbers would have a constant-variable value; constant, because always no more nor less than 1 dependent upon their place in the operations and whether their values were to be applied by addition or subtraction to or from one of the values in the even number series; variable, because their values would be determinable by their application and algebraic use.
There would, of course, be utilitarian objection to a system of this kind; but under the conditions of a suppositionary hypothesis, it would be self-consistent throughout, and if given universal assent would suit our purposes equally as well as our present system. But the fact that this can be done under the mathematic method verily proves the violability of mathematical laws and completely negatives the assumption that the sum of any two digits, as say 2 plus 2 equals 4, is necessarily and unavoidably immutable. For it can be seen that the sum-value of all numbers may be made dependent upon the assumed value which may be assigned to them or to any collection thereof. Furthermore, it is a matter of historical knowledge that it was the custom of ancient races of men to account for values by an entirely different method from what we use to-day. The latter is a result of evolution and while experience teaches that it is by far the most convenient, it is nevertheless true that earlier men managed at least fairly well on a different basis. Then, too, the fact of the utility and universal applicability of our present system, based upon universal assent, does not obviate the conclusion that any other system, consistent in itself, might be made to serve our purposes as well.
It ought to be said, however, in justice to the rather utilitarian results obtained by La Grange, Helmholtz, Fechner, and others who strove to make use of their discoveries in analysis in solving mechanical, physiological and other problems of more or less pragmatic import that, in so far as this is true, mathematical knowledge must be recognized as being consistent with the necessities of a priori requirements. But even these results may not be regarded as transcending the scope of the most fundamental principles of sense-experience. It will be discovered finally, perhaps, that the energy spent in elaborating complicate series of analytic curiosities has been misappropriated. It will then be necessary to turn the attention definitely to the study of that which lies not at the terminus of the intellect's modus vivendi, but which is both the origin of the intellect and its eternal sustainer-the intuition, or life itself. This can result in nothing less than the complete spiritualization of man's mental outlook and the consequent inevitable recognition of the underlying and ever-sustaining one-ness of all vital manifestations.
One of the curiosities of the tendency in man's mind to specialize in analytics, whether in the field of pure mathematics or metaphysics, is the fact that it almost invariably leads to an attempt to account for cosmic origins on the basis of paralogic theories. This in times past has given rise to the theory of the purely mechanical origin of the universe as well as many other fantastic fallacies the chief error of which lay in the failure to distinguish between the realism of mental concepts and that of the sensible world. In spite of this, however, one is bound to appreciate the beneficial effects of analytic operations because they serve as invigorants to mental growth. It could not, therefore, be wished that there were no such thing as analytics; for the equilibria-restoring property of the mind may at all times be relied upon to minimize the danger of excesses in either direction. Just as the tide flowing in flows out again, thereby restoring the ocean's equilibrium, so the mind ascending in one generation beyond the safety mark has its equilibrium restored in the next by a relinquishment of the follies of the former.
The four-space is one of the curiosities of analytics; yet it need not be a menace to the sane contemplation of the variegated products of analysis. Safety here abides in the restraint which should characterize all discussion and application of the concept. If enthusiasts would be content not to transport the so-called fourth dimensional space out of the sphere of hyperspace and cease trying to speculate upon the results of its interposal into three space conditions, which is in every way a constructual impossibility, there could not be any possible objection to its due consideration. This would obviate the danger of calling into question either the sincerity or perspicacity of those whose enthusiasm tempts them to transgress the limits of propriety in their behavior towards the inquiry.
There is but one life, one mind, one extension, one quantity, one quality, one being, one state, one condition, one mood, one affection, one desire, one feeling, one consciousness. There is also but one number and that is unity. All so-called integers are but fractional parts of this kosmic unity. The idea represented by the word two really connotates two parts of unity and the same is true of a decillion, or any number of parts. These are merely the infinitesimals of unity and they grow less in size and consequence as the divisions increase in number. The analysis of unity into an infinity of parts is purely an a posteriori procedure. That it is an inherent mind-process is a fallacy. All our common quantities, as the mile, kilometer, yard, foot, inch, gallon, quart, are conventional and arbitrary and susceptible of wide variations. As the basis of all physical phenomena is unity; it is only in the ephemeral manifestations of sensuous objects that they appear as separate and distinct quantities.
We see on a tree many leaves, many apples or cherries; on a cob many grains of corn. We have learned to assign to each of these quantities in their summation a sequence value. But this is an empirical notion and cannot be said to inhere in the mind itself. Let us take, for instance, the mustard seed. If it were true that in one of these seeds there existed all the subsequent seeds which appear in the mustard plant as separate and identifiable quantities, and not in essence, then there would perhaps be warrant for the notion that diversity, as the calculable element, is an a priori conception. But, as this is not the case and since diversity is purely empirical and pertains only to the efflorescence of the one life it is manifestly absurd to take that view.
Under the most charitable allowances, therefore, there can be but two quantities-unity and diversity; yet not two, for these are one. Unity is the one quantity and diversity is the division of unity into a transfinity of parts. Unity is infinite, absolute and all-inclusive. Diversity is finite although it may be admitted to be transfinite, or greater than any assignable value. Unity alone is incomprehensible. In order to understand something of its nature we divide it into a diversity of parts; and because we fail to understand the transfinity of the multitude of parts we mistakenly call them infinite.
When analysis shall have proceeded far enough into the abysmal mysteries of diversity; when the mathematical mind shall have been overcome by the overwhelming perplexity of the maze of diverse parts, it shall then fall asleep and upon awaking shall find that wonderfully simple thing-unity. It is the one quantity that is endowed with a magnitude which is both inconceivable and irresolvable. The one ineluctable fact in the universe is the incomprehensibility and all-inclusivity of one-ness. It is incomprehensible, inconceivable and infinite at the present stage of mind development. But the goal of mind is to understand the essential character of unity, of life. Its evolution will then stop, for it will have reached the prize of divinity itself whereupon the intellect exalted by and united with the intuition shall also become one with the divine consciousness.
* * *
Historical Sketch of the Hyperspace Movement
Egypt the Birthplace of Geometry-Precursors: Nasir-Eddin, Christoph Clavius, Saccheri, Lambert, La Grange, Kant-Influence of the Mecanique Analytique-The Parallel-Postulate the Root and Substance of the Non-Euclidean Geometry-The Three Great Periods: The Formative, Determinative and Elaborative-Riemann and the Properties of Analytic Spaces.
The evolution of the idea of a fourth dimension of space covers a long period of years. The earliest known record of the beginnings of the study of space is found in a hieratic papyrus which forms a part of the Rhind Collection in the British Museum and which has been deciphered by Eisenlohr. It is believed to be a copy of an older manuscript of date 3400 B. C., and is entitled "Directions for Knowing All Dark Things" The copy is said to have been made by Ahmes, an Egyptian priest between 1700 and 1100 B. C. It begins by giving the dimensions of barns; then follows the consideration of various rectilineal figures, circles, pyramids, and the value of pi ([Greek: p]). Although many of the solutions given in the manuscript have been found to be incorrect in minor particulars, the fact remains that Egypt is really the birth-place of geometry. And this fact is buttressed by the knowledge that Thales, long before he founded the Ionian School which was the beginning of Greek influence in the study of mathematics, is found studying geometry and astronomy in Egypt.
The concept of hyperspace began to germinate in the latter part of the first century, B. C. For it was at this date that Geminos of Rhodes (B. C. 70) began to think seriously of the mathematical labyrinth into which Euclid's parallel-postulate most certainly would lead if an attempt at demonstrating its certitude were made. He recognized the difficulties which would engage the attention of those who might venture to delve into the mysterious possibilities of the problem. There is no doubt, too, but that Euclid himself was aware, in some measure at least, of these difficulties; for his own attitude towards this postulate seems to have been one of noncommittance. It is, therefore, not strange that the astronomer, Ptolemy (A. D. 87-165), should be found seeking to prove the postulate by a consideration of the possibilities of interstellar triangles. His researches, however, brought him no relief from the general dissatisfaction which he felt with respect to the validity of the problem itself.
For nearly one thousand years after the attempts at solving the postulate by Geminos and Ptolemy, the field of mathematics lay undisturbed. For it was at this time that there arose a strange phenomenon, more commonly known as the "Dark Ages," which put an effectual check to further research or independent investigations. Mathematicians throughout this long lapse of time were content to accept Euclid as the one incontrovertible, unimpeachable authority, and even such investigations as were made did not have a rebellious tendence, but were mainly endeavors to substantiate his claims.
Accordingly, it was not until about the first half of the thirteenth century that any real advance was made. At this time there appeared an Arab, Nasir-Eddin (1201-1274) who attempted to make an improvement on the problem of parallelism. His work on Euclid was printed in Rome in 1594 A. D., about three hundred and twenty years after his demise and was communicated in 1651 by John Wallis (1616-1703) to the mathematicians of Oxford University. Although his calculations and conclusions were respectfully received by the Oxford authorities no definite results were regarded as accomplished by what he had done. It is believed, however, that his work reopened speculation upon the problem and served as a basis, however slight, for the greater work that was to be done by those who followed him during the next succeeding eight hundred years.
About twenty years before the printing of the work of Nasir-Eddin, Christoph Clavius (1574) deduced the axiom of parallels from the assumption that a line whose points are all equidistant from a straight line is itself straight. In his consideration of the parallel-postulate he is said to have regarded it as Euclid's XIIIth axiom. Later Bolyai spoke of it as the XIth and later still, Todhunter treated it as the XIIth. Hence, there does not seem to have been any general unanimity of opinion as to the exact status of the parallel-postulate, and especially is this true in view of the uncertainty now known to have existed in Euclid's mind concerning it.
Girolamo Saccheri (1667-1733), a learned Jesuit, born at San Remo, came next upon the stage. And so important was his work that it will perpetuate the memory of his name in the history of mathematics. He was a teacher of grammar in the Jesuit Collegio di Brera where Tommaso Ceva, a brother of Giovanni, the well-known mathematician, was teacher of mathematics. His association with the Ceva brothers was especially beneficial to him. He made use of Ceva's very ingenious methods in his first published book, 1693, entitled Solutions of Six Geometrical Problems Proposed by Count Roger Ventimiglia.
Fig. 1.
Saccheri attacked the problem of parallels in quite a new way. Examining a quadrilateral, ABCD, in which the angles A and B are right angles and the sides AC and BD are equal, he determined to show that the angles C and D are equal. He also sought to prove that they are either right angles, obtuse or acute. He undertook to prove the falsity of the latter two propositions (that they are either obtuse or acute), leaving as the only possibility that they must be right angles. In doing so, he found that his assumptions led him into contradictions which he experienced difficulty in explaining.
His labors in connection with the solution of the problems proposed by Count Ventimiglia, including his work on the question of parallels, led directly into the field of metageometrical researches, and perhaps to him as to no other who had preceded him, or at least to him in a larger degree, belongs the credit for a continued renewal of interest in that series of investigations which resulted in the formulation of the non-Euclidean geometry.
The last published work of Saccheri was a recital of his endeavors at demonstrating the parallel-postulate. This received the "Imprimatur" of the Inquisition, July 13, 1733; the Provincial Company of Jesus took possession of the book for perusal on August 16, 1733; but unfortunately within two months after it had been reviewed by these authorities, Saccheri passed away.
All efforts which had been made prior to the work of Saccheri were based upon the assumption that there must be an equivalent postulate which, if it could be demonstrated, would lead to a direct, positive proof of Euclid's proposition. Although these and all other attempts at reaching such a proof have signally failed and although it may correctly be said that the entire history of demonstrations aiming at the solution of the famous postulate has been one long series of utter failures, it can be asserted with equal certitude that it has proven to be one of the most fruitful problems in the history of mathematical thought. For out of these failures has been built a superstructure of analytical investigations which surpasses the most sanguine expectations of those who had labored and failed.
In 1766 John Lambert (1728-1777) wrote a paper upon the Theory of Parallels dated Sept. 5, 1766, first published in 1786, from the papers left by F. Bernoulli, which contained the following assertions:[2]
1. The parallel-axiom needs proof, since it does not hold for geometry on the surface of the sphere.
2. In order to make intuitive a geometry in which the triangle's sum is less than two right angles, we need an "imaginary" sphere (the pseudosphere).
3. In a space in which the triangle's sum is different from two right angles there is an absolute measure (a natural unit for length).
At this time Immanuel Kant (1724-1804), the noted German metaphysician, was in the midst of his philosophical labors. And it is believed that it was he who first suggested the idea of different spaces. Below is given a statement taken from his Prolegomena[3] which corroborates this view.
"That complete space (which is itself no longer the boundary of another space) has three dimensions, and that space in general cannot have more, is based on the proposition that not more than three lines can intersect at right angles in one point.... That we can require a line to be drawn to infinity, a series of changes to be continued (for example, spaces passed through by motion) in indefinitum, presupposes a representation of space and time which can only attach to intuition."
His differentiation between space in general and space which may be considered as the "boundary of another space" shows, in the light of the subsequent developments of the mathematical idea of space that he very fully appreciated the marvelous scope of analytic spaces. His conception of space, therefore, must have had a profound influence upon the mathematic thought of the day causing it to undergo a rapid reconstruction at the hands of geometers who came after him.
Under the masterly influence of La Grange (1736-1813) the idea of different spaces began to take definite shape and direction; the geometry of hyperspace began to crystallize; and the field of mathesis prepared for the growth of a conception the comprehension of which was destined to be the profoundest undertaking ever attempted by the human mind. Unlike most great men whom the world learns tardily to admire, La Grange lived to see his talents and genius fully recognized by his compeers; for he was the recipient of many honors both from his countrymen and his admirers in foreign lands. He spent twenty years in Prussia where he went upon the invitation of Frederick the Great who in the Royal summons referred to himself as the "greatest king in Europe" and to La Grange as the "greatest mathematician" in Europe. In Prussia the Mecanique Analytique and a long series of memoirs which were published in the Berlin and Turin Transactions were produced. La Grange did not exhibit any marked taste for mathematics until he was 17 years of age. Soon thereafter he came into possession of a memoir by Halley quite by accident and this so aroused his latent genius that within one year after he had reviewed Halley's memoir he became an accomplished mathematician.
He created the calculus of variations, solved most of the problems proposed by Fermat, adding a number of theorems of his own contrivance; raised the theory of differential equations to the position of a science rather than a series of ingenious methods for the solution of special problems and furnished a solution for the famous isoperimetrical problem which had baffled the skill of the foremost mathematicians for nearly half a century. All these stupendous tasks he performed by the time he reached the age of nineteen.
The Mecanique Analytique is his greatest and most comprehensive work. In this he established the law of virtual work from which, by the aid of his calculus of variations, he deduced the whole of mechanics, including both solids and liquids. It was his object in the Analytique to show that the whole subject of mechanics is implicitly embraced in a single principle, and to lay down certain formulae from which any particular result can be obtained. He frequently made the assertion that he had, in the Mecanique Analytique, transformed mechanics which he persistently defined as a "geometry of four dimensions"[4] into a branch of analytics and had shown the so-called mechanical principles to be the simple results of the calculus. Hence, there can be no doubt but that La Grange not only completed the foundation, but provided most of the material in his analyses and other "abstract results of great generality" which he obtained in his numerous calculations, for the superstructure subsequently known as the geometry of hyperspace, and in which the fourth dimensional concept occupies a very fundamental place.
It is as if for nearly seventeen hundred years workmen, such as Geminos, of Rhodes, Ptolemy, Saccheri, Nasir-Eddin, Lambert, Clavius, and hundred of others who struggled with the problem of parallels, had made more or less sporadic attempts at the excavation of the land whereon a marvelously intricate building was to be constructed. There is no historical evidence to show that any of them ever dreamed that the results of their labors would be utilized in the manner in which they have been used. Then came Kant with the wonderfully penetrating searchlight of his masterful intellect who from the elevation which he occupied saw that the site had great possibilities, but he had not the mathematical talent to undertake the work of actual, methodical construction. Indeed his task was of a different sort. However, he succeeded in opening the way for La Grange and others who followed him. La Grange immediately seized upon the idea which for more than a thousand years had been impinging upon the minds of mathematicians vainly seeking lodgment and began the elaboration of a plan in accordance with which minds better skilled in the pragmatic application of abstract principles than his could complete the work begun. Unfortunately, on account of his intense devotion and loyalty to the study of pure mathematics, and when he had reached the summit of his greatness where he stood "without a rival as the foremost living mathematician," his health became seriously affected, causing him to suffer constant attacks of profound melancholia from which he died on April 10, 1813.
We come now to one of the most remarkable periods in the history of mental development. During the six hundred years between the birth of Nasir-Eddin and the death of La Grange the entire world of mathesis was being reconstituted. Since there had been gradually going on an internal process which, when completed, forever would liberate the mind from the narrow confines of consciousness limited to the three-space, it is not surprising that we should find, in the mathematical thought of the time, an absolutely epoch-making departure. The innumerable attempts at the solution of the parallel-postulate, all failures in the sense that they did not prove, have intensified greatly the esteem in which the never-dying elements of Euclid are held to-day. And despite the fact that there may come a time when his axioms and conclusions may be found to be incongruent with the facts of sensuous reality; and though all of his fundamental conceptions of space in general, his theorems, propositions and postulates may have to give way before the searching glare of a deeper knowledge because of some revealed fault, the perfection of his work in the realm of pure mathematics will remain forever a master piece demanding the undiminished admiration of mankind.
The parallel-postulate, as stated by Euclid in his Elements of Geometry, reads as follows:
"If a straight line meet two straight lines so as to make the two interior angles on the same side of it taken together less than two right angles, these straight lines being continually produced, shall at length meet upon that side on which are the angles which are less than two right angles."
On this postulate hang all the "law and the prophets" of the non-Euclidean Geometry. In it are the virtual elements of three possible geometries. Furthermore, it is both the warp and the woof of the loom of present-day metageometrical researches. It is the golden egg laid by the god Seb at the beginning of a new life cycle in psychogenesis. Its progeny are numerous-hyperspaces, sects, straights, digons, equidistantials, polars, planars, coplanars, invariants, quaternions, complex variables, groups and many others. A wonderfully interesting breed, full of meaning and pregnant with the power of final emancipations for the human intellect!
When the conclusions which were systematically formulated as a result of the investigations along the lines of hypotheses which controverted the parallel-postulate were examined it was found that they fell into three main divisions, namely: the synthetic or hyperbolic; the analytic or Riemannian and the elliptic or Cayley-Klein. These divisions or groups are based upon the three possibilities which inhere in the conception taken of the sum of the angles referred to in the above postulate as to whether it is equal to, greater or less than two right angles.
The assumption that the angular sum is congruent to a straight angle is called the Euclidean or parabolic hypothesis and is to be distinguished from the synthetic or hyperbolic hypothesis established by Gauss, Lobachevski and Bolyai and which assumes that the angular sum is less than a straight angle. The elliptic or Cayley-Klein hypothesis assumes that the angular sum is greater than a straight angle. Lobachevski, however, not satisfied with the statement of the parallel-postulate as given by Euclid and which had caused the age-long controversy, substituted for it the following:
"All straight lines which, in a plane, radiate from a given point, can, with respect to any other straight line, in the same plane, be divided into two classes-the intersecting and the non-intersecting. The boundary line of the one and the other class is called parallel to the given line."
This is but another way of saying about the same thing that Euclid had declared before, and yet, curiously enough it afforded just the liberty that Lobachevski needed to enable him to elaborate his theory.
For the purposes of this sketch the field of the development of non-Euclidean geometry is divided into three periods to be known as: (1) the formative period in which mathematical thought was being formulated for the new departure; (2) the determinative period during which the mathematical ideas were given direction, purpose and a general tendence; (3) the elaborative period during which the results of the former periods were elaborated into definite kinds of geometries and attempts made at popularizing the hypotheses.
The Formative Period
Charles Frederich Gauss (1777-1855) by some has been regarded as the most influential mathematician that figured in the formulation of the non-Euclidean geometry; but closer examination into his efforts at investigating the properties of a triangle shows that while his researches led to the establishment of the theorem that a regular polygon of seventeen sides (or of any number which is prime, and also one more than a power of two) can be inscribed, under the Euclidean restrictions as to means, in a circle, and also that the common spherical angle on the surface of a sphere is closely connected with the constitution of the area inclosed thereby, he cannot justly be designated as the leader of those who formulated the synthetic school. And this, too, for the simple reason that, as he himself admits in one of his letters to Taurinus, he had not "published anything on the subject." In this same letter he informs Taurinus that he had pondered the subject for more than thirty years and expressed the belief that there could not be any one who had "concerned himself more exhaustively with this second part (that the sum of the angles of a triangle cannot be more than 180 degrees)" than he had.
Writing from G?ttingen to Taurinus, November 8, 1824, and commenting upon the geometric value of the sum of the angles of a triangle, he says:
"Your presentation of the demonstration that the sum of the angles of a plane triangle cannot be greater than 180 degrees does, indeed, leave something to be desired in point of geometrical precision. But this could be supplied, and there is no doubt that the impossibility in question admits of the most rigorous demonstration. But the case is quite different with the second part, namely, that the sum of the angles cannot be smaller than 180 degrees; this is the real difficulty, the rock upon which all endeavors are wrecked.... The assumption that the sum of the three angles is smaller than 180 degrees leads to a new geometry entirely different from our Euclidean-a geometry which is throughout consistent with itself, and which I have elaborated in a manner entirely satisfactory to myself, so that I can solve every problem in it with the exception of the determining of a constant which is not a priori obtainable."
It appears from this correspondence that Gauss had in the privacy of his own study elaborated a complete non-Euclidean geometry, and had so thoroughly familiarized himself with its characteristics and possibilities that the solution of every problem embraced within it was very clear to him except that of the determination of a constant. He concluded the above letter by saying:
"All my endeavors to discover contradiction or inconsistencies in this non-Euclidean geometry have been in vain, and the only thing in it that conflicts with our reason is the fact that if it were true there would necessarily exist in space a linear magnitude quite determinate in itself; yet unknown to us."
Judging from the correspondence between Gauss and Gerling (1788-1857), Bessel (1784-1846), Schumacher and Taurinus, the nephew of Schweikart, and that between Schweikart and Gerling, there had grown up a general dissatisfaction in the minds of mathematicians of this period with Euclidean geometry and especially the parallel-postulate and its connotations. Bessel expresses this general discontent in one of his letters to Gauss, dated February 10, 1829, in which he says:
"Through that which Lambert said and what Schweikart disclosed orally, it has become clear to me that our geometry is incomplete, and should receive a correction, which is hypothetical, and if the sum of the angles of the plane triangle is equal to 180 degrees, vanishes."
The opinion of leading mathematicians at this time seems to have been crystallizing very rapidly. Unconsciously the men of this formative period were adducing evidence which would give form and tendence to the developments in the field of mathesis at a later date. They appear to have been reaching out for that which, ignis fatuus-like, was always within easy reach, but not quite apprehensible.
A bolder student than Gauss was Ferdinand Carl Schweikart (1780-1857) who also has been credited with the founding of the non-Euclidean geometry. In fact, if judged by the same standards as Gauss, he would be called the "father of the geometry of hyperspace"; for he really published the first treatise on the subject. This was in the nature of an inclosure which he inserted between the leaves of a book he loaned to Gerling. He also asked that it be shown to Gauss that he might give his judgment as to its merits.
Schweikart's treatise, dated Marburg, December, 1818, is here quoted in full:
"There is a two-fold geometry-a geometry in the narrower sense, the Euclidean, and an astral science of magnitude.
"The triangles of the latter have the peculiarity that the sum of the three angles is not equal to two right angles.
"This presumed, it can be most rigorously proven: (a) That the sum of the three angles in the triangle is less than two right angles.
"(b) That this sum becomes ever smaller, the more content the angle incloses. (c) That the altitude of an isosceles right-angled triangle indeed ever increases, the more one lengthens the side; that it, however, cannot surpass a certain line which I call the constant."
Squares have consequently the following form:
Fig. 2.
"If this constant were for us the radius of the earth (so that every line drawn in the universe, from one fixed star to another, distant 90° from the first, would be a tangent to the surface of the earth) it would be infinitely great in comparison with the spaces which occur in daily life."
The above, being the first published, not printed, treatise on the new geometry occupies a unique place in the history of higher mathematics. It gave additional strength to the formative tendencies which characterized this period and marked Schweikart as a constructive and original thinker.
The nascent aspects of this stage received a fruitful contribution when Nicolai Lobachevski (1793-1847) created his Imaginary Geometry and Janos Bolyai (1802-1860) published as an appendix to his father's Tentamen, his Science Absolute of Space. Lobachevski and Bolyai have been called the "Creators of the Non-Euclidean Geometry." And this appellation seems richly to be deserved by these pioneers. Their work gave just the impetus most needed to fix the status of the new line of researches which led to such remarkable discoveries in the more recent years. The Imaginary Geometry and the Science Absolute of Space were translated by the French mathematician, J. Hoüel in 1868 and by him elevated out of their forty-five years of obscurity and non-effectiveness to a position where they became available for the mathematical public. To Bolyai and Lobachevski, consequently, belong the honor of starting the movement which resulted in the development of metageometry and hence that which has proved to be the gateway of a new mathematical freedom.
Gauss, Schweikart, Lobachevski, Wolfgang and Janos Bolyai were the principal figures of the formative period and the value of their work with respect to the formulation of principles upon which was constructed the Temple of Metageometry cannot be overestimated.
The Determinative Period
This period is characterized chiefly by its close relationship to the theory of surfaces. Riemann's Habilitation Lecture on The Hypotheses Which Constitute the Bases of Geometry marks the beginning of this epoch. In this dissertation, Riemann not only promulgated the system upon which Gauss had spent more than thirty years of his life in elaborating, for he was a disciple of Gauss; but he disclosed his own views with respect to space which he regarded as a particular case of manifold. His work contains two fundamental concepts, namely, the manifold and the measure of curvature of a continuous manifold, possessed of what he called flatness in the smallest parts. The conception of the measure of curvature is extended by Riemann from surfaces to spaces and a new kind of space, finite, but unbounded, is shown to be possible. He showed that the dimensions of any space are determined by the number of measurements necessary to establish the position of a point in that space. Conceiving, therefore, that space is a manifold of finite, but unbounded, extension, he established the fact that the passage from one element of a manifold to another may be either discrete or continuous and that the manifold is discrete or continuous according to the manner of passage. Where the manifold is regarded as discrete two portions of it can be compared, as to magnitude, by counting; where continuous, by measurement. If the whole manifold be caused to pass over into another manifold each of its elements passing through a one-dimensional manifold, a two-dimensional manifold is thus generated. In this way, a manifold of n-dimensions can be generated. On the other hand, a manifold of n-dimensions can be analyzed into one of one dimension and one of (n-1) dimensions.
To Riemann, then, is due the credit for first promulgating the idea that space being a special case of manifold is generable, and therefore, finite. He laid the foundation for the establishment of a special kind of geometry known as the "elliptic." Space, as viewed by him, possessed the following properties, viz.: generability, divisibility, measurability, ponderability, finity and flexity.
These are the six pillars upon which rests the structure of hyperspace analyses.[5]
Generability is that property of geometric space by virtue of which it may be generated, or constructed, by the movement of a line, plane, surface or solid in a direction without itself. Divisibility is that property of geometric space by virtue of which it may be segmented or divided into separate parts and superposed, or inserted, upon or between each other. Measurability is that property by virtue of which geometric space is determined to be a manifold of either a positive or negative curvature, also by which its extent may be measured. Ponderability is that property of geometric space by virtue of which it may be regarded as a quantity which can be manipulated, assorted, shelved or otherwise disposed of. Finity is that property by virtue of which geometric space is limited to the scope of the individual consciousness of a unodim, a duodim or a tridim and by virtue of which it is finite in extent. Flexity is that property by virtue of which geometric space is regarded as possessing curvature, and in consequence of which progress through it is made in a curved, rather than a geodetic line, also by virtue of which it may be flexed without disruption or dilatation.
Riemann who thus prepared the way for entrance into a veritable labyrinth of hyperspaces is, therefore, correctly styled "The father of metageometry," and the fourth dimension is his eldest born. He died while but forty years of age and never lived long enough fully to elaborate his theory with respect to its application to the measure of curvature of space. This was left for his very energetic disciple, Eugenio Beltrami (1835-1900) who was born nine years after Riemann and lived thirty-four years longer than he. His labors mark the characteristic standpoint of the determinative period. Beltrami's mathematical investigations were devoted mainly to the non-Euclidean geometry. These led him to the rather remarkable conclusion that the propositions embodied therein relate to figures lying upon surfaces of constant negative curvature.
Beltrami sought to show that such surfaces partake of the nature of the pseudosphere, and in doing so, made use of the following illustration:
Fig. 3.
Fig. 4.
If the plane figure aabb is made to revolve upon its axis of symmetry AB the two arcs, ab and ab will describe a pseudospherical concave-convex surface like that of a solid anchor ring. Above and below, toward aa and bb, the surface will turn outward with ever-increasing flexure till it becomes perpendicular to the axis and ends at the edge with one curvature infinite. Or, the half of a pseudospherical surface may be rolled up into the shape of a champagne glass, as in Fig. 4. In this way, the two straightest lines of the pseudospherical surface may be indefinitely produced, giving a kind of space (pseudospherical) in which the axiom of parallels does not hold true.
The determinative period marks the most important stage in the development of non-Euclidean geometry and certainly the most significant in the evolution of the idea of hyperspaces and multiple dimensionality. Riemann and Beltrami are chief among those whose labors characterize the scope of this period. Their work gave direction and general outline for later developments and all subsequent researches along these lines have been conducted in strict conformity with the principles laid down by these pioneer constructionists. They laid out the field and designated its confines beyond which no adventurer has since dared to pass.
The great importance of the work of Riemann at this time may be seen further in the fact that it not only marked the beginning of a new epoch in geometry; but his pronouncement of the hypothesis that space is unbounded, though finite, is really the first time in the history of human thought that expression was ever given to the idea that space may yet be only of limited extent. Before that time the minds of all men seemed to have been unanimous in the consideration of space as an illimitable and infinite quantity.
The Elaborative Period
The elaborative stage includes the work of all those who, working upon the bases laid down by Lobachevski, Bolyai, SchweikarT and Riemann, have sought to amplify the conclusions reached by them. Among those whose investigations have greatly multiplied the applications of hyperspace conceptions are Hoüel (1866) and Flye St. Marie (1871) of France; Helmholtz (1868), Frischauf (1872), Klein (1849), and Baltzer (1877) of Germany; Beltrami (1872) of Italy; De Tilly (1879) of Belgium; Clifford and Cayley (1821) of England; Newcomb (1835) and Halstead of America.
These have been most active in popularizing the subject of non-Euclidean geometry and incidentally the idea of the fourth dimension. The great mass of non-professional mathematical readers, therefore, owe these men an immeasurable debt of gratitude for the work that they have done in the matter of rendering the conceptions which constitute the fabric of metageometry understandable and thinkable. A glance at the bibliography appended at the end of this volume will give some idea of the enormous amount of labor that has been expended in an effort to translate the most abstract mathematical principles into a language that could easily be comprehended by the average intelligent person.
The characteristic standpoint of this period is the popular comprehension of the hyperspace concept and the consequent mental liberation which follows. For there is no doubt but that unheard of possibilities of thought have been revealed by investigations into the nature of space. An entirely new world has been opened to view and only a beginning has been made at the exploration of its extent and resources.
One of the notable incidents of the early years of this period is the position taken by Felix Klein who stands in about the same relation to Cayley as Beltrami does to Riemann, in that he assumed the task of completing the work of his predecessor. Klein held that there are only two kinds of Riemannian space-the elliptical and the spherical. Or in other words, that there are only two possible kinds of space in which the propositions announced by Riemann could apply. Sophus Lie, called the "great comparative anatomist of geometric theories," carried his classifications to a final conclusion in connection with spaces of all kinds and decided that there are possible only four kinds of three dimensional spaces.
But whether men with peering, microscopic, histological vision shall establish the existence of one or many spaces, and regardless of the mathematic rigor with which they shall demonstrate the self-consistency of the doctrines which they hold, the fact remains that the hypotheses thus maintained, while they may be regarded as true descriptions of the spaces concerned, are, nevertheless, incompatible. All of them cannot be valid. It will perhaps be found that none of them are valid, especially objectively so. The only true view, therefore, of these systems of hyperspaces is that which assigns them to their rightful place in the infinitely vast world of pure mathesis where their validity may go unchallenged and their existence unquestioned; for in that domain of unconfined mentation, in that realm of divine intuitability, the marvelous wonderland of ideas and notions, one is not only disinclined to doubt their logical actuality, but is quite willing to accede their claims.
* * *
Essentials of the Non-Euclidean Geometry
The Non-Euclidean Geometry Concerned with Conceptual Space Entirely-Outcome of Failures at Solving the Parallel-Postulate-The Basis of the Non-Euclidean Geometry-Space Curvature and Manifoldness-Some Elements of the Non-Euclidean Geometry-Certainty, Necessity and Universality as Bulwarks of Geometry-Some Consequences of Efforts at Solving the Parallel-Postulate-The Final Issue of the Non-Euclidean Geometry-Extended Consciousness.
The term "non-Euclidean" is used to designate any system of geometry which is not strictly Euclidean in content.
It is interesting to note how the term came to be used. It appears to have been employed first by Gauss. He did not strike upon it suddenly, however, as in the correspondence between him and Wachter in 1816 he used the designation "anti-Euclidean" and then, later, following Schweikart, he adopted the latter's terminology and called it "Astral Geometry." This he found in Schweikart's first published treatise known by that name and which made its appearance at Marburg in December, 1818. Finally, in his correspondence with Taurinus in 1824, Gauss first used the expression "non-Euclidean" to designate the system which he had elaborated and continued to use it in his correspondence with Schumacher in 1831.
"Non-Legendrean," "semi-Euclidean" and "non-Archimedean" are titles used by M. Dehn to denote all kinds of geometries which represented variations from the hypotheses laid down by Legendre, Euclid and Archimedes.
The semi-Euclidean is a system of geometry in which the sum of the angles of a triangle is said to be equal to two right angles, but in which one may draw an infinity of parallels to a straight line through a given point. The non-Euclidean geometry embraces all the results obtained as a consequence of efforts made at finding a satisfactory proof of the parallel-postulate and is, therefore, based upon a conception of space which is at variance with that held by Euclid. According to the Ionian school space is an infinite continuum possessing uniformity throughout its entire extent. The non-Euclideans maintain that space is not an infinite extension; but a finite though unbounded manifold capable of being generated by the movement of a point, line or plane in a direction without itself. It is also held that space is curved and exists in the shape of a sphere or pseudosphere and is consequently elliptical.
The inapplicability of Euclid's parallel-postulate to lines drawn upon the surface of a sphere suggested the possibility of a space in which the postulate could apply to all possible surfaces or that space itself may be spherical in which case the postulate would be invalidated altogether. Hence, it is quite natural that mathematicians finding themselves unable to prove the postulate with due mathetic precision should turn their attention to the conceptually possible. In this virtual abandonment of the perceptual for the conceptual lies the fundamental difference between the Euclidean and the non-Euclidean geometries. It may be said to the credit of the Euclideans that they have sought to make their geometric conceptions conform as closely as possible to the actual nature of things in the sensuous world while at the same time they must have perceived that at best their spatial notions were only approximations to the sensuous actuality of objects in space.
On the other hand, non-Euclideans make no pretense at discovering any congruency between their notions and things as they actually are. The attitude of the metageometricians in this respect is very aptly described by Cassius Jackson Keyser who says:
"He constructs in thought a summitless hierarchy of hyperspaces, an endless series of orderly worlds, worlds that are possible and logically actual, and he is content not to know if any of them be otherwise actual or actualized."[6]
The non-Euclidean is, therefore, not concerned about the applicability of ensembles, notions and propositions to real, perceptual space conditions. It is sufficient for him to know that his creations are thinkable. As soon as he can resolve the nebulosity of his consciousness into the conceptual "star-forms" of definite ideas and notions, he sits down to the feast which he finds provided by superfoetated hypotheses fabricated in the deeps of mind and logical actualities imperturbed and unmindful of the weal of perceptual space in its homogeneity of form and dimensionality.
Fundamentally, the non-Euclidean geometry is constructed upon the basis of conceptual space almost entirely. Knowledge of its content is accordingly derived from a superperceptual representation of relations and interrelations subsisting between and among notions, ideas, propositions and magnitudes arising out of a conceptual consideration thereof. In other words, representations of the non-Euclidean magnitudes, cannot be said to be strictly perceptual in the same sense that three-space magnitudes are perceived; for three-space magnitudes are really sense objects while hyperspace magnitudes are not sense objects. They are far removed from the sensuous world and in order to conceive them one must raise his consciousness from the sensuous plane to the conceptual plane and become aware of a class of perceptions which are not perceptions in the strict sense of the word, but superperceptions; because they are representations of concepts rather than precepts.
Notions of perceptual space are constituted of the triple presentations arising out of the visual, tactual and motor sensations which are fused together in their final delivery to the consciousness. The synthesis of these three sense-deliveries is accomplished by equilibrating their respective differences and by correcting the perceptions of one sense by those of another in such a way as to obtain a completely reliable perception of the object. This is the manner in which the characteristics of Euclidean space are established.
The characteristics of non-Euclidean space are not arrived at exactly in this way. Being beyond the scope of the visual, tactile and motor sense apprehensions, it cannot be said to represent judgments derived from any consideration or elaboration of the deliveries presented through these media. Yet, the substance of metageometry, or the science of the measurement of hyperspaces, may not be regarded as an a priori substructure upon which the system is founded. That is, the conceptual space of non-Euclidean geometry is not presented to the consciousness as an a priori notion. On the other hand, the a posterioristic quality of metageometric spaces marks the entire scope of motility of the notions appertaining thereto.
The notions, therefore, of conceptual space are derivable only from the perception of concepts, or, otherwise consist of judgments concerning interconceptual relations. The process of apperception involved in the recognition of relations which may be methodically determined is much removed from the primary procedure of perceiving sense-impressions and fusing them into final deliveries to the consciousness for conceptualization or the elaboration into concepts or general notions. It is a procedure which is in every way superconceptual and extra-sensuous. The metageometrician or analyst in no way relies upon sense-deliveries for the data of his constructions; for, if he did, he should, then, be reduced to the necessity of confining his conclusions to the sphere of motility imposed by the sensible world with the result that we should be able to verify empirically all his postulations. But, contrarily, he goes to the extra-sensuous, and there in the realm of pure conceptuality, he finds the requisite freedom for his theories; thus, environed by a sort of intellectual anarchism, he pursues analytical pleasures quite unrestrainedly. The difference between the two mental processes-that which leads from the sensible world to conception and that which veers into the fields beyond-is so great that it is hardly permissible to view the results arrived at in the outcome of the separate processes as being identical.
To illustrate this difference, let us draw an analogy. The miner digs the iron ore out of the ground. The iron is separated from the extraneous material and delivered to the furnaces where the metal is melted and turned out as pig iron. It is further treated, and steel, of various grades, cast iron and other kinds of iron are produced. The treatment of the iron ore up to this stage is similar to the treatment of sense-impressions by the Thinker. Steel, cast iron, et cetera, are similar to mental concepts. Later, the steel and other products are converted into instruments and numerous articles. This represents the superperceptual process. Trafficking in iron ore products, such as instruments of precision, watch springs, and the like, represents a stage still farther removed from the primary treatment of the ore and is similar to that to which concepts are treated when the metageometrician manipulates them in the construction of conceptual space-forms. Perception is the dealing with raw iron ore while conception is analogous to the production of the finished product.
Superperception would be analogous to the trafficking in the finished product as such and without any reference to the source or the preceding processes. Thus the notions and judgments of the non-Euclidean geometry are arrived at as a result of a triple process of perception, conception and superperception the latter being merely superconceived as formal space-notions. But it is obvious that the more complex the processes by which judgments purporting to relate to perceptual things are derived the more likely are those judgments to be at variance with the nature of the things themselves.
In view of the foregoing, the dangers resulting from identifying the products of the two processes are very obvious indeed. But the difference between the two procedures is the difference between Euclidean and non-Euclidean geometries or the difference between perceptual space notions and conceptual space notions. Hence, it is not understood just how or why it has occurred to anyone that the two notions could be made congruent. Magnitudes in perceptual, sensible space are things apart from those that may be said to exist in mathematical space or that space whose qualities and properties have no existence outside of the mind which has conceived them. It is believed to be quite impossible to approach the study of metageometrical propositions with a clear, open mind without previously understanding the fundamental distinctions which exist between them.
It follows, therefore, as a logical conclusion that geometric space of whatsoever nature is a purely formal construction of the intellect, and for this reason is completely under the sovereignty of the intellect however whimsical its demands may be. Being thus the creature of the intellect, its possibilities are limited only by the limitations of the intellect itself. Perceptual space, being neither the creature of the intellect nor necessarily an a priori notion resident in the mental substructure, but existing entirely independent of the intellect or its apprehension thereof, cannot be expected to conform to the purely formal restrictions imposed by the mind except in so far as those restrictions may be determined by the nature of perceptual space. And for that matter, it should not be forgotten that, as yet, we have no means of determining whether or not the testimony of the intellect is thoroughly credible simply because there is no other standard by which we may prove its testimony. It is possible to justify the deliveries of the eye by the sense of touch, or vice versa. It is also possible to prove all our sense-deliveries by one or the other of the senses. But we have no such good fortune with the deliveries of the intellect. We have simply to accept its testimony as final; because we cannot do any better. But if it were possible to correct the testimony of the intellect by some other faculty or power which by nature might be more accurate than the intellect it should be found that the intellect itself is sadly limited.
The possible curvature of space is a notion which also characterizes the content of the non-Euclidean geometry. It is upon this notion that the question of the finity and unboundedness of space, in the mathematical sense, rests. In the curved space, the straightest line is a curved line which returns upon itself. Progression eastward brings one to the west; progression northward brings one to the south, et cetera. On this view space is finite, but may not be regarded as possessing boundaries.
Space-curvature, reinforced by the idea that space is also a manifold is the enabling clause of metageometry and without them the analyst dares not proceed. Here again, we are led to the confession that however fantastic these two notions may seem and evidently are, there is nevertheless to be recognized in them a "dim glimpse" of a veritable reality-a slight foreshadowing of the revelation of some great kosmic mystery.
The manifoldness of space is the fiat of analysis. It is the inevitable outcome of the analyst's method of procedure. His education, training and view of things in general inhibit his arriving at any other result and he may be pardoned with good grace for his manufacture of the space-manifold. For by it perhaps a better appreciation of that wonderful extension of consciousness in the nature of which is involved the explanation of the perplexing problems which the manifold and other metageometrical expedients faintly adumbrate may be gained.
It is pertinent, in the light of the above, to examine into some of the relative merits of the three formal bulwarks of geometrical knowledge. These are certainty, necessity and universality.
Geometric certainty is derived solely from the nature of the premises upon which it is based. If the premises be contradictory, it is, of course, defective. But if the premises are non-contradictory or self-evident, then the certainty of geometric notions and conclusions is valid. Another consideration of prime importance in this connection is the definition. From it all premises proceed. Hence, the definition is even more important than the premise; for it is the persisting determinant of all geometric conclusions while the premise is dependent upon the limitations of the definition. The determinative character of the definition has led to its apotheosis; but this, admittedly, has been necessary in order to give stability and permanency to the conclusions which followed. But in spite of this it would appear that the certainty of geometric conclusions is not a quality to be reckoned as absolute or final.
With the same certainty that it can be said the sum of the angles of the triangle is equal to two right angles it may be asserted that that sum is also greater or less than two right angles. Certainty which is based upon the inherent congruity of definitions, premises and propositions is an entirely different matter from that certainty which arises out of the real, abiding validity of a scheme of thought. But this difference is not lessened by the fact that the latter is dependent, in a measure, upon the correct systematization of our spatial experiences by means of methodical processes. Euclidean geometry, accordingly, is not so certain in its applications as it is utilitarian; but non-Euclidean geometry is even less certain than the former and consequently more lacking in its utilitarian possibilities.
The necessity of geometrical determinations is merely the necessity which inheres in logical inferences or deductions. These may or may not be valid. Inasmuch as the necessariness of deductions is primarily based upon the conditional certainty of premises and definitions it appears that this quality is in no way peculiar to geometry whether Euclidean or non-Euclidean. In like manner, the universality of geometric judgments may not properly be regarded as a peculiarity of geometry; but is explicable upon the basis of the formal character of the assumptions which underlie it. The chief value, then, of non-Euclidean geometry seems to abide in the fact that it clarifies our understanding as to the complex processes by which it is possible to organize and systematize our spatial experiences for assimilation and use in other branches of knowledge.
With the above statement of the case of the non-Euclidean geometry it is now thought permissible to state briefly some of the elements thereof.[7]
Below will be found some of the elements obtained as a consequence of efforts made both at proving and disproving the parallel-postulate of Euclid:
"If two points determine a line it is called a straight."
"If two straights make with a transversal equal alternate angles they have a common perpendicular."
"A piece of a straight is called a sect."
"If two equal coplanar sects are erected perpendicular to a straight, if they do not meet, then the sect joining their extremities makes equal angles with them and is bisected by a perpendicular erected midway between their feet."
"The sum of the angles of a rectilineal triangle is a straight angle, in the hypothesis of the right (angle); is greater than a straight angle in the hypothesis of the obtuse (angle); is less than a straight angle in the hypothesis of the acute (angle)."
"The hypothesis of right is Euclidean; the hypothesis of the acute is Bolyai-Lobachevskian; the hypothesis of obtuse is Riemannian."
"If one straight is parallel to a second the second is parallel to the first."
"Parallels continually approach each other."
"The perpendiculars erected at the middle point of the sides of a triangle are all parallel, if two are parallel."
"If the foot of a perpendicular slides on a straight its extremity describes a curve called an equidistant curve, or an equidistantial."
"An equidistantial will slide on its trace."
"In the hypothesis of the obtuse a straight is of finite size and returns into itself."
"Two straights always intersect."
"Two straights perpendicular to a third straight intersect at a point half a straight from the third either way."
"A pole is half a straight from its polar."
"A polar is the locus of coplanar points half a straight from its pole. Therefore, if the pole of one straight lies on another straight the pole of this second straight is on the first straight."
"The cross of two straights is the pole of the join of their poles."
"Any two straights inclose a plane figure, a digon."
"Two digons are congruent if their angles are equal."
"The equidistantial is a circle with center at the poles of its basal straight."
A typical postulate based upon the Bolyai hypothesis of the acute angle is the following:
"From any point P drop PC, a perpendicular to any given straight line AB. If D move off indefinitely on the ray CB, the sect will approach as limit PF copunctal with AB at infinity.
Fig. 5.
PD is said to be at P the parallel to AB toward B. PF makes with PC an angle CPF which is called the angle of parallelism for the perpendicular PC. It is less than a right angle by an amount which is the limit of the deficiency of the triangle PCD. On the other side of PC, an equal angle of parallelism gives the parallel P to BA towards AM.[8] Thus at any point there are two parallels to a straight. A straight has, therefore, two separate points at infinity."
"Straights through P which make with PC an angle greater than the angle of parallelism and less than its supplement do not meet the straight AB at all not even at infinity."
The parallel-postulate is stated in the non-Euclidean geometry as follows:
"If a straight line meeting two straight lines make those angles which are inward and upon the same side of it less than two right angles the two straight lines being produced indefinitely will meet each other on this side where the angles are less than two right angles."
It is stated by Manning[9] in the following language:
"If two lines are cut by a third and the sum of the interior angles on the same side of the cutting line is less than two right angles the line will meet on that side when sufficiently produced."
It is rather significant that in this postulate which is really a definition of space should be found grounds for such diverse interpretations as to its nature. Of course, the moment the mind seeks to understand the infinite by interpreting it in the unmodified terms of the apparently unchangeable finite it entangles itself into insurmountable difficulties. As a drowning man grasps after straws so the mind, immersed in endless abysses of infinity, fails to conduct itself in a seemly manner; but gasps, struggles and flounders and is happy if it can, in the depths of its perplexity, discover a way of logical escape. The pure mathematician has a hankering after the logically consistent in all his pursuits; to him it is the "Holy Grail" of his highest aspirations. He seeks it as the devotee seeks immortality. It is to him a philosopher's stone, the elixir of perpetual youth, the eternal criterion of all knowledge.
Failures to demonstrate the celebrated postulate of Euclid led, as a matter of course, to the substitution of various other postulates more or less equivalent to it in that each of them may be deduced from the other without the aid of any new hypothesis.
Among those who sought proof by a restatement of the problem are the following:
1. Ptolemy: The internal angles which two parallels make with a transversal on the same side are supplementary.
2. Clavius: Two parallel straight lines are equidistant.
3. Proclus: If a straight line intersects one of two parallels it also intersects the other.
4. Wallis: A triangle being given another triangle can be constructed similar to the given one and of any size whatever.
5. Bolyai (W.): Through three points not lying on a straight line a sphere can always be drawn.
6. Lorenz: Through a point between the lines bounding an angle a straight line can always be drawn which will intersect these two lines.
7. Saccheri: The sum of the angles of a triangle is equal to two right angles.
There were, of course, many other statements and substitutions used by mathematicians in their endeavors satisfactorily to establish the truth of the parallel-postulate. That their labors should have terminated, first, by doubting it, then by denying, and finally, by building up a system of geometries which altogether ignores the postulate is just what might naturally be expected of these men who have given to the world the non-Euclidean geometry. In doing what they did many, if not all of them, were not aware in any measure of the proportions of the imposing superstructure that would be built upon their apparent failures. All of them undoubtedly must have sensed the vague adumbrations forecast by the unfolding mysteries which they sought to lay bare; all of them must have felt as they executed the early tasks of those crepuscular days of pure mathematics that the way which they were traveling would lead to the inner shrine of a higher knowledge and a wider freedom; they may have been led by divine intuition to strike out on this new path and yet they could not have known how fully their dreams would be realized by the mathematicians of the twentieth century. If so, they were truly gods and mathesis is their kingdom.
The analyst proceeds upon a basis entirely at variance with that which guides the ordinary investigator in the formulation of his conclusions. The empirical scientist in arriving at his theories or hypotheses is governed at all times by the degree of conformity which his postulates exhibit to the actual phenomena of nature. He endeavors to ascertain just how far or in what degree his hypothesis is congruent with things found in nature. If the dissidence is found to predominate he abandons his theory and makes another statement and again sets out to determine the degree of conformity. If he then finds that the natural phenomena agree with his theory he accepts it as for the time being finally settling the question. In all things he is limited by the answer which nature gives to his queries. Not so with the exponent of pure mathematics. For him the truth of hypotheses and postulates is not dependent upon the fact that physical nature contains phenomena which answer to them. The sole determining factor for him is whether or not he is able to state with rational consistency the assumed first principles and then logically develop their consequences. If he can do this, that is, if he can state his hypotheses with consistency and develop their consequences into a logical system of thought, he is quite satisfied and well pleased with his performances. But the fact that this is true is of vital significance for all who seek clearly to understand the essential character of hyperspatiality.
It appears, therefore, that the science of consequences is the radical essence of pure geometry. The metageometrician enjoys unlimited freedom in the choice of his postulates and suffers curtailment only when it comes to the question of consistency. He is at liberty to formulate as many systems of geometry as the barriers of consistency will permit and these are practically innumerable. So long then as the laws of compatibility remain inviolate his multiplication of postulate-systems may proceed indefinitely. Is it strange then that under conditions where an investigator has such unbridled liberty he should be found indulging in mathetic excesses?
Kant held that the axioms of geometry are synthetic judgments a priori; but it appears that in the strictest sense this is not the case. It depends upon the type of mind which is taken as a standard of reference. If it be the uncultivated mind, it is certain that to it the relations expressed by an axiom would never appear spontaneously. If on the other hand, the standard be that of a cultivated mind it is also equally certain that to it these relations would be discovered only after methodical operations. All judgments arrived at as a result of logical processes should, it seems, be regarded as judgments a posteriori, i.e., the results of empirical operations. Confessedly, the facts adduced in course of experimentation serve as guides in choosing among all of the many possible logical conventions; but our choice remains untrammeled except by the compulsion arising out of a fear of inconsistency. The real criterion then of all geometries is neither truth, conformability nor necessity, but consistency and convenience.
The difficulty with the non-Euclideans resolved itself into the question as to whether it is more consistent, as well as convenient, to establish a proof of the postulate by taking advantage of the support to be found in other postulates or whether, by seeking a demonstration based upon the deliveries of sense-experience as to the nature of space and its properties, a still more consistent conclusion might be reached. They had further perplexity, however, when it came to a decision as to whether the organic world is produced and maintained in Euclidean space or in a purely conceptual space which alone can be apprehended by the mind's powers of representation. Unwilling to admit the existence of the world in Euclidean space, they turned their attention to the examination of the properties of another kind of space so-called which unlike the space of the Ionian school could be made to answer not only all the purposes of plane and solid figures, but of spherics as well. And so, the manifold space was invented by Riemann and later underwent some remarkable improvements at the hands of his disciple, Beltrami. But it may be said here, parenthetically, that the truth of the whole matter is that our world is neither in Euclidean nor non-Euclidean space, both of which, in the last analysis, are conceptual abstractions. Although it may not be denied that the Euclidean space is the more compatible.
The problem of devising a space, if only a very limited portion, in which could be demonstrated the assumed alternative hypothesis and its consequences logically developed, occasioned no inconsiderable concern for the non-Euclidean investigators; but neither Lobachevski, Bolyai nor Riemann were to be baffled by the difficulties which they met. These only cited them to more laborious toil. Having succeeded in mentally constructing the particular kind of space which was adaptable to their rigorous mathetic requirements it immediately occurred to them that all the qualities of the limited space thus devised might logically be amplified and extended to the entire world of space and that what is true of figures constructed in the segmented portion of space which they used for experimental purposes is also true of figures drawn anywhere in the universe of this space as all lines drawn in the finite, bounded portion could be extended indefinitely and all magnitudes similarly treated. From these results, it was but a single step to the conclusion which followed-that either an entirely new world of space had been discovered or that our notion of the space in which the organic world was produced is wholly wrong and needs revision. But notwithstanding the insurmountable obstacles which stood in the way of the investigators who made the attempt to discover the homology which might exist between the characteristics of the newly fabricated space and the phenomenal world, investigations were carried forward with almost amazing recklessness and loyalty to the mathetic spirit until it was discovered that all efforts to trace out any definite lines of correspondence were futile. Then the policy of ignoring the question of conformability was adopted and has since been pursued with unchangeable regularity by the analytical investigator.
Among the results obtained by the non-Euclideans in their profound researches into the nature of hyperspace are these: 1. It was found that the angular sum of a triangle, being ordinarily assumed to be a variable quantity, is either less or greater than two right angles so that a strictly Euclidean rectangle could not be constructed. 2. The angle sums of two triangles of equal area are equal. 3. No two triangles not equal can have the same angles so that similar triangles are impossible unless they are of the same size. 4. If two equal perpendiculars are erected to the same line, their distance apart increases with their length. 5. A line every point of which is equally distant from a given straight line is a curved line. 6. Any two lines which do not meet, even at infinity, have one common perpendicular which measures their minimum distance. 7. Lines which meet at infinity are parallel. But it is apparent that these results have not followed upon any mathematical consequence of other supporting postulates or axioms such as would place them on a co?rdinate basis with those used as a support for the parallel-postulate; for they are based upon the envisagement of an entirely new principle of space-perception and belong to a wholly different set of space qualities.
The final issue then of the non-Euclidean geometry is neither in the utility of its processes and conclusions nor in the increscent inclination towards a new outlook upon the world of mathesis; but resides solely in the possibilities yet to be developed in that vast domain of analytical thought which it has discovered and opened to view. To say that it sheds any light upon the nature of the universe is perhaps to take the radical view; yet it cannot be doubted that the researches incident to the formulation of the non-Euclidean geometry have greatly extended the scope of consciousness. Whether the extension is valid and normal or simply a hypertrophic excrescence of mental feverishness; whether by virtue of it we shall more closely approach an understanding of the true nature of the mind of the Infinite, or shall all fall into insanity, are certainly debatable questions. It nevertheless appears evident that humanity has gained something of real, abiding permanence by this new departure. If that something be merely an extended consciousness or an awakening to the fact that there are stages of awareness beyond the strictly sensuous, and every observable evidence points to this, then there has only begun the process by which the faculty of conscious functioning in this new world shall become the normal possession of the human species. But this new world cannot be said to be of mathematical import; for it is doubtful if mathematical laws such as have been devised up to the present time, would obtain therein. So that if anything, it must be psychological and vital.
On this view the worlds of hyperspace inlaid with analytic manifoldnesses and constant curvatures are but the primal excitants which will finally awaken in the mind the faculty of awareness in the new domain of psychological content. Then will come the blooming of the diurnal flower of the mind's immortality and the outputting of the organ of consciousness wherewith the infinite stretches of hyperspaces, the low-lying valleys of reals and imaginaries and the uplifting hills of finites and infinites shall be divested of their mysteries and stand out in their unitariness no longer draped in the veil of the inscrutable and the incomprehensible.
The fourth dimension, regarded by some as a new scope of motion for objects in space, by others as a new and strange direction of spatial extent and by others still as the doorway of the temple of exegesis wherein an explanation may be found for the entire congeries of mysteries and supermysteries which now perplex the human mind, may also be said to be the key to the non-Euclidean geometry. But it really complicates the situation; for one has to be capable of prolonged abstract thought even to envisage is as a conceptual possibility. Poincaré[10] says: "Any one who should dedicate his life to it could, perhaps, eventually imagine the fourth dimension," implying thereby that a lifetime of prolonged abstract thought is necessary to bring the mind to that point of ecstasy where it could even so much as imagine this additional dimension. Nevertheless by it (the fourth dimension) was the non-Euclidean geometry made and without it was not any of the hyperspaces made that were made. It is the view which geometers have taken of space in general that has made the fourth dimension possible, and not only the fourth, but dimensions of all degrees. The basis of the non-Euclidean geometry may be found then in the notion of space which has been predominant in the minds of the investigators.
Finally, it should be pointed out that the non-Euclidean geometry, though a consistent system of postulates, has been constructed upon a misconception based upon the identification of real, perceptual space with systems of space-measurements. Hyperspaces which are not spaces at all should not be confounded with real space. But they constitute the substance of non-Euclidean geometry; they are its blood and sinews. Their study is interesting, because of the possibilities of speculation which it offers. No mind that has thought deeply upon the intricacies of the fourth dimension, or hyperspace, remains the same after the process. It is bound to experience a certain sense of humility, and yet some pride born of a knowledge that it has been in the presence of a great mystery and has delved into the fearful deeps of kosmic mind. To the mind that has thus been anointed by the sacred chrism of the inner mysteries of creative mentality there always come that stillness and calm such as characterize the aftermath of reflection upon the incomprehensible and the transfinite.
* * *