I recently learned about vector spaces, and had two questions:
- What do we mean by saying “vector space over a field”? I read many posts and listened to lectures but it seems to me that people have different definitions/explanations for the terminology “over a field” – in one lecture, the professor said that when we say a vector space "over a field" we mean that the scalars with which we multiply the elements of the vector space are taken from some field F. In another lecture, a professor said that “over a field” means that the components of the elements in the vector space are from some field F.
After hearing their explanations, I got confused – does the terminology “over a field” refers to the elements of the vector space themselves or to the scalars we multiply the vectors in the V.S. with?
I would appreciate it if you could explain the terminology of “over a field” in more detail than those professors did.
- When talking about a polynomial over a field F, we mean that the coefficients of the polynomial are taken from some field F. My question is the following: do the roots of the polynomial are from the field F because the coefficients belong there too, or in other words – does the choice of a field of the coefficients determines the field to which the roots of the polynomial belong?
Sorry about the bad English (I'm not a native speaker) and the silly question, I just started learning linear algebra so it’s still new and hard for me…
Thank you very much for reading my question!
Best Answer
This circles back to the definition of a vector space: a vector space $V$ over a field $F$ is a set with two operations $+ : V \times V \to V$ and $\cdot : F \times V \to V$ such that
So this "over some field" is baked right into the definition - it just means "the elements we can multiply our vectors by". For example if you take the vector space $\mathbb{R}^2$ with the usual operations you can multiply each element by real numbers and thus it's a vector space over $\mathbb{R}$, but you could also multiply them by rational numbers which means it's also a vector space over $\mathbb{Q}$.