338:
think that it is a nice term, because "omega" is often used to mean "last" or "end", which to me works better than "infinity" because the concept applies even in the cases without a sense of distance, as with the general affine case. Perhaps you could put in a reference to its use and check whether its definition is the same? But anyway, we should relate it to the terms used in the article, where I've intuitively settled on "ideal point" rather than "point at infinity" for the same reason. The concept of an ideal point applies in the case of finite geometries too, where there is no ordering on points of a line (as with the complex case), and not even a concept of a neighbourhood (which the complex case retains). I usually jump in when a concept or context is presented as more specific than I believe it to be. The article could probably expand in the ideal points of a finite geometry. How would you feel about a rename of the article to "Ideal point"? —
842:. This process is reversible in the sense that if you start with a projective space, choose any hyperplane and remove the points of that hyperplane, the removed points will be the points at infinity of the resulting affine space. To an affine line only one point at infinity is adjoined, to an affine plane a line's worth of points at infinity are adjoined, to an affine 3-space, a plane's worth are adjoined, etc. Consider an affine plane, the process of adjoining points at infinity is done as follows: ... For affine spaces of dimension 3 or higher it might be easier to start with the projective space and ..." This is probably too much detail for the lead, but I think it gives the right flavor for this article.
806:
removal of that hyperplane (due to the restriction, you don't have to mention the lines that are being tossed − I just wanted to be perfectly clear as to what is going on). As to my parenthetical remark, yes the article does say that the points at infinity form a hyperplane, but what I was trying to get at was that this is a far from trivial leap when starting by adding points to lines. I am not advocating a need for a proof, just saying that this approach cries out for a proof to make that statement understandable. If you were to start by saying that the points at infinity are the elements of the hyperplane at infinity, this whole issue disappears.
84:
74:
53:
726:
dimensional affine subspaces (such as lines) we say that two of the same dimension are parallel iff there exists a translation mapping one to the other. This is of course a more general concept as it applies to all types of affine subspaces, including points as well as hyperplanes. One of the things that is making this article a little awkward for me is that points at infinity are being described as extramural points added to the ends of
195:
that affine, Euclidian, elliptic and many others are), conflicting terminology must be avoided. IMO, the omega points of hyperbolic geometry are not points at infinity as defined in the section on
Projective geometry (the term really only makes sense in the affine geometries). I think that we should examine the definitions of "point at infinity" that occur and resolve this; in particular, we need to be clear on the terms
746:
the real case for any number of dimensions, especially three, where the points at infinity are the pairs of antipodes of the celestial sphere: ideal for the lead, no more difficult to imagine than the line at infinity in a plane, and it ties in with the origin of the word "projective". Quibbles about the exact definition of "parallel" belong in the body, not as an argument to restrict a statement in the lead.
355:"Omega point" ≡ "Ideal point" can be found in most elementary geometry texts that discuss non-Euclidean geometries (see especially the discussion of Omega triangles). They can be referred to as "points at infinity", but that term comes from a different tradition. As a finite geometer, I can emphatically say that "ideal point" is not used in the finite geometry context, they are always referred to as
22:
642:
871:
443:", and that this was not absent in the hyperbolic case. But of course, my search terms could be skewing the proportions. I'll have to look more closely. If it turns out that "ideal point" is used more commonly than "point at infinity" in the hyperbolic case, your suggested "Ideal point (hyperbolic geometry)" would seem like a fair fit.
389:. This means that we should not rename the article. I'm not entirely settled on the scope, and in particular my attempt to cover the use of a single definition to cover two fairly disjoint uses of the term "point at infinity". As such, would a separation into two articles make sense as suggested by WillemienH, one on the
837:
Those images really don't help, what we need is something that details the projectivization of an affine space. If I can't find an appropriate image, I'll make one. I can envision the lead as something like this ... "In projective geometry, affine spaces are turned into projective spaces by adjoining
749:
I agree that 'at the "end" of each line' is stretching things, and we should reword this first statement, which (amongst other problems) is a very bad fit for finite geometries. I was trying to capture both the affine and hyperbolic cases in a single "definition", but I'm uncomfortable with doing so;
497:
The claim says little about a general construction. I have a straightforward construction that I was using to generate a whole family of
Desarguesian finite hyperbolic geometries in any number of dimensions, but it is a while since I looked at it; it might be interesting to kick it into life again.
446:
On a side note, I wonder how much the finite hyperbolic case has been studied. I looked into it a while back, and a projective geometry is not split into the hyperbolic interior, absolute and hyperideal (de Sitter, or is it anti-de Sitter?) spaces as with the real case, but it still similarly splits
261:
The lead is confusing. It is speaking of the one-dimensional case: the
Riemann sphere is a one-dimensional space over the complex numbers, specifically the projective completion of the complex line (which gets called a plane because it is parametrized by the complex numbers, but in technically it is
745:
So what if we use a different definition of what parallel lines are in a higher-dimensional space? They are still called parallel, we do not call skew lines in an affine space "parallel", and the concept of a pencil of parallel lines in a higher-dimensional space still applies. This is intuitive in
713:
You have me seriously puzzled. Yes, I am talking about a pencil of all lines parallel to each other, but this is defined in any number of dimensions, and I maintain the statement was correct. I am not objecting to a visualization using the plane, but to state it that way in only two dimensions is
224:
I don't think the points have the same meaning in hyperbolic geometry as in the other geometries (in the other geometries lines have one point at infinity, while in hyperbolic geometry they have two) Not sure about the difference between omega point and ideal point. Can you add the banners to this
825:
are scant help. For the layman, we could use the anchor of familiarity of an affine (Euclidean) geometry in the lead without the rigour, and derive that picture in the body starting from the projective space as you describe (yes, I know what is being tossed), showing that we end up with what's in
194:
differently, but whatever the case might be, this article should define the term in one way and then use it to mean something incompatible, especially without redefining it. Since hyperbolic geometry is studied in projective geometry, and in particular is a projective geometry (in the same sense
337:
Not necessarily, and in particular I do not have a broad literature base, so I'm weak on the actual terms in use. I rely on Google books etc. I may have some understanding of some of the actual concepts, even though I'm not sure of the terms. I cannot find the term "omega point" even though I
805:
of lines is the set of all lines through a point (in any dimension). Your intuitively obvious set of parallel lines is a star of lines through a point in the hyperplane at infinity without the lines through that point which lie in that hyperplane, restricted to the affine space obtained by the
698:
Not quite. When you add a point per pencil, you are talking about a parallel pencil and this only exists in a plane. I think that that visualization is good for this article, so I changed "geometry" to "plane" to make it correct. The construction is a bit more complicated to explain in higher
820:
Well, I guess that since most of the terminology is fairly new to me, and I tend to use it in ways that might not entirely fit with established use; we should obviously correct it to standard usage. The simplicity of starting with a full projective geometry is neater, but is a struggle for
725:
This has to do with the definition of parallel lines. The definition for two lines in a plane (i.e., equal or do not intersect) does not extend to higher dimensions due to the existence of skew lines. The "plane definition" of parallel can be used for hyperplanes in any dimension. For other
646:
Seriously, from the synthetic point of view these are just the names of different types of primitive objects and are only "defined" by their incidence relations and whatever axioms are imposed on them. Having some type of general name implies a commonality which the theory, at this level of
291:, though. The ideal points in an affine geometry form a flat (line, plane etc.) and there is one on each line, whereas in hyperbolic geometry the ideal points form a conic, and there are two on each line. It seems to me that we should not make a split between
730:
instead of just being added to an affine space. The imagery is nice, especially in the plane case, but it leaves some significant open issues (such as how do we know what kind of structure these additional points form?) unresolved in higher dimensions.
318:
is used every now and then, I think it commes from a practice to use greek names for ideal points to distinguish them clearly from normal points (named P, Q and so on ). I was still thinking about splitting but you are more knowledgable than me :)
412:
Omega point is not much used and i would not support "Omega point (geometry)" as the main page. I think it would be better to use "ideal point" or "ideal point (hyperbolic geometry) ", but how often is idealpoint used in the other geometries?
753:
Your last point, at least the parenthesized question, I thought was addressed by the statement "all the points at infinity form a projective subspace of one dimension less than that of the whole projective space to which they belong".
575:
The lede currently claims that the set of ideal points forms a flat, with a reference to the page on flats. If that's what's meant here, the comment is inaccurate because the flat article talks about
Euclidean flats.
544:
Yes, this seems to be the case. It seems like the use is quite broad, including in hyperbolic geometry where every line has two such points. The article will need to try to define the concept fairly generally.
688:. One question, though: why the restriction of the statement about a point per pencil to the plane? It is true in any dimension, and to limit the statement to the plane would only be for pedagogical reasons. —
299:, because as far as I can tell they get used synonymously in each of the contexts. We simply have to describe the affine case and the hyperbolic case, and not define it in the general projective context. —
140:
647:
abstraction, does not support. Of course, if you restrict to the classical projective geometries (even up to allowing arbitrary skewfields) these are the traditional names given to the
889:
765:
Let me try again. We do not use the term pencil in the way you want to use it. The only way to correctly use this term with your intended meaning is to restrict to the plane case. A
591:
Agree. A flat is an affine subspace (or translate of such, depending on who's defining it) while the set of points at infinity form a projective subspace. The article
525:
which are both made up of points at infinity. Use of "The" in the lede to this article is improper. Rather the article should have a generic description of when a
472:
claims there is an finite hyperbolic geometry of order 3 with 13 points. (it says a new version of this book is in preperation, should be published shortly
750:
this is part of what underlies my support for a split of the article (even though the name gets reused, trying to treat them as the same topic is clunky).
920:
714:
suggestive of that being the only time that it applies, which we should avoid. The word "geometry" may be non-ideal but "space" could be substituted. —
130:
915:
468:
as stub for that page (with hat notes and so added) will add more later (but feel freeto add. for your question about finite hyperbolic geometries
595:
is too specifically restricted to the
Euclidean case and uses an unqualified term "space" when an affine space (or in the context of that article
106:
881:
863:
97:
58:
190:
is premised on a confusion: between points points at infinity and omega points. I suspect that some authors may define the term
258:. Once I can figure out widely used definitions for the terms, I should be able to look into this. I'd wait on the splitting.
157:
The superscript "2" makes printing the formulas fail; a superscript of "1" works correctly. I don't know how to fix this.
33:
826:
the lead. However, I would be happy to start in the lead with a projective geometry with a privileged subspace. —
161:
21:
699:
dimensions if you start from an affine space (much simpler to see if you start from the projective space).
390:
822:
39:
167:
The above should be linked here to illustrate the connection between R and RP^1, and also C and CP^1.
83:
558:
I hope that the rewite of the lead has adequately addressed the concern about "the" expressed here. —
228:
Also i found the lead confusing is it about the one dimensional case or about the 2 dimensional case?
477:
418:
324:
233:
859:
615:
Okay, fair point. Is there a general term in (projective) geometry for any one of the the sequence
526:
287:
are quite extensively used in both the affine and hyperbolic families of geometries. I do not see
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
885:
847:
811:
736:
704:
658:
606:
364:
89:
73:
52:
827:
755:
715:
689:
668:
628:
559:
546:
534:
522:
499:
448:
394:
339:
300:
263:
208:
187:
439:"point at infinity" and "ideal point", often in statements like "The ideal points are called
581:
518:
172:
592:
494:
I think that moving the hyperbolic case out is going to simplify things for both articles.
473:
469:
414:
320:
229:
246:
I still need to look at references to say anything definitive about the use of the terms
601:) is intended. This just makes it harder to see the finer distinctions in terminology.
393:
of hyperbolic geometry? The concept would also apply in finite geometry, I'd think. —
909:
897:
843:
807:
801:-dimensional subspace. What you are trying to describe is a partial star of lines. A
732:
700:
654:
602:
386:
360:
435:
My impression was that close to half the books that I browsed via Google books used
530:
217:
I was thinking of splitting the section on hyperbolic geometry out to a new page
769:
of lines is the set of lines through a point that lie in a plane. In general, a
577:
465:
218:
168:
102:
79:
901:
851:
830:
815:
758:
740:
718:
708:
692:
671:
662:
631:
610:
585:
562:
549:
538:
502:
481:
451:
422:
397:
368:
342:
328:
303:
266:
237:
211:
176:
893:
890:
Knowledge:Redirects for discussion/Log/2023 February 16 § Improper point
870:
653:-dimensional projective subspaces, which I suspect you already knew.
498:
Since this is so simple, I'd expect it to be well-studied by now. —
888:. Readers of this page are welcome to comment on this redirect at
529:
is augmented by one or more points at infinity for some purpose.
15:
876:
685:
470:
http://www.employees.csbsju.edu/tsibley/Section-7.3.pdf
667:
Okay, I've replaced "flat" with "projective space". —
884:
to determine whether its use and function meets the
101:, a collaborative effort to improve the coverage of
838:a hyperplane at infinity whose elements are called
638:Ya. Things, other things, still other things, etc.
779:-dimensional subspaces is the set of all the
8:
785:-dimensional subspaces that contain a given
221:(which is now an redrect page to this page )
19:
793:-dimensional subspace and lie in a single
47:
314:Thanks for rewriting, I think the term
188:Point at infinity § Hyperbolic geometry
49:
7:
821:visualization – e.g., the images in
639:
279:Browsing about, it seems to me that
95:This article is within the scope of
38:It is of interest to the following
14:
921:Mid-priority mathematics articles
115:Knowledge:WikiProject Mathematics
916:Start-Class mathematics articles
869:
640:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
892:until a consensus is reached.
135:This article has been rated as
1:
902:19:05, 16 February 2023 (UTC)
109:and see a list of open tasks.
182:Hyperbolic geometry section
937:
852:21:06, 21 June 2015 (UTC)
831:05:46, 21 June 2015 (UTC)
816:03:50, 21 June 2015 (UTC)
759:22:32, 20 June 2015 (UTC)
741:20:56, 20 June 2015 (UTC)
719:04:22, 20 June 2015 (UTC)
709:03:08, 20 June 2015 (UTC)
693:00:14, 20 June 2015 (UTC)
672:14:37, 19 June 2015 (UTC)
663:05:52, 19 June 2015 (UTC)
632:18:47, 18 June 2015 (UTC)
611:18:03, 18 June 2015 (UTC)
586:13:35, 18 June 2015 (UTC)
563:13:25, 18 June 2015 (UTC)
550:23:24, 17 June 2015 (UTC)
539:22:44, 17 June 2015 (UTC)
503:15:18, 21 June 2015 (UTC)
482:08:29, 21 June 2015 (UTC)
452:14:51, 19 June 2015 (UTC)
423:06:54, 19 June 2015 (UTC)
398:19:01, 18 June 2015 (UTC)
369:17:33, 18 June 2015 (UTC)
343:13:21, 18 June 2015 (UTC)
329:08:42, 18 June 2015 (UTC)
304:05:15, 18 June 2015 (UTC)
267:21:42, 16 June 2015 (UTC)
238:20:39, 16 June 2015 (UTC)
212:13:30, 16 June 2015 (UTC)
177:08:52, 8 April 2011 (UTC)
134:
67:
46:
882:redirects for discussion
864:Redirects for discussion
225:idea (if you support it)
162:stereographic projection
141:project's priority scale
262:a complex line ;P ). —
98:WikiProject Mathematics
464:copied the section to
28:This article is rated
823:Real projective plane
447:into three spaces. —
121:mathematics articles
886:redirect guidelines
880:has been listed at
527:space (mathematics)
840:points at infinity
441:points at infinity
357:points at infinity
90:Mathematics portal
34:content assessment
523:plane at infinity
297:point at infinity
281:point at infinity
248:point at infinity
197:point of infinity
192:point at infinity
155:
154:
151:
150:
147:
146:
928:
879:
873:
844:Bill Cherowitzo
808:Bill Cherowitzo
800:
792:
784:
778:
733:Bill Cherowitzo
701:Bill Cherowitzo
680:space v.s. plane
655:Bill Cherowitzo
652:
645:
644:
643:
603:Bill Cherowitzo
600:
519:line at infinity
361:Bill Cherowitzo
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
936:
935:
931:
930:
929:
927:
926:
925:
906:
905:
875:
867:
794:
786:
780:
774:
684:Thanks for the
682:
648:
641:
596:
593:Flat (geometry)
573:
515:
184:
165:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
934:
932:
924:
923:
918:
908:
907:
877:Improper point
866:
860:Improper point
856:
855:
854:
835:
834:
833:
763:
762:
761:
751:
747:
723:
722:
721:
681:
678:
677:
676:
675:
674:
636:
635:
634:
572:
569:
568:
567:
566:
565:
553:
552:
514:
511:
510:
509:
508:
507:
506:
505:
495:
487:
486:
485:
484:
459:
458:
457:
456:
455:
454:
444:
428:
427:
426:
425:
407:
406:
405:
404:
403:
402:
401:
400:
376:
375:
374:
373:
372:
371:
348:
347:
346:
345:
332:
331:
311:
310:
309:
308:
307:
306:
272:
271:
270:
269:
259:
241:
240:
226:
222:
183:
180:
164:
159:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
933:
922:
919:
917:
914:
913:
911:
904:
903:
899:
895:
891:
887:
883:
878:
874:The redirect
872:
865:
861:
857:
853:
849:
845:
841:
836:
832:
829:
824:
819:
818:
817:
813:
809:
804:
798:
790:
783:
777:
772:
768:
764:
760:
757:
752:
748:
744:
743:
742:
738:
734:
729:
724:
720:
717:
712:
711:
710:
706:
702:
697:
696:
695:
694:
691:
687:
679:
673:
670:
666:
665:
664:
660:
656:
651:
637:
633:
630:
626:
622:
618:
614:
613:
612:
608:
604:
599:
594:
590:
589:
588:
587:
583:
579:
570:
564:
561:
557:
556:
555:
554:
551:
548:
543:
542:
541:
540:
536:
532:
528:
524:
520:
512:
504:
501:
496:
493:
492:
491:
490:
489:
488:
483:
479:
475:
471:
467:
463:
462:
461:
460:
453:
450:
445:
442:
438:
434:
433:
432:
431:
430:
429:
424:
420:
416:
411:
410:
409:
408:
399:
396:
392:
388:
384:
383:
382:
381:
380:
379:
378:
377:
370:
366:
362:
358:
354:
353:
352:
351:
350:
349:
344:
341:
336:
335:
334:
333:
330:
326:
322:
317:
313:
312:
305:
302:
298:
294:
290:
286:
282:
278:
277:
276:
275:
274:
273:
268:
265:
260:
257:
253:
249:
245:
244:
243:
242:
239:
235:
231:
227:
223:
220:
216:
215:
214:
213:
210:
206:
202:
198:
193:
189:
181:
179:
178:
174:
170:
163:
160:
158:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
868:
862:" listed at
839:
802:
796:
788:
781:
775:
770:
766:
727:
683:
649:
624:
620:
616:
597:
574:
516:
513:Not singular
440:
436:
391:omega points
356:
315:
296:
292:
288:
284:
280:
255:
251:
247:
204:
200:
196:
191:
186:The section
185:
166:
156:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
686:cleaning up
466:ideal point
316:Omega point
293:ideal point
289:omega point
285:ideal point
256:ideal point
252:omega point
219:ideal point
205:omega point
201:ideal point
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
910:Categories
627:, etc.? —
474:WillemienH
415:WillemienH
321:WillemienH
230:WillemienH
517:We have
385:Thanks,
828:Quondum
756:Quondum
716:Quondum
690:Quondum
669:Quondum
629:Quondum
560:Quondum
547:Quondum
531:Rgdboer
500:Quondum
449:Quondum
395:Quondum
340:Quondum
301:Quondum
264:Quondum
209:Quondum
139:on the
771:pencil
767:pencil
578:Tkuvho
203:, and
169:Tkuvho
36:scale.
728:lines
625:plane
617:point
571:flats
898:talk
848:talk
812:talk
803:star
799:+ 1)
791:- 1)
737:talk
705:talk
659:talk
621:line
607:talk
582:talk
535:talk
521:and
478:talk
437:both
419:talk
387:Bill
365:talk
325:talk
295:and
283:and
254:and
234:talk
207:. —
173:talk
894:Joy
773:of
131:Mid
912::
900:)
850:)
814:)
739:)
707:)
661:)
623:,
619:,
609:)
584:)
537:)
480:)
421:)
367:)
359:.
327:)
250:,
236:)
199:,
175:)
896:(
858:"
846:(
810:(
797:n
795:(
789:n
787:(
782:n
776:n
754:—
735:(
703:(
657:(
650:d
605:(
598:R
580:(
545:—
533:(
476:(
417:(
363:(
323:(
232:(
171:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.