Discrete compactness and the approximation of Maxwell's equations in

We analyze the use of edge finite element methods to approximate Maxwell's equations in a bounded cavity. Using the theory of collectively compact operators, we prove -convergence for the source and eigenvalue problems. This is the first proof of convergence of the eigenvalue problem for general edge elements, and it extends and unifies the theory for both problems. The convergence results are based on the discrete compactness property of edge element due to Kikuchi. We extend the original work of Kikuchi by proving that edge elements of all orders possess this property.