שדות - תכונות בסיסיות: הבדלים בין גרסאות בדף

מתוך Math-Wiki
שורה 24: שורה 24:


'''דוגמא:''' יהיה <math>F</math> שדה ויהי <math>F(t)</math> שדה השברים של <math>F[t]</math>. קל לבדוק כי <math>t</math> טרנסצנדנטי מעל <math>F</math>. למעשה, כל איבר ב-<math>F(t)\setminus F</math> הוא טרנסצנדנטי.
'''דוגמא:''' יהיה <math>F</math> שדה ויהי <math>F(t)</math> שדה השברים של <math>F[t]</math>. קל לבדוק כי <math>t</math> טרנסצנדנטי מעל <math>F</math>. למעשה, כל איבר ב-<math>F(t)\setminus F</math> הוא טרנסצנדנטי.
'''הערה:''' אם <math>F\subseteq K\subseteq L</math> שדות ו-<math>a\in L</math> אלגברי מעל <math>F</math> אז הוא גם אלגברי מעל <math>K</math>. (נובע ישירות ע"י שימוש בהגדרה מכך ש-<math>F[x]\subseteq K[x]</math>.)


'''הגדרה:''' הרחבת שדות <math>K/F</math> נקראת אלגברית אם כל איבר ב-<math>K</math> אלגברי מעל <math>F</math>.
'''הגדרה:''' הרחבת שדות <math>K/F</math> נקראת אלגברית אם כל איבר ב-<math>K</math> אלגברי מעל <math>F</math>.
שורה 39: שורה 41:


'''תרגיל:''' יהי <math>R</math> תחום שלמות ו-<math>F\subseteq R</math> שדה כך ש-<math>\dim_FR<\infty</math>. אזי <math>R</math> שדה. [רמז: לכל <math>r\in R</math> ההעתקה <math>x\mapsto rx</math> היא העתקה לינארית חד חד ערכית (מדוע?).]
'''תרגיל:''' יהי <math>R</math> תחום שלמות ו-<math>F\subseteq R</math> שדה כך ש-<math>\dim_FR<\infty</math>. אזי <math>R</math> שדה. [רמז: לכל <math>r\in R</math> ההעתקה <math>x\mapsto rx</math> היא העתקה לינארית חד חד ערכית (מדוע?).]
'''מסקנה:''' אם <math>K/F</math> הרחבת שדות ממעלה סופית (כלומר <math>[K:F]<\infty</math> היא הרחבה אלגברית.
== תרגילים - כדי לראות שהבנתם עד עכשיו ==
'''תרגיל:''' תהי <math>L/F</math> הרחבת שדות ו-<math>a_1,\ldots,a_n\in L</math> אלגבריים מעל <math>F</math>. הראו כי <math>F[a_1,\ldots,a_n]</math> שדה. הראו כי זה תת השדה הקטן ביותר המכיל את <math>F</math> ואת <math>a_1,\ldots,a_n</math>. (הערה: <math>F[a_1,\ldots,a_n]</math> מוגדר באופן אינדוקטיבי ע"י <math>F[a_1,\ldots,a_n]=F[a_1,\ldots,a_{n-1}][a_n]</math>. קיימות גם הגדרות שקולות אחרות.)
'''תרגיל:''' תהי <math>L/F</math> הרחבת שדות, <math>a_1,\ldots,a_n\in L</math> אלגבריים מעל <math>F</math> ו-<math>F\subseteq K\subseteq L</math>. הוכיחו כי הקומפוזיטום של <math>F[a_1,\ldots,a_n]</math> ו-<math>K</math> הוא <math>K[a_1,\ldots,a_n]</math>.

גרסה מ־15:40, 24 בנובמבר 2011

הרחבות של שדות

הגדרה: יהיה [math]\displaystyle{ F }[/math] שדה. הרחבה של [math]\displaystyle{ F }[/math] היא כינוי לכל שדה [math]\displaystyle{ K }[/math] המכיל את [math]\displaystyle{ F }[/math]. לרוב כותבים גם [math]\displaystyle{ K/F }[/math]. באופן טבעי [math]\displaystyle{ K }[/math] הוא מרחב וקטורי מעל [math]\displaystyle{ F }[/math]. המימד של [math]\displaystyle{ K }[/math] מעל [math]\displaystyle{ F }[/math] יסומן ב-[math]\displaystyle{ [K:F] }[/math] (הוא אינו חייב להיות סופי).

דוגמא: [math]\displaystyle{ \mathbb{C}/\mathbb{R} }[/math] היא הרחבת שדות ממימד סופי. [math]\displaystyle{ \mathbb{R}/\mathbb{Q} }[/math] היא הרחבת שדות ממימד אינסופי.

טענה: יהיו [math]\displaystyle{ F\subseteq K\subseteq L }[/math] שדות. אזי [math]\displaystyle{ [L:F]=[L:K]\cdot[K:F] }[/math].

הרעיון של ההוכחה: אם [math]\displaystyle{ A }[/math] הוא בסיס ל-[math]\displaystyle{ L }[/math] כמרחב וקטורי מעל [math]\displaystyle{ K }[/math] ו-[math]\displaystyle{ B }[/math] הוא בסיס ל-[math]\displaystyle{ K }[/math] כמרחב וקטורי מעל [math]\displaystyle{ F }[/math] אז הקבוצה [math]\displaystyle{ \{ab~|~a\in A, b\in B\} }[/math] היא בסיס ל-[math]\displaystyle{ L }[/math] כמרחב וקטורי מעל [math]\displaystyle{ F }[/math] והיא בעלת [math]\displaystyle{ [L:K][K:F] }[/math] איברים (זה לא טריוויאלי).

תכונה: אם [math]\displaystyle{ F }[/math] שדה אז כל חיתוך של תתי שדות של [math]\displaystyle{ F }[/math] הוא גם שדה.

הגדרה: נניח ש-[math]\displaystyle{ L }[/math] שדה ו-[math]\displaystyle{ F,K }[/math] תת שדות של [math]\displaystyle{ L }[/math]. הקומפוזיטום של [math]\displaystyle{ F,K }[/math] הוא תת השדה הקטן ביותר המכיל את [math]\displaystyle{ F,K }[/math]. הוא יסומן ב-[math]\displaystyle{ FK }[/math].

איברים אלגבריים וטרנסצנדנטים

הגדרה: תהי [math]\displaystyle{ K/F }[/math] הרחבת שדות ו-[math]\displaystyle{ a\in K }[/math]. האיבר [math]\displaystyle{ a }[/math] נקרא אלגברי מעל [math]\displaystyle{ F }[/math] אם קיים פולינום [math]\displaystyle{ f(x)\neq 0 }[/math] כך ש-[math]\displaystyle{ f(a)=0 }[/math]. אם לא קיים פולינום כזה, [math]\displaystyle{ a }[/math] נקרא טרנסצנדנטי מעל [math]\displaystyle{ F }[/math].

דוגמא: [math]\displaystyle{ \sqrt{2} }[/math] הוא אלגברי מעל [math]\displaystyle{ \mathbb{Q} }[/math] כי הוא מאפס את [math]\displaystyle{ x^2-2\in\mathbb{Q} }[/math]. לעומת זאת, ניתן להוכיח כי המספרים [math]\displaystyle{ e,\pi }[/math] הם טרנסצנדנטיים מעל [math]\displaystyle{ \mathbb{Q} }[/math].

הערה: לא קשה להראות כי כמות המספרים המרוכבים האלגבריים מעל [math]\displaystyle{ \mathbb{Q} }[/math] היא בת מנייה. לכן, בהכרח קיימים ב-[math]\displaystyle{ \mathbb{C} }[/math] (וגם ב-[math]\displaystyle{ \mathbb{R} }[/math]) איברים טרנסצנדנטיים. (זו הוכחה לא קונסטרוקטיבית לכך שקיימים מספרים טרנצנדנטיים).

דוגמא: יהיה [math]\displaystyle{ F }[/math] שדה ויהי [math]\displaystyle{ F(t) }[/math] שדה השברים של [math]\displaystyle{ F[t] }[/math]. קל לבדוק כי [math]\displaystyle{ t }[/math] טרנסצנדנטי מעל [math]\displaystyle{ F }[/math]. למעשה, כל איבר ב-[math]\displaystyle{ F(t)\setminus F }[/math] הוא טרנסצנדנטי.

הערה: אם [math]\displaystyle{ F\subseteq K\subseteq L }[/math] שדות ו-[math]\displaystyle{ a\in L }[/math] אלגברי מעל [math]\displaystyle{ F }[/math] אז הוא גם אלגברי מעל [math]\displaystyle{ K }[/math]. (נובע ישירות ע"י שימוש בהגדרה מכך ש-[math]\displaystyle{ F[x]\subseteq K[x] }[/math].)

הגדרה: הרחבת שדות [math]\displaystyle{ K/F }[/math] נקראת אלגברית אם כל איבר ב-[math]\displaystyle{ K }[/math] אלגברי מעל [math]\displaystyle{ F }[/math].

סימון: תהי [math]\displaystyle{ K/F }[/math] הרחבת שדות ו-[math]\displaystyle{ a\in K }[/math]. מסמנים [math]\displaystyle{ F[a]=\{f(a)~|~f\in F[x]\} }[/math].

טענה: תהי [math]\displaystyle{ K/F }[/math] הרחבת שדות ו-[math]\displaystyle{ a\in K }[/math]. אזי [math]\displaystyle{ a }[/math] אלגברי מעל [math]\displaystyle{ F }[/math] אם ורק אם המימד של [math]\displaystyle{ F[a] }[/math] כמרחב וקטורי מעל [math]\displaystyle{ F }[/math] סופי. במקרה זה [math]\displaystyle{ F[a] }[/math] שדה.

הוכחה: כוון אחד: נניח ש-[math]\displaystyle{ \dim_FF[a]=n\lt \infty }[/math]. אזי הקבוצה [math]\displaystyle{ \{1,a,a^2,\ldots,a^n\} }[/math] היא בגודל [math]\displaystyle{ n+1 }[/math] ולכן תלויה לינארית מעל [math]\displaystyle{ F }[/math]. לכן קיימים [math]\displaystyle{ \alpha_0,\alpha_1,\ldots,\alpha_n\in F }[/math], לא כולם 0, כך ש-[math]\displaystyle{ \alpha_0+\alpha_1a+\ldots+\alpha_na^n=0 }[/math]. אם נגדיר [math]\displaystyle{ f(x)=\alpha_0+\alpha_1x+\ldots+\alpha_nx^n\in F[x] }[/math] אז [math]\displaystyle{ f(x)\neq 0 }[/math] ובעצם הראינו [math]\displaystyle{ f(a)=0 }[/math]. לכן [math]\displaystyle{ a }[/math] אלגברי מעל [math]\displaystyle{ F }[/math].

כוון שני: נניח שקיים [math]\displaystyle{ f(x)\neq 0 }[/math] כך ש-[math]\displaystyle{ f(a)=0 }[/math]. נסמן [math]\displaystyle{ n=\deg f }[/math]. מספיק להראות ש-[math]\displaystyle{ \{1,a,a^2,\ldots,a^{n-1}\} }[/math] קבוצה פורשת (מעל [math]\displaystyle{ F }[/math]) ל-[math]\displaystyle{ F[a] }[/math]. יהי [math]\displaystyle{ b\in F[a] }[/math] אזי [math]\displaystyle{ b=g(a) }[/math] עבור [math]\displaystyle{ g(x)\in F[x] }[/math] כלשהו. קיימים פולינומים [math]\displaystyle{ q(x),r(x)\in F[x] }[/math] כך ש-[math]\displaystyle{ g(x)=q(x)f(x)+r(x) }[/math] וגם [math]\displaystyle{ \deg r\lt \deg f=n }[/math]. אזי [math]\displaystyle{ g(a)=q(a)f(a)+r(a)=r(a) }[/math] ו-[math]\displaystyle{ r(a)\in\mathrm{span}\{1,a,\ldots,a^{n-1}\} }[/math] כי [math]\displaystyle{ \deg r\lt n }[/math].

כדי לראות שבמקרה זה [math]\displaystyle{ F[a] }[/math] שדה, נשים לב ש-[math]\displaystyle{ F[a] }[/math] הוא תחום שלמות ממימד סופי מעל [math]\displaystyle{ F }[/math] ולכן סיימנו הודות לתרגיל הבא:

תרגיל: יהי [math]\displaystyle{ R }[/math] תחום שלמות ו-[math]\displaystyle{ F\subseteq R }[/math] שדה כך ש-[math]\displaystyle{ \dim_FR\lt \infty }[/math]. אזי [math]\displaystyle{ R }[/math] שדה. [רמז: לכל [math]\displaystyle{ r\in R }[/math] ההעתקה [math]\displaystyle{ x\mapsto rx }[/math] היא העתקה לינארית חד חד ערכית (מדוע?).]

מסקנה: אם [math]\displaystyle{ K/F }[/math] הרחבת שדות ממעלה סופית (כלומר [math]\displaystyle{ [K:F]\lt \infty }[/math] היא הרחבה אלגברית.



תרגילים - כדי לראות שהבנתם עד עכשיו

תרגיל: תהי [math]\displaystyle{ L/F }[/math] הרחבת שדות ו-[math]\displaystyle{ a_1,\ldots,a_n\in L }[/math] אלגבריים מעל [math]\displaystyle{ F }[/math]. הראו כי [math]\displaystyle{ F[a_1,\ldots,a_n] }[/math] שדה. הראו כי זה תת השדה הקטן ביותר המכיל את [math]\displaystyle{ F }[/math] ואת [math]\displaystyle{ a_1,\ldots,a_n }[/math]. (הערה: [math]\displaystyle{ F[a_1,\ldots,a_n] }[/math] מוגדר באופן אינדוקטיבי ע"י [math]\displaystyle{ F[a_1,\ldots,a_n]=F[a_1,\ldots,a_{n-1}][a_n] }[/math]. קיימות גם הגדרות שקולות אחרות.)

תרגיל: תהי [math]\displaystyle{ L/F }[/math] הרחבת שדות, [math]\displaystyle{ a_1,\ldots,a_n\in L }[/math] אלגבריים מעל [math]\displaystyle{ F }[/math] ו-[math]\displaystyle{ F\subseteq K\subseteq L }[/math]. הוכיחו כי הקומפוזיטום של [math]\displaystyle{ F[a_1,\ldots,a_n] }[/math] ו-[math]\displaystyle{ K }[/math] הוא [math]\displaystyle{ K[a_1,\ldots,a_n] }[/math].