\b[False.] In the real <vector space> $\mathbb R$, both $\{1\}$ and $\{2\}$ are <bases>: each is <linearly independent> and spans the whole space. A <basis> need not be a unique set. What is fixed for a finite-dimensional <vector space> is the number of basis elements, its <dimension>.

Solution

Past exam of the year 1 of the computer science course of the University of Oxford / 2018 / Digital systems, linear algebra, introduction to formal proof / 5 / a / i / Solution

 Solution (source code)