הבדלים בין גרסאות בדף "שיחת משתמש:Nimrod"

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש
(im(φ)≠ℝ: פסקה חדשה)
(im(φ)≠ℝ)
שורה 62: שורה 62:
  
 
== im(φ)≠ℝ ==
 
== im(φ)≠ℝ ==
 +
 +
'''הערה: בגלל תקלה טכנית אי אפשר להציג נוסחאות כמו שצריך. אתה יכול להעתיק את הקוד ל[http://he.wikipedia.org/wiki/%D7%95%D7%99%D7%A7%D7%99%D7%A4%D7%93%D7%99%D7%94:%D7%90%D7%A8%D7%92%D7%96_%D7%97%D7%95%D7%9C פה] ולעשות "תצוגה מקדימה" כדי לראות אותו כמו שצריך.'''
  
 
יהא <math>\varphi:V\to\mathbb C</math> פונקציונאל לינארי, לכן V מ"ו מעל שדה <math>\mathbb C</math>. לפי משפט, <math>\mbox{im}(\varphi)</math> הוא מ"ו מעל אותו שדה ולכן <math>\forall \alpha\in\mathbb C\and v\in\mbox{im}(\phi):\ \alpha v\in\mbox{im}(\varphi)</math>. נניח בשלילה ש-<math>\mbox{im}(\varphi)=\mathbb R</math> ואז עבור <math>\alpha=i\in\mathbb C</math> ו-<math>v=1\in\mbox{im}(\varphi)=\mathbb R</math> מתקיים <math>\alpha v=i\cdot1=i\in\mathbb R</math>, בסתירה. {{משל}} [[משתמש:אור שחף|אור שחף]]<sup>[[שיחת משתמש:אור שחף|שיחה]]</sup> 20:27, 9 בפברואר 2011 (IST)
 
יהא <math>\varphi:V\to\mathbb C</math> פונקציונאל לינארי, לכן V מ"ו מעל שדה <math>\mathbb C</math>. לפי משפט, <math>\mbox{im}(\varphi)</math> הוא מ"ו מעל אותו שדה ולכן <math>\forall \alpha\in\mathbb C\and v\in\mbox{im}(\phi):\ \alpha v\in\mbox{im}(\varphi)</math>. נניח בשלילה ש-<math>\mbox{im}(\varphi)=\mathbb R</math> ואז עבור <math>\alpha=i\in\mathbb C</math> ו-<math>v=1\in\mbox{im}(\varphi)=\mathbb R</math> מתקיים <math>\alpha v=i\cdot1=i\in\mathbb R</math>, בסתירה. {{משל}} [[משתמש:אור שחף|אור שחף]]<sup>[[שיחת משתמש:אור שחף|שיחה]]</sup> 20:27, 9 בפברואר 2011 (IST)

גרסה מ־18:29, 9 בפברואר 2011

בדידה: תרגיל 1, 4.ג'

