Here is the sort of thing that got me thinking about this topic: a colleague had a student complain about how one of her quiz problems was scored. The problem stated: “show that “. She was offended that her saying “” wasn’t enough to receive credit and would NOT take his word for it. In fact, she took this to the student ombudsman!!!
But that raised the question: “what do we mean when we tell our students ““?
Of course, there are some central issues here. The first issues is that our “sure of herself” student thought that “” meant that this relation is NEVER true for any choice of , which of course, is false (e. g. let and .) In fact, is the logical negation of the statement ; the latter means that “this statement is true for ALL and its negation means “there is at least one choice of for which the statement is not true. “Equal” and “not equal” are not symmetric states when it comes identities, which can be thought of as elements in the vector space of functions.
So, means that and are not equal in function space, though they might evaluate to the same number for certain choices in the domain.
So, what is the big deal?
Well, what about equations such as or ?
These are NOT equalities in the space of functions; the first means “what values in the domain does take given and the second asks one to find the inverse image of 0 for the operator where the domain is the set of all, say, twice differentiable functions.
But, but…would the average undergraduate student understand ANY of this? My experience tells me “no”; hence I intentionally allow for this vagueness and only address it as I need to.