Mathematics for Applied Sciences (Osnabrück 2023-2024)/Vector space/Finite dimensional/Injective surjective bijective/Fact/Factreferencenumber