Suppose we have an infinite matrix A = (aij) (i, j positive integers). What is the "right" definition of determinant of such a matrix? (Or does such a notion even exist?) Of course, I don't necessarily expect every such matrix to have a determinant -- presumably there are questions of convergence -- but what should the quantity be? The problem I have is that there are several ways of looking at the determinant of a finite square matrix, and it's not clear to me what the "essence" of the determinant is.



Infinite matrices and the concept of "determinant"
There is a class of linear operators that have a determinant. They are, for some strange reason, known as "operators with a determinant".


For Banach spaces, the essential details go along these lines. Fix a Banach space, X, and consider the **finite rank** linear operators. That means that T: X → X is such that Im(T) is finite dimensional. Such operators have a well-defined trace, tr(T). Using this trace we can define a norm on the subspace of finite-rank operators. If our operator were diagonalisable, we would define it as the sum of the absolute values of the eigenvalues (of which only finitely many are non-zero, of course). This norm is finer than the operator norm. We then take the closure in the space of all operators of the space of finite-rank operators with respect to this trace norm. These operators are called **trace class** operators. For such, there is a well-defined notion of a trace.


(Incidentally, these operators form a two-sided ideal in the space of all operators and are actually the dual of the space of all operators via the pairing (S,T) → tr(ST).)


Now trace and determinant are very closely linked via the forumula etr T = det eT. This means that we can use our trace class operators to define a new class of "operators with a determinant". The key property should be that the exponential of a trace class operator should have a determinant. This suggests looking at the family of operators which differ from the identity by a trace class operator. Within this, we can look at the group of units, that is invertible operators.


So an "operator with a determinant" is an invertible operator that differs from the identity by one of trace class.


For more details, I recommend the book "Trace ideals and their applications" by Barry Simon (MR541149) and the article "On the homotopy type of certain groups of operators" by Richard Palais (MR0175130).


But defining the determinant of an arbitrary operator is, of course, impossible. One can always figure out a renormalisation for a *particular* operator but there just ain't gonna be a system that works for everything: obviously det(I) = 1 but then det(2I) = ?


(I should also say that I picked Banach spaces for ease of exposition. One can generalise this to locally convex topological spaces, but that involves handling nuclear materials so caution is advised.)


