קוד:הגדרת מסלול (לינארית 2)

מתוך Math-Wiki
הגרסה להדפסה אינה נתמכת עוד וייתכן שיש בה שגיאות תיצוג. נא לעדכן את הסימניות בדפדפן שלך ולהשתמש בפעולת ההדפסה הרגילה של הדפדפן במקום זה.

נעבור להגדרה אחרת, נוכיח עליה למה פשוטה ואז נחזור למושג שהגדרנו.

\begin{definition}

יהי $T:V\rightarrow V$ אופרטור לינארי, ויהי $0\ne v\in V$. קבוצה בת $m$ איברים מהצורה $E=\left \{ T^{m-1}\left(v \right ),\dots,T\left(v \right ),v \right \}$ נקראת \textbf{מסלול מאורך $m$}, אם $T^{m-1}\left(v\right)\neq 0$, אבל $T^m\left(v\right)\neq 0$.

\end{definition}