Posted on November 1, 2018<\/a> by Art Duval<\/a><\/p>\n\n\n\n By Art Duval, Contributing Editor<\/a>, University of Texas at El Paso<\/em><\/p>\n\n\n\n How is 00 defined? On one hand, we say x0=1 for all positive x; on the other hand, we say 0y=0 for all positive y. The French language has the Acad\u00e9mie fran\u00e7aise<\/a> to decide its arcane details. There is no equivalent for mathematics, so there is no one<\/em> deciding once and for all what 00<\/p>\n\n\n\n equals, or if it even equals anything at all. But that doesn\u2019t matter. While some definitions are so well-established (e.g., \u201cpolynomial\u201d, \u201ccircle\u201d, \u201cprime number\u201d, etc.) that altering them only causes confusion, in many situations we can define terms as we please, as long as we are clear and consistent.<\/p>\n\n\n\n Don\u2019t get me wrong; the notion of mathematics as proceeding in a never-ending sequence of \u201cdefinition-theorem-proof\u201d is essential to our understanding of it, and to its rigorous foundations. My mathematical experience has trained me to ask, \u201cWhat are the definitions?\u201d before answering questions in (and sometimes out of) mathematics. Yet, while we tell students that the definition needs to come before the proof of the theorem, what students apparently hear is that the definition needs to come before the idea, as opposed to the definition coming from the idea.<\/p>\n\n\n\n Why definitions?<\/strong><\/p>\n\n\n\n What is a definition anyway? Or rather, what gets defined? We could make a special name for the function that maps x to 5×17\u201329×2+42, but we don\u2019t. On the other hand, we give the name \u201csine function\u201d to sin(x), the ratio of the length of the side opposite an angle with measure x to the length of the hypotenuse of a right triangle. We give a name to the sine function, even though it takes much longer to describe than 5×17\u201329×2+42; in fact, we give it a name in part precisely because<\/em> it takes longer to describe. If we need to refer to 5×17\u201329×2+42<\/p>\n\n\n\n , it\u2019s not that hard, but we do not want to have to write down that definition of sine every time we use it in a statement or problem. We give definitions to ideas for two related reasons:<\/p>\n\n\n\n Brevity:<\/strong> It\u2019s clearly easier to write \u201csin(x)<\/p>\n\n\n\n \u201d instead of the huge sentence above. Further, packing this idea into a single word helps make it easier to chunk ideas in an even longer statement, such as a trigonometric identity.<\/p>\n\n\n\n Repetition:<\/strong> If we have to use the same idea more than once, then giving it a compact name increases the efficiency described above that much more. Sometimes an idea repeats just locally, within a single argument or discussion, and then we might temporarily give it a name; for instance when finding the maximum value xe\u2212x, we would write f(x)=xe\u2212x, so we could then write 0=f\u2032(x), but we are only using f this way in this one problem. On the other hand, the ideas that show up over and over again, in many different contexts, such as sin(x)<\/p>\n\n\n\n or \u201cvector space\u201d, get names that stick.<\/p>\n\n\n\n This begs the question, \u201cWhy do certain ideas, or combinations of conditions, repeat?\u201d Consider \u201cvector space\u201d. The idea of Rn<\/p>\n\n\n\n is clear enough, but of all its properties, why focus on the simple rules satisfied by vector addition and scalar multiplication?<\/a><\/p>\n\n\n\n Defining terms in mathematics involves more choices than students think.<\/p>\n\n\n\n First, because several additional examples have been found that satisfy these rules, such as the vector space of continuous functions, the vector space of polynomials, and the vector space of polynomials of degree at most 5. Second, because once the key properties that make up the definition are identified, we may find that the proofs only depend on those key properties: The Fundamental Theorem of Linear Algebra, for instance, is true for arbitrary finite-dimensional vector spaces, so we don\u2019t need a separate proof for Rn<\/p>\n\n\n\n , for polynomials of degree at most 5, etc. (Purists may argue that all finite-dimensional vector spaces of the same dimension are isomorphic, but this isomorphism is defined in terms of vector addition and scalar multiplication, just reinforcing the significance of those operations.)<\/p>\n\n\n\n Choices<\/strong><\/p>\n\n\n\n But there are often still choices to be made. Must a vector space include the zero vector, or could it be empty? (Is the empty set a vector space)? For that matter, since vectors are often described as being determined by \u201ca direction and a magnitude\u201d and the zero vector has no direction, is the zero vector even a vector? The answers to these questions are no and yes, respectively, but why? The zero vector is a vector, because it is so helpful for a vector space to be a group under addition, which requires an identity element. (I know \u2014 this only takes us back to why are groups defined the way they are. Let\u2019s just take this as a piece of evidence for why groups are an important definition.)<\/p>\n\n\n\n As for the empty vector space, there\u2019s nothing inherently wrong with it, except perhaps for the need for a zero vector as discussed above. (This also takes us back to why groups are not allowed to be empty. Let\u2019s stick to vector spaces for now.) But how would we define the dimension of an empty vector space? How would we define the sum of the empty vector space with another vector space? And then, even if we do make those definitions, how do we reconcile them with this identity?: This example shows that, even though we cannot write the proof of a theorem until all the relevant definitions are stated, we do often look ahead at the theorem before settling on the fine points of the definition. At research-level mathematics, we might even modify our definitions substantially to make our theorems stronger, or to deal with potential counterexamples. (For more details on this, read Imre Lakatos\u2019 classic Proofs and Refutations [1].) I will stick to smaller cases where we adjust definitions mostly just to make the theorems easier to state.<\/p>\n\n\n\n More examples<\/strong><\/p>\n\n\n\n Why is 1 considered to be neither prime nor composite? When you first learn this, it may seem silly. The definition of prime is so simple and elegant \u2014 an integer n is prime if its only factors are 1 and n \u2014 and 1 seems to fit that definition just fine. Why make an exception? The answer lies in the Fundamental Theorem of Arithmetic, that every integer has a unique factorization. Well, except of course that we could change the order of the factors around; for instance, it makes sense to consider 17\u00d723 to be the same factorization as 23\u00d717. And also we need to leave out any factors of 1, otherwise we might consider 17\u00d723,1\u00d717\u00d723,1\u00d71\u00d717\u00d723<\/p>\n\n\n\n , \u2026 to all be different factorizations. If we take a little extra effort at the definition, and rule out 1 as a prime number, then the theorem becomes more elegant to state.<\/p>\n\n\n\n Is a square also a rectangle? In other words, should we define rectangle to include the possibility that the rectangle is a square, or exclude that possibility? When children first learn about shapes, it\u2019s easier to simply categorize shapes, so a shape could be either a rectangle or a square, but not both. But when writing a careful definition of rectangle, it takes more work to exclude the case of a square than to simply allow it. Similarly, theorems about rectangles are easier to state if we don\u2019t have to exclude the special cases where the rectangle happens to be a square: \u201cTwo different diameters of a circle are the diagonals of a rectangle\u201d is more elegant than \u201cTwo different diameters of a circle are the diagonals of a rectangle, unless the diameters are perpendicular, in which case they are the diagonals of a square.\u201d<\/p>\n\n\n\n Is 0 is a natural number? It doesn\u2019t really matter; just pick an answer, be consistent, and move on. It\u2019s even better if we can use non-ambiguous language instead, such as \u201cpositive integers\u201d or \u201cnon-negative integers.\u201d To be sure, mathematics is picky, but let\u2019s not be picky about the wrong things.<\/p>\n\n\n\n Finally, what about 00? If you just look at limits, you\u2019d be ready to declare that this expression is undefined (the limit of xy as x and y approach 0 is not defined, even just considering x\u22650 and y\u22650). And that\u2019s fine. But in combinatorics, where I work, setting 00=1 makes the binomial theorem ((x+y)n=\u2211(nk)xkyn\u2212k) work in more cases (for instance when y=0). And so we simply declare<\/em> 00=1<\/p>\n\n\n\n , at least in combinatorics, even though it might remain undefined in other settings.<\/p>\n\n\n\n (See here<\/a> for a list of other \u201cambiguities\u201d in mathematics definitions.)<\/p>\n\n\n\n In each of these examples, there is a human choice about how to exactly state the definition. This is a great freedom. But, to alter a popular phrase, with great freedom comes great responsibility. If you declare 00 is a value other<\/em> than 1, now you are limiting, not expanding, the applicability of the binomial theorem. And if you want to declare that 10<\/p>\n\n\n\n has any<\/em> numerical value, you will have to sacrifice at least some of the field axioms in your new number system.<\/p>\n\n\n\n In the classroom<\/strong><\/p>\n\n\n\n The issues that arise with developing precise mathematical definitions is well-known to mathematicians, but we generally don\u2019t share it with our students enough. If we stop hiding this story from our students, then they will see that mathematics is a human endeavor, and that mathematical subjects are not handed down to us from on high. This can be one factor in convincing students that mathematics, even advanced mathematics, is something they can do, that it is not just reserved for other people. And even students who already \u201cget it\u201d will not be turned off \u2014 we should not abandon definition-theorem-proof, we can just pay more attention to sharing why each of our definitions is written the way it is. If students know where a definition comes from, what motivated it, and why we made the choices we did, they may have a better chance of making sense of the idea instead of memorizing the string of words or symbols. (See also my earlier blog post, A Call for More Context<\/a>.)<\/p>\n\n\n\n An anecdote that Keith Devlin tells, near the end of a blog post about mathematical thinking<\/a>, illustrates the power of crafting the right definition. To summarize much too briefly, his task was to \u201clook at ways that reasoning and decision making are influenced by the context in which the data arises\u201d in a national security setting. His first step was to \u201cwrite down as precise a mathematical definition as possible of what a context<\/em> is.\u201d When he presented his work to government bigwigs, they never got past his first slide, with that definition, because the entire room spent the whole time discussing that one definition; later he was told \u201cThat one slide justified having you on the project.\u201d<\/p>\n\n\n\n We might not have the luxury of spending an entire hour discussing a single definition, but we can still let students in on the secret that the definitions are up to us, and that writing them well can make all the difference.<\/p>\n\n\n\n References<\/strong><\/p>\n\n\n\n [1] Lakatos, Imre. Proofs and refutations. The logic of mathematical discovery.<\/em> Edited by John Worrall and Elie Zahar. Cambridge University Press, Cambridge-New York-Melbourne,<\/em> 1976.<\/p>\n","protected":false},"excerpt":{"rendered":" What is \\(0^0\\) , and who decides, and why does it matter? Definitions in mathematics. Posted on November 1, 2018 by Art Duval By Art Duval, Contributing Editor, University of Texas at El Paso How is 00 defined? On one hand, we say x0=1 for all positive x; on the other hand, we say 0y=0 … \u0394\u03b9\u03b1\u03b2\u03ac\u03c3\u03c4\u03b5 \u03c0\u03b5\u03c1\u03b9\u03c3\u03c3\u03cc\u03c4\u03b5\u03c1\u03b1 “\u03a4\u03bf \\(0^0\\)”<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[3],"tags":[],"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/presswiki.allmath.gr\/wpwiki18\/wp-json\/wp\/v2\/posts\/5671"}],"collection":[{"href":"https:\/\/presswiki.allmath.gr\/wpwiki18\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/presswiki.allmath.gr\/wpwiki18\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/presswiki.allmath.gr\/wpwiki18\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/presswiki.allmath.gr\/wpwiki18\/wp-json\/wp\/v2\/comments?post=5671"}],"version-history":[{"count":4,"href":"https:\/\/presswiki.allmath.gr\/wpwiki18\/wp-json\/wp\/v2\/posts\/5671\/revisions"}],"predecessor-version":[{"id":5675,"href":"https:\/\/presswiki.allmath.gr\/wpwiki18\/wp-json\/wp\/v2\/posts\/5671\/revisions\/5675"}],"wp:attachment":[{"href":"https:\/\/presswiki.allmath.gr\/wpwiki18\/wp-json\/wp\/v2\/media?parent=5671"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/presswiki.allmath.gr\/wpwiki18\/wp-json\/wp\/v2\/categories?post=5671"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/presswiki.allmath.gr\/wpwiki18\/wp-json\/wp\/v2\/tags?post=5671"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
dim(A+B)= dimA + dimB \u2212 dim(A\u2229B)<\/p>\n\n\n\n
![<\/a><\/p>\n\n\n\nDefining terms in mathematics involves more choices than students think.<\/p>\n\n\n\nFirst, because several additional examples have been found that satisfy these rules, such as the vector space of continuous functions, the vector space of polynomials, and the vector space of polynomials of degree at most 5. Second, because once the key properties that make up the definition are identified, we may find that the proofs only depend on those key properties: The Fundamental Theorem of Linear Algebra, for instance, is true for arbitrary finite-dimensional vector spaces, so we don\u2019t need a separate proof for Rn<\/p>\n\n\n\n, for polynomials of degree at most 5, etc. (Purists may argue that all finite-dimensional vector spaces of the same dimension are isomorphic, but this isomorphism is defined in terms of vector addition and scalar multiplication, just reinforcing the significance of those operations.)<\/p>\n\n\n\nChoices<\/strong><\/p>\n\n\n\nBut there are often still choices to be made. Must a vector space include the zero vector, or could it be empty? (Is the empty set a vector space)? For that matter, since vectors are often described as being determined by \u201ca direction and a magnitude\u201d and the zero vector has no direction, is the zero vector even a vector? The answers to these questions are no and yes, respectively, but why? The zero vector is a vector, because it is so helpful for a vector space to be a group under addition, which requires an identity element. (I know \u2014 this only takes us back to why are groups defined the way they are. Let\u2019s just take this as a piece of evidence for why groups are an important definition.)<\/p>\n\n\n\nAs for the empty vector space, there\u2019s nothing inherently wrong with it, except perhaps for the need for a zero vector as discussed above. (This also takes us back to why groups are not allowed to be empty. Let\u2019s stick to vector spaces for now.) But how would we define the dimension of an empty vector space? How would we define the sum of the empty vector space with another vector space? And then, even if we do make those definitions, how do we reconcile them with this identity?:dim(A+B)= dimA + dimB \u2212 dim(A\u2229B)<\/p>\n\n\n\nThis example shows that, even though we cannot write the proof of a theorem until all the relevant definitions are stated, we do often look ahead at the theorem before settling on the fine points of the definition. At research-level mathematics, we might even modify our definitions substantially to make our theorems stronger, or to deal with potential counterexamples. (For more details on this, read Imre Lakatos\u2019 classic Proofs and Refutations [1].) I will stick to smaller cases where we adjust definitions mostly just to make the theorems easier to state.<\/p>\n\n\n\nMore examples<\/strong><\/p>\n\n\n\nWhy is 1 considered to be neither prime nor composite? When you first learn this, it may seem silly. The definition of prime is so simple and elegant \u2014 an integer n is prime if its only factors are 1 and n \u2014 and 1 seems to fit that definition just fine. Why make an exception? The answer lies in the Fundamental Theorem of Arithmetic, that every integer has a unique factorization. Well, except of course that we could change the order of the factors around; for instance, it makes sense to consider 17\u00d723 to be the same factorization as 23\u00d717. And also we need to leave out any factors of 1, otherwise we might consider 17\u00d723,1\u00d717\u00d723,1\u00d71\u00d717\u00d723<\/p>\n\n\n\n, \u2026 to all be different factorizations. If we take a little extra effort at the definition, and rule out 1 as a prime number, then the theorem becomes more elegant to state.<\/p>\n\n\n\nIs a square also a rectangle? In other words, should we define rectangle to include the possibility that the rectangle is a square, or exclude that possibility? When children first learn about shapes, it\u2019s easier to simply categorize shapes, so a shape could be either a rectangle or a square, but not both. But when writing a careful definition of rectangle, it takes more work to exclude the case of a square than to simply allow it. Similarly, theorems about rectangles are easier to state if we don\u2019t have to exclude the special cases where the rectangle happens to be a square: \u201cTwo different diameters of a circle are the diagonals of a rectangle\u201d is more elegant than \u201cTwo different diameters of a circle are the diagonals of a rectangle, unless the diameters are perpendicular, in which case they are the diagonals of a square.\u201d<\/p>\n\n\n\nIs 0 is a natural number? It doesn\u2019t really matter; just pick an answer, be consistent, and move on. It\u2019s even better if we can use non-ambiguous language instead, such as \u201cpositive integers\u201d or \u201cnon-negative integers.\u201d To be sure, mathematics is picky, but let\u2019s not be picky about the wrong things.<\/p>\n\n\n\nFinally, what about 00? If you just look at limits, you\u2019d be ready to declare that this expression is undefined (the limit of xy as x and y approach 0 is not defined, even just considering x\u22650 and y\u22650). And that\u2019s fine. But in combinatorics, where I work, setting 00=1 makes the binomial theorem ((x+y)n=\u2211(nk)xkyn\u2212k) work in more cases (for instance when y=0). And so we simply declare<\/em> 00=1<\/p>\n\n\n\n, at least in combinatorics, even though it might remain undefined in other settings.<\/p>\n\n\n\n(See here<\/a> for a list of other \u201cambiguities\u201d in mathematics definitions.)<\/p>\n\n\n\nIn each of these examples, there is a human choice about how to exactly state the definition. This is a great freedom. But, to alter a popular phrase, with great freedom comes great responsibility. If you declare 00 is a value other<\/em> than 1, now you are limiting, not expanding, the applicability of the binomial theorem. And if you want to declare that 10<\/p>\n\n\n\nhas any<\/em> numerical value, you will have to sacrifice at least some of the field axioms in your new number system.<\/p>\n\n\n\nIn the classroom<\/strong><\/p>\n\n\n\nThe issues that arise with developing precise mathematical definitions is well-known to mathematicians, but we generally don\u2019t share it with our students enough. If we stop hiding this story from our students, then they will see that mathematics is a human endeavor, and that mathematical subjects are not handed down to us from on high. This can be one factor in convincing students that mathematics, even advanced mathematics, is something they can do, that it is not just reserved for other people. And even students who already \u201cget it\u201d will not be turned off \u2014 we should not abandon definition-theorem-proof, we can just pay more attention to sharing why each of our definitions is written the way it is. If students know where a definition comes from, what motivated it, and why we made the choices we did, they may have a better chance of making sense of the idea instead of memorizing the string of words or symbols. (See also my earlier blog post, A Call for More Context<\/a>.)<\/p>\n\n\n\nAn anecdote that Keith Devlin tells, near the end of a blog post about mathematical thinking<\/a>, illustrates the power of crafting the right definition. To summarize much too briefly, his task was to \u201clook at ways that reasoning and decision making are influenced by the context in which the data arises\u201d in a national security setting. His first step was to \u201cwrite down as precise a mathematical definition as possible of what a context<\/em> is.\u201d When he presented his work to government bigwigs, they never got past his first slide, with that definition, because the entire room spent the whole time discussing that one definition; later he was told \u201cThat one slide justified having you on the project.\u201d<\/p>\n\n\n\nWe might not have the luxury of spending an entire hour discussing a single definition, but we can still let students in on the secret that the definitions are up to us, and that writing them well can make all the difference.<\/p>\n\n\n\nReferences<\/strong><\/p>\n\n\n\n[1] Lakatos, Imre. Proofs and refutations. The logic of mathematical discovery.<\/em> Edited by John Worrall and Elie Zahar. Cambridge University Press, Cambridge-New York-Melbourne,<\/em> 1976.<\/p>\n","protected":false},"excerpt":{"rendered":"What is \\(0^0\\) , and who decides, and why does it matter? Definitions in mathematics. Posted on November 1, 2018 by Art Duval By Art Duval, Contributing Editor, University of Texas at El Paso How is 00 defined? On one hand, we say x0=1 for all positive x; on the other hand, we say 0y=0 … \u0394\u03b9\u03b1\u03b2\u03ac\u03c3\u03c4\u03b5 \u03c0\u03b5\u03c1\u03b9\u03c3\u03c3\u03cc\u03c4\u03b5\u03c1\u03b1 “\u03a4\u03bf \\(0^0\\)”<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[3],"tags":[],"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/presswiki.allmath.gr\/wpwiki18\/wp-json\/wp\/v2\/posts\/5671"}],"collection":[{"href":"https:\/\/presswiki.allmath.gr\/wpwiki18\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/presswiki.allmath.gr\/wpwiki18\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/presswiki.allmath.gr\/wpwiki18\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/presswiki.allmath.gr\/wpwiki18\/wp-json\/wp\/v2\/comments?post=5671"}],"version-history":[{"count":4,"href":"https:\/\/presswiki.allmath.gr\/wpwiki18\/wp-json\/wp\/v2\/posts\/5671\/revisions"}],"predecessor-version":[{"id":5675,"href":"https:\/\/presswiki.allmath.gr\/wpwiki18\/wp-json\/wp\/v2\/posts\/5671\/revisions\/5675"}],"wp:attachment":[{"href":"https:\/\/presswiki.allmath.gr\/wpwiki18\/wp-json\/wp\/v2\/media?parent=5671"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/presswiki.allmath.gr\/wpwiki18\/wp-json\/wp\/v2\/categories?post=5671"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/presswiki.allmath.gr\/wpwiki18\/wp-json\/wp\/v2\/tags?post=5671"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}](\"https:\/\/i2.wp.com\/blogs.ams.org\/matheducation\/files\/2018\/10\/dictionary-mathematics.png\"){kind=link}