User:Caliburn/s/fa

Spectral Theory

 * /Definition:Resolvent Set of Linear Operator
 * /Definition:Resolvent of Linear Operator
 * /Definition:Spectrum of Linear Operator
 * /Resolvent Set of Linear Operator is Open
 * /Spectrum of Linear Operator is Closed
 * /Spectrum of Linear Operator is Bounded
 * /1 - $\lambda \in \map \sigma A$ iff $\overline \lambda \in \map \sigma {A^*}$
 * /2
 * /Space of Compact Linear Transformations is Linear Subspace of Space of Bounded Linear Transformations
 * /Space of Compact Linear Transformations is Closed in Space of Bounded Linear Transformations
 * /Compact Hermitian Operator has Eigenvalue
 * /Eigenspace Corresponding to Non-Zero Eigenvalue of Compact Operator is Finite Dimensional
 * /Spectral Theorem for Compact Hermitian Operators
 * /Spectrum of Linear Operator is Topological Closure of Point Spectrum

Separability

 * /Topological Space containing Uncountable Family of Disjoint Open Subsets is not Separable
 * /Subspace of Separable Metric Space is Separable
 * /Characterization of Separable Normed Vector Space
 * /p-Sequence Space is Separable
 * /Normed Vector Space with Separable Dual is Separable

Dual Spaces

 * /Definition:Normed Dual Space
 * /Dual of 1-Sequence Space Isometrically Isomorphic to Space of Bounded Sequences
 * /Dual of p-Sequence Space

Hahn-Banach Theorem

 * /Definition:Support Functional
 * /Existence of Support Functional
 * /Definition:Distance Functional
 * /Existence of Distance Functional
 * /Normed Dual Space Separates Points
 * /Normed Vector Space with Separable Normed Dual Space is Separable
 * /Definition:Banach Limit
 * /Banach Limit Bounded Between Limit Inferior and Limit Superior
 * /Existence of Banach Limit

Massive refactor

 * /Definition:Bounded Linear Transformation
 * /Definition:Bounded Linear Operator
 * /Definition:Diagonalizable Operator
 * /Definition:Finite Rank Operator
 * /Definition:Space of Continuous Finite Rank Operators
 * /Definition:Space of Compact Linear Transformations
 * /Definition:Compact Linear Transformation
 * /Definition:Real Part (Linear Operator)
 * /Definition:Sesquilinear Form
 * /Definition:Bounded Sesquilinear Form
 * /Definition:Imaginary Part (Linear Operator)
 * /Definition:Inverse (Bounded Linear Transformation)
 * /Definition:Norm/Bounded Linear Transformation
 * /Definition:Space of Bounded Linear Transformations