לא בדיוק. המרחב V מכיל את כל הפונקציות f\,:\, S\to \mathbb{F}, כלומר כל הפונקציות שהתמונה שלהם היא סקלר השייך לשדה \mathbb{F}. כל איבר בקבוצה A הוא פונקציה במרחב V כך שמתקיים:
כלומר קיימת פונקציה f ב-V כך שאם נציב בה את האיברים s_1,\ldots,s_n, נכפול בסקלרים a_1,\ldots,a_n ונסכום נקבל אפס.
כדי לבדוק שקבוצה A של המרחב הווקטורי V מעל השדה \mathbb{F} מהווה מרחב וקטורי, די לבדוק את הפרטים הבאים:
- קבוצה A אינה ריקה. כלומר קיים v\in V המקיים v\in A.
- קבוצה A סגורה ביחס לחיבור. כלומר לכל u,v\in A מתקיים u+v\in W.
- קבוצה A סגורה ביחס לכפל בסקלר. כלומר לכל v\in A ו-\lambda\in\mathbb{F} מתקיים \lambda \cdot v\in A.
נבדוק כל תנאי לפי הסדר. תחילה נוכיח כי הקבוצה A אינה ריקה. לשם כך נגדיר את הפונקציה g\,:\, S\to \mathbb{F} המוגדרת על-ידי g(x)=0. פונקציה זו מעבירה כל איבר ב-S לאיבר האדיש של \mathbb{F} (בהכרח יש כזה כי מדובר בשדה). לכן נקבל:
הפונקציה g מקיימת את התנאי של הקבוצה A ולכן g\in A. לפיכך נובע כי הקבוצה A אינה ריקה.
נראה כי הקבוצה A סגורה ביחס לחיבור. יהיו g,h שתי פונקציות ב-A. נראה כי הפונקציה g+h גם היא נמצאת ב-A. אם g\in A אזי מתקיים:
כמו כן, אם h\in A אזי מתקיים:
לכן, נוכל להסיק כי מתקיים:
לכן ע"פ ההגדרה של הקבוצה A נובע g+h\in A. אי-לכך A סגורה ביחס לחיבור.
נוכיח כי A סגורה ביחס לכפל בסקלר. יהי g\in A ו-\lambda\in\mathbb{F} סקלר כלשהו. נוכיח כי \lambda \cdot g נמצא ב-A. אם g\in A אזי מתקיים:
לכן, נוכל להסיק כי מתקיים:
לכן ע"פ ההגדרה של הקבוצה A נובע \lambda \cdot g\in A. אי-לכך A סגורה ביחס לכפל בסקלר.
הראנו כי הקבוצה A מקיימת את כל התנאים ולכן היא מהווה תת-מרחב של המרחב הוקטורי V.