תבנית ריבועית

הגדרה

יהי  מרחב וקטורי מעל שדה . תבנית ביליניארית היא פונקציה  המהווה העתקה ליניארית בכל אחד מהרכיבים שלה.  נקרא מרחב ביליניארי. התבנית היא סימטרית אם  לכל x,y.
תבנית ריבועית היא פונקציה המתקבלת מההצבה  בתבנית ביליניארית b. תבנית כזו היא פולינום הומוגני מדרגה 2. מספר המשתנים בתבנית הוא הממד של , הקרוי גם הממד התבנית. צורתה הכללית היא , עם . הזוג  נקרא מרחב ריבועי.
אומרים ששני מרחבים ריבועיים הם איזומטריים אם קיים איזומורפיזם של מרחבים וקטוריים, המשמר את התבנית.

תבניות ריבועיות וביליניאריות

במאפיין שונה מ-2, כל תבנית ריבועית מושרית מתבנית ביליניארית סימטרית. גם ההפך נכון, כלומר כל תבנית ביליניארית סימטרית מוגדרת על ידי תבנית ריבועית, לפי הזהות הפולרית . מזהות זו נובע כי התבנית הבילינארת הסימטרית המשרה את התבנית הריבועית היא יחידה. במאפיין 2 הקשר מעט יותר מסובך, והקורא שאינו מעוניין במקרה זה יכול לדלג על שאר הסעיף.
נקבע מרחב וקטורי מעל שדה ממאפיין כלשהו. נסמן ב-Bil את מרחב התבניות הביליניאריות. כל תבנית ביליניארית b, לאו דווקא סימטרית, משרה כאמור תבנית ריבועית, לפי , וכל תבנית ריבועית מתקבלת באופן כזה. תבנית ביליניארית המקיימת  נקראת תבנית מתחלפת (alternating); את מרחב התבניות המתחלפות מסמנים ב-Alt. יש התאמה חד-חד-ערכית על בין מרחב התבניות הריבועיות Quad, לבין מרחב המנה Bil/Alt. מאידך, כל תבנית ריבועית מגדירה תבנית ביליניארית סימטרית ; זוהי העתקה מ-Quad אל Sym, וההרכבה היא .
במאפיין שונה מ-2, תבנית היא מתחלפת אם ורק אם היא אנטי-סימטרית; אפשר לפרק  (כאשר Sym הוא מרחב התבניות הסימטריות), וכך מתקבלת התאמה בין תבניות ריבועיות לתבניות ביליניאריות סימטריות; .
לעומת זאת במאפיין 2, מתקיים פירוק אחר לגמרי:  (כאשר Diag הוא מרחב התבניות האלכסוניות), המאפשר להציג תבנית ריבועית באופן יחיד דרך תבנית ביליניארית משולשית. מכיוון שבמאפיין 2 , התבנית  היא תמיד מתחלפת. הגרעין של ההתאמה  המוגדרת לפי  הוא אוסף המטריצות האלכסוניות.

מטריצות והצורה האלכסונית

לאחר שקובעים למרחב הווקטורי V בסיס , כל תבנית *ביליניארית* אפשר לייצג באופן יחיד על ידי מטריצה ריבועית, לפי הנוסחה . בחירת בסיס שונה תוביל למטריצה מייצגת חופפת. לכן, מיון תבניות ביליניאריות עד כדי איזומורפיזם, שקול למיון של מטריצות עד כדי חפיפה. התבנית סימטרית אם ורק אם המטריצה סימטרית.
במאפיין שונה מ-2 כל מטריצה סימטרית חופפת למטריצה אלכסונית, ולכן כל תבנית ריבועית אפשר להציג בצורה אלכסונית : , אותה מסמנים .
מעל הממשיים, המעבר לצורה אלכסונית קובע את סימן סילבסטר של התבנית, השווה למספר המקדמים החיוביים פחות מספר המקדמים השליליים. הסימן קובע את הגאומטריה של המשטח q=0, ואת ההתנהגות של התבנית בסביבת האפס. אם כל הסימנים באלכסון שווים, התבנית חיובית לחלוטין או שלילית לחלוטין. עובדה זו מאפשרת למיין נקודות קיצון של פונקציות בכמה משתנים: סוג הנקודה נקבע על ידי התבנית הריבועית שמשרות הנגזרות השניות (מטריצת הסיאן). אם הנגזרת השנייה בנקודה קריטית היא חיובית לחלוטין, זוהי נקודת מינימום; ואם הנגזרת השנייה שלילית לחלוטין, זוהי נקודת מקסימום.

