12
$\begingroup$

I am trying to find out the essence of what a determinant is. Besides, in finite dimensions, determinant is the kind of numerical invariant that determines the invertibility of a linear operator, but what about infinite case? Is there a similar invariant? Why if not?

$\endgroup$
5
  • 1
    $\begingroup$ If $V$ is a vector space and $f$ is an endomorphism of $V$, then sometimes a determinant $\det f$ can be defined even without requiring $V$ to be finite-dimensional. For example, if there is a finite-dimensional vector subspace $W$ of $V$ such that $f\left(V\right)\subseteq W$, then we can define $\det f$ to be the determinant of the map $W\to W$ obtained by restricting $f$; this will actually be independent on $W$ (as long as $W$ satisfies $f\left(V\right)\subseteq W$). But this is a rather trivial case (although surprisingly useful in K-theory). $\endgroup$ Apr 4, 2013 at 1:33
  • $\begingroup$ If $V$ is Banach(?), there might be a more general type of endomorphisms $f$ for which $\det f$ could be defined in some reasonable way; "determinant-class" endomorphisms, so to speak (in analogy to trace-class endomorphisms). In the general case, however, determinants make no sense in infinite dimensions. This shouldn't be very surprising since, e. g., an injective endomorphism of an infinite-dimensional space can fail to be surjective, and vice versa. $\endgroup$ Apr 4, 2013 at 1:36
  • 2
    $\begingroup$ For me, "the essence of what a determinant is" is the measure of the distortion of volume. But volume is a complicated notion in infinite dimensions. $\endgroup$ Apr 4, 2013 at 1:51
  • 2
    $\begingroup$ @darij: The condition you described only lets you define $\det (1-Tf)$. This will be a polynomial whose roots are the reciprocals of the nonzero eigenvalues of $f$. $\endgroup$ Apr 4, 2013 at 2:42
  • $\begingroup$ Oh, right! Yeah, that's what I meant. $\endgroup$ Apr 4, 2013 at 3:53

6 Answers 6

19
$\begingroup$

We can define the Fredholm determinant on operators on Hilbert space which differ from the identity by a trace-class operator. This satisfies $$\det(\exp(T)) = \exp(\text{Tr}(T))$$ for trace-class operators $T$. See http://en.wikipedia.org/wiki/Fredholm_determinant

$\endgroup$
1
  • 2
    $\begingroup$ Thank you Professor Israel. Now everything is perfectly understandable! $\endgroup$
    – Xuxu
    Apr 6, 2013 at 2:21
13
$\begingroup$

Attempting to define a well-behaved "infinite-dimensional determinant" for all operators will get us into trouble fairly quickly. Consider, for example, a vector space $V$ of countably infinite dimension and let $A$ be multiplication by some nonzero scalar $\lambda\neq1$. Then $A$ is certainly invertible so its putative determinant should be nonzero. But now upon fixing a basis for $V$ we get the following matrix identities $$ A = \begin{pmatrix} \lambda \\ & \lambda \\ & & \lambda \\ & & & \ddots \end{pmatrix} = \begin{pmatrix} \lambda \\ & 1 \\ & & 1\\ & & & \ddots \end{pmatrix} \begin{pmatrix} 1 \\ & \lambda \\ & & \lambda \\ & & & \ddots \end{pmatrix} = \begin{pmatrix} \lambda \\ & I \end{pmatrix} \begin{pmatrix} 1 \\ & A \end{pmatrix}. $$ If we expect our determinant to behave like its finite-dimensional counterpart, then the above would yield $\det A = \lambda \det A$ and consequently that $\det A = 0$, counter to what we expect from the invertibility of $A$.

So in attempting to define $\det$ for operators on infinite-dimensional spaces, you either have to restrict the class of operators under consideration or lower your expectations of how your $\det$ will be analogous to the finite-dimensional one.

$\endgroup$
8
$\begingroup$

I am trying to find out the essence of what a determinant is.

The abstract way to define the determinant of a linear operator $T : V \to V$ of a finite-dimensional vector space is that it is the induced action of $T$ on the top exterior power $\Lambda^n(T) : \Lambda^n(V) \to \Lambda^n(V)$, where $n = \dim V$. The top exterior power is $1$-dimensional, so $\Lambda^n(T)$ is canonically a scalar. By functoriality of the exterior power, $T \mapsto \Lambda^n(T)$ is a monoid homomorphism, which is why it detects invertibility.

So you can see what the problem is in infinite dimensions: if $V$ is infinite-dimensional, there is no top exterior power! All the exterior powers are also infinite-dimensional.

$\endgroup$
3
  • $\begingroup$ [deleted some earlier comments as they are addressed in the Wikipedia page Robert Israel links to] $\endgroup$
    – Yemon Choi
    Apr 4, 2013 at 6:17
  • 2
    $\begingroup$ For $T$ sufficiently close to the identity, one might hope for a reasonable way to define an action of $T$ on an "infinite exterior power" $\Lambda^{\dim V}(V)$ (there is an infinite product that has a hope of converging), and I guess this is what the Fredholm determinant makes precise. $\endgroup$ Apr 4, 2013 at 6:17
  • 1
    $\begingroup$ Thank you so much Qiaochu. It just occurred to me that I've run into the stuff of viewing determinant as actions on top exterior forms when studying smooth manifolds, but your comments for infinite case is really inspiring and I really appreciate your help! $\endgroup$
    – Xuxu
    Apr 6, 2013 at 2:19
4
$\begingroup$

There are modifications of the notion of Fredholm determinant for operators on Hilbert space which differ from the identity by an operator from a von Neumann-Schatten ideal. A related notion is the one of a von Koch determinant defined for some classes of infinite matrices. For all this see

Gohberg, I.C.; Krein, M.G. Introduction to the theory of linear nonselfadjoint operators. Translations of Mathematical Monographs. 18. Providence, RI: American Mathematical Society, 1969.

$\endgroup$
3
$\begingroup$

The answers above point out that one cannot define a determinant in a meaningful way on the algebra of bounded operators on a Banach space, unless finite-dimensional. However, this does not preclude the possibility of doing this for suitable subclasses and this is precisely what Alexander Grothendieck did in his celebrated (amongst functional analysts) article "Théorie de Fredholm" (Bull. Soc. Math. vol. 84---freely available online). This is one of those articles which changed the face of mathematics forever. The closely related question of which operators have a trace has been investigated in great detail, by, for example, Albrecht Pietsch and Hermann König.

$\endgroup$
1
  • $\begingroup$ I believe this is related to the reference Robert Israel gives for the Fredholm determinant? (And I guess this was what led Grothendick to the eponymous AP?) $\endgroup$
    – Yemon Choi
    Apr 4, 2013 at 6:41
1
$\begingroup$

To the references already given for the definition and the properties of the determinant $\det(I+T)$, where $T$ is of trace class, I would add:

Reed; Simon: Methods of Modern Mathematical Physics IV, 1978. Chapter 13

Taylor, M. E.: Partial Differential Equations I (Basic Theory), 1996. Appendix A.

Schmüdgen, K.: Unbounded Self-adjoint Operators on Hilbert Space. Springer GTM, 2011. Ch. 9, sect. 5.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.