Theorem (Analytic Fredholm Alternative)Let be a connected open subset of and be a separable Hilbert space. Suppose that is an analytic operator-valued function such that is compact . Then either

- does not exist .
- exists , where is discrete.

# Category: Functional Analysis

# Geometry Hahn Banach theorem for weak* topology

We have geometric Hahn Banach theorem in standard functional analysis course, saying that there exists a separating hyperplane separates two special sets in usual topology. However this theorem can be used for some special sets in weak* topology. This is the problem 9 in the functional analysis book by Prof. Brezis.

Theorem 1Let be a Banach space, be two nonempty disjoint convex subsets. Assume is open in weak* topology. Then there exist some and a constant such that the hyperplane separates and .