WHAT we do: plug into rank+nullity=dimV.
WHY: the theorem is an equation with three slots; given two, the third is forced.
The domain is R7 so dimV=7. Then
rank(T)=dimV−nullity(T)=7−3=4.
Notice the codomain R4 never entered — we balanced against the domainR7.
Recall Solution 1.2
WHAT we do: bound the rank from both sides.
The image sits inside the codomain, so rank≤dimW=9. But the image is also fed only by 5 input directions, so rank=dimV−nullity≤dimV=5. Since 7>5, it is impossible.
Answer: False. The tightest cap is rank≤min(dimV,dimW)=min(5,9)=5.
WHAT we do: row-reduce to count pivots (that count is the rank — see Rank of a Matrix (row vs column space)).
WHY: each pivot marks one independent surviving direction of the column space = image.
Subtract row 1 from row 3: R3→R3−R1=(0,1,1,1). That equals row 2, so R3→R3−R2=(0,0,0,0).
100210010110.
Two nonzero pivot rows ⇒rank=2.
By the theorem, with dimV=4:
nullity=4−2=2,rank=2.
Recall Solution 2.2
Kernel:p′=0 forces p constant, so kerT={constants}, a 1-dimensional space ⇒nullity=1.
Image: differentiating the basis {1,x,x2,x3,x4} gives {0,1,2x,3x2,4x3}, which spans P3 (degree ≤3). So the image is P3, dim=4⇒rank=4.
Check:4+1=5=dimP4. ✓ The theorem holds on abstract spaces, not just Rn.
WHAT we do: turn nullity 0 into injectivity, then use rank–nullity for surjectivity.
Nullity 0⇒ injective:kerT={0} (dimension 0 means only the zero vector). If T(a)=T(b) then T(a−b)=0 so a−b∈kerT={0}, giving a=b. Injective.
Injective ⇒ surjective here: by the theorem rank=dimV−0=n. The image is an n-dimensional subspace of the n-dimensional codomain Rn, so the image is all of Rn. Surjective.
Injective + surjective = bijective, hence invertible. See Invertible Linear Maps and Isomorphisms. ■Key idea: for a square situation (dimV=dimW), injective ⇔ surjective ⇔ invertible — rank–nullity glues these together.
Recall Solution 3.2
WHAT we do: identify the solution space of Ax=0 as kerT where T:R6→R3.
The number of unknowns is 6=dimV. Pivots =rank=2, so
free variables=dimV−rank=6−2=4.
The solution space is exactly the kernel, so its dimension is the nullity =4 (see Solving Linear Systems — free variables count). Free-variable count and nullity are the same number.
WHAT we do:T∘S first lands in imS (a 3-dim space inside R4), then T acts on it.
Upper bound: the composite's image is T applied to imS, which cannot be bigger than either imS or imT. So
rank(T∘S)≤min(rankS,rankT)=min(3,2)=2.Lower bound: restricting T to the 3-dimensional imS, rank–nullity on this restriction gives
rank(T∘S)≥rank(S)−nullity(T)=3−(4−2)=3−2=1.
So 1≤rank(T∘S)≤2, and both values are achievable — the data alone cannot pin it. (The claim in the prompt is a deliberate misdirection; the honest answer is the range.)
Recall Solution 4.2
WHAT we do:T2=0 means every output of T is killed by the next T, i.e. imT⊆kerT.
WHY: for any v, T(T(v))=0, so T(v)∈kerT; that's exactly imT⊆kerT.
Taking dimensions of nested subspaces:
rank(T)=dim(imT)≤dim(kerT)=nullity(T).
Now apply rank–nullity, rank+nullity=4. Since rank≤nullity,
2rank≤rank+nullity=4⇒rank≤2.■
Because T=0 also rank≥1, so rank∈{1,2}.
WHAT we do: build a clever linear map whose kernel and image are the pieces we want.
Define
T:U×W→V,T(u,w)=u−w.
This is linear, and its domain U×W has dimension dimU+dimW (concatenate a basis of U with a basis of W; see Dimension of a Vector Space).
Image of T: all differences u−w with u∈U,w∈W. Every element of U+W can be written u+w=u−(−w) and −w∈W, so imT=U+W. Thus rankT=dim(U+W).
Kernel of T:u−w=0 means u=w, so the common vector lies in U∩W. The kernel is {(x,x):x∈U∩W}, which is isomorphic to U∩W, giving nullityT=dim(U∩W).
Apply rank–nullity on T:
rankdim(U+W)+nullitydim(U∩W)=dim(U×W)dimU+dimW.
Rearrange to get the formula. ■The lesson: to prove a dimension identity, engineer a map so the identity becomes rank + nullity = domain.
Recall Solution 5.2
From dim(U+W)=dimU+dimW−dim(U∩W)=9−dim(U∩W).
The sum U+W lives in R6, so dim(U+W)≤6. Therefore
9−dim(U∩W)≤6⇒dim(U∩W)≥3.
The smallest intersection dimension is 3, attained when U+W=R6.
Cross-check via T: domain dimension =4+5=9, image ≤dimR6=6, so nullity=9−rank≥9−6=3, matching dim(U∩W)≥3.
The engineered-map idea in 5.1 is worth a picture: