Androma
Knowledge Base

Theorems

Proven results, with proofs, prerequisites, and citations.

Theorem #4914

#4914

Theorem #4907

#4907

Linearity and Positivity

#4904
Statement
Description

Theorem #4905

#4905

Doob-Dynkin Representation

#4902
Statement
Description

Extreme Information Levels

#4903
Statement
Description

$L^p$ Contraction

#4906
Statement
Description

Zero Belongs to the Spectrum in Infinite Dimension

#4898
Statement
Description

Compact Operators Send Weakly Convergent Sequences to Strongly Convergent Sequences

#4895
Statement
Description

Nonzero Spectrum of a Compact Operator

#4897
Statement
Description
Showing 10 of 5533 theorems