I think they should. You don't need to go into intricacies like metrics and approximations because that's more like analysis. You can however talk about infin

I think they should. You don't need to go into intricacies like metrics and approximations because that's more like analysis. You can however talk about infinite dimensional vectors spaces and talk about projections onto finite subspaces.