Non Euclidean geometry of joining and intersecting Projective geometry is called geometry of joining and intersecting in old German

textbooks. This suggested that we might base projective geometry on assumptions concerning two operations of joining and intersecting as the algebra of numbers may be based on assumptions concerning two operations of adding and multiplying. The classical treatments of geometry did not mention assumptions as simple as the line through the points P and Q is the same as the line through the point Q and P. from the point of view of an algebra of geometry, this omission is comparable to an axiomatization of algebra in which the commutativeness of addition is not mentioned. The astonishing feature of this algebra of geometry is that from simple assumptions like the commutativeness and associativeness of the operations the whole of projective geometry can be deduced. If we start with one class of elements, a priori not classified according to their dimensions, the operations allow us to introduce a part relation and to base a definition of dimension on it. A point is defined, * in accordance with Euclids famous words, as that which has no parts, a straight line as an element which joints two distinct points, a plane as an element which joins three distinct points none of which lies on the line joining the two others, a hyperplane as an element that is not part of any other element except of the whole space. The algebra of geometry leads to a new point of view concerning the relation between different geometries. So far, this relationship has been mostly considered from the point of view of groups of transformations. Thus Euclidean and non Euclidean geometry were coordinated, and each of them subordinated to projective geometry. The classical postulational treatments abtained affine geometry from projective geometry by omission of a hyperplane (of infinity), and projective geometry from affine geometry by adding a hyperplane of infinity, the basic concepts and assumptions of projective and affine geometry being quite different. An algebraic treatment in the sense above explained is possible both for projective and affine geometry, both being founded on joining and intersecting and on a certain set of common assumptions.* The two geometries are in that way coordinated. Either is obtained by adding one assumption to the set of common assumptions: projective geometry is obtained by adding any element that is not a point has a nonvacuous intersection with each hyperplane, affine geometry by adding the parallel assumption. if L is a line and P is a point outside L, then the plane joining L and P contains exactly one line through P whose intersection with L is vacuous. In the discussion which follows. I wish to point out how non Euclidean geometry can be coordinated with affine and projective geometry. The classical way of introducing the concept of parallelism in the Bolyai-Lobatchefski plane is based on the concept of angular sector (the lines through a point P which do not intersect a line L are assumed to fill an angular sector whose extreme lines are called the two parallels to L through P); the classical proofs of the properties of this parallelisem (symmetry, transitivity, and so on) presuppose a linear order of the points on each straight line. It is possible, however, to introduce parallelism in terms of joining and intersecting exclusively. Angular sectors and linear order are not a necessary basis for the concept of parallelism. On the contrary, these concepts and many others may be defined in terms of parallelism, and thus ultimately in terms of joining

and intersecting. If the point P is not on the line L, then the pair of parallels to L through P, say L and L, is the only pair of lines through P which has the properties that L and L do not intersect L, and that any line intersecting L intersects at least one of the lines L and L. the easiest way in which to verify this characterization of the parallels is described by Kleins model for the non Euclidean plane or, more generally, by the points interior to any convex curve and the open segments obtained by intersecting the open convex region with the straight line. In the same way, one easily verifies the following statements: Two non intersecting line L1 and L2 are parallel if and only if there axists a third line L3, not intersecting L1 and L2 and such that through each point of L3 there passes but one line not intersecting the lines L1 and L2 Two points P and P lie on the same side or on different sides of the line L, according to whether the parallels to L through P and through P do or not intersect. Each of the four angular sectors determined by two intersecting straight lines L1 and l2 consists of the points lying on one side of L1 and on one side of L2. The segment of a line determined by two points or, in other words, the points of the line L between two points P1 and P2 can be characterized in the following way : Let L1 and L2 be two parallel lines passing through P1 and P2, respectively. The points between P1 and P2 are the only ones that lie on L and have the property that through each of them there exists exactly one straight line that intersects neither L1 nor L2. Three non collinear points P1, P2, P3 determine three and on each of them a segment; a point P lies in the interior of the triangle, with the points P1, P2, P3 as vertices and the three segments as sides, if and only if each line through P which does not pass through any of the three vertices intersects exactly two of the three sides. Obviously, all these considerations can be extended to Bolyai-Lobathcefski spaces of higher dimensions. The common principle of all these statements is, of course, the applicability of the axiom concerning the order in the Euclidean plane which Pasch formulated for segments,* to the whole straight lines in a bolyai-lobatchefski plane; and this applicability is best illustrated by Kleins model in which whole non Euclidean lines are represented by Euclidean segments. For the axiomatization of the non Euclidean geometry, the foregoing remarks have the following implications: we may start with one class of undefined elements, two operations (joining and intersecting of elements), and the assumptions which are common to projective and affine geometry. Then we may define non Euclidean parallels in the way indicated above. We can grant their existence, of course, only by a special assumption, and their properties (symmetry, transitivity, and so on) by special assumptions on the operations joining and intersecting, thus by assumptions in the direction of an algebra of non Euclidean geometry. It is easy to formulate such assumptions, whereas I do not know simple assumptions to this effect.* Up to this point, the theory is analogous to the postulational theory of projective and affine geometry as developed in our above mentioned paper. But in the algebra of non Euclidean geometry, one can furthermore introduce the linear order on the line, the order in the plane and higher dimensional spaces, angular sectors, and so on, in the way indicated above, and guarantee the ordinary properties of these concepts by assumptions on the operations of joining and intersecting. Again it is obvious how to formulate assumptions to this effect, while no simple assumptions are known so far.

