Androma
Knowledge Base

Theorems

Proven results, with proofs, prerequisites, and citations.

Monotone Class Theorem

#4925
Statement
Description

Finite Sigma-Algebras Come from Partitions

#4930
Statement
Description

Product Borel Sigma-Algebra in Separable Metric Spaces

#4928
Statement
Description

Coordinate Projections Are Product Measurable

#4927
Statement
Description

Compactness of the Identity

#4920
Statement
Description

Spectral Structure of Compact Operators

#4923
Statement
Description

Weak-to-Strong Criterion on Reflexive Spaces

#4922
Statement
Description

Sequential Characterisation of Compact Operators

#4919
Statement
Description

Hilbert-Space Approximation by Finite Rank

#4921
Statement
Description

Matrix Representation of Inner Products

#4917
Statement
Showing 10 of 5023 theorems