Abstract Algebra IBL Wiki

User Tools

Site Tools

Trace:
definitions_in_mathematics

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision 		Previous revision
definitions_in_mathematics [2013/08/20 16:35]
bmwoodruff 		definitions_in_mathematics [2013/08/20 16:46] (current)
bmwoodruff
Line 9: Line 9:
 Give your friend some time to study the definition. Then take away the paper. Ten minutes later ask her to define rodomontade. Most likely she will be able to give a reasonably accurate definition. Maybe she'd say something like, "It is a speech or act or piece of writing created by a pompous or egotistical person who wants to show off how great they are." It is unlikely that she will have quoted the OED word-for-word. In everyday English that is fine---you would probably agree that your friend knows the meaning of the rodomontade. This is because most definitions are //descriptive//. They describe the common usage of a word.  Give your friend some time to study the definition. Then take away the paper. Ten minutes later ask her to define rodomontade. Most likely she will be able to give a reasonably accurate definition. Maybe she'd say something like, "It is a speech or act or piece of writing created by a pompous or egotistical person who wants to show off how great they are." It is unlikely that she will have quoted the OED word-for-word. In everyday English that is fine---you would probably agree that your friend knows the meaning of the rodomontade. This is because most definitions are //descriptive//. They describe the common usage of a word. 
  
