A note on finite-dimensional estimators for infinite-dimensional systems

In this note we prove two theorems regarding finite-dimensional estimators for infinite-dimensional systems. The first concerns the finite dimensionality of the model and the second concerns the finite dimensionality of the observation space. Our analysis applies to very general systems, but appears to be most useful for the estimation of static systems from point sensing.