קרקטר (מתמטיקה)

במתמטיקה, קרקטר הוא הומומורפיזם מחבורה אל החבורה הכפלית $\mathbb {C} ^{\times }$ של שדה המספרים המרוכבים, ובאופן כללי יותר אל החבורה הכפלית של שדה כלשהו. קרקטר אל תת-החבורה הכפלית $\mathbb {T} :=\left\{z\in \mathbb {C} \mid \left|z\right|=1\right\}$ נקרא קרקטר אוניטרי.

השימוש החשוב ביותר לקרקטרים הוא באנליזה הרמונית. כך, הדוגמה היסודית לקרקטרים הם האקספוננטים $e_{n}:\mathbb {R} \to \mathbb {T}$ המוגדרים $e_{n}(x)=e^{2\pi inx}$ לכל $n\in \mathbb {Z}$. כפי שידוע מאנליזת פורייה הממשית, משפחת הפונקציות הזו צפופה במרחב $L^{2}\left(\mathbb {R} \right)$ ומאפשרת להגדיר התמרת פורייה מעל מרחב זה. ברוח זו, המושג הכללי של קרקטרים מאפשר להכליל את אנליזת פורייה הממשית לאנליזת פורייה מעל חבורות אחרות. שימוש חשוב נוסף לקרקטרים הוא בתורת המספרים, באמצעות בניית קרקטר דיריכלה.

חבורת הקרקטרים

חשיבותם של קרקטרים נובעת בין השאר מכך שהם מהווים חבורה אבלית ביחס לכפל נקודתי. כלומר, אם ${\widehat {G}}$ היא משפחת כל הקרקטרים מהצורה $\chi :G\to k$, אז יש עליה מבנה של חבורה כפלית באמצעות הפעולה $\left(\chi _{1}\cdot \chi _{2}\right)(g)=\chi _{1}(g)\cdot \chi _{2}(g)$.

יתרה מזו, אם ${\text{Hom}}\left(G,k\right)$ היא משפחת כל הפונקציות מהצורה $G\to k$ עם מבנה טבעי של מרחב וקטורי מעל $k$, אז ${\widehat {G}}$ היא תת-מרחב ליניארי שלו שאיבריו בלתי תלויים ליניארית, כלומר: לכל אוסף סופי של קרקטרים שונים $\chi _{1},\dots ,\chi _{n}$, אם $a_{1},\dots ,a_{n}\in k$ מקיימים כי $a_{1}\cdot \chi _{1}+\dots +a_{n}\cdot \chi _{n}=0$, אז בהכרח $a_{1}=\dots =a_{n}=0$.

קרקטר של חבורה טופולוגית

במקרה ש-$G$ היא חבורה טופולוגית, קרקטר הוא הומומורפיזם רציף מהצורה $G\to \mathbb {T}$. ידוע כי אם $G$ חבורה אבלית וקומפקטית מקומית אז הקרקטרים שלה מפרידים נקודות, כלומר: לכל $g,h\in G$ שונים, יש קרקטר רציף $\chi :G\to \mathbb {T}$ שמקיים $\chi (g)\neq \chi (h)$. לכן ממשפט סטון-ויירשטראס תחת תנאים לא מחמירים נובע כי חבורת הקרקטרים ${\widehat {G}}$ צפופה בתוך מרחב הפונקציות הרציפות מהצורה $G\to k$ שיש להן תומך קומפקטי.

ערך מורחב – דואליות פונטריאגין

לחבורה טופולוגית אבלית וקומפקטית מקומית מתרחשת תופעה של דואליות, לפיה חבורת הקרקטרים של חבורת הקרקטרים של $G$, היא למעשה $G$ עצמה. כלומר יש איזומורפיזם טבעי ${\widehat {\widehat {G}}}\cong G$. איזומורפיזם זה מתקבל על ידי $G\to {\widehat {\widehat {G}}}$ שהיא ההערכה $g\mapsto \left(\chi \mapsto \chi (g)\right)$.

לקריאה נוספת

• Artin, Emil (1966), Galois Theory, Notre Dame Mathematical Lectures, number 2, Arthur Norton Milgram (Reprinted Dover Publications, 1997), ISBN 978-0-486-62342-9 Lectures Delivered at the University of Notre Dame

קישורים חיצוניים

• קרקטר של חבורה, באתר אנציקלופדיה למתמטיקה (באנגלית)
• קרקטר, באתר MathWorld (באנגלית)