שינויים
/* מציאת בסיס של קבוצה סופית נפרשת */
לאחר דירוג מט' (ששורותיה הם S) מקבלים מט' שכל אחד מוקטורי השורה שלה שווים לצ"ל מסויים (ויחיד) של איברי S כך שהסקלר של אותה מספר השורה שונה מ-0 (<math>u_i=\alpha_1v_1+...+\alpha_iv_i+...+\alpha_nv_n</math> וגם <math>\alpha_i\neq0</math>). בכל מקרה, מה שיוצא לך בשורות לאחר הדירוג הקנוני אלו הם וקטורים בת"ל, לא בהכרח יוצא שהדירוג הקנוני הוא I ולכן לא בהכרח זהו בסיס של המרחב.
אני לא בטוח שהסברתי את עצמי כראוי.
כשכתבתי למצוא את הבסיס של המרחב התכוונתי לתת מרחב של F^n אליו שייכים הווקטורים v1-v3; כלומר span של קבוצה תמיד פורש מרחב ווקטורי ולמצוא בסיס הכוונה למצוא קבוצה בת"ל מקסימלית הפורשת את אותו מרחב שה-span של קבוצת הווקטורים הנתונה נותן (יתכן ומרחב זה יהיה חלקי ל- F^n ) במצב כזה מה שידוע לי שניתן לעשות זה לרשום את הווקטורים של הקבוצה הנתונה כווקטורי שורה במטריצה ולדרג, הווקטורים שהתקבלו הם הבסיס של תת המרחב הנפרש ע"י קבוצה זו. השאלת אליה התכוונתי היא, כאשר רשמתי את הווקטורים של הקבוצה הנתונה, כעמודות במטריצה (כגון במצב שתיארתי בשאלה המקורית) ודירגתי (דרוג שורות רגיל), האם אני יכול להסיק על הבסיס של תת המרחב? (כמו שהייתי יכול להסיק אם הייתי רושם את הווקטורים כשורות במטריצה ומדרג).
מקווה שעכשיו זה יותר ברור.. תודה!
