The Square Root Function (let’s call it “Squirt”) is—of course— a certain bijection on the non-negative reals: symbolically, (“squirt maps the interval zero-to-infinity to itself”). Specifically, if you want to get all technical about it, . Conventionally, one writes in place of ; the argument () is called the “radicand” and is said to be “under the radical”. We’ll observe this convention throughout the rest of the discussion. Squirt is a continuous function and enjoys the property that whenever both sides of the equation are defined (functions with this property are said to be “multiplicative”). All of this ought to be completely uncontroversial.
Now, it’s perfectly possible—of course—to extend squirt to a certain discontinuous nonmultiplicative nonbijection (, say) on the Complex Number Field. But, and I only wish that this were uncontroversial, we sure as sunrise shouldn’t call “The Square Root Function” (or denote it by )—continuity, bijectivity, and multiplicativity are all very useful properties and shouldn’t be given up at the careless stroke of a keypad.
Yesterday, for my sins, I was made to write out somesuch ghastly nonsense as right in front of my 104 students. Obviously, I couldn’t bring myself to do it without complaining about it—these people mostly seem to trust me and I’d like to try to deserve it. But whenever I’m made to differ with the text it not only undermines their faith in me personally, but also gives support to the all-too-common idea that Mathematics Is Management: that our ways are arbitrary and meaningless and subject to change at some the whim of some unseen authority figure.
I suppose I know why this section of the textbook is there. We’re about to develop QF—the famous “Quadratic Formula” (assume ; one then has if and only if ; I’ve spelled it out mostly out of sheer joie de symbolisme but also to take the opportunity to beg other teachers to adopt the convention that Constants Get Capitalized). When the radicand in QF (also known as the “discriminant”, ) is negative, the solutions to are non-real; students of Algebra need to learn about such solutions. The moment has come: the (so-called) Real Numbers are no longer enough for our purposes. This is, not only well and good, but dearer to my heart than I like to admit in public.
But for pity sake, now that we’re letting these struggling beginners in on this earth-shaking idea (that confused great mathematicians for hundreds of years), why make it any harder than it has to be? Why not just admit what every professional knows: that the symbol as applied to a negative number is slang and should never appear without the symbol ?
Let me be as clear as I know how. I understand why the textbooks (and the furshlugginer graphing calculator) get this wrong: publishers and computer manufacturers are capitalist pigs, not only indifferent to the truth but actively hostile to the truth. What I don’t get is this: where are the mathematicians? How can you go to work every day and allow this kind of thing to go on in your department at your university, in the name of “mathematics”? What the devil do you think tenure is for?