/7/ - Subjects

Languages used by subjects

Mode: Reply

Max message length: 10000


Max file size: 1.00 MB

Max files: 1


(used to delete files and postings)


    Remember to follow the rules

    Mathematics A Fan of Language 09/23/2020 (Wed) 17:18:27 No. 3
    What is the difference between a theorem, a lemma, and a corollary? Posted by Dave Richeson on September 22, 2008 I prepared the following handout for my Discrete Mathematics class (here’s a pdf version). Definition — a precise and unambiguous description of the meaning of a mathematical term. It characterizes the meaning of a word by giving all the properties and only those properties that must be true. Theorem — a mathematical statement that is proved using rigorous mathematical reasoning. In a mathematical paper, the term theorem is often reserved for the most important results. Lemma — a minor result whose sole purpose is to help in proving a theorem. It is a stepping stone on the path to proving a theorem. Very occasionally lemmas can take on a life of their own (Zorn’s lemma, Urysohn’s lemma, Burnside’s lemma, Sperner’s lemma). Corollary — a result in which the (usually short) proof relies heavily on a given theorem (we often say that “this is a corollary of Theorem A”). Proposition — a proved and often interesting result, but generally less important than a theorem. Conjecture — a statement that is unproved, but is believed to be true (Collatz conjecture, Goldbach conjecture, twin prime conjecture). Claim — an assertion that is then proved. It is often used like an informal lemma. Axiom/Postulate — a statement that is assumed to be true without proof. These are the basic building blocks from which all theorems are proved (Euclid’s five postulates, Zermelo-Fraenkel axioms, Peano axioms). Identity — a mathematical expression giving the equality of two (often variable) quexposingties (trigonometric identities, Euler’s identity). Paradox — a statement that can be shown, using a given set of axioms and definitions, to be both true and false. Paradoxes are often used to show the inconsistencies in a flawed theory (Russell’s paradox). The term paradox is often used informally to describe a surprising or counterintuitive result that follows from a given set of rules (Banach-Tarski paradox, Alabama paradox, Gabriel’s horn). https://divisbyzero.com/2008/09/22/what-is-the-difference-between-a-theorem-a-lemma-and-a-corollary/
    Edited last time by admin on 09/23/2020 (Wed) 17:20:56.
    >>3 Well written! Love it. I post here not to plagiarize, but to save it just in case the website is no longer there. dorian sabaz says: December 10, 2009 at 1:59 am I have some issues with your definitions. To begin with, a conjecture is not necessarily a truism. Fundamentally it is a phrase expressing an accepted or an accommodated belief. Does this matter? Greatly. For what does it mean something to be true?. It means that it can be proven through a logical process of deduction starting with a set of (atomic) axioms. However, there are mathematical constructs that “live” outside this process of deduction, e.g. the Axiom of Choice (A of C) which is presumed (not assumed!) a priori, and even more broadly, those constructs that embody Godel’s 1st Incompleteness Theorem (G1IT), which arise (arguably) a posteriori. Putting aside the issues with A of C for a moment, G1IT shows there are constructs that can not be proven one way or the other and yet still be consistent and factual. That there is no a posteriori way to determine these constructs, but yet we can say they do exist. Note this is not the same thing as the A of C which is considered to be true a priori, but also not provable. In any case, truth in G1IT is not the same thing as we use it in the arena of axiomatic deduction. Futhermore and back to A of C for a moment, does this mean that the Axiom of Choice, is not an axiom but a postulate, or [gulp] a conjecture? This segues to my next point. In generally I have taught in the past, definitions are tied together by propositions to enable the creation of axioms. Axioms are the building blocks to construct conjectures and claims, which feed our need to discover, explore and investigate. If these conjectures and claims are to be accepted a priori they become postulates. However if a posteriori process of deduction is used (this means also mathematically) then we have the lemma->theorem->corollary chain. And here belies the another issue. Depending on your deductive approach, what one mathematician may call a theorem (even if it has been generally accepted for hundreds of years by most of the mathematicians), to another it maybe a lemma, or even a corollary. In essence, the well known Theorems today, and this goes for Lemmas and Corollaries also, have this tag placed on them for historical reasons, and nothing more. Personally I do consider this to be a dangerous course of endeavor for it forces students to think a certain linear way. The connotations of brainwashing are enliven here. But I digress, and leave this sensitive topic for another time and place. Personally, and this is only a suggestion, for of course, there is much contention on many of the above points I have raised, I believe you should add into your list, the concepts of a priori and a posteriori. As I have outlined, there are “things” in this Universe, as I would like to refer to it as Galileo’s Universe, that we can tangibly prove and or disprove, these truisms are all deduced a posteriori. However, we do have constructs that have arguably no true or false understanding as we can express in Galileo’s Universe, but live in a larger Platonean Universe. Thus how can you call such things a conjecture, postulate or whatever? I can’t help thinking that 100 years ago Hilbert and his contemporaries were having much the same argument. Here we are 100 years later, and still people are trying to use words in the same way that Hilbert was trying to build his program for a complete, consistent, sound mathematics. Thanks to Godel, we now know that a Hilbert Mathematics is impossible, so why are we 100 years later pushing a Hilbert Mathematical English? I note lastly that I know that you are trying to give a simple definition to these terms, but as I outlined, there belies the danger. I truly believe if your going to give definitions, you better also show how that definitions or approaches are not written in stone, and that there are many perspectives where the definitions you give do not fit in with what is really evident, even though 90% of the school of thought takes the same easy way out. It just perpetuates the bad mathematical understanding. And mathematics really requires a flexible mind, and not a rigged linear thought process (which is how it is, sadly, mostly taught today)… Godel should be proof of that!
    Edited last time by admin on 09/24/2020 (Thu) 06:35:34.
    Dorian Sabaz says: April 29, 2012 at 6:35 am Freshman or first years, it matters not. You start teaching false understandings at the beginning of a mathematical education, you end up with just confused and poor mathematicians. Worse yet, you end up with poor engineers and ridiculous physics theories, which is what we have today. Disciplines like Physics are in trouble, this has been so now for the better part of 30 years. There are subtleties that need to be understood, especially now in physics, and these subtleties are being ignored. There is a fundamental problem how we do theoretical physics and the way we interpret mathematics in physics, that is, how we do mathematical physics. I am of a school where we should be doing physical mathematics – that is, learn from observation and let reality guide your mathematics – this is contrary to mathematical physics, where the math is pushing how we want reality. That is why I gave the argument above on the interpretation of what is a theory, lemma or corollary. Perspective is illusory, not mathematical fact. As a small but very profound illustration, consider how the Hamiltonian is calculated for a particle in a box, or infinite well (it matters not the case). After some effort, the wave functions are determined for the possible states (energy, position, momentum, whatever) that the particle is allowed. But is this really true! Consider what the mathematics is really telling us. We have calculated these possible quexposingzed values for the entire system, in situ and a priori (refer back to my initial commentary for why this is important). So the question begs, how does a particle get to know the entire system, and know how to go into these appropriate quantum states IMMEDIATELY. The mathematics, is insitu! Reality is not. You can bring Relativity into this, it doesn’t change anything, the problem still remains, its just one level higher. This problem becomes self evident once you get into entanglement, but even there, the mathematics we use breaks down. I’ll end by giving you a first year dilemma, since you are so focused on freshmans and their capacity to understand basic mathematics. Let us see how you can explain this to them. Riddle me this, the inner dot product of two vectors is considered to be a scalar, whereas the cross product is vector. Furthermore, the inner dot product is interpreted by every mathematician and physicist in every university in the world today, as a projection of one vector upon the other, and the cross product illustrates the area (if we take units of distance) of two vectors. But is this true? Why is it that inner dot product has units of area, like the cross product. And if the inner dot product truly does represent an area, what area is it? Furthermore, reinterpreting the dot product to this “forgotten area”, what does this do to our interpretation of, say, Maxwell’s equations? As you can see, if you start off with a poor or misguided understanding in mathematics, it just may take you down a path to paradoxical theories, like Quantum Theory and Relativity. Paradoxes are a sign that it is not your theory that is flawed, but the axioms that the theory is supported upon is in error. Just imagine, two hundred years of the greatest mathematical minds and greatest physicists in history all missed one important and minor thing, like understanding what the dot product really is. Could this really be true? Its not like its ever happened before is it? Hmmm, two and half thousand years of believing that the Earth was the center of the known universe, does come to mind. Just because all the sheep follow the shepherd, it doesn’t mean that the shepherd knows where he is going. I gave you an argument earlier that linear thinking is dangerous. For it brainwashes people into thinking one way. I can tell you now, there are very deep problems and mistakes we have made in physics and mathematics, all because, we do mathematical physics and not physical mathematics. There are other ways to look at reality, and if you don’t teach them early in the educational process, you only perpetuate the lies of the past. How many centuries must past before ??? learns these lessons? https://divisbyzero.com/2008/09/22/what-is-the-difference-between-a-theorem-a-lemma-and-a-corollary/
    I always love clear, accurate, concise, proper and effective writings.


    no cookies?