27:
525:, but not in affine linear geometry or projective geometry, where circles cannot be distinguished from ellipses, since one may squeeze a circle to an ellipse. Similarly, a parabola is a concept in affine geometry but not in projective geometry, where a parabola is simply a kind of conic. The geometry that is overwhelmingly used in algebraic geometry is projective geometry, with affine geometry finding significant but far less use.
536:), so the notion of "general position with respect to circles", namely "no four points lie on a circle" makes sense. In projective geometry, by contrast, circles are not distinct from conics, and five points determine a conic, so there is no projective notion of "general position with respect to circles".
411:
The basic condition for general position is that points do not fall on subvarieties of lower degree than necessary; in the plane two points should not be coincident, three points should not fall on a line, six points should not fall on a conic, ten points should not fall on a cubic, and likewise for
566:
of a variety, and by this measure projective spaces are the most special varieties, though there are other equally special ones, meaning having negative
Kodaira dimension. For algebraic curves, the resulting classification is: projective line, torus, higher genus surfaces
464:) of cubics, whose equations are the projective linear combinations of the equations for the two cubics. Thus such sets of points impose one fewer condition on cubics containing them than expected, and accordingly satisfy an additional constraint, namely the
649:
is said to be in general position only if no four of them lie on the same circle and no three of them are collinear. The usual lifting transform that relates the
Delaunay triangulation to the bottom half of a convex hull (i.e., giving each point
415:
This is not sufficient, however. While nine points determine a cubic, there are configurations of nine points that are special with respect to cubics, namely the intersection of two cubics. The intersection of two cubics, which is
150:
For example, generically, two lines in the plane intersect in a single point (they are not parallel or coincident). One also says "two generic lines intersect in a point", which is formalized by the notion of a
494:
requires sophisticated algebra. This definition generalizes in higher dimensions to hypersurfaces (codimension 1 subvarieties), rather than to sets of points, and regular divisors are contrasted with
550:
General position is a property of configurations of points, or more generally other subvarieties (lines in general position, so no three concurrent, and the like). General position is an
446:
591:
554:
notion, which depends on an embedding as a subvariety. Informally, subvarieties are in general position if they cannot be described more simply than others. An
168:
This notion is important in mathematics and its applications, because degenerate cases may require an exceptional treatment; for example, when stating general
408:
polynomial at that point, this formalizes the notion that points in general position impose independent linear conditions on varieties passing through them.
509:
distinct points in the line are in general position, but projective transformations are only 3-transitive, with the invariant of 4 points being the
393:, but in general six points do not lie on a conic, so being in general position with respect to conics requires that no six points lie on a conic.
374:
This definition can be generalized further: one may speak of points in general position with respect to a fixed class of algebraic relations (e.g.
658:|) shows the connection to the planar view: Four points lie on a circle or three of them are collinear exactly when their lifted counterparts are
400:
maps – if image points satisfy a relation, then under a biregular map this relation may be pulled back to the original points. Significantly, the
490:). As the terminology reflects, this is significantly more technical than the intuitive geometric picture, similar to how a formal definition of
562:, and corresponds to a variety which cannot be described by simpler polynomial equations than others. This is formalized by the notion of
471:
For points in the plane or on an algebraic curve, the notion of general position is made algebraically precise by the notion of a
505:
Note that not all points in general position are projectively equivalent, which is a much stronger condition; for example, any
91:
521:
Different geometries allow different notions of geometric constraints. For example, a circle is a concept that makes sense in
468:
that any cubic that contains eight of the points necessarily contains the ninth. Analogous statements hold for higher degree.
499:
63:
594:
70:
679:
110:
44:
77:
48:
390:
363:
59:
143:
situation, as opposed to some more special or coincidental cases that are possible, which is referred to as
618:
474:
465:
359:
or degenerate configuration, which implies that they satisfy a linear relation that need not always hold.
752:
162:
419:
178:
37:
247:. These conditions contain considerable redundancy since, if the condition holds for some value
638:
128:
449:
84:
625:
meaning with multiplicity 1, rather than being tangent or other, higher order intersections.
570:
327:
341:-dimensional vector space are linearly independent if and only if the points they define in
634:
533:
457:
8:
646:
610:
491:
308:
614:
522:
379:
124:
694:
598:
563:
532:
of the triangle they define), but four points in general do not (they do so only for
675:
642:
487:
479:
342:
173:
136:
528:
Thus, in
Euclidean geometry three non-collinear points determine a circle (as the
404:
is biregular; as points under the
Veronese map corresponds to evaluating a degree
293:
points – i.e. the points do not satisfy any more linear relations than they must.
456:
cubic, while if they are contained in two cubics they in fact are contained in a
366:, as long as the points are in general linear position (no three are collinear).
356:
233:
206:
158:
690:
382:
this kind of condition is frequently encountered, in that points should impose
697:
on the configuration space, or equivalently that points chosen at random will
746:
698:
683:
461:
375:
153:
628:
161:; if three points are collinear (even stronger, if two coincide), this is a
559:
545:
529:
401:
323:
198:
510:
483:
452:), is special in that nine points in general position are contained in a
285:-dimensional affine space to be in general position, it suffices that no
593:), and similar classifications occur in higher dimensions, notably the
286:
397:
355:
If a set of points is not in general linear position, it is called a
230:
195:
26:
686:
of a configuration space, or equivalently on a
Zariski-open set.
169:
139:
for a set of points, or other geometric objects. It means the
629:
General position for
Delaunay triangulations in the plane
682:; in this context one means properties that hold on the
172:
or giving precise statements thereof, and when writing
157:. Similarly, three generic points in the plane are not
573:
422:
303:
points in general linear position is also said to be
147:. Its precise meaning differs in different settings.
311:
of vectors, or more precisely of maximal rank), and
665:
51:. Unsourced material may be challenged and removed.
585:
440:
478:, and is measured by the vanishing of the higher
362:A fundamental application is that, in the plane,
744:
701:(with probability 1) be in general position.
318:points in general linear position in affine
621:is used: subvarieties in general intersect
386:conditions on curves passing through them.
185:
111:Learn how and when to remove this message
516:
745:
274:. Thus, for a set containing at least
733:
717:
613:, both in algebraic geometry and in
396:General position is preserved under
49:adding citations to reliable sources
20:
13:
352:) are in general linear position.
14:
764:
604:
500:Riemann–Roch theorem for surfaces
369:
666:Abstractly: configuration spaces
25:
689:This notion coincides with the
595:Enriques–Kodaira classification
539:
256:then it also must hold for all
36:needs additional citations for
711:
654:an extra coordinate equal to |
558:analog of general position is
307:(this is the affine analog of
1:
727:
391:five points determine a conic
364:five points determine a conic
18:Concept in algebraic geometry
662:in general linear position.
7:
693:notion of generic, meaning
441:{\displaystyle 3\times 3=9}
209:is a common example) is in
10:
769:
617:, the analogous notion of
543:
482:groups of the associated
704:
670:In very abstract terms,
466:Cayley–Bacharach theorem
641:in the plane, a set of
639:Delaunay triangulations
586:{\displaystyle g\geq 2}
211:general linear position
186:General linear position
734:Yale, Paul B. (1968),
587:
498:, as discussed in the
496:superabundant divisors
442:
129:computational geometry
736:Geometry and Symmetry
635:Voronoi tessellations
588:
544:Further information:
534:cyclic quadrilaterals
443:
328:affine transformation
190:A set of points in a
571:
517:Different geometries
420:
305:affinely independent
45:improve this article
680:configuration space
674:is a discussion of
611:intersection theory
492:intersection number
309:linear independence
289:contains more than
753:Algebraic geometry
676:generic properties
615:geometric topology
599:algebraic surfaces
583:
523:Euclidean geometry
438:
380:algebraic geometry
179:generic complexity
125:algebraic geometry
60:"General position"
695:almost everywhere
691:measure theoretic
564:Kodaira dimension
296:A set of at most
221:of them lie in a
174:computer programs
121:
120:
113:
95:
760:
739:
721:
715:
672:general position
633:When discussing
592:
590:
589:
584:
488:invertible sheaf
480:sheaf cohomology
450:BĂ©zout's theorem
447:
445:
444:
439:
412:higher degree.
351:
343:projective space
317:
302:
292:
284:
280:
273:
259:
255:
246:
228:
220:
215:general position
204:
193:
145:special position
133:general position
116:
109:
105:
102:
96:
94:
53:
29:
21:
768:
767:
763:
762:
761:
759:
758:
757:
743:
742:
730:
725:
724:
716:
712:
707:
668:
631:
607:
572:
569:
568:
548:
542:
519:
421:
418:
417:
372:
357:degenerate case
346:
312:
297:
290:
282:
275:
272:
261:
257:
254:
248:
237:
222:
218:
207:Euclidean space
202:
191:
188:
163:degenerate case
135:is a notion of
117:
106:
100:
97:
54:
52:
42:
30:
19:
12:
11:
5:
766:
756:
755:
741:
740:
729:
726:
723:
722:
709:
708:
706:
703:
667:
664:
630:
627:
623:transversally,
619:transversality
606:
605:Other contexts
603:
582:
579:
576:
541:
538:
518:
515:
437:
434:
431:
428:
425:
376:conic sections
371:
370:More generally
368:
345:(of dimension
337:vectors in an
322:-space are an
270:
252:
187:
184:
119:
118:
33:
31:
24:
17:
9:
6:
4:
3:
2:
765:
754:
751:
750:
748:
737:
732:
731:
719:
714:
710:
702:
700:
699:almost surely
696:
692:
687:
685:
684:generic point
681:
677:
673:
663:
661:
657:
653:
648:
644:
640:
636:
626:
624:
620:
616:
612:
602:
600:
596:
580:
577:
574:
565:
561:
557:
553:
547:
537:
535:
531:
526:
524:
514:
512:
508:
503:
501:
497:
493:
489:
485:
481:
477:
476:
469:
467:
463:
462:linear system
460:(1-parameter
459:
455:
451:
435:
432:
429:
426:
423:
413:
409:
407:
403:
399:
394:
392:
389:For example,
387:
385:
381:
377:
367:
365:
360:
358:
353:
349:
344:
340:
336:
331:
329:
325:
321:
315:
310:
306:
300:
294:
288:
278:
269:
265:
251:
244:
241:= 2, 3, ...,
240:
235:
232:
226:
216:
212:
208:
205:-dimensional
200:
197:
183:
181:
180:
175:
171:
166:
164:
160:
156:
155:
154:generic point
148:
146:
142:
138:
134:
130:
126:
115:
112:
104:
93:
90:
86:
83:
79:
76:
72:
69:
65:
62: –
61:
57:
56:Find sources:
50:
46:
40:
39:
34:This article
32:
28:
23:
22:
16:
738:, Holden-Day
735:
713:
688:
671:
669:
659:
655:
651:
632:
622:
608:
560:general type
555:
551:
549:
546:General type
540:General type
530:circumcircle
527:
520:
506:
504:
495:
472:
470:
453:
414:
410:
405:
402:Veronese map
395:
388:
383:
373:
361:
354:
347:
338:
334:
332:
324:affine basis
319:
313:
304:
298:
295:
276:
267:
263:
249:
242:
238:
224:
214:
210:
199:affine space
189:
177:
167:
152:
149:
144:
141:general case
140:
132:
122:
107:
98:
88:
81:
74:
67:
55:
43:Please help
38:verification
35:
15:
511:cross ratio
486:(formally,
484:line bundle
448:points (by
384:independent
333:Similarly,
231:dimensional
196:dimensional
728:References
330:for more.
287:hyperplane
281:points in
227:− 2)
137:genericity
71:newspapers
718:Yale 1968
578:≥
556:intrinsic
552:extrinsic
427:×
398:biregular
350:− 1
213:(or just
159:collinear
747:Category
720:, p. 164
473:regular
217:) if no
170:theorems
101:May 2014
645:in the
475:divisor
85:scholar
643:points
458:pencil
454:unique
378:). In
326:. See
87:
80:
73:
66:
58:
705:Notes
678:of a
647:plane
260:with
176:(see
92:JSTOR
78:books
637:and
262:2 ≤
236:for
234:flat
127:and
64:news
660:not
609:In
597:of
316:+ 1
301:+ 1
279:+ 1
245:+ 1
182:).
123:In
47:by
749::
601:.
513:.
502:.
266:≤
165:.
131:,
656:p
652:p
581:2
575:g
567:(
507:k
436:9
433:=
430:3
424:3
406:d
348:n
339:n
335:n
320:d
314:d
299:d
291:d
283:d
277:d
271:0
268:k
264:k
258:k
253:0
250:k
243:d
239:k
229:-
225:k
223:(
219:k
203:d
201:(
194:-
192:d
114:)
108:(
103:)
99:(
89:·
82:·
75:·
68:·
41:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.