Suppose you have a collection of mathematical objects. The objects in the collection may satisfy all/some/none of the following rules, depending on the objects. In the rule statements, bold variable letters represent arbitrary objects in the collection, and ordinary variable letters represent arbitrary scalars (numbers).
The objects can be scaled by a numerical factor (called a scalar), and the resulting “scaled object” is always equal to another in the collection of objects.
Read and briefly discuss the rules in your group. In particular, make sure everyone in your group understands the differences between the LHS and RHS in each of Rule A 2, Rule A 3, Rule S 2, Rule S 3, and Rule S 5.
It may help to come up with expressions for these algebra rules in plain English rather than letters and variables. For example, Rule A 2 states that order doesn’t matter in adding objects.
These rules are modelled on the properties of vectors in \(\R^n\text{.}\) Convince yourself that all the rules are true when the collection of mathematical objects considered is “all vectors in \(\R^2\text{.}\)” In particular, make sure you know what the zero object is in the collection (Rule A 4), and how to determine an object’s opposite (Rule A 5).
For each of the following collections of objects, convince yourself that all the rules are true. In particular, make sure you know what the zero object is in the collection (Rule A 4), and how to determine an object’s opposite (Rule A 5).
For an object \(\uvec{v}\) and its opposite \(\widetilde{\uvec{v}}\text{,}\) is it necessarily always true that \(\widetilde{\uvec{v}} + \uvec{v} = \zerovec\text{?}\)
By Rule A 5, every object has an opposite which itself is an object. What is the opposite of an opposite? Make sure you can justify that your answer satisfies the definition of opposite contained in Rule A 5.
Suppose \(\uvec{v}\) is an object. What object do you think \(0\uvec{v}\) should be equal to? Do the rules provide direct evidence to support your guess?
Here is a justification of your guess from Task d. (Assuming you guessed correctly!) Fill in the blanks with the identifier of the rule that justifies each step, working down the left-hand side first. Make sure you understand how and for what objects that rule is being applied.
Use the rules to “simplify” the expression \(\uvec{v} + (-1)\uvec{v}\text{.}\) Make sure each step is justified by a specific rule, similarly to Task e.
Note. As well as the rules from the beginning of this discovery guide, you may also use your newly justified rule from Task e. This is a useful pattern: every time we use existing rules to create a new rule, that new rule can be freely used to help create even more rules.
Take \(\uvec{v} + (-1)\uvec{v} = X\text{,}\) where \(X\) is your final simplified expression from Task f. We can “cancel” the \(\uvec{v}\) from the LHS by adding \(\widetilde{\uvec{v}}\) to both sides of the equality. Based on the resulting equality after doing that, what do you think is a better name for \(\widetilde{\uvec{v}}\) than opposite of \(\uvec{v}\)?
Nominate one member of your group to become an object, and consider the collection of objects that consists of just one object (namely, the group member you nominated).
