שינויים
/* איזומורפיזם */
אני רואה שהרבה פעמים משתמשים באיזו' להוכחות של דברים, ואני מרגיש שאני לא מבין את הנושא עד הסוף. מה התכונות של איזו' חוץ מחח"ע על והע"ל?
אם אני מוכיח שV וW איזומורפים מה זה נותן לי?
תשובה: זאת נקודה חשובה. דבר ראשון, שים לב ש<math>V</math> איזומורפי ל <math>W</math> אם יש העתקה לינארית (לא סתם פונקציה) שהיא חד חד ערכית ועל.
מה איזזומורפיזם אומר לנו? ששני המרחבים הוקטוריים האלה מתנהגים אותו דבר. הדבר החשוב ביותר הוא שיש להם את אותו מימד. (שים לב שיש גם משפט שאומר שההפך נכון, שני מרחבים מאותו מימד (סופי) הם איזומורפיים).
בנוסף, אם <math>T</math> הוא האיזומורפיזם הוא מאפשר לנו להעביר "מידע" מ <math>V</math> ל <math>W</math> למשל:
אם <math>A</math> בת"ל ב <math>V</math> אז <math>T(A)</math> בת"ל ב <math>W</math>.
אם <math>A</math> פורשת ב <math>V</math> אז <math>T(A)</math> פורשת ב <math>W</math>..
אם <math>U</math> תתמרחב של <math>V</math> ממימד <math>k</math> אז <math>T(U)</math> תת מרחב של <math>W</math> ממימד <math>k</math>.
אם <math>U_1 \oplus U_2 = V</math> אז <math>T(U_1) \oplus T(U_2) = W</math>.
וכן הלאה וכן הלאה.
כל טענה של מרחבים וקטוריים שמתקיימת ב <math>V</math> אפשר "להעביר" ל <math>W</math>.
(וגם את ההפך אפשר לעשות עם <math>T^{-1}</math>.)--[[משתמש:איתמר שטיין|איתמר שטיין]] 08:59, 30 באוגוסט 2012 (IDT)