Non Euclidean geometri bergabung dan berpotongan Projective geometri disebut geometri bergabung dan berpotongan dalam buku teks tua Jerman. Hal ini menunjukkan bahwa kita mungkin mendasarkan projective geometri pada asumsi mengenai dua operasi bergabung dan berpotongan sebagai aljabar angka mungkin didasarkan pada asumsi-asumsi tentang dua operasi menambahkan dan mengalikan. Perlakuan klasik geometri tidak menyebutkan asumsi sesederhana "garis melalui titik-titik P dan Q adalah sama dengan garis melalui Q titik dan P." dari sudut pandang aljabar geometri, kelalaian ini sebanding ke aksiomasisasi aljabar di mana commutativeness penambahan tidak disebutkan. Fitur menakjubkan dari aljabar geometri adalah bahwa dari asumsi sederhana seperti commutativeness dan associativeness dari operasi seluruh geometri proyektif dapat disimpulkan. Jika kita mulai dengan satu kelas elemen, a priori tidak diklasifikasikan menurut dimensi mereka, operasi memungkinkan kita untuk memperkenalkan hubungan bagian dan menjadi dasar definisi dimensi di atasnya. Titik A didefinisikan, * sesuai dengan kata-kata yang terkenal Euclid, sebagai sesuatu yang tidak memiliki bagian, sebuah garis lurus sebagai elemen yang sendi dua titik berbeda, sebuah pesawat sebagai elemen yang bergabung tiga poin yang berbeda tidak ada yang terletak pada garis yang menghubungkan dua orang lain, suatu hyperplane sebagai elemen yang bukan merupakan bagian dari unsur lainnya kecuali seluruh ruang.
Aljabar geometri mengarah ke sudut pandang baru tentang hubungan antara geometri yang berbeda. Sejauh ini, hubungan ini sebagian besar telah dipertimbangkan dari sudut pandang kelompok transformasi. Geometri Euclid sehingga Euclidean dan non dikoordinasikan, dan masing-masing tunduk pada projective geometri. Perlakuan postulational klasik abtained geometri affine dari projective geometri oleh kelalaian dari suatu hyperplane ("tak terhingga"), dan projective geometri dari geometri affine dengan menambahkan hyperplane tak terhingga, konsep dasar dan asumsi dari projective dan affine geometri yang sangat berbeda. Sebuah pengobatan aljabar dalam arti di atas dijelaskan adalah mungkin baik untuk geometri proyektif dan affine, baik yang didirikan pada bergabung dan berpotongan dan satu set tertentu dari asumsi umum. * Kedua geometri yang dengan cara yang terkoordinasi. Entah diperoleh dengan menambahkan satu asumsi untuk menetapkan asumsi umum: projective geometri diperoleh dengan menambahkan "setiap elemen yang tidak memiliki titik persimpangan nonvacuous dengan hyperplane masing-masing," geometri affine dengan menambahkan asumsi paralel. 'jika L adalah garis dan P adalah titik di luar L, maka pesawat bergabung dengan L dan P berisi tepat satu baris melalui P yang persimpangan dengan L adalah hampa. "

Dalam diskusi yang berikut. Saya ingin menunjukkan bagaimana geometri Euclidean non dapat dikoordinasikan dengan geometri affine dan projective.

Cara klasik untuk memperkenalkan konsep paralelisme pada bidang-Bolyai Lobatchefski didasarkan pada konsep sektor sudut (garis melalui titik P yang tidak berpotongan L garis diasumsikan untuk mengisi sektor sudut garis ekstrim yang disebut dua paralel dengan L melalui P), bukti-bukti klasik dari sifat ini parallelisem (simetri, transitivitas, dan sebagainya) mensyaratkan urutan linier dari titik-titik pada setiap garis lurus. Hal ini dimungkinkan, namun, untuk memperkenalkan paralelisme dalam hal bergabung dan berpotongan eksklusif. Sektor angular dan ketertiban linear bukan merupakan dasar yang

