Ancillary statistic: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
→‎Ancillary complement: deleted confusing qualifier "to T"
en>Yobot
m →‎Example: WP:CHECKWIKI error fixes using AWB (10093)
 
Line 1: Line 1:
{{Unreferenced|date=July 2009}}
Not much to say about me at all.<br>Finally a member of this site.<br>I really wish I am useful at all<br><br>Feel free to visit my site ... [http://michaelherlache.com/index.php?do=/profile-5147/info/ 4Inkjets Promotion]
In [[operator theory]], a bounded operator ''T'' on a [[Hilbert space]] is said to be '''[[nilpotent]]''' if ''T<sup>n</sup>'' = 0 for some ''n''. It is said to be '''quasinilpotent'''  or '''topological nilpotent''' if its [[spectrum (functional analysis)|spectrum]] ''σ''(''T'') = {0}.
 
==Examples==
In the finite dimensional case, i.e. when ''T'' is a square matrix with complex entries, ''σ''(''T'') = {0} if and only if
''T'' is similar to a matrix whose only nonzero entries are on the superdiagonal, by the [[Jordan canonical form]]. In turn this is equivalent to ''T<sup>n</sup>'' = 0 for some ''n''. Therefore, for matrices, quasinilpotency coincides with nilpotency.
 
This is not true when ''H'' is infinite dimensional. Consider the [[Volterra operator]], defined as follows: consider the unit square ''X'' = [0,1] &times; [0,1] ⊂ '''R'''<sup>2</sup>, with the Lebesgue measure ''m''. On ''X'', define the (kernel) function ''K'' by
 
:<math>K(x,y) =
\left\{
  \begin{matrix}
    1, & \mbox{if} \; x \geq y\\
    0, & \mbox{otherwise}.  
  \end{matrix}
\right.
</math>
 
The Volterra operator is the corresponding [[integral operator]] ''T'' on the Hilbert space ''L''<sup>2</sup>(''X'', ''m'') given by
 
:<math>T f(x) = \int_0 ^1 K(x,y) f(y) dy.</math>
 
The operator ''T'' is not nilpotent: take ''f'' to be the function that is 1 everywhere and direct calculation shows that
''T<sup>n</sup> f'' ≠ 0 (in the sense of ''L''<sup>2</sup>) for all ''n''. However, ''T'' is quasinilpotent. First notice that ''K'' is in ''L''<sup>2</sup>(''X'', ''m''), therefore ''T'' is [[compact operator on Hilbert space|compact]]. By the spectral properties of compact operators, any nonzero ''λ'' in ''σ''(''T'') is an eigenvalue. But it can be shown that ''T'' has no nonzero eigenvalues, therefore ''T'' is quasinilpotent.
 
{{DEFAULTSORT:Nilpotent Operator}}
[[Category:Operator theory]]

Latest revision as of 12:15, 5 May 2014

Not much to say about me at all.
Finally a member of this site.
I really wish I am useful at all

Feel free to visit my site ... 4Inkjets Promotion