3
$\begingroup$

I suppose this is part terminology question and part math, but I am trying to untangle what we mean when we say "The linear function $f$ maps $R_{m\times n}$ space to $R_{m}$ space", and "The linear function $f$ maps $R_{m\times n}$ space to $R_{1}$ space".

To wit:

Let us say that there exists an $m\times n$ matrix $A$, and a function $f$ that maps $R_{m\times n}$ space to $R_{m}$ space. In this case, such a function $f$ can be an $n\times 1$ vector $v$. Thus, to apply the function, we have simply:

$$ f(A_{m\times n}) = A_{m\times n}v_{n\times 1} =b_{m\times 1}$$

So here, the function $f$ is the vector $v$.

My question is when we read the statement "The linear function $f$ maps the $R_{m\times n}$ space to $R_{1}$ space", (scalar), then what is an example of this function? It cant be just a vector or just a matrix, so what does it look like? I realize we can do $v^{T}Av$ if $A$ is a square, and this will give a scalar, but what is the function here?

Thanks

3 Answers 3

5

A linear function from ${\mathbb R}^{m \times n}$ to $\mathbb R$ can be written in the form $f(A) = \text{Tr}(A B)$ where $B \in {\mathbb R}^{n \times m}$ and $\text{Tr}$ means trace.

  • 0
    Ah! Thanks! Yes that makes sense... and as @MattPressland is saying, this transformation need not always be this 'neat'... I guess what was confusing me was that in mapping of spaces, I thought that they had to be 'neat', but they need not be it seems...2012-05-07
  • 1
    This answer contains the crucial word "linear", which puts more restrictions on what kinds of functions are allowed. This rules out the kinds of crazy things I was referring to (which is certainly a good thing), but also rules out the determinant as well. (It's also a very cool result that I didn't know, thanks Robert!)2012-05-07
  • 0
    @MattPressland Ah yes, shoot. I mistakenly omitted 'linear' although this is what I am after. >< . I have edited the question, but yes, I meant linear all along.2012-05-07
  • 0
    @Mohammad No problem - normally I would have assumed that, but I was a little uncomfortable about throwing the determinant away!2012-05-07
2

A function is just a set of rules for generating a single output (injective), given a certain input. You don't have to be able to write in down in an explicit way.

A classic example for a function that takes a matrix and outputs a scalar is the determinant, which is a perfectly good (and very useful) function.

  • 0
    I know what a function is. :-) What I mean is how would you write the function that maps $R_{mxn}$ space to $R_{1}$ space?2012-05-07
  • 1
    I don't think you meant to say injective there.2012-05-07
  • 0
    @Mohammad Which function? There are infinitely many.2012-05-07
  • 0
    @MattPressland If you just give an example of a function that maps $R_{mxn}$ space to $R_{1}$ space I can take it from there.2012-05-07
  • 1
    Well, @nbubis did, the determinant. But not all functions are that nice. If you don't put any restrictions on the function, it could assign elements of $R_1$ to the matrices in $R_{m\times n}$ seemingly at random, and have no neat closed form at all (this could happen whenever the domain is infinite).2012-05-07
2

If you remove the specification "linear" (as in the original formulation of the question), then there are many functions you might consider. A function to $\mathbb R$ is just a way of assigning a member of $\mathbb R$ (i.e. a Real Number) to each matrix.

This could be done at random, for example, but the functions of interest tend to be more regular. You could send each matrix to the number in the top left-hand corner, for example (normally position 1,1) - actually that function, and the others which send the matrix to the numbers in other positions pretty much underlie all that we do with matrices: so much so that we forget the functions exist.

You can make other functions out of multiple elements - the sum of all the elements would be one, for example, or the sum or product of a particular row or column. Again there are functions which are more interesting because they encapsulate features of the matrix which allow analysis or classification. Particularly important are ones which are unchanged when the basis of the underlying space is changed. As well as the Determinant and Trace, there is the Rank, for example. (See comments below too)

  • 0
    Thank you Mark. I have edited the question to be more specific, (I was talking about linear functions only but forgot to mention that). If you need to edit your answer please do, much appreciated.2012-05-07
  • 0
    Well, mine are not all linear (given the change), but things like individual elements or sums of elements are special cases of the Tr(AB) construction in Robert Israel's answer. His construction gives all linear combinations of all the $mn$ numbers in the original matrix. I'll leave the answer much as it is.2012-05-07
  • 0
    Ok, just making sure, thanks.2012-05-07