Let XX be a vector space over a field KK, and let YXY\subseteq X. The set YY is a linear subspace of XX if

  1. 0Y0\in Y,
  2. a+bYa+b\in Y for all a,bYa,b\in Y, and
  3. λaY\lambda a\in Y for all λK\lambda\in K and aYa\in Y.

With the inherited operations, YY is itself a .

Examples
  • {0}\{0\} and XX are subspaces of XX.
  • In the vector space of all scalar sequences, 1={x=(xn):n=1xn<}\ell^1=\{x=(x_n):\sum_{n=1}^\infty|x_n|<\infty\} is a subspace.
  • The continuous functions C([a,b])C([a,b]) form a subspace of all functions [a,b]K[a,b]\to K.