Based on 1A. Preliminaries and Introduction,1B. What is a vector space?, and 1C. Subspaces.

1A

7.

Just algebra

10.

Each factor has to be scaled by the same amount. Lets take the first coordinates to start: With this, we can see if this works for the rest of the coordinates.

For the second coordinate which does math

For the last coordinate,

The third coordinate does not work as it is plus 9.

1B

1

Proof:

  1. Firstly, notice that
  2. Thus, the additive inverse of is .

4

Proof:

  1. First, notice that we can subtract from each side to get the equation:
  2. Now, as is closed under inverses we know . Additionally as and we know through closure of addition and scaler multiplication must also be in .
  3. To prove uniqueness, assume that and both satisfy the equation. Then:
  4. subtracting we get:
  5. Thus,
  6. Now multiplying by the scaler we can see:
  7. Thus and we have proved our is unique.

6.

Vector spaces have to obay the axioms for vector addition. However notice: Which is clearly not true as .

8.

Proof:

  1. Additive Commutativity:
    1. Let
    2. Then for some
    3. Notice:
    4. by the commutative property of addition we can see the following:
  2. Additive Associativity:
    1. Let
    2. Then
    3. Notice:
  3. Additive identity:
    1. This exists as thus
  4. Additive inverses:
    1. Let
    2. Then for some
    3. Notice,
    4. Thus we can see that the inverse of is .
    5. Additionally, as is a vector space, therefore containing additive inverses for and , it is clear . This means that
  5. Scaler multiplication associativity:
    1. Let and
    2. Let the following definitions hold: For and . Remember is a real vector space
    3. Given the definition of Complex Scaler Multiplication, notice:
    4. Now from the other side:
    5. Skipping this because wtf
  6. Multiplicative Identity:
    1. Let for
    2. Notice:
    3. Thus scaler multiplication by holds
  7. Distributive property
    1. for and
      1. Let , , and for and
      2. Notice: #check Fr what is this problem???

1C

4.

Let

Prove the set of functions over the interval such that is a subspace of

  1. Assume that the set of functions over the interval such that is a subspace of
  2. Then, notice that the function must be in the subspace. Thus
  3. Assume that
    1. Then the identity is in the subspace as
    2. For additive closure, assume are in the subspace. This means and .
    3. Notice, the sum must also be in the subspace as .
    4. Scaler Multiplication is also closed, as for any in the subspace and , is also in the subspace as :

5.

No, it is not. This is because it is not closed under scaler multiplication as we are talking about a complex vector space, for example

7.

No, here is why.

  1. This does meet 0 as it is closed under addition and
  2. This is closed under addition
  3. This is not closed under scaler multiplication. Lets say you have the subset {-1,0,1}. This is closed under addition and additive inverses. However .

8.

  1. You can take the two subsets
  2. Their union is a subset of and closed under scaler multiplcation. However, it is not closed under addition as is not in the union. A better way to say this is one of the coordinates is 0.

11.

Proof: 1. As 0 is in every subspace, it is in the intersection of all subspaces 2. For additive closure, suppose are in every subspace of . As they are subspaces they must also be closed under addition, which means must also be in every subspace, and therefor the intersection 3. For closure under scaler multiplication, the same logic follows. As every individual vector space is closed under scaler multiplication, so must the intersection. This means that if any element is in the intersection, all of its scaler multiples are also within the intersection as they are also in all the subspaces.

12

Let be subspaces of

is a subspace of or

  1. Lets consider the contrapositive: and is not a subspace of
    1. This means there is an and an element . Note,
    2. This means that .
      1. For the sake of contradiction, assume is a subspace. Then it would have additive closure, and as it must mean that
      2. This means that either or .
      3. W.L.O.G assume . Now notice that all the following summands are in :
      4. However, notice that which is clearly not in . Thus we have reached a contradiction as is a subspace with additive closure.
  2. Assume or
  3. Then, if the union is just which is defined as a subspace. Similarly, if the union is just which is defined to be a subspace.