Infinite-dimensional matrix multiplication

[alex5]

We know that infinite-dimensional matrix multiplication in general isn't asociative. But, is there any criteria when asociativity is valid?
thanks in advance.

 

[Hurkyl]

Well, isn't this the same thing as asking when you can interchange two summation symbols?

 

[alex5]

Yes, I think you'r right. Can we say: we can interchange two summation symbols if both exists?

 

[Chris Hillman]

Some buzzwords and a book

Relevant buzzwords include Tonelli theorem and Fubini theorem. In terms of doubly indexed infinite series, these basically say that absolute convergence is the key. See Bartle, The Elements of Real Analysis, 2nd Edition, Wiley, 1976, section 36, for an undergraduate level discussion.

 

[mathwonk]

I am puzzled. If multiplying infinite matrices corresponds to composing linear maps, as in the finite dimensional case, then it seems it would be associative, since composition is so.

I guess these matrices do not correspond to linear maps in the algebraic sense, as in that case there would be a finiteness condition on the number of non zero entries in the columns.

 

[NateTG]

I am puzzled. If multiplying infinite matrices corresponds to composing linear maps, as in the finite dimensional case, then it seems it would be associative, since composition is so.

I guess these matrices do not correspond to linear maps in the algebraic sense, as in that case there would be a finiteness condition on the number of non zero entries in the columns.

Consider, for example:

a_{ij}=\frac{1}{2^{i+j}}
b_{ij}=1
c_{ij}=\frac{1}{i+j}

Some products will be convergent, and some will be divergent.

 

[mathwonk]

one needs to be a little more precise. in linear algebra, convergence is not an issue, only in analysis.

so one needs to say what subject one is working in, and what one means by "associative".

the matrices you gave do not represent maps in terms of a basis in the linear algebra sense.

 

[NateTG]

one needs to be a little more precise. in linear algebra, convergence is not an issue, only in analysis.

so one needs to say what subject one is working in, and what one means by "associative".

the matrices you gave do not represent maps in terms of a basis in the linear algebra sense.

I meant that the elements in of the matrix are divergent sums.

 

[Chris Hillman]

(Is it perhaps Tonelli?)

Yes, indeed, thanks. I have made the correction.