Proof regarding linear functionals

Click For Summary
The discussion centers on proving that if σ(v) = Φ1(v)Φ2(v) is a linear functional in the dual space V*, then either Φ1 or Φ2 must be zero. The initial approach involves using the linearity of σ to derive equations that relate Φ1 and Φ2. By substituting specific vectors into these equations, it is shown that if one functional is non-zero, the other must be zero. Ultimately, the conclusion is reached that at least one of the functionals, Φ1 or Φ2, must be identically zero, confirming the original statement. The proof illustrates the interplay between linear functionals and their implications in vector spaces.
Adgorn
Messages
133
Reaction score
19

Homework Statement


Let V be a vector space over R. let Φ1, Φ2 ∈ V* (the duel space) and suppose σ:V→R, defined by σ(v)=Φ1(v)Φ2(v), also belongs to V*. Show that either Φ1 = 0 or Φ2 = 0.

Homework Equations


N/A

The Attempt at a Solution


Since σ is also an element of the duel space, it is linear, so σ(v+u)=σ(v)+σ(u). Translating both sides into terms of Φ1 and Φ[SUB}2[/SUB], I came up with the equation
(1) Φ1(v)Φ2(u)+Φ1(u)Φ2(v)=0.

Doing the same with σ(av+bu) and plugging in equation (1) produced the equation
(2) a2Φ1(v)Φ2(v)+b2Φ1(u)Φ2(u)=aΦ1(v)Φ2(v)+bΦ1(u)Φ2

This is where I got stuck, perhaps there is a trick I am not seeing to this equation or perhaps I approached this the wrong way. Any help would be appreciated.
 
Physics news on Phys.org
Adgorn said:

Homework Statement


Let V be a vector space over R. let Φ1, Φ2 ∈ V* (the duel space) and suppose σ:V→R, defined by σ(v)=Φ1(v)Φ2(v), also belongs to V*. Show that either Φ1 = 0 or Φ2 = 0.

Homework Equations


N/A

The Attempt at a Solution


Since σ is also an element of the duel space, it is linear, so σ(v+u)=σ(v)+σ(u). Translating both sides into terms of Φ1 and Φ[SUB}2[/SUB], I came up with the equation
(1) Φ1(v)Φ2(u)+Φ1(u)Φ2(v)=0.

Doing the same with σ(av+bu) and plugging in equation (1) produced the equation
(2) a2Φ1(v)Φ2(v)+b2Φ1(u)Φ2(u)=aΦ1(v)Φ2(v)+bΦ1(u)Φ2

This is where I got stuck, perhaps there is a trick I am not seeing to this equation or perhaps I approached this the wrong way. Any help would be appreciated.

You're on the right track. Go back to equation (1) and try ##u = v##.
 
  • Like
Likes Adgorn
PeroK said:
You're on the right track. Go back to equation (1) and try ##u = v##.
I see, thank you for the help, I solved it.
 
Adgorn said:
I see, thank you for the help, I solved it.

Are you sure?
 
PeroK said:
Are you sure?
I think so. Plugging in u=v into Φ1(v)Φ2(u)+Φ1(u)Φ2(v)=0 resulted in Φ1(v)Φ2(v)+Φ1(v)Φ2(v)=0, meaning Φ1(v)Φ2(v)=0. Since these are elements of a field, it means either Φ1(v)=0 or Φ2(v)=0, and since v is arbitrary, this means either Φ1=0 or Φ2=0.
 
Adgorn said:
I think so. Plugging in u=v into Φ1(v)Φ2(u)+Φ1(u)Φ2(v)=0 resulted in Φ1(v)Φ2(v)+Φ1(v)Φ2(v)=0, meaning Φ1(v)Φ2(v)=0. Since these are elements of a field, it means either Φ1(v)=0 or Φ2(v)=0, and since v is arbitrary, this means either Φ1=0 or Φ2=0.

I guessed that is what you had done! What you have shown there is:

##\forall \ v: \ \Phi_1(v) = 0## or ##\Phi_2(v) = 0## (Equation 3)

That means that for some ##v## it could be ##\Phi_1(v) = 0## and for some other ##v## it could be ##\Phi_2(v) = 0##. But, you haven't shown that either ##\Phi_1 = 0## or ##\Phi_2 = 0##.

So, there is still work to do. Let me help with the next step. Suppose ##\Phi_1 \ne 0##. We have to show that then ##\Phi_2 = 0##.

Can you use equations (1) and (3) to do this?
 
  • Like
Likes Adgorn
I see. So let us assume Φ1≠0, Then it means there exists w∈V such that Φ1(w)≠0, let us denote the set of all such vectors with S. since for every vector v∈V Φ1(v) is either 0 or not 0, V=S∪Ker(Φ1).We plug one of these (arbitrary) w into equation 3 and get Φ1(w)Φ2(w)=0, since Φ1(w)≠0, it means Φ2(w)=0. And since this applies to every w∈S, it means Φ2(S)=0.

Now we must show that Φ2(u)=0 ∀u∈Ker(Φ1). Let us take an arbitrary vector u from Ker(Φ1) and plug it in equation 1 along with another vector w∈S: Φ1(u)Φ2(w)+Φ1(w)Φ2(u)=0. Since u∈Ker(Φ1), Φ1(u)Φ2(w)=0. Thus, Φ1(w)Φ2(u)=0, and since Φ1(w)≠0 by definition, this means Φ2(u)=0 ∀u∈Ker(Φ1).

Combining these two results give us Φ2(v)=0 ∀v∈V, and so Φ2=0. Doing the same process by assuming Φ2≠0 produces the result Φ1=0.
 
Adgorn said:
I see. So let us assume Φ1≠0, Then it means there exists w∈V such that Φ1(w)≠0, let us denote the set of all such vectors with S. since for every vector v∈V Φ1(v) is either 0 or not 0, V=S∪Ker(Φ1).We plug one of these (arbitrary) w into equation 3 and get Φ1(w)Φ2(w)=0, since Φ1(w)≠0, it means Φ2(w)=0. And since this applies to every w∈S, it means Φ2(S)=0.

Now we must show that Φ2(u)=0 ∀u∈Ker(Φ1). Let us take an arbitrary vector u from Ker(Φ1) and plug it in equation 1 along with another vector w∈S: Φ1(u)Φ2(w)+Φ1(w)Φ2(u)=0. Since u∈Ker(Φ1), Φ1(u)Φ2(w)=0. Thus, Φ1(w)Φ2(u)=0, and since Φ1(w)≠0 by definition, this means Φ2(u)=0 ∀u∈Ker(Φ1).

Combining these two results give us Φ2(v)=0 ∀v∈V, and so Φ2=0. Doing the same process by assuming Φ2≠0 produces the result Φ1=0.

I can't see any mistakes there, although your solution is more complicated than I was expecting. If I pick up your proof from here:

Adgorn said:
I see. So let us assume Φ1≠0, Then it means there exists w∈V such that Φ1(w)≠0

Then, I would use equation 3 to note that ##\Phi_2(w) = 0## and hence (from equation 1) we have:

##\forall v \in V: \ \Phi_1(w)\Phi_2(v) = 0##

Hence ##\forall v \in V: \ \Phi_2(v) = 0##

And the result follows.

Note also that there is no need to repeat the process for ##\Phi_2##. If ##\Phi_1 = 0##, then we are done. And, if ##\Phi_1 \ne 0## we have shown that ##\Phi_2 = 0##. In either case, one of the functionals must be ##0##. And, there is no need to do any more.
 
  • Like
Likes Adgorn
Adgorn said:
Let V be a vector space over R. let Φ1, Φ2 ∈ V* (the duel space) and suppose σ:V→R, defined by σ(v)=Φ1(v)Φ2(v), also belongs to V*. Show that either Φ1 = 0 or Φ2 = 0.
Assume that both functions ##\Phi_1,\Phi_2## are not equal to zero identically. Then there exist a vector ##v## such that ##\Phi_1(v)\Phi_2(v)\ne 0##.
So that ##\sigma(\lambda v)=\lambda^2\Phi_1(v)\Phi_2(v)\Longrightarrow \sigma( v)=\lambda\Phi_1(v)\Phi_2(v),\quad \forall\lambda\ne 0##
This is possible if only ##\Phi_1(v)\Phi_2(v)=0## Contradiction.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 7 ·
Replies
7
Views
1K
Replies
1
Views
1K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
12
Views
2K