מה הניסוח של משפט ההגדרה של ה"ל
ומה הניסוח של משפט הדרגה?
משפט ההגדרה - יהיו V,W מ"ו מעל שדה F, מתקיים dimv=n. אם ניקח {v1,...,vn} בסיס עבור V, וכן{w1,...,wn} '''קבוצה''' מוכלת בW, אזי קיימת T מV לW כך שהיא הע"ל, והיא יחידה.
משפט הדרגה - יהיו V,W מ"ו מעל שדה F, ותהי T מV לW הע"ל. אזי מתקיים:
(dim(ker(t))+dim(im(t))=dim(v
ובמילים- מימד התמונה (דרגת ההעתקה) ועוד מימד הגרעין (האפסיות של T) שווה למימד של V.
== שאלה כללית ==