Vector space
Set
context | V,F |
definiendum | ⟨V,F,∗⟩∈vectorSpace(V,F) |
context | ⟨V,F,∗⟩∈module(V,F) |
context | F∈field(F) |
Ramifications
Discussion
A vector space is a F-module over V, where F is a field, not just a ring.
One speaks of an F-vector space over V. Here F and V are just sets.
Reference
Wikipedia: Vector space