(1) Suppose an mxn matrix A has rank r. What are the ranks of
(A) $A^T$? (B) $AA^T$ ? (C) $AA^T + \lambda I$? ($\lambda>0$) (D) $A^TAA^TA$?
(2) (Easy) Without indices show that trace(ABC) = trace(BCA) using trace(XY)=trace(YX) whenever the matrix products make sense.
(3) A reflector is defined as a matrix of the form $Q = I -2 uu^T$ where $\|u\|=1$. (A) Show that a reflector is orthogonal by showing that Q is symmetric and $Q^2=I$. (B) Explain briefly why this makes $Q$ orthogonal.
(4) GS p203 13. Put bases for the subspaces V and W in the columns of matrices A and B. Show that V and
W are orthogonal subspaces if and only $A^TB$ is the zero matrix. To be clear
(A) Show that if V and W
are orthogonal then $A^TB$ iz zero,
(B)and if $A^TB$ is the zero matrixm then V and W are orthogonal.
(5) GS p204 23 : If a subspace $S$ is contained in a subspace $V$, then $S^\perp$ contains $V^\perp$.
(6) GS p.407 Which of these transformations are not linear? The input is $v=(v_1,v_2)$:
(a) $T(v)=(v_2,v_1)$
(b) $T(v)=(v_1,v_1)$
(c) $T(v)=(0,v_1)$
(d) $T(v)=(0,1)$
(e) $T(v) = v_2 - v_1 $
(f) $T(v)=v_1v_2$
(7) Which of the these transformations is a linear transformation of $ n \times n$ matrices $X$:
(Any matrices A and B are fixed n by n matrices.)
(a) $T(X) = X^T$
(b) $T(X) = X^TX$
(c) $T(X) = A.*X$
(d) $T(X) = BXA^T$
(e) $T(X) = AXA$
(8) Suppose for polynomials of the form $P(x) = a+bx+cx^2 +dx^3$, we say that $P_1 \perp P_2$ when $\int_0^1 P_1(t) P_2(t) dt$ =0. (a) Explain why this is a natural genaralization of dot product. (b) Describe the polynomials that are orthogonal to the constants $P(x)=a$. (c) What is the dimensionality of the set of functions of the form a+bx+cx^2 that are orthogonal to the constants.
(9) Consider the graph and associated matrix from Strang's book p.453. You will not need to own the book, nor be familiar with circuits to do this problem.
A graph is a collection of n vertices (called nodes) and m directed line segments called edges. The information in a graph can be tabulated in matrix form. Row i of A corresponds to edge i, there is -1 in the outgoing vertex and a +1 for the incoming. For example edge 6 goes from node 3 to node 4, so there is a -1 in the (6,3) entry and a +1 in the (6,4) entry.
From a column viewpoint, column j has a +1 for all incoming edges, and a -1 for all outgoing edges.
From an imformation view, there is no difference between the picture on the left, and the matrix A.
Here is A in Julia, it's rank and rows 1,2,and 4.
A = [-1 1 0 0
-1 0 1 0
0 -1 1 0
-1 0 0 1
0 -1 0 1
0 0 -1 1]
6×4 Array{Int64,2}: -1 1 0 0 -1 0 1 0 0 -1 1 0 -1 0 0 1 0 -1 0 1 0 0 -1 1
using LinearAlgebra
rank(A)
3
A[ [1,2,4], :]
3×4 Array{Int64,2}: -1 1 0 0 -1 0 1 0 -1 0 0 1
(A) Argue that the rows above are independent without a computer.
(B) Find a nullspace vector for the matrix A and argue that the rank of A must therefore be 3.
(C) There are four conditions, one at each node, that one can check for a vector $b$ in $R^6$ to be in the left nullspace. If you speak the language of electrical current, say something about current "in" and current "out" at each node if $b$ is in the left-nullspace. Otherwise just write the four equations.
A loop is defined as a path that traverses each node no more than once. It can be encoded as vector of ±1 where +1 means the loop follows the edge in the direction of the arrow, and -1 is the opposite. The three loops encoded as vectors appear above.
(D) These three vectors are a basis for the __(fill in the blank) __space of A.
(E) Use the result of (D) to find three conditions that are equivalent to the four conditions in (C). (No worries if you haven't seen this before, but this is the rigorous approach to loop currents that you may have seen in a physics or EE class. Loop currents are a basis for a fundamental space and therefore are more efficient than examining every node.)
(F) Suppose v is in $R^4$, the result of $Av$ is physically known as the voltage drop vector. Argue that all voltage drop vectors are orthogonal to the three loop vectors above.
(10) Draw your own (connected) graph with five or more nodes and enough loops,
(A) draw the "A" matrix with one +1 and one -1 in each row
(B) argue that the rank of A is n-1
(C) investigate loop vectors, i think there should be m-r = m-(n-1) independent ones. Can you find a basis for the right fundamental subspace with m-(n-1) independent vectors?
(Note: "connected" means that every node can get to every other node by following edges in the + or - direction)