Professional Documents
Culture Documents
Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at .
http://www.jstor.org/page/info/about/policies/terms.jsp
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of
content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms
of scholarship. For more information about JSTOR, please contact support@jstor.org.
Oxford University Press and Mind Association are collaborating with JSTOR to digitize, preserve and extend
access to Mind.
http://www.jstor.org
No. 3.1 [JulyI876.
A QUARTERLY REVIEW
OF
FIG, 1. FIG. 2.
describe a pseudospherical concave-convexsurface like that
of the ring. Above and below, towards aa and bb, the
surfacewill turn outwardswith ever-increasingfiexure,till it
becomes perpendicular to the axis and ends at the edge
with one curvature infinite. Or, again, half of a pseudo-
spherical surface may be rolled up into the shape of a
champagne-glass (Fig. 2) with tapering stem infinitelypro-
longed. But the surface is always necessarilybounded by
a sharp edge beyond which it cannot be directly-continued.
Onllyby supposin1geach-single piece of the edge cut loose and
drawnalong the surfaceof the ring or glass, can it be brought
to places of different flexureat which farthercontinuationof
the piece is possible.
In this way too the straightestlines of the pseudospherical
surfacemay be infinitely produced. They do not like thoseon
a spherereturnupon themselves,but, as on a plane, onlyone
shortestline is possiblebetweentwo given points. The axiom
of parallels does not howeverhold good. If a straightestline
is given on the surfaceand a pointwithoutit, a whole pencil
308 ThteOrigin and MeaninRtg
of GeometricalAaxioins.
of straightestlines mlaypass throughthepoint,no onieof which,
thoughinfinitely produced,cuts the firstline; the pencil itself
being limitedby two straightestlines, one of whichintersects
one of the enidsof the given line at an infinitedistance,the
otherthe otherend.
As it happened, a systemof geometryexcludingthe axiom
of parallels was devised on Euclid's syntheticmethod, as far
back as the year 1829, by N. J. Lobatschewsky,professorof
mathematicsat Kasan,* and it was proved that this system
could be carried out as consistentlyas Euclid's. It agrees
exactly with the geomnetry of the pseudospherical surfaces
workedout recentlyby Beltrami.
Thus we see that in the geometryof two dimensionsa sur-
face is markedout as a plane or a sphere or a pseudosplherical
surfaceby the assumptioni that any figuremaybe movedabout
in all directionswithoutchalngeof dimensions. The axiom
thatthere is only one shortest liniebetween any two points
distinguishesthe plane anldthe pseudospherical surfacefrom
the sphere,and the axiom of parallels marksoffthe plalnefrom
the pseudosphere. These three axioms are in fact necessary
and sufficientto defineas a planiethe surfaceto whichEuclid's
planimetry has reference,as distinguishedfromall othermodes
of space in two dimensions.
The difference between plane anld spherical geometryhas
been long evident,but the meaningof the axiom of parallels
couLldnot be understoodtill Gauss had developed the notionof
surfaces flexiblewithoutdilatationand consequentlythat of
the possibly infinitecontinuationof pseudosphericalsurfaces.
Inhabiting a space of three dimensionsand endowed with
organs of sense fortheirperception,we can representto our-
selves the variouscases in which beings on a surface might
have to develop theirperceptioln of space; for we have only
to limitour own perceptionsto a narrowerfield. It is easy to
thinkaway perceptionsthatwe have; but it is verydifficult to
imagineperceptionsto whichthereis nothinganalogous in our
experience. When, therefore, we pass to space of three
dimensionswe are stopped in our power of representationby
the structureof our organs and the experielncesgot through
themwhichcorrespondonllyto the space in whichwe live.
There is howeveranotherway of treatinggeometryscientifi-
cally. All knownspace-relationsare measurable,that is they
may be broughtto determination of magnitudes(lines,angles,
surfaces,volumes). Problems in geometrycan thereforebe
solved by findingmethods of calculationfor arrivingat un-
* Pr incpiet der Geometrie,
Kasan, 1829-90.
ThleOrigincand 3eaninig of GeometricalAxiowm. 309
knlownmagnitudesfromknownones. Tlhisis done 'inanalytical
geometry, where all forms of space are treated only as
quantitiesanlddetermlined by means of otherquantities. Even
the axioms themselvesmake referenceto magniitudes. The
straightline is definedas the shortestbetween two poilnts,
whichis a determination of qua.ntity. The axiom of parallels
declares thatif two straightlines in a plane do not intersect
(are parallel),the alternateangles,or the correspondingangles,
made by a thirdline intersecting them,are equal; or it may be
laid down instead that the sum of the alnglesof any triangle
is equal to two right angles. These are determinationsof
quantity.
Now we may start with this view of space,,according to
which the positionof a point uiay be determinedby measure-
ments in relationlto any given figure (system of co-ordi-
nates), taken as fi-xed,and theniinquirewhat are the special
characteristics of our space as manifestedin the measurernents
that have to be made, and how it differsfromotherextended
quantitiesof like variety. This path was firstentered by onie
too early lost to science,B. Riemanniof G6ttingen.* It has
the peculiaradvantage that all its operations consist in pure
calculationof quantities,which quite obviates the dalngerof
habitualperceptionis beinlgtaken forlnecessitiesof thought.
The lnumberof measurementsniecessary to give the position
of a point is equal to the numberof dimelsionisof the space
in question. In a line the distance fromolnefixed point is
sufficient,thatis to say,one quantity; in a surfacethe distances
fromtwo fixed points must be given; in space, the distances
fromthree; or we require as oln the earthlongitude,latitude
and heightabove the sea, or,as is usual in analyticalgeometry,
the distances fromthreeco-ordinateplanes. Riemannicalls a
systemof differences in whichone thingcan be determinedby
nmeasurementsan "infoldextendedaggregate" or an "aggre-
gate of nbdimensiolns." Thus the space in whichwe live is a
three-fold, a surfaceis a twofoldand a line is a simpleextended
aggregateof poinats. Time also is an aggreglateof one dimen-
sionl. The systemofcoloursis alnaggregateofthreedinmenisions,
inasmuchas each colour,accordingto the investigationsof Tb.
Young and Clerk Maxwell,may be representedas a mixture
of three primarycolours, takelnin definitequantities. The
particularmixturescan be actuallymadlewiththe colouIr-tOp.
In the sameway we maycon-sider the systemof simpletones
as all aggregate of two dimenisionis,if we distinguishonlypitch
Ueber die Hypothesenwelche der Geometriezu Grtindeliegen,
U
vom 10 Juni 1854. (Abhanldl.der k6nigl.Gesedllch.
Habilitationsschrift
Vt Gdttingen,Bd. XIII.),
310 Axioms.
the Ortginand Meaningof Geometrbcal
and intensity and leave out of accountdifferences of timbre.
Thisgeneralisation of theidea is well-suitedto bringout the
distinctionbetweenspaceofthreedimensions andotheraggre-
gates. We can, as we knowfromdailyexperience,compare
theverticaldistanceof twopointswiththehorizontal distance
of twoothers,becausewe can applya measurefirstto theone
pairand thento the other. But we cannotcomparethe dif-
ference betweentwotonesofequalpitchand different intensity
withthatbetweentwo tonesof equal intensity and different
pitch. Riemannshowedby considerations of this kindthat
the essentialfoundation of any systemof geometry is the
expressioni thatit gives forthe distancebetweentwo points
lyingin anydirectionfromone another, beginningwiththe
intervalas infinitesimal. He took fromanalyticalgeometry
themostgeneralformforthisexpression, that,namely,which
leavesaltogether openthekindof measurements by whichthe
positionofanypointis given.* Thenhe showedthatthekind
of free mobilitywithoutchangeof formwhichbelongsto
bodies in our space can onlyexistwhen certainquantities
yielded by the calculationt-quantities that coincidewith
Gauss'smeasureof surface-curvature whentheyare expressed
forsurfaces-haveeverywhere an equalvalue. For thisreason
Riemanncallsthesequantities, whentheyhavethesamevalue
in all directions fora particularspot,themeasureof curvature
ofthespaceat thisspot. To preventmisunderstanding I will
once more observethat this so-calledmeasureof space-
curvature is a quantityobtainedby purelyanalyticalcalculation
and thatits introduction involvesno suggestion of relations
thatwouldhave a meaningonlyforsense-perception. The
name is merelytaken,as a shortexpressionfora complex
relation,fromthe one case in whichthe quantity designated
admitsof sensiblerepresentation.
Nowwhenever thevalueofthismeasureofcurvature in any
space is everywhere zero,that space everywhere conforms to
theaxiomsof Euclid; and it maybe calleda flat (homaloid)
space in contradistinction to otherspaces,analytically con-
structible,thatmaybe calledcurvedbecausetheirmeasureof
curvature has a valueotherthan zero. Analyticalgeometry
may be as completely and consistently workedout forsuch
spacesas ordinary geometry forouractuallyexistinghomaloid
space.
* For the squareof the distanceof two infinitely
nearpointsthe
is a homogeneous
expression quadricfunctionofthedifferentials
oftheir
co-ordinates.
t Theyarealgebraical
expressions
compounded from of
theco-efficients
thevarioustermsintheexpressionforthesquareof thedistanceoftwo
pointsandfrom
contiguous theirdiflerential
quotients.
Axioms. 311
The Origin and Meaning of GReometrical
If the measure of curvatureis positive we have spherical
space, in which straightestlines returnupon themselvesand
there.are nioparallels. Such a space would,like the surfaceof
a sphere,be unlimitedbut not infinitelygreat. A constant
niegativemeasureof curvatureon the otherhand gives pseudo-
sPherical space, in which straightestlines run out to infinity
and a pencil of straightestlines may be drawn in any fattest
surfacethroughany pointwhichdo not intersectanothergiven
straightestline in that surface.
Beltrami* has renderedthese last relationsimaginable by
showing that the points, lines and surfaces of a pseudo-
spherical space of three dimensions can be - so portrayed
in the interior of a sphere in Euclid's homaloid space,
that everystraightestline or flattestsurfaceof the pseudo-
spherical space is representedby a straight line or a plane,
respectively,in the sphere. The surfaceitself of the sphere
corresponds to the infinitelydistant points of the pseudo-
sphericalspace; and the differentpartsof this space, as repre-
sentedin the sphere,become smallerthe nearertheylie to the
sphericalsurface,diminishingmorerapidlyin the directionof
the radii than in that perpendicularto them. Straightlines in
the spherewhichonlyintersectbeyond its suLrface correspond
to straightestlines of the pseudosphericalspace whichnever
intersect.
Thus it appeared that space, colnsideredas a region of
measurablequantities,does not at all correspondwiththe most
general conceptionof an aggregate of three dimensions,but
involves also special conditions,depending on the perfectly
free mobility of solid bodies without change of form to
all parts of it and with all possible changes of direction,
and, farther,on the special value of the measureof curvature
whichforour actual space equals, or at least is not distinguish-
able from,zero. This latter definitionis given in the axioms
of straightlines and parallels.
Whilst Riemann entered upon this new field fromthe side
of the most general and fundamentalquestions of analytical
geometry,I myself arrived at similar conclusions,t partly
from seelkingto representin space the system of colours,
inivolvingthe comparisonof one threefoldextendedaggregate
with another,and paYtlyfromilnquirieson the origin of our
ocular measure fordistancesin the field of vision. Riemann
startsby assumingthe above-mentionedalgebraicalexpression,
which represents in the most general form the distance
* Teoriafondacnentale, utsup.
41c.,
t Ueber die Thatsachendie derGeometriezum Grundeliegen (Nacka
vonder konigi.Ges. d. Wiss. zu Gbttingen,
vichten Juni3, 1868).
312 Axioms.
The Origintand Mleaning of Geomiietrical