How Craig Barton wishes he’d taught maths

"A prejudice that was strongly confirmed was the value of mathematical fluency. Barton says, and I agree with him (and suggested something like it in my book Mathematics, A Very Short Introduction) that it is often a good idea to teach fluency first and understanding later."

Agree fully with Barton and OA here. Until recently I taught GCSE Maths re-take students aged 16 and over in a further education college. They were constantly tripping over really quite basic little skill issues and that prevented them from seeing how to tackle the longer and more complex problem solving questions.

"I would go for something roughly equivalent [in the solving of equations such as 4x - 8 = 2x + 2], but not quite the same, which is to stress the rule you can do the same thing to both sides of an equation (worrying about things like squaring both sides or multiplying by zero later). Then the problem of solving linear equations would be reduced to a kind of puzzle: what can we do to both sides of this equation to make the whole thing look simpler?"

The idea of just playing with the notation is one I fully intend to try but getting people to think in that abstract way is hard work.

Operations in applied linear algebra - such as matrix multiplication and solving systems of linear equations - are formalized by the theory of vector spaces, much like calculus is formalized through the theory of analysis. Vector spaces are algebraic structures which axiomatize the linearity you need to carry out these operations. If you can establish your equations exist in a vector space, you can prove that they admit linear relations and are thus solvable as linear systems.

More precisely, a vector space V is any set S defined over a field F which is closed under both vector addition and scalar multiplication, where the elements of S are called vectors and the elements of the underlying field F are called scalars. The term "closed" means that for every pair of vectors x, y in V there exists a vector x + y in V, and for every scalar c in F and vector x in V there exists a vector cx in V. There are eight axioms in total, for things like associativity and commutativity, but those aren't germane to this particular example. What's important is that vector spaces are what allow you to form linear combinations of things, which is the scaffolding you need to prove things like linear dependence and independence; whether or not a system of linear equations has no solutions, one solution or infinitely many solutions, etc.

Fields are the algebraic structures which formalize the elementary arithmetic you're already familiar with over sets like the the complex numbers, the real numbers, the rationals, etc. They are sets which are closed under "regular" addition and multiplication. Notably, integers do not comprise a field because integers do not have multiplicative inverses. Multiplicative inverses are the axiomatic way of establishing that in any field, division must be possible. So concretely, there is no multiplicative inverse 1/n for any integer n. There is in the set of rationals, but not the set of integers. Therefore integers are not closed under multiplication, and they cannot comprise a field.

Since the integers do not comprise a field, you cannot define a vector space over the integers, because the scalars used to define scalar multiplication in vector spaces are just elements of the underlying field. If you try to define a vector space over a set without multiplicative closure, the vector space cannot be closed under scalar multiplication. Among other things, linear combinations stop being invertible (or even possible in general), and linear relations don't exist.

So circling back to the specific question: it's asking which of the given sets comprises a vector space. You can make all kinds of abstract vector spaces (e.g. the set of all polynomials over a field, the set of all polynomials with degree at most n over a field, the set of all continuous functions, etc). But if you stick with the definition of a vector space, you don't need to tediously test each of the given sets for the eight axioms. You just have to remember the integers don't comprise a field, so the set of all triples of integers can't be a vector space either.

Hopefully that's clear, let me know if you'd like me to clarify anything.

Reading that article I now realise it was that I lacked fluency. I didn't instinctively "know" how to do simultaneous equations because unlike my peers I hadn't spent two years doing them, so I had to remember how to solve them every single time.

All I can say now is thankfully there is the Khan Academy which rapidly improved my mathematical understanding when I needed it.