Products and Quotients of Vector Spaces
[19/0%]Suppose is a function from to . The graph of is the subset of defined by
Prove that is a linear map if and only if the graph of is a subspace of .
Formally, a function from to is a subset of such that for each , there exists exactly one element . In other words, formally a function is what is called above its graph. We do not usually think of functions in this formal manner. However, if we do become formal, then this exercise could be rephrased as follows: Prove that a function from to is a linear map if and only if is a subspace of .
Suppose that are vector spaces such that is finitedimensional. Prove that is finite-dimensional for each .
Suppose are vector spaces. Prove that and are isomorphic vector spaces.
Suppose are vector spaces. Prove that and are isomorphic vector spaces.
For a positive integer, define by
Prove that and are isomorphic vector spaces.
Suppose that are vectors in and that are subspaces of such that . Prove that .
Let . Suppose . Prove that is a translate of if and only if there exists such that
Suppose and . Prove that is either the empty set or is a translate of .
Explain why the set of solutions to a system of linear equations such as 3.27 is either the empty set or is a translate of some subspace of .
System 3.27: given and , the system of linear equations , , in the variables .
Prove that a nonempty subset of is a translate of some subspace of if and only if for all and all .
Suppose and for some and some subspaces of . Prove that the intersection is either a translate of some subspace of or is the empty set.
Suppose .
Show that is a subspace of .
Prove that is infinite-dimensional.
Suppose . Let
Prove that is a translate of some subspace of .
Prove that if is a translate of some subspace of and , then .
Prove that is a translate of some subspace of of dimension less than .
Suppose is a subspace of such that is finite-dimensional. Prove that is isomorphic to .
Suppose and are subspaces of and . Suppose is a basis of . Prove that is a basis of .
Suppose is a subspace of and is a basis of and is a basis of . Prove that is a basis of .
Suppose and . Prove that .
Suppose is a subspace of such that . Prove that there exists such that .
Suppose that is a subspace of such that is finite-dimensional.
Show that if is a finite-dimensional subspace of and , then .
Prove that there exists a finite-dimensional subspace of such that and .
Suppose and is a subspace of . Let denote the quotient map from onto . Prove that there exists such that if and only if .