565:; equivalently, the index of isotropy is equal to half the dimension. The hyperbolic plane is an example, and over a field of characteristic not equal to 2, every split space is a direct sum of hyperbolic planes.
573:
From the point of view of classification of quadratic forms, spaces with definite quadratic forms are the basic building blocks for quadratic spaces of arbitrary dimensions. For a general field
751:
577:, classification of definite quadratic forms is a nontrivial problem. By contrast, the isotropic forms are usually much easier to handle. By
905:
871:
848:
763:
578:
646:
893:
841:
790:
166:
932:
714:
937:
446:
46:
216:
189:
816:
586:
562:
542:
442:
270:
855:
645:
is a quadratic space of dimension at least three, then it is isotropic (this is a consequence of the
603:
812:
582:
205:
35:
17:
397:
has been used by Milnor and
Husemoller for the hyperbolic plane as the signs of the terms of the
901:
881:
867:
844:
808:
759:
709:
911:
797:
769:
201:
87:. A quadratic form is isotropic if and only if there exists a non-zero isotropic vector (or
915:
897:
863:
773:
755:
607:
162:
of a quadratic space is the maximum of the dimensions of the totally isotropic subspaces.
115:
107:
830:
694:
390:
314:
31:
27:
Quadratic form for which there is a non-zero vector on which the form evaluates to zero
926:
886:
822:
666:
45:
if there is a non-zero vector on which the form evaluates to zero. Otherwise it is a
630:
54:
743:
699:
322:
88:
786:
704:
515:
408:
398:
366:
684:
is a quadratic space of dimension at least five, then it is isotropic.
622:
is a quadratic space of dimension at least two, then it is isotropic.
188:. An important example of an isotropic form over the reals occurs in
165:
More generally, if the quadratic form is non-degenerate and has the
896:: Classics in mathematics. Vol. 7 (reprint of 3rd ed.).
589:
of a split space and an space with definite quadratic form.
438:, where the products represent the quadratic form.
561:) if there is a subspace which is equal to its own
885:
752:Ergebnisse der Mathematik und ihrer Grenzgebiete
829:, §1.3 Hyperbolic plane and hyperbolic spaces,
569:Relation with classification of quadratic forms
407:The affine hyperbolic plane was described by
8:
533:. In the case of the hyperbolic plane, such
180:, then its isotropy index is the minimum of
838:Introduction to Quadratic Forms over Fields
309:are isotropic. This example is called the
809:Quadratic forms chapter I: Witts theory
726:
395:⟨1⟩ ⊕ ⟨−1⟩
229:. If we consider the general element
7:
738:
736:
734:
732:
730:
827:Algebraic Theory of Quadratic Forms
445:the quadratic form is related to a
146:vectors in it are isotropic, and a
606:field, for example, the field of
154:(non-zero) isotropic vectors. The
25:
18:Hyperbolic plane (quadratic forms)
411:as a quadratic space with basis
269:are equivalent since there is a
860:Introduction to Quadratic Forms
553:A space with quadratic form is
1:
894:Graduate Texts in Mathematics
842:American Mathematical Society
285:, and vice versa. Evidently,
138:vector in it is isotropic, a
866:. p. 94 §42D Isotropy.
579:Witt's decomposition theorem
200:Not to be confused with the
245:, then the quadratic forms
91:) for that quadratic form.
954:
199:
140:totally isotropic subspace
746:; Husemoller, D. (1973).
647:Chevalley–Warning theorem
64:, then a non-zero vector
53:is a quadratic form on a
748:Symmetric Bilinear Forms
715:Universal quadratic form
317:. A common instance has
447:symmetric bilinear form
150:if it does not contain
47:definite quadratic form
888:A Course in Arithmetic
190:pseudo-Euclidean space
49:. More explicitly, if
836:Tsit Yuen Lam (2005)
817:Coral Gables, Florida
587:orthogonal direct sum
563:orthogonal complement
549:Split quadratic space
543:hyperbolic-orthogonal
443:polarization identity
363:) = nonzero constant}
343:) = nonzero constant}
271:linear transformation
604:algebraically closed
399:bivariate polynomial
813:University of Miami
585:over a field is an
583:inner product space
206:hyperbolic geometry
882:Serre, Jean-Pierre
128:isotropic subspace
30:In mathematics, a
792:Geometric Algebra
710:Witt ring (forms)
369:. In particular,
313:in the theory of
148:definite subspace
16:(Redirected from
945:
919:
891:
877:
800:
798:Internet Archive
784:
778:
777:
754:. Vol. 73.
740:
683:
644:
621:
532:
502:
476:
474:
473:
470:
467:
437:
422:
396:
388:
364:
344:
311:hyperbolic plane
308:
296:
268:
254:
240:
228:
196:Hyperbolic plane
179:
160:
159:
105:
86:
21:
953:
952:
948:
947:
946:
944:
943:
942:
933:Quadratic forms
923:
922:
908:
898:Springer-Verlag
880:
874:
864:Springer-Verlag
854:
807:Pete L. Clark,
804:
803:
785:
781:
766:
756:Springer-Verlag
742:
741:
728:
723:
691:
673:
664:
634:
611:
608:complex numbers
595:
571:
551:
519:
471:
468:
465:
464:
462:
449:
424:
412:
404:are exhibited.
394:
393:. The notation
370:
346:
326:
315:quadratic forms
298:
286:
256:
246:
230:
220:
209:
198:
169:
157:
156:
108:quadratic space
95:
77:
28:
23:
22:
15:
12:
11:
5:
951:
949:
941:
940:
938:Bilinear forms
935:
925:
924:
921:
920:
906:
878:
872:
852:
834:
831:W. A. Benjamin
820:
802:
801:
779:
764:
725:
724:
722:
719:
718:
717:
712:
707:
702:
697:
695:Isotropic line
690:
687:
686:
685:
660:
650:
623:
594:
591:
570:
567:
550:
547:
391:unit hyperbola
325:in which case
217:characteristic
215:be a field of
197:
194:
158:isotropy index
72:is said to be
41:is said to be
32:quadratic form
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
950:
939:
936:
934:
931:
930:
928:
917:
913:
909:
907:0-387-90040-3
903:
899:
895:
890:
889:
883:
879:
875:
873:3-540-66564-1
869:
865:
861:
857:
853:
850:
849:0-8218-1095-2
846:
843:
839:
835:
832:
828:
824:
823:Tsit Yuen Lam
821:
818:
814:
810:
806:
805:
799:
795:
793:
788:
783:
780:
775:
771:
767:
765:3-540-06009-X
761:
757:
753:
749:
745:
739:
737:
735:
733:
731:
727:
720:
716:
713:
711:
708:
706:
703:
701:
698:
696:
693:
692:
688:
681:
677:
671:
670:-adic numbers
669:
663:
659:
656:is the field
655:
651:
648:
642:
638:
632:
628:
624:
619:
615:
609:
605:
601:
597:
596:
592:
590:
588:
584:
580:
576:
568:
566:
564:
560:
556:
548:
546:
544:
540:
536:
530:
526:
522:
517:
513:
509:
504:
500:
496:
492:
488:
484:
480:
460:
456:
452:
448:
444:
439:
435:
431:
427:
420:
416:
410:
405:
403:
400:
392:
386:
382:
378:
374:
368:
362:
358:
354:
350:
342:
338:
334:
330:
324:
320:
316:
312:
306:
302:
294:
290:
284:
280:
276:
272:
267:
263:
259:
253:
249:
244:
238:
234:
227:
223:
218:
214:
207:
203:
195:
193:
191:
187:
183:
177:
173:
168:
163:
161:
153:
149:
145:
141:
137:
133:
129:
126:is called an
125:
121:
117:
113:
109:
103:
99:
94:Suppose that
92:
90:
84:
80:
75:
71:
67:
63:
59:
56:
52:
48:
44:
40:
37:
33:
19:
887:
859:
856:O'Meara, O.T
837:
826:
791:
782:
747:
679:
675:
667:
661:
657:
653:
640:
636:
631:finite field
626:
617:
613:
599:
593:Field theory
574:
572:
558:
554:
552:
538:
534:
528:
524:
520:
511:
507:
506:Two vectors
505:
498:
494:
490:
486:
482:
478:
458:
454:
450:
441:Through the
440:
433:
429:
425:
418:
414:
406:
401:
384:
380:
376:
372:
360:
356:
352:
348:
340:
336:
332:
328:
323:real numbers
318:
310:
304:
300:
292:
288:
282:
278:
274:
265:
261:
257:
251:
247:
242:
236:
232:
225:
221:
212:
210:
185:
181:
175:
171:
164:
155:
151:
147:
143:
139:
135:
131:
127:
123:
119:
111:
101:
97:
93:
82:
78:
73:
69:
65:
61:
57:
55:vector space
50:
42:
38:
29:
700:Polar space
423:satisfying
277:that makes
89:null vector
927:Categories
916:1034.11003
794:, page 119
787:Emil Artin
774:0292.10016
744:Milnor, J.
721:References
705:Witt group
516:orthogonal
409:Emil Artin
367:hyperbolas
281:look like
219:not 2 and
884:(2000) .
559:metabolic
167:signature
74:isotropic
43:isotropic
858:(1963).
689:See also
581:, every
379: :
355: :
335: :
116:subspace
825:(1973)
789:(1957)
475:
463:
389:is the
122:. Then
34:over a
914:
904:
870:
847:
772:
762:
610:, and
602:is an
387:) = 1}
811:from
629:is a
555:split
531:) = 0
518:when
432:= 0,
202:plane
114:is a
85:) = 0
60:over
36:field
902:ISBN
868:ISBN
845:ISBN
796:via
760:ISBN
672:and
633:and
557:(or
541:are
537:and
514:are
510:and
489:) −
461:) =
365:are
345:and
297:and
255:and
211:Let
184:and
136:some
110:and
912:Zbl
815:in
770:Zbl
665:of
652:If
625:If
598:If
436:= 1
273:on
241:of
204:in
152:any
144:all
142:if
134:if
130:of
118:of
106:is
76:if
68:in
929::
910:.
900:.
892:.
862:.
840:,
768:.
758:.
750:.
729:^
678:,
649:).
639:,
616:,
545:.
527:,
503:.
501:))
497:−
485:+
457:,
434:NM
428:=
421:}
417:,
375:∈
351:∈
331:∈
321:=
303:,
291:,
264:−
260:=
252:xy
250:=
235:,
224:=
192:.
174:,
100:,
918:.
876:.
851:.
833:.
819:.
776:.
682:)
680:q
676:V
674:(
668:p
662:p
658:Q
654:F
643:)
641:q
637:V
635:(
627:F
620:)
618:q
614:V
612:(
600:F
575:F
539:v
535:u
529:v
525:u
523:(
521:B
512:v
508:u
499:v
495:u
493:(
491:q
487:v
483:u
481:(
479:q
477:(
472:4
469:/
466:1
459:v
455:u
453:(
451:B
430:N
426:M
419:N
415:M
413:{
402:r
385:x
383:(
381:r
377:V
373:x
371:{
361:x
359:(
357:r
353:V
349:x
347:{
341:x
339:(
337:q
333:V
329:x
327:{
319:F
307:)
305:r
301:V
299:(
295:)
293:q
289:V
287:(
283:r
279:q
275:V
266:y
262:x
258:r
248:q
243:V
239:)
237:y
233:x
231:(
226:F
222:V
213:F
208:.
186:b
182:a
178:)
176:b
172:a
170:(
132:V
124:W
120:V
112:W
104:)
102:q
98:V
96:(
83:v
81:(
79:q
70:V
66:v
62:F
58:V
51:q
39:F
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.