diperlukan untuk konsep paralelisme. Sebaliknya, konsep-konsep ini dan banyak orang lain dapat didefinisikan dalam hal paralelisme, dan dengan demikian pada akhirnya dalam hal bergabung dan berpotongan. Jika titik P tidak pada L line, maka sepasang paralel dengan L melalui P, katakanlah L 'dan'' L, adalah sepasang satunya garis melalui P yang memiliki sifatsifat yang L' dan'' L tidak berpotongan L, dan bahwa setiap garis berpotongan L memotong setidaknya satu dari garis L 'dan L ". cara termudah di mana untuk memverifikasi ini karakterisasi paralel digambarkan oleh model Klein untuk pesawat Euclidean non atau, lebih umum, dengan interior poin untuk setiap kurva cembung dan segmen terbuka diperoleh dengan memotong daerah cembung terbuka dengan garis lurus . Dengan cara yang sama, satu dengan mudah memverifikasi pernyataan berikut: Dua non berpotongan garis L1 dan L2 sejajar jika dan hanya jika ada axists garis ketiga L3, bukan berpotongan L1 dan L2 dan sedemikian rupa sehingga melalui setiap titik L3 ada tapi melewati satu baris tidak memotong garis L1 dan L2 Dua poin P 'dan P "berbaring pada sisi yang sama atau pada sisi yang berbeda dari garis L, menurut apakah paralel dengan L melalui P' dan melalui P" melakukan atau tidak berpotongan. Masing-masing dari empat sektor sudut ditentukan oleh dua garis berpotongan lurus dan L1 l2 terdiri dari titik-titik berbaring di satu sisi L1 dan pada satu sisi L2. Segmen garis ditentukan oleh dua poin atau, dengan kata lain, titik-titik dari garis L antara dua P1 dan P2 poin dapat ditandai dengan cara berikut: Biarkan L1 dan L2 menjadi dua garis sejajar melewati P1 dan P2, masingmasing . Titik-titik antara P1 dan P2 adalah satu-satunya yang terletak pada L dan memiliki properti yang melalui masing-masing dari mereka terdapat tepat satu garis lurus yang memotong tidak L1 atau L2. Tiga poin collinear P1 rokok, P2, P3 menentukan tiga dan pada masing-masing segmen, sebuah titik P terletak di bagian dalam segitiga, dengan P1 poin, P2, P3 sebagai simpul dan tiga segmen sebagai sisi, jika dan hanya jika setiap line melalui P yang tidak melewati salah satu dari tiga simpul memotong tepat dua dari tiga sisi. Jelas, semua pertimbangan dapat diperpanjang untuk Bolyai-Lobathcefski ruang dimensi yang lebih tinggi.
Prinsip umum dari semua pernyataan di bawah ini, tentu saja, penerapan aksioma mengenai urutan pesawat Euclidean yang Pasch diformulasikan untuk segmen, * ke garis lurus keseluruhan dalam pesawat Bolyai-lobatchefski, dan penerapan ini diilustrasikan oleh Klein model di mana seluruh jalur non Euclidean yang diwakili oleh segmen Euclidean. Untuk aksiomasisasi dari geometri Euclidean non, pernyataan tersebut di atas memiliki implikasi berikut: kita dapat mulai dengan satu kelas elemen terdefinisi, dua operasi (bergabung dan berpotongan elemen), dan asumsi yang umum projective geometri dan affine. Kemudian kita dapat mendefinisikan paralel Euclidean non dengan cara yang ditunjukkan di atas. Kami dapat memberikan keberadaan mereka, tentu saja, hanya dengan asumsi khusus, dan sifat mereka (simetri, transitivitas, dan sebagainya) dengan asumsi khusus pada operasi bergabung dan berpotongan, sehingga dengan asumsi dalam arah aljabar geometri Euclidean non . Sangat mudah untuk merumuskan asumsi tersebut, sedangkan saya tidak tahu asumsi sederhana untuk efek ini. * Sampai saat ini, teori analog dengan teori postulational geometri proyektif dan affine seperti yang dikembangkan dalam makalah di atas kami tersebut. Namun dalam aljabar geometri Euclidean non, salah satu selanjutnya dapat memperkenalkan urutan linear di telepon, urutan dalam pesawat dan ruang dimensi yang lebih tinggi, sektor sudut, dan sebagainya, dengan cara yang ditunjukkan di atas, dan menjamin sifat biasa ini konsep oleh asumsi pada operasi bergabung dan berpotongan. Sekali lagi jelas

bagaimana merumuskan asumsi untuk efek ini, sementara tidak ada asumsi sederhana yang dikenal selama ini.