הגדרה 3: הבסיס של
יהי שדה , מרחב ווקטורי מעל השדה והמרחב הדואלי למרחב V המסומן
הבסיס של הוא ההעתקה כאשר ו-
הדלתא של קרונקר: כאשר
הוכחה: לכל נסמן את התמונה ההפוכה של ב: כלומר היא פונקציונל על V ככה ששהמטריצה על פונקציול זה ביחס לבסיסי B,C תהיה מטריצה :
אז (פונקציול על V, העתקה ) כך ש .
אז כאשר ואחרת .
אז מהווה בסיס של (המרחב הדואלי).
טענה 1: יחידות הבסיס הדואלי
יהי מ"ו מעל ו בסיס של . אז כך שמתקיים עבור ו.
אז
|
|