Proving a transformation is not linear

  • Context: Undergrad 
  • Thread starter Thread starter Bipolarity
  • Start date Start date
  • Tags Tags
    Linear Transformation
Click For Summary

Discussion Overview

The discussion revolves around determining whether a certain transformation T is linear, specifically exploring the properties of additivity and homogeneity. Participants are examining various examples and counterexamples to illustrate their points, with a focus on transformations from real and complex fields.

Discussion Character

  • Debate/contested
  • Exploratory
  • Mathematical reasoning

Main Points Raised

  • One participant asserts that the transformation T is not linear since it may not satisfy the degree-1 homogeneity property, seeking a counterexample.
  • Another participant suggests that if T is a transformation from ##\mathbb{R}## to ##\mathbb{R}##, a counterexample can be constructed using the rational numbers as a basis for the real numbers, where T(x) = α_j fails the homogeneity condition for all real λ.
  • A different transformation T: ℂ → ℝ defined as T(x) = Re(x) is proposed, with the claim that it fails homogeneity due to the scalar i, while additivity is shown to hold.
  • One participant challenges the validity of the transformation by questioning the scalar fields involved, asserting that both domains must share the same scalar field for linearity to be defined.
  • After redefining the transformation as T: ℂ → ℂ, the participant seeks confirmation on its validity, which is affirmed by another participant.

Areas of Agreement / Disagreement

Participants express differing views on the linearity of the transformations discussed, with some asserting that certain examples are valid while others challenge these claims. The discussion remains unresolved regarding the overall classification of T as linear or not.

Contextual Notes

There are assumptions about the scalar fields of the transformations that may not be explicitly stated, and the implications of these assumptions on linearity are not fully explored. The discussion also involves varying interpretations of the transformations based on the fields involved.

Bipolarity
Messages
773
Reaction score
2
For a certain transformation T, it is known that [itex]T(x+y) = T(x) + T(y)[/itex]

It is required to determine whether this transformation is linear. Obviously it is not, since it need not satisfy the degree-1 homogeneity property of all linear maps.

I'm just having trouble cooking up the counterexample. Any ideas? Thanks!

BiP
 
Physics news on Phys.org
Is ##T:\mathbb{R}\rightarrow \mathbb{R}##?
And are there other things known about ##T## such as continuity?

If ##T:\mathbb{R}\rightarrow \mathbb{R}## and it is indeed true that the only thing you know is ##T(x + y) = T(x) + T(y)## then there is a counterexample for linearity. This is not an easy counterexample however. It consist in looking at ##\mathbb{R}## as a ##\mathbb{Q}##-vector space. As such, we have a basis ##\{e_i\}_{i\in I}## of ##\mathbb{R}##. So any element ##x\in \mathbb{R}## can be written uniquely as

[tex]x = \sum_{i\in I}\alpha_i e_i[/tex]

for some rational numbers ##\alpha_i\in \mathbb{Q}## such that only finitely many ##\alpha_i## are nonzero. Now take ##j\in I## fixed an consider

[tex]T(x) = \alpha_j[/tex]

this map satisfies ##T(x+y) = T(x) + T(y)##, but not ##T(\lambda x) = \lambda T(x)## for all ##\lambda \in \mathbb{R}## (it does satisfy it for ##\lambda in \mathbb{Q}## though).
 
I see. What about the following transformation [itex]T: ℂ → ℝ[/itex] where [itex]T(x) = Re(x)[/itex]. If the field is the complex field, then the scalar [itex]i[/itex] causes homogeneity to fail. Additivity is trivially shown.

Is this valid?

BiP
 
If you have a map ##T:V\rightarrow W## then it's assumed that both maps have the same scalar field (otherwise linear makes no sense). So I assume that both ##\mathbb{C}## and ##\mathbb{R}## are ##\mathbb{R}##-vector spaces. But then the map you mention is linear.
 
micromass said:
If you have a map ##T:V\rightarrow W## then it's assumed that both maps have the same scalar field (otherwise linear makes no sense). So I assume that both ##\mathbb{C}## and ##\mathbb{R}## are ##\mathbb{R}##-vector spaces. But then the map you mention is linear.

I'm sorry, if I redefined the transformation as:
##T:ℂ\rightarrow ℂ## then is my example valid?

BiP
 
Bipolarity said:
I'm sorry, if I redefined the transformation as:
##T:ℂ\rightarrow ℂ## then is my example valid?

BiP

Yes, that would be a valid example.
 

Similar threads

  • · Replies 23 ·
Replies
23
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 2 ·
Replies
2
Views
1K