finite dimensional linear analysis