צ"ל A\cap \bigcup_{i=1}^n B_i = \bigcup_{i=1}^n (A\cap B_i) ואח"כ אתה משתמש בזה פעמיים (כדי להראות ש: \bigcup_{i=1}^n A_i \cap \bigcup_{j=1}^m B_j' = \bigcup_{i=1}^n(A_i \cap \bigcup_{j=1}^m B_j') = \bigcup_{i=1}^n \bigcup_{j=1}^m (A_i \cap B_j')). -אור שחף, שיחה, 19:01, 26 ביולי 2010 (IDT)

לינארית: תרגיל 1, 2.8א

אתה רוצה להראות ש-\frac{1}{a+b\sqrt{p}} \in \mathbb{F}[\sqrt{p}]. מתקיים: \frac{1}{a+b\sqrt{p}} = \frac{a-b\sqrt{p}}{a^2-b^2 p}. מכיוון ש-a^2-b^2 p \in \mathbb{F} הטענה נכונה. -אור שחף, שיחה, 18:46, 27 ביולי 2010 (IDT)

\left(a^2-b^2 p\right)^{-1} \in \mathbb{F} \subset \mathbb{F}[\sqrt{p}] ולכן \frac{a}{a^2-b^2 p} \in \mathbb{F} \and \frac{-b}{a^2-b^2 p} \in \mathbb{F}. לפי הגדרת \mathbb{F}[\sqrt{p}] ולפי דיסטריביוטיביות (שאותה צ"ל, זה קל) נובע ש- \frac{a-b\sqrt{p}}{a^2-b^2 p} \in \mathbb{F}[\sqrt{p}] ואז, לפי x^2-y^2=(x+y)(x-y) (צ"ל), \frac{x}{x}=1 ואסוציאטיביות (צ"ל) מתקיים  \frac{a-b\sqrt{p}}{a^2-b^2 p} = \frac{1}{a+b\sqrt{p}} \in \mathbb{F}[\sqrt{p}]. -אור שחף, שיחה, 19:44, 27 ביולי 2010 (IDT)
בזכות תומר שמתי לב ש-p לא בהכרח שייך ל-F, חכו. -אור שחף, שיחה, 20:07, 27 ביולי 2010 (IDT)
ברגע שמוכיחים סגירות נובע מכך: a^2-b^2 p \in \mathbb{F}[\sqrt{p}]. ניסיתי להוכיח סגירות: (a+b\sqrt{p})(c+d\sqrt{p})=^\text{(distributivity)}ac+bdp+ad\sqrt{p}+bc\sqrt{p}=^\text{(associativity)}(ac+bdp)+(ad+bc)\sqrt{p}. בזכות הגדרת \mathbb{F}[\sqrt{p}], נותר להוכיח ש-ac+bdp \in \mathbb{F}, אבל בגלל קיום איבר נגדי, איבר הופכי וסגירות החיבור והכפל ב-F, צריך להתקיים ש-p שייך ל-F. חכו רגע, או שטעיתי או שיש פה משהו מתוחכם שלא ראיתי. נ.ב. נמרוד, למה מחקת? -אור שחף, שיחה, 20:37, 27 ביולי 2010 (IDT)
בגלל שעדיף לא לציין מה שיש בו טעות אלה רק מה שנכון
חשבתי שאולי תנסו למצוא טעות (ואולי נובע מכך שלכל תת-שדה של R כל הראשוניים שייכים לתת-שדה). בכל מקרה, רוב מה שכתבתי ישמש אותנו גם אם טעיתי. -אור שחף, שיחה, 21:20, 27 ביולי 2010 (IDT)
נזכרתי ש-+_\mathbb{F} זהה ל-+_\mathbb{R}, ולכן קל להוכיח באינדוקציה ש-p\in \mathbb{F}. -אור שחף, שיחה,

לינארית: תרגיל 2, 5.16; 6.19; 6.20;

אני לא בטוח מה זאת אומרת "הרעיונות הכללים", אבל תבדוק אם כבר ענו על מה שאתה צריך כאן, כאן, כאן, כאן, כאן, כאן, כאן, כאן וכאן. אם יש משהו שאתה עדיין לא מבין, תשאל. -אור שחף, שיחה, 16:56, 7 באוגוסט 2010 (IDT)

בקשר ל-5.16, מגדירים את A_k\in\mathbb F^{n\times n} כך ש: \forall k\in\mathbb N\setminus \{0\}: \left(A_k\right)_{i,j}=\delta_{i+k,j} (כאשר \delta_{i,j} = \left\{\begin{matrix}  1 & \mbox{if } i=j  \\  0 & \mbox{if } i \ne j \end{matrix}\right. היא הדלתא של קרונקר), ומחשבים לפי \left(A_m\cdot A_1\right)_{i,j}=\sum_{k=1}^n{\left(A_m\right)_{i,k}\cdot \left(A_1\right)_{k,j}}. -אור שחף, שיחה, 19:43, 7 באוגוסט 2010 (IDT)
עדין יש משהו שחסר לי בשביל להוכיח. בנוסף תרגיל 6.20 אני לא יודע מה לעשות שם...
המשך 5.16: \begin{align}\left(A_m\cdot A_1\right)_{i,j} & =\sum_{k=1}^n{\left(A_m\right)_{i,k}\cdot \left(A_1\right)_{k,j}}\\ & =\sum_{k=1}^n{\delta_{i+m,k}\cdot \delta_{k+1,j}}\end{align}. אנו מחפשים מתי \delta_{i+m,k}\cdot \delta_{k+1,j}\not =0: \delta_{i+m,k}=\delta_{k+1,j}=1\implies i+m=k\and k+1=j\implies k=i+m=j-1 יאדה, יאדה, יאדה, לכן \left(A_m\cdot A_1\right)_{i,j}=\delta_{i+m,j-1}. נותר להוכיח ש-\left(A_{m+1}\right)_{i,j}=\delta_{i+m,j-1} (זה קל), מש"ל. -אור שחף, שיחה, 20:50, 7 באוגוסט 2010 (IDT)

לצערי לא הצלחתי להבין את 6.20 אשמח אם תוכל להסביר לי (ואשמח אם תוכל להסביר לי שנית מחר את 5.16 בשביל שאהיה בטוח שהבנתי נכון את הפתרון)

הצמוד של שורש של פולינום

כל המקדמים ממשיים, לכן:

\begin{align}p(z)&=\sum_{k=0}^n{a_k z^k}\\&=0\\&=\bar0\\&=\overline{\sum_{k=0}^n{a_k z^k}}\\&=\sum_{k=0}^n\overline{a_k z^k}\\&=\sum_{k=0}^n{a_k \bar z^k}\\&=p(\bar z)\end{align}

לינארית: תרגיל 3, דף נלווה, שאלה 2d

אכן \operatorname{span}(\emptyset)=\{0\} (ויקיפדיה הגרמנית, כאשר \langle A\rangle=\operatorname{span}(A))

לינארית: תרגיל 5, שאלה 2.11

נגדיר A=(a_1,a_2,\dots,a_m)\ \and\ B=(b_1,b_2,\dots,b_m)\ \implies\ A+B=(a_1+b_1,\dots,a_m+b_m).

\operatorname{span}\{a_1+b_1,\dots,a_m+b_m\} = \operatorname{colspace}(A+B)
\operatorname{span}\{a_1+b_1,\dots,a_m+b_m\} הם צ"ל של \operatorname{span}\{a_1,\dots,a_m,b_1,\dots,b_m\}, לכן: \operatorname{span}\{a_1,\dots,a_m,b_1,\dots,b_m\} \le
\dim(\operatorname{span}\{a_1,\dots,a_m,b_1,\dots,b_m\}) \le \operatorname{rank}(A+B) \implies
\{a_1,\dots,a_m,b_1,\dots,b_m\} תלויים לינארית ב-\{a_1,\dots,a_m\} ו-\{b_1,\dots,b_m\} \dim(\operatorname{span}\{a_1,\dots,a_m\})+\dim(\operatorname{span}\{b_1,\dots,b_m\}) \le
\operatorname{rank}(A)+\operatorname{rank}(B) =

\blacksquare


char

מאפיין של שדה בויקיפדיה. זה הופך את שאלה 11 בחלק ב' למאוד קלה.

זה עדיין לא ברור
עבור \operatorname{char}(\mathbb F)=p>0 מתקיים \forall v_1,v_2\in\mathbb F: T(v_1+v_2)=(v_1+v_2)^p=v_1^p+v_2^p=T(v_1)+T(v_2) וכן \forall v,\alpha\in\mathbb F: T(\alpha v)=(\alpha v)^p=\alpha^p\cdot v^p=\alpha\cdot v^p=\alpha\cdot T(v) ולכן ה"ל.

לינארית 2: תרגיל 5, שאלה 3.18

\begin{array}{l}
\mbox{companion}(a_0,a_1,\dots,a_{n-1})\begin{pmatrix}v_0\\v_1\\\vdots\\v_{n-2}\\v_{n-1}\end{pmatrix}=\begin{pmatrix}v_1\\v_2\\\vdots\\v_{n-1}\\-a_0v_0-a_1v_1-\dots-a_{n-1}v_{n-1}\end{pmatrix}=\lambda\begin{pmatrix}v_0\\v_1\\\vdots\\v_{n-2}\\v_{n-1}\end{pmatrix}
\\\implies\ -a_0v_0-a_1v_1-\dots-a_{n-1}v_{n-1}=\lambda v_{n-1}=\lambda^2 v_{n-2}=\dots=\lambda^k v_{n-k}=\dots=\lambda^n v_0
\end{array}

אור שחףשיחה 17:41, 15 בנובמבר 2010 (IST)

\lambda ע"ע ולכן מקיים p_A(\lambda)=\sum_{k=0}^na_k\lambda^k=0. לפיכך -\sum_{k=0}^{n-1}a_k\lambda^k=\lambda^n (החסרנו את שני האגפים ב-\sum_{k=0}^{n-1}a_k\lambda^k) ועבור v_0=1 זה אכן מתקיים, \blacksquare. אור שחףשיחה 20:43, 15 בנובמבר 2010 (IST)

im(φ)≠ℝ

הערה: בגלל תקלה טכנית אי אפשר להציג נוסחאות כמו שצריך. אתה יכול להעתיק את הקוד לפה ולעשות "תצוגה מקדימה" כדי לראות אותו כמו שצריך.

יהא \varphi:V\to\mathbb C פונקציונאל לינארי, לכן V מ"ו מעל שדה \mathbb C. לפי משפט, \mbox{im}(\varphi) הוא מ"ו מעל אותו שדה ולכן \forall \alpha\in\mathbb C\and v\in\mbox{im}(\phi):\ \alpha v\in\mbox{im}(\varphi). נניח בשלילה ש-\mbox{im}(\varphi)=\mathbb R ואז עבור \alpha=i\in\mathbb C ו-v=1\in\mbox{im}(\varphi)=\mathbb R מתקיים \alpha v=i\cdot1=i\in\mathbb R, בסתירה. \blacksquare אור שחףשיחה 20:27, 9 בפברואר 2011 (IST)