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