Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Linear transformation

  1. Nov 1, 2013 #1
    I know that every linear transformation from Rn to Rm can be represented in a matrix form.

    What about a transformation from a

    1. Infinite dimension to infinte dimension
    2.finite to infinite dimension
    3.infinite to finite dimension
    Can they represented by matrix form....?

    Before this one question is there a linear transformation from Infinite dimension to infinte dimension, finite to infinite dimension and vice versa..?

    Any help appreciated.

    Thanks in advance.
  2. jcsd
  3. Nov 1, 2013 #2
    Algebraic version:

    If your definition of a linear transformation is just a linear map between two real vector spaces, [itex]T:V\to W[/itex], then it depends on how you define a matrix.
    - One definition of a matrix is as an element of [itex]\mathbb R^{I\times J}[/itex], where [itex]I,J[/itex] are arbitrary sets. Fix [itex]M=(m_{i,j})_{i\in I, j\in J}\in \mathbb R^{I\times J}[/itex]... For any [itex]i\in I[/itex], we can think of the row [itex]i[/itex] of [itex]M[/itex] as [itex](m_{i,j})_{j\in J}[/itex]. For any [itex]j\in J[/itex], we can think of the column [itex]j[/itex] of [itex]M[/itex] as [itex](m_{i,j})_{i\in I}[/itex].
    - If this is how you define a matrix, then there's a sensible way of representing [itex]T[/itex] as a matrix. Fix a basis [itex]\{v_j\}_{j\in J}\subseteq V[/itex] and a basis [itex]\{w_i\}_{i\in I}\subseteq W[/itex]. Here, a basis for the vector space means a subset such that every element of the vector space can be represented as a unique linear combination of finitely many elements of the subset. (Sometimes, this is called a Hamel basis.)
    - Then define the matrix [itex]M\in \mathbb R^{I\times J}[/itex] (in which every column has finitely many non-zero entries) by letting column [itex]j\in J[/itex] satisfy [itex]T(v_j)=\sum_{i\in I} m_{i,j} w_i[/itex]. (In this sum, just don't count entries with [itex]m_{i,j}=0[/itex], and then it's a finite sum). By definition of a basis, there's a unique way to do this (once the basis has been fixed).

    - By doing the same thing in reverse, fixing bases [itex](v_j)_{j\in J}[/itex] and [itex](w_i)_{i\in I}[/itex], every [itex]M\in \mathbb R^{I\times J}[/itex] with each column having finitely many nonzero entries will then induce a unique linear transformation [itex]T:V\to W[/itex].
  4. Nov 1, 2013 #3

    If you have a notion of convergence, and you want to allow for infinite sums, things become subtler, and matrices become a little more useful. [The construction in the above post is some form of matrix representation, but it's not really useful in any way.]

    One example: There's a very nice way of using matrices (with countably many rows/columns) to describe continuous linear transformations between separable Hilbert spaces. E.g. between [itex]l^2[/itex] and [itex]l^2[/itex], or between [itex]\mathbb R^n[/itex] and [itex]l^2[/itex]. This is a totally different construction than the one I gave above, and it illuminates some senses in which [itex]l^2[/itex] behaves very similarly to [itex]\mathbb R^n[/itex]. That's why it's many people's favourite example of an infinite-dimensional vector space.
  5. Nov 1, 2013 #4
    We can represent the linear transformation from 1. Infinite dimension to infinte dimension2.finite to infinite dimension3.infinite to finite dimension interms of matrix, if convergence (catchy sequence) exist in the infinite dimension, if not we can't represent it in matrix form........correct..?
  6. Nov 2, 2013 #5


    User Avatar
    Science Advisor

    Transformations from and to infinite dimensional spaces are typically represented as itegrals of the form [itex]\int K(x, t)f(t)dt[/itex] where "f(t)" gives, for each t, the componts of the "vector".

    (Infinite dimensional vector spaces are typically not dealt with in "Linear Algebra", which is often defined as "the theory of finite dimensional vector spaces", but in "Functional Analysis".)
  7. Nov 2, 2013 #6
    Can we transform a infinite dimensional space to finite dimension and vice versa .....?
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook