1-1 and onto linear transformation question

Click For Summary
SUMMARY

The discussion centers on the linear transformation T: C^0[-1,1] → ℝ defined by T(f(x)) = ∫f(x)dx from -1 to 1. It is established that T is not one-to-one due to multiple continuous functions mapping to the same real number. The argument for T being onto is debated; while one participant suggests that the infinite dimension of C^0[-1,1] compared to the one-dimensional ℝ implies T is onto, another participant counters this by providing a counterexample of a linear transformation with a higher domain dimension that is not surjective. Ultimately, a direct proof of surjectivity is recommended by constructing a continuous function for any real number r.

PREREQUISITES
  • Understanding of linear transformations in functional analysis
  • Knowledge of the properties of continuous functions
  • Familiarity with the concepts of injective and surjective functions
  • Basic integration techniques over the interval [-1, 1]
NEXT STEPS
  • Study the properties of linear transformations in functional spaces
  • Learn about the implications of dimensions in linear mappings
  • Explore counterexamples in linear algebra to understand injectivity and surjectivity
  • Investigate the construction of continuous functions that achieve specific integral values
USEFUL FOR

Students and educators in mathematics, particularly those studying linear algebra and functional analysis, as well as anyone interested in the properties of linear transformations and continuous functions.

ironman1478
Messages
25
Reaction score
0

Homework Statement


Assume that T:C^0[-1,1] ---> ℝ. assume that T is a linear transformation that maps from the set of all continuous functions to the set of real numbers.
T(f(x)) = ∫f(x)dx from -1 to 1. is T one to one, is it onto, is it both or is it neither.

Homework Equations


definition:
one to one: if v(1) != v(2) then T(v(1)) != T(v(2)). the numbers in parenthesis are subscripts.
W
onto: if the range (image) of T is the whole of W; if every w ε W is the image under T of at least one vector v ε V

The Attempt at a Solution


i was able to show that it was not one to one because there are multiple values of f(x) that map to the same real number. however i am not sure if my justification for it being onto is correct. i said that because the dimension of C^0[-1,1] is infinite and the dimension of ℝ is one, we can say that dim[V] > dim[W] which implies that T is onto.

there is a little corollary to a theorem in my book that says that if T is onto, dim[V] >= dim[W]. because i showed that dim[V] > dim[W], can i say that T is onto?
 
Physics news on Phys.org
ironman1478 said:
i am not sure if my justification for it being onto is correct. i said that because the dimension of C^0[-1,1] is infinite and the dimension of ℝ is one, we can say that dim[V] > dim[W] which implies that T is onto.
This argument is incomplete at best. Consider e.g. the map P:ℝ3→ℝ2 defined by P(x,y,z)=(0,z). Clearly the dimensions of the domain and codomain are 3 and 2 respectively, but P is not surjective (onto). This P is also not injective. Your argument might work for injective functions, but I'm too tired to think about that right now.

It's very easy to prove that your T is surjective directly from the definition. Just let r be an arbitrary real number, and find a continuous function f such that Tf=r.
 

Similar threads

Replies
1
Views
1K
Replies
15
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
34
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K