-Let us take a mathematical example. The [[http://www.oed.com/view/Entry/40280|OED]]  gives this definition of \emph{continuous}.+Let us take a mathematical example. The [[http://www.oed.com/view/Entry/40280|OED]]  gives this definition of //continuous//.
 <wrap center box 90%> <wrap center box 90%>
 Characterized by continuity; extending in space without interruption of substance; having no interstices or breaks; having its parts in immediate connection; connected, unbroken. Characterized by continuity; extending in space without interruption of substance; having no interstices or breaks; having its parts in immediate connection; connected, unbroken.
Line 17: Line 17:
 Mathematical definitions are //prescriptive//. The definition must prescribe the exact and correct meaning  of a word. Contrast the OED's descriptive definition of continuous with the the definition of continuous found in a real analysis textbook. Mathematical definitions are //prescriptive//. The definition must prescribe the exact and correct meaning  of a word. Contrast the OED's descriptive definition of continuous with the the definition of continuous found in a real analysis textbook.
 <wrap center box 90%> <wrap center box 90%>
-A function $f:A\to \mathbb{R}$ is //continuous at a point// $c\in A$ if,  for all $\varepsilon>0$, there exists $\delta>0$ such that whenever $|x-c|<\delta$ (and $x\in A$) it follows that $|f(x)-f(c)|<\varepsilon$. If $f$ is continuous at every point in the domain $A$, then we say that $f$ is //continuous on// $A$.((This definition is taken from page 109 of Stephen Abbott's //Understanding Analysis//, but the definition would be essentially the same in any modern real analysis textbook.)) +A function $f:A\to \mathbb{R}$ is //continuous at a point// $c\in A$ if,  for all $\varepsilon>0$, there exists $\delta>0$ such that whenever $|x-c|<\delta$ (and $x\in A$) it follows that $|f(x)-f( c )|<\varepsilon$. If $f$ is continuous at every point in the domain $A$, then we say that $f$ is //continuous on// $A$.((This definition is taken from page 109 of Stephen Abbott's //Understanding Analysis//, but the definition would be essentially the same in any modern real analysis textbook.)) 
 </wrap> </wrap>
 In mathematics there is very little freedom in definitions. Mathematics is a deductive theory; it is impossible to state and prove theorems without clear definitions of the mathematical terms. The definition of a term must completely, accurately, and unambiguously describe the term. Each word is chosen very carefully and the order of the words is  critical. In the definition of continuity changing "there exists" to "for all," changing the orders of quantifiers, changing $<$ to $\leq$ or $>$, or changing $\mathbb{R}$ to $\mathbb{Z}$ would completely change the meaning of the definition.  In mathematics there is very little freedom in definitions. Mathematics is a deductive theory; it is impossible to state and prove theorems without clear definitions of the mathematical terms. The definition of a term must completely, accurately, and unambiguously describe the term. Each word is chosen very carefully and the order of the words is  critical. In the definition of continuity changing "there exists" to "for all," changing the orders of quantifiers, changing $<$ to $\leq$ or $>$, or changing $\mathbb{R}$ to $\mathbb{Z}$ would completely change the meaning of the definition. 
Line 25: Line 25:
 Of course, memorization is not enough; you must have a conceptual understanding of the term, you must see how the formal definition matches up with your conceptual understanding, and you must know how to work with the definition. It is perhaps with the first of these that descriptive definitions are useful. They are useful for building intuition and for painting the "big picture." Only after days (weeks, months, years?) of experience does one get an intuitive feel for the $\varepsilon,\delta$-definition of continuity; most mathematicians have the "picking-up-the-pencil" definitions in their head. This is fine as long as we know that it is imperfect, and that when we prove theorems about continuous functions mathematics we use the mathematical definition.  Of course, memorization is not enough; you must have a conceptual understanding of the term, you must see how the formal definition matches up with your conceptual understanding, and you must know how to work with the definition. It is perhaps with the first of these that descriptive definitions are useful. They are useful for building intuition and for painting the "big picture." Only after days (weeks, months, years?) of experience does one get an intuitive feel for the $\varepsilon,\delta$-definition of continuity; most mathematicians have the "picking-up-the-pencil" definitions in their head. This is fine as long as we know that it is imperfect, and that when we prove theorems about continuous functions mathematics we use the mathematical definition. 
  
-We end this discussion with an amusing real-life example in which a descriptive definition was not sufficient. In 2003 the German version of the game show //Who wants to be a millionaire?// contained the following question: "Every rectangle is: (a) a rhombus, (b) a trapezoid, (c) a square, (d) a parallelogram." +We end this discussion with an amusing real-life example in which a descriptive definition was not sufficient. In 2003 the German version of the game show //Who wants to be a millionaire?// contained the following question: "Every rectangle is: (a) a rhombus, (b) a trapezoid, <nowiki>(c)</nowiki> a square, (d) a parallelogram." 
  
-The confused contestant decided to skip the question and left with \euro 4000. Afterward the show received letters from irate viewers. Why were the contestant and the viewers upset with this problem? Clearly a rectangle is a parallelogram, so (d) is the answer. But what about (b)? Is a rectangle a trapezoid? We would describe a trapezoid as a quadrilateral with a pair of parallel sides. But this leaves open the question: can a trapezoid have //two// pairs of parallel sides or must there only be //one// pair? The viewers said two pairs is allowed, the producers of the television show said it is not. This is a case in which a clear, precise, mathematical definition is required.+The confused contestant decided to skip the question and left with \euro FIXME 4000. Afterward the show received letters from irate viewers. Why were the contestant and the viewers upset with this problem? Clearly a rectangle is a parallelogram, so (d) is the answer. But what about (b)? Is a rectangle a trapezoid? We would describe a trapezoid as a quadrilateral with a pair of parallel sides. But this leaves open the question: can a trapezoid have //two// pairs of parallel sides or must there only be //one// pair? The viewers said two pairs is allowed, the producers of the television show said it is not. This is a case in which a clear, precise, mathematical definition is required.
  
  
Line 71: Line 71:
  
 ====Tags==== ====Tags====
-{{tag>appendix dana needsreview }}+{{tag>appendix dana needsreview rben}} 
 + 
 +====Comments==== 
 +Dana, like the expository approach to explaining why definitions are so crucial. My only concern is that this might be too long.  
 +  *Your 2nd and 3rd paragraphs could probably be combined and halved in length, when you compare and contrast the two definitions.  
 +  *Your 4th and 5th paragraph might be shortened as well.  I'm guessing that if a student knows enough about epsilons and deltas to make the changes you describe there, they probably already know a lot about definitions. 
 + 
 +Ben
definitions_in_mathematics.1377030906.txt.gz · Last modified: 2013/08/20 16:35 by bmwoodruff

Page Tools

Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
CC Attribution-Share Alike 4.0 International Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki