Linear Transformations (or lack thereof)

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
8 replies · 1K views
nateHI
Messages
145
Reaction score
4

Homework Statement


Let V be the set of complex numbers regarded as a vector space over the real numbers R. Find a linear transformation T: V → V which is not complex linear (i.e. not a linear transformation if V is regarded as a vector space over the complex numbers).


Homework Equations



V=R(i)

The Attempt at a Solution


I have a solution. What I need is a better explanation of what complex linear means. Or perhaps a rewording of the problem statement so I might have a better understanding of why my solution is a solution.
 
Physics news on Phys.org
hi nateHI! :smile:
nateHI said:
What I need is a better explanation of what complex linear means. Or perhaps a rewording of the problem statement so I might have a better understanding of why my solution is a solution.

f is linear if f(λa + µb) = λf(a) + µf(b) for all scalars λ and µ

so what happens eg if λ = i ? :wink:
 
"... regarded as a vector space over the real numbers R"

What does that mean?
 
I think they mean z = u +iv with (u,v) in RxR.
 
nateHI said:

Homework Statement


Let V be the set of complex numbers regarded as a vector space over the real numbers R. Find a linear transformation T: V → V which is not complex linear (i.e. not a linear transformation if V is regarded as a vector space over the complex numbers).


Homework Equations



V=R(i)

The Attempt at a Solution


I have a solution. What I need is a better explanation of what complex linear means. Or perhaps a rewording of the problem statement so I might have a better understanding of why my solution is a solution.

The complex numbers are a 1-dimensional vector space over themselves, so a complex-linear map [itex]\mathbb{C} \to \mathbb{C}[/itex] is a map of the form [itex]z \mapsto az[/itex] for some [itex]a \in \mathbb{C}[/itex], ie. multiplication by a constant.

The map which takes [itex]z = x + iy[/itex] to its complex conjugate [itex]z^{*} = x - iy[/itex] is not of that form (there is no [itex]a \in \mathbb{C}[/itex] such that [itex]z^{*} = az[/itex] for all [itex]z \in \mathbb{C}[/itex]), and so is not complex linear. But it is real linear (it's just [itex](x,y) \mapsto (x, -y)[/itex]).

Therefore the map which takes [itex]z[/itex] to its real part [itex]\frac12 (z + z^{*})[/itex] is not complex linear either.
 
pasmith said:
The map which takes [itex]z = x + iy[/itex] to its complex conjugate [itex]z^{*} = x - iy[/itex] is not of that form (there is no [itex]a \in \mathbb{C}[/itex] such that [itex]z^{*} = az[/itex] for all [itex]z \in \mathbb{C}[/itex]), and so is not complex linear. But it is real linear (it's just [itex](x,y) \mapsto (x, -y)[/itex]).

No not true, take z = i then z* = -i, take a =-1 and you got it.
 
dirk_mec1 said:
No not true, take z = i then z* = -i, take a =-1 and you got it.

Your [itex]a[/itex] must work FOR ALL [itex]z \in \mathbb{C}[/itex]! Finding an [itex]a[/itex] which works for one [itex]z[/itex] is irrelevant!
 
You're right my bad.
 
OK, I get it now. Thanks pasmith and everyone else.