Knowledge

Talk:Elliptic geometry

Source đź“ť

468:
would be the longest distance, unless distances were changed in a similar way to what is done with two dimensional representations of hyperbolic geometry. My interpretation of what was said about the third postulate is that there's an upper bound on the radius of a circle, but the way I constructed lines, you can have a line segment of any length, so excluding "any real number" doesn't work. This is resolved when the third postulate is defined as "between any two points, there is one and only one circle that goes through one of the points and has the other as its center". If the two points are more than a quarter of the circumference away from each other, you make a circle with one point and the antipode of the other (which is the same point). I think even without defining a line as I did, defining "any real number" as "the length of any given line segment" doesn't work because even if the upper bound of a line segment were half the circumference (it could be me more if we didn't consider antipodes, but that wouldn't change anything here), we can't make a circle with a radius of that length. The biggest circle you can make has a radius equal to a quarter of the circumference of the sphere (a great circle). I could be mistaken about some of this, and criticism is welcome.
233:
sphere the counterpart of a straight line is a geodesic or great circle, and all great circles intersect, in two places in fact, which by Euclid's definition of parallel makes them not parallel. The reason Euclid omitted the other direction is that in proving Proposition 16 he thought he'd proved that direction, but his argument either was fallacious (the more likely reason in my view) or depended on a fast-talking interpretation of Postulate 2, that straight lines go on forever, which many have interpreted as ruling out great circles because they are
95: 449:"For example, the first and fourth of Euclid's postulates, that there is a unique line between any two points and that all right angles are equal, hold in elliptic geometry. Postulate 3, that one can construct a circle with any given center and radius, fails if "any radius" is taken to mean "any real number," but holds if it is taken to mean "the length of any given line segment." Therefore any result in Euclidean geometry that follows from these three postulates will hold in elliptic geometry..." 85: 64: 31: 22: 593:"distance" and what is "parallel". When I hear the analogy that elliptic geometry is locally flat/euclidian, then I think to myself "oh we are just measuring things in Euclidian space and many terms arise because of the curvature, but 'locally' the distance computation will reduce to the euclidian distance because of o(x) types of consideration". 173:
In some texts these are topologically distinct but with the same local curvature. Elliptic geometry is the one where the poles in spherical geometry are identified. These are the only two globally isotropic spaces of constant positive curvature but there are other compact topologies which are locally
578:
I have a colleage education in sciences, so I have some maths education, but am by no means a mathematician. It must be the 10th time at different moments of my life I try to read-up on non-eucledian geometry to understand what it is about, and I always leave feeling that there is something profound
592:
And this leads my intuition towards this idea: you can always express non-euclidian geometry in terms of euclidian geometry, ie. elliptic geometry is actually just a sphere in Euclidian space where you do exotic computation and naming convention of what is the "plane" (it's the sphere), what is the
467:
You might have to think of an infinite line as a line segment that goes around the sphere and meets up with itself, and then keeps on doing that, looping infinitely. If you think of a (infinite) line as just a great circle, I don't think the second postulate would hold, seeing as the circumference
362:
I see a problem in the article. The notion of a "model" of an axiom system is different from having inequivalent examples of the axioms. The spherical model and the stereographic model are different "models" of the same abstract geometry. The projective "model" is a different system of elliptic
232:
Quite right, although Euclid's parallel postulate is equivalent to one direction of Playfair's axiom, namely that there is at most one line parallel to L passing through p. Hyperbolic geometry violates this direction but not elliptic geometry which has no parallel lines to begin with, e.g. on the
596:
And so all these illustration of models of non-euclidian geometry in terms of euclidian objects I am familiar with both helps me understand, but also confuses me: it all seems like Euclidian geometry still is the canonical reference and these other geometries are handy/clever paradigm changes or
269:
I haven't contributed to wikipedia before, and I guess I'm not now since I don't have time to edit the article. Apologies in advance for any protocol I am violating. The claim made in the article that the first 28 propositions of Euclid are true in elliptic geometry is false. For example,
588:
The issue in understanding this that I have is that when explained like in 2., it sounds like a great revolution. But when explained like in 1. it sounds like considering ℝ² and simply defining a distance or metric with a different formula than the "pythagoras theorem" metric.
452:
This is garbled since it skips over Postulate 2, the infinite line postulate and one which needs more discussion in the context of elliptical geometry since whether it holds depends on one's interpretation of it. I'm not expert enough on this topic to make the changes, tho.
666:
This is a very obscure connection which is not going to be at all obvious to readers, and doesn't in my opinion justify inclusion in a "see also" section (or mention in the elliptic geometry article). Perhaps this could be mentioned in the 24-cell article somewhere.
211:"If a line segment intersects two straight lines forming two interior angles on the same side that sum to less than two right angles, then the two lines, if extended indefinitely, meet on that side on which the angles sum to less than two right angles." 316:
The Wiki page on Non-Euclidean Geomotry states that "This kind of geometry, where the curvature changes from point to point, is called Riemannian geometry". I would take from this that Riemann Geometry is not Elliptic, although I may be wrong.
639:, "the hyperspherical network corresponding to a 24-cell" is "a division of elliptic three-dimensional space into 24 octahedra". This statement occurs in section 14, Relations between the regular polytopes in four dimensions, of his 296:
User Shawnpoo reverted a bunch of work I did on the article. He left me a message on my talk page, but I couldn't tell what he thought the problem was. I re-reverted, and left a response on his talk page inviting him to discuss it
492:"It is not possible to talk about angles in projective geometry as it is in Euclidean geometry, because angle is an example of a concept not invariant under projective transformations, as is seen clearly in perspective drawing." 270:
propositions 16, 17, and 27 are not true for elliptic geometry. Either Euclid was making assumptions beyond the scope of his second postulate, or his second postulate isn't satisfied by elliptic geometry, take your pick.
394:(1969), pages 92 to 95. In conventional geometry, one presumes that two lines intersect in a single point or not at all. Great circles intersect in two points. The content of this article must be changed; perhaps I will. 501:
From Harold S.M. Coxeter's "Projective Geometry", in the intro it is said that projective geometry has "no circles, no distances, no angles, no intermediacy (or "betweenness"), and no parallelism".
174:
isotropic. This distinction is relevant for cosmological world models and FAIK the terminology is not very standard. Would anyone like to comment before I dive in and add a section on the issue?
427:
The picture is good, but the inset of Cape Cod should be labelled with approximation signs before the numbers, since on any finite area the triangle angles do NOT add up to exactly 180 degrees.
498:"Projective geometry is less restrictive than either Euclidean geometry or affine geometry. It is an intrinsically non-metrical geometry, whose facts are independent of any metric structure." 151: 382:
This article is misleading. Consider the elliptic plane, the simplest example of elliptic geometry. There is no such thing as "spherical elliptic geometry", only spherical geometry. Two
723: 482:"Mathematicians commonly refer to the elliptic plane as the real projective plane. Especially in spaces of higher dimension, elliptic geometry is called projective geometry." 713: 522: 728: 184:
I've certainly seen the distinction elsewhere, indeed there is a little about in the article. The whole article could certainly do with a bit of fleshing out. --
35: 504:
Elliptic geometry, on the other hand, most certainly does deal with angles and distance (e.g. we can talk of the angle sum in a triangle and how it exceeds
738: 141: 708: 718: 237:, i.e. of finite length, unlike the geodesics of the Euclidean plane and the hyperbolic plane which are unbounded sets, i.e. of infinite length. 363:
geometry. I'm attempting to revise to clarify this very important point. I hope others will correct any oversights, errors, or poor writing.
117: 733: 327: 298: 256: 218: 277: 108: 69: 597:
referential changes within complex euclidian objects to be able to reexpress them with the simple "line and point" perspective.
703: 620: 203:, which asserts that there is exactly one line parallel to L passing through p." This is not Euclid's parallel postulate, it's 44: 331: 302: 281: 260: 245: 222: 536:
the same as projective geometry, even though the elliptic plane and the projective plane are topologically
342:
I think it's fair to say: Elliptic geometry is Riemannian but not all Riemannian geometries are elliptic.
616: 458: 432: 387: 50: 94: 636: 608: 582:
1. I came to understand that defining a different metric than the euclidian metric, is equivalent to
323: 273: 214: 189: 612: 21: 671: 486: 116:
on Knowledge. If you would like to participate, please visit the project page, where you can join
545: 241: 204: 100: 84: 63: 684: 656: 560: 413: 399: 644: 383: 368: 347: 185: 175: 507: 668: 697: 541: 454: 428: 320:
I'm going to remove that line, but feel free to put it back if it is in fact true.
240:
Any objections to my fixing this? (Not in anywhere near that detail of course.) --
680: 652: 556: 537: 529: 525: 409: 395: 255:
I think both of these problems are fixed in the present version of the article.--
364: 343: 234: 113: 90: 679:
Seems like a trivial observation applicable to all six regular 4-polytopes.
571:
How exactly are Non-Eucledian Geometries Independent from Euclidian Geometry
688: 674: 660: 624: 564: 549: 532:), as well. The only thing missing is parallelism. So elliptic geometry is 462: 436: 417: 403: 372: 351: 335: 306: 285: 264: 249: 226: 193: 178: 555:
Correct, thank you for noting this mistake. Changes have been made today.
579:
I'm missing, after reading different Knowledge articles on the subject.
446:
There's a problem in the "Comparison with Euclidean Geometry Section":
648: 386:
on the sphere are identified to form the elliptic plane. The article
15: 585:
2. Replacing Euclid's 5th postulate with something else.
524:). There are circles, and ordering (though it is like a 408:
Have introduced "Definition" section. Pruning to follow.
199:"Elliptic geometry, like hyperbolic geometry, violates 647:. Alternatively, the connection may be realized with 510: 390:
describes the actual "elliptic plane". See Coxeter,
112:, a collaborative effort to improve the coverage of 442:
Alert: "Comparison with Euclidean Geometry Section"
516: 724:Knowledge level-5 vital articles in Mathematics 8: 641:Introduction to the Geometry of N Dimensions 207:. The following is the parallel postulate: 606: 58: 509: 472:Elliptic Geometry vs. Projective Geometry 714:Knowledge vital articles in Mathematics 651:representing the edges of the 24-cell. 60: 19: 729:B-Class vital articles in Mathematics 7: 106:This article is within the scope of 600:Could someone debunk this for me ? 49:It is of interest to the following 739:High-priority mathematics articles 14: 126:Knowledge:WikiProject Mathematics 709:Knowledge level-5 vital articles 129:Template:WikiProject Mathematics 93: 83: 62: 29: 20: 146:This article has been rated as 719:B-Class level-5 vital articles 625:08:54, 25 September 2020 (UTC) 565:22:47, 24 September 2013 (UTC) 550:01:24, 22 September 2013 (UTC) 418:21:41, 29 September 2011 (UTC) 404:20:50, 28 September 2011 (UTC) 1: 250:04:51, 12 December 2008 (UTC) 227:13:41, 26 February 2008 (UTC) 120:and see a list of open tasks. 734:B-Class mathematics articles 358:Models vs. types of geometry 201:Euclid's parallel postulate 755: 286:08:42, 17 March 2009 (UTC) 689:05:16, 7 April 2024 (UTC) 675:02:40, 7 April 2024 (UTC) 661:01:00, 7 April 2024 (UTC) 463:01:56, 9 March 2012 (UTC) 437:01:53, 9 March 2012 (UTC) 373:04:05, 29 July 2009 (UTC) 352:04:01, 29 July 2009 (UTC) 336:07:10, 1 April 2009 (UTC) 307:19:05, 1 March 2009 (UTC) 265:19:27, 1 March 2009 (UTC) 145: 78: 57: 392:Introduction to Geometry 194:17:40, 22 May 2007 (UTC) 179:15:40, 22 May 2007 (UTC) 152:project's priority scale 485:But on the article for 109:WikiProject Mathematics 704:B-Class vital articles 518: 169:Elliptic vs. Spherical 603:Thank you very much. 519: 388:real projective plane 36:level-5 vital article 637:D. M. Y. Sommerville 517:{\displaystyle \pi } 508: 132:mathematics articles 487:projective geometry 514: 101:Mathematics portal 45:content assessment 627: 611:comment added by 326:comment added by 312:Riemann Geometry? 276:comment added by 229: 217:comment added by 166: 165: 162: 161: 158: 157: 746: 528:, rather than a 523: 521: 520: 515: 384:antipodal points 338: 288: 212: 205:Playfair's axiom 134: 133: 130: 127: 124: 103: 98: 97: 87: 80: 79: 74: 66: 59: 42: 33: 32: 25: 24: 16: 754: 753: 749: 748: 747: 745: 744: 743: 694: 693: 633: 573: 506: 505: 474: 444: 425: 380: 360: 321: 314: 294: 271: 171: 131: 128: 125: 122: 121: 99: 92: 72: 43:on Knowledge's 40: 30: 12: 11: 5: 752: 750: 742: 741: 736: 731: 726: 721: 716: 711: 706: 696: 695: 692: 691: 677: 632: 629: 572: 569: 568: 567: 513: 473: 470: 443: 440: 424: 423:Alert: picture 421: 379: 376: 359: 356: 355: 354: 328:86.149.136.187 313: 310: 293: 290: 253: 252: 238: 230: 197: 196: 170: 167: 164: 163: 160: 159: 156: 155: 144: 138: 137: 135: 118:the discussion 105: 104: 88: 76: 75: 67: 55: 54: 48: 26: 13: 10: 9: 6: 4: 3: 2: 751: 740: 737: 735: 732: 730: 727: 725: 722: 720: 717: 715: 712: 710: 707: 705: 702: 701: 699: 690: 686: 682: 678: 676: 673: 670: 665: 664: 663: 662: 658: 654: 650: 646: 642: 638: 635:According to 630: 628: 626: 622: 618: 614: 610: 604: 601: 598: 594: 590: 586: 583: 580: 576: 570: 566: 562: 558: 554: 553: 552: 551: 547: 543: 539: 535: 531: 527: 511: 502: 499: 496: 493: 490: 488: 483: 480: 477: 471: 469: 465: 464: 460: 456: 450: 447: 441: 439: 438: 434: 430: 422: 420: 419: 415: 411: 406: 405: 401: 397: 393: 389: 385: 377: 375: 374: 370: 366: 357: 353: 349: 345: 341: 340: 339: 337: 333: 329: 325: 318: 311: 309: 308: 304: 300: 299:76.167.77.165 291: 289: 287: 283: 279: 275: 267: 266: 262: 258: 257:76.167.77.165 251: 247: 243: 242:Vaughan Pratt 239: 236: 231: 228: 224: 220: 219:82.148.66.254 216: 210: 209: 208: 206: 202: 195: 191: 187: 183: 182: 181: 180: 177: 168: 153: 149: 148:High-priority 143: 140: 139: 136: 119: 115: 111: 110: 102: 96: 91: 89: 86: 82: 81: 77: 73:High‑priority 71: 68: 65: 61: 56: 52: 46: 38: 37: 27: 23: 18: 17: 640: 634: 607:— Preceding 605: 602: 599: 595: 591: 587: 584: 581: 577: 574: 538:homeomorphic 533: 530:linear order 526:cyclic order 503: 500: 497: 494: 491: 484: 481: 479:I saw this: 478: 475: 466: 451: 448: 445: 426: 407: 391: 381: 361: 319: 315: 295: 278:75.33.252.98 268: 254: 235:bounded sets 200: 198: 172: 147: 107: 51:WikiProjects 34: 489:, it says: 322:—Preceding 272:—Preceding 213:—Preceding 123:Mathematics 114:mathematics 70:Mathematics 698:Categories 186:Salix alba 176:PaddyLeahy 669:jacobolus 613:ByteMe666 292:re-revert 39:is rated 681:—Tamfang 621:contribs 609:unsigned 542:mike4ty4 455:Erasmuse 429:Erasmuse 324:unsigned 274:unsigned 215:unsigned 653:Rgdboer 649:versors 631:24-cell 575:Hello, 557:Rgdboer 410:Rgdboer 396:Rgdboer 297:here.-- 150:on the 41:B-class 365:Zaslav 344:Zaslav 47:scale. 378:Alert 28:This 685:talk 657:talk 645:link 617:talk 561:talk 546:talk 495:and 476:Hi. 459:talk 433:talk 414:talk 400:talk 369:talk 348:talk 332:talk 303:talk 282:talk 261:talk 246:talk 223:talk 190:talk 142:High 672:(t) 534:not 700:: 687:) 659:) 643:. 623:) 619:• 563:) 548:) 540:. 512:π 461:) 435:) 416:) 402:) 371:) 350:) 334:) 305:) 284:) 263:) 248:) 225:) 192:) 683:( 667:– 655:( 615:( 559:( 544:( 457:( 431:( 412:( 398:( 367:( 346:( 330:( 301:( 280:( 259:( 244:( 221:( 188:( 154:. 53::

Index


level-5 vital article
content assessment
WikiProjects
WikiProject icon
Mathematics
WikiProject icon
icon
Mathematics portal
WikiProject Mathematics
mathematics
the discussion
High
project's priority scale
PaddyLeahy
15:40, 22 May 2007 (UTC)
Salix alba
talk
17:40, 22 May 2007 (UTC)
Playfair's axiom
unsigned
82.148.66.254
talk
13:41, 26 February 2008 (UTC)
bounded sets
Vaughan Pratt
talk
04:51, 12 December 2008 (UTC)
76.167.77.165
talk

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