1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Questions about Linear Algebra

  1. Oct 8, 2012 #1
    1. The problem statement, all variables and given/known data

    Let [itex]A \in M_n(F) [/itex] and [itex]v \in F^b [/itex].

    Also...[itex][g \in F[x] : g(A)(v)=0] = Ann_A (v) [/itex] is an ideal in F[x], called the annihilator of v with respect to A. We know that [itex] g \in Ann_A(v) [/itex] if and only if f|g in F[x]. Let [itex]V = Span(v, Av, A^2v, ... , A^{k-1}v).[/itex]. V is teh smallest A-invariant subspace containing v. We denote the fact by writing V=F[x]v. This corresponds to the F[x]-module structure on [itex]F^n[/itex] induced by multiplication by A. We also know that [itex]v, Av, A^2v, ... , A^{k-1}v[/itex] is a basis, B, of v.

    Now these are the questions...

    1) Define [itex]Ann_A(V) =[g \in F[x] : g(A)(w) = 0 for all w \in V].[/itex] Show that [itex]Ann_A(V)=Ann_A(v)[/itex]

    2) Let T: V -> V be induced by multiplication by A: T(w)=Aw for [itex]w \in V[/itex]. Show that [itex]Ann_A(V) = [g \in F[x] : g(T) = 0] = [g \in F[x]: g([T]_B)=0][/itex].

    Here the first one means that g(T): V -> V is the 0-transformation and the second one means that g([T]_B) is the 0-matrix. Since [itex]Ann_A(V) = (f) = [g \in F[x]: f|g][/itex], we write [itex]f=min_T(x)[/itex], the monic polynomial of lowest degree with f(T)=0.

    2. Relevant equations

    3. The attempt at a solution

    My answers:

    1) In order to show that [itex]Ann_A(V)=Ann_A(v)[/itex], I need to show that [itex]Ann_A(V) \subset Ann_A(v)[/itex] and [itex]Ann_A(v ) \subset Ann_A(V)[/itex]. It is clear that [itex]Ann_A(v ) \subset Ann_A(V)[/itex], since v is in V.

    In order to show that [itex]Ann_A(V) \subset Ann_A(v)[/itex]...

    we say that, since [itex]Ann_A(V) = [g \in F[x] : g(A)(w) = 0 for all w \in V][/itex], then g(A) must be zero for A restricted to V. So, assuming that it is zero when A is restricted to V, [itex]Ann_A(V) \subset Ann_A(v)[/itex]. So they must be equal.

    2) We say g(T) = g(A), where A is restricted to v.

    [itex]g(x) = c_0 + c_1x +... + c_tx^t [/itex] and [itex] g(T)w= (c_0 + c_1T + ... + c_tT^t)(w) = c_0w + c_1Tw +... + c_t(T)^t)(w) = c_0w + c_1Aw + ... + c_t(A)^tw = (c_0 + c_1A + ... + c_tA^t)(w) = g(A)w [/itex].

    So [itex] [g \in F[x]: g(A).w = 0 for all w \in V][/itex] = [itex][g \in F[x]: g(T).w=0 for all w \in V][/itex] = [itex][g \in F: g(T) = 0][/itex].

    Now for the second one, we do the exact same thing, except that we say [itex]g([T]_B) = g(A)[/itex], where g(A) is restricted to [itex][v]_B[/itex].


    [itex]g(x) = c_0 + c_1x +... + c_tx^t [/itex] and [itex] g([T]_B)w= (c_0 + c_1[T]_B + ... + c_t{[T]_B}^t)(w) = c_0w + c_1[T]_Bw +... + c_t{[T]_B}^t)(w) = c_0w + c_1Aw + ... + c_t(A)^tw = (c_0 + c_1A + ... + c_tA^t)(w) = g(A)w [/itex].

    So [itex] [g \in F[x]: g(A).w = 0 for all w \in V][/itex] = [itex][g \in F[x]: g([T]_B).w=0 for all w \in V][/itex] = [itex][g \in F: g([T]_B) = 0][/itex]

    Do you think my answers are correct? If not, then can you tell me why?

    Thanks in advance
    Last edited: Oct 8, 2012
  2. jcsd
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?
Draft saved Draft deleted