הרדיקל

תהי  תבנית בילניארית סימטרית,  תת-מרחב. נסמן , זהו המרחב הניצב ל- ביחס ל- . הרדיקל של התבנית הוא . אומרים ש- רגולרית אם יש לה רדיקל טריוויאלי - , ואז המרחב  נקרא מרחב רגולרי. תבנית ביליניארית היא רגולרית אם ורק אם המטריצה המייצגת היא הפיכה.
הרדיקל של תבנית ריבועית q מוגדר לפי . במאפיין שונה מ-2, הרדיקל של תבנית ריבועית הוא הרדיקל של התבנית הביליניארית הסימטרית המייצגת אותה. במאפיין 2 בהחלט ייתכן ש-. תבנית ריבועית  היא רגולרית אם ורק אם הרדיקל שלה הוא אפס. במאפיין שונה מ-2, תכונה זו שקולה לכך שהמטריצה המייצגת הפיכה.
בכל מרחב ריבועי יש תת-מרחב רגולרי מקסימלי, שהוא גם איזומורפי למרחב המנה המתקבל מחילוק ברדיקל. אפיון זה מוביל לחקירה של מרחבים ריבועיים רגולריים.

איזוטרופיות ומרחב היפרבולי

יהי  מרחב ריבועי רגולרי. וקטור  נקרא איזוטרופי אם . תת-מרחב  נקרא מרחב איזוטרופי (לחלוטין) אם כל  איזוטרופי. מרחב בו אין וקטור איזוטרופי נקרא אנאיזוטרופי. לדוגמה, מעל הממשיים (או כל שדה סדור אחר), התבנית  היא אנאיזוטרופית.
המרחב הדו-ממדי עם התבנית הריבועית  נקרא המישור ההיפרבולי (במאפיין שונה מ-2, אפשר להציג אותו גם בצורה ). סכום ישר של עותקים של המישור ההיפרבולי נקרא מרחב היפרבולי.
הממד של תת-מרחב איזוטרופי של V הוא לכל היותר חצי הממד של V; במאפיין שונה מ-2, אם יש ל-V תת-מרחב איזוטרופי שממדו חצי הממד של V, אז V מרחב היפרבולי. במאפיין שונה מ-2, המישור ההיפרבולי הוא המישור האיזוטרופי הרגולרי היחיד, וכל מרחב איזוטרופי מכיל עותק (איזומורפי) של מרחב היפרבולי.

המבנה של מרחב ריבועי

כל תבנית ריבועית (מממד סופי, בכל מאפיין) אפשר לפרק באופן יחיד לסכום ישר של שלושה חלקים: המרכיב הרדיקלי שהוא תבנית האפס, מרחב היפרבולי, ומרחב אנאיזוטרופי. התבנית היא רגולרית אם ורק אם המרכיב הרדיקלי שלה טריוויאלי. פירוק זה הוא הבסיס לבנייה של חוג ויט; אינדקס ויט של התבנית הוא מחצית הממד של המרכיב ההיפרבולי.
כל תבנית ריבועית אנאיזוטרופית אפשר לפרק לסכום ישר , כאשר  מייצג את התבנית הריבועית הדו-ממדית  ו- הוא החלק האלכסוני. במאפיין שונה מ-2 אפשר להניח ש-t=0. תבנית רגולרית, הנשארת רגולרית לאחר כל הרחבת סקלרים, נקראת לא-מנוונת. במאפיין שונה מ-2 כל תבנית רגולרית אינה מנוונת; במאפיין 2, התבנית אינה מנוונת אם ורק אם אפשר להציג אותה כסכום של מרחב היפרבולי ומרחב אנאיזוטרופי שבו s=0 או s=1.