מישהו יודע להסביר למה האלגוריתם לז'רדון נילפוטנטי נכון ?
*(לא מתרגל) זה נובע בעיקר מההוכחה של משפט ג'ורדן הנילפוטנטי בחוברת בקובץ של ד"ר צבאן, וההסבר המלא מתחיל אחרי סעיף 5, עד לסוף של סעיף 5.6.[http://u.cs.biu.ac.il/~tsaban/LinearAlgebra/LAT73/JordanAll.pdf]
הרעיון הכללי והבסיסי הוא שאופרטור מוצג לפי בסיס כבלוק ג'ורדן <=> הבסיס הוא מסלול. לכן המטרה היא למצוא בסיס שמורכב ממסלולים. לרוב מסלול אחד לא עושה את העבודה, ויש צורך בכמה מסלולים שייצרו בלוקי ג'ורדן נפרדים. כדי למצוא את הבסיס שמורכב ממסלולים זרים, פועלים לפי האלגוריתם, ובהוכחת טענה 5.6 אפשר להבין למה זה באמת בסיס (בת"ל ופורש). לאחר שהבנו שזה אכן בסיס, ברור לפי הטענה לעיל (אופרטור מוצג לפי בסיס כבלוק ג'ורדן <=> הבסיס הוא מסלול) שנקבל בעצם הצגה בצורה של ג'ורדן - על האלכסון יש בלוקי ג'ורדן, כי כל פעם ההעתקה מוצגת לפי מסלול (לכן גם חשוב הסדר בבסיס, אחרת לא היינו מקבלים צורת ג'ורדן).