|
|
|
Revision difference : lemma |
| Version 11 |
Version 10 |
| There is no technical distinction between a lemma, a proposition, and a theorem. A \emph{lemma} is a proven statement, typically named a lemma to distinguish it as a truth used as a stepping stone to a larger result rather than an important statement in and of itself. Of course, some of the most powerful statements in mathematics are known as lemmas, including Zorn's Lemma, Bezout's Lemma, Gauss' Lemma, Fatou's lemma, etc., so one clearly can't get too much simply by reading into a proposition's name. |
There is no technical distinction between a lemma, a proposition, and a theorem. A \emph{lemma} is a proven statement, typically named a lemma to distinguish it as a truth used as a stepping stone to a larger result rather than an important statement in and of itself. Of course, some of the most powerful statements in mathematics are known as lemmas, including Zorn's Lemma, Bezout's Lemma, Gauss' Lemma, Fatou's lemma, etc., so one clearly can't get too much simply by reading into a proposition's name. |
|
|
| Even less well-defined is the distinction between a proposition and a theorem. Many authors choose to name results only one or the other, or use both more or less interchangeably. A partially standard set of nomenclature is to use the \PMlinkescapetext{term} \emph{proposition} to denote a significant result that is still shy of deserving a proper name. In contrast, a \emph{theorem} under this format would \PMlinkescapetext{represent} a major result, and would often be named in \PMlinkescapetext{relation} to mathematicians who worked on or solved the problem in question. |
Even less well-defined is the distinction between a proposition and a theorem. Many authors choose to name results only one or the other, or use both more or less interchangeably. A partially standard set of nomenclature is to use the \PMlinkescapetext{term} \emph{proposition} to denote a significant result that is still shy of deserving a proper name. In contrast, a \emph{theorem} under this format would \PMlinkescapetext{represent} a major result, and would often be named in \PMlinkescapetext{relation} to mathematicians who worked on or solved the problem in question. |
|
|
|
The greek word ``lemma'' itself means ``anything which is received, such as a gift, profit, or a bribe.'' According to \cite{Higham}, the plural 'Lemmas' is commonly used. The correct greek plural of lemma, however, is lemmata. The greek ``Theoria'' means ``view, or vision" and is clearly linguistically related to the word ``theatre.'' The apparent relation is that a theorem is a mathematical fact which you see to be true (and can now show others!).
|
The greek word ``lemma" itself means ``anything which is received, such as a gift, profit, or a bribe." According to \cite{Higham}, the plural 'Lemmas' is commonly used. The correct greek plural of lemma, however, is lemmata. The greek ``Theoria" means ``view, or vision" and is clearly linguistically related to the word ``theatre." The apparent relation is that a theorem is a mathematical fact which you see to be true (and can now show others!).
|
|
|
| A somewhat more distinct concept (though still subject to author discretion) is that of a \emph{corollary}, which is a result that can be considered an immediate consequence of a previous theorem (typically, the preceding theorem in the text). |
A somewhat more distinct concept (though still subject to author discretion) is that of a \emph{corollary}, which is a result that can be considered an immediate consequence of a previous theorem (typically, the preceding theorem in the text). |
|
|
| \begin{thebibliography}{9} |
\begin{thebibliography}{9} |
| \bibitem{Higham} N. Higham, Handbook of writing for the mathematical sciences, Society for Industrial and Applied Mathematics, 1998. |
\bibitem{Higham} N. Higham, Handbook of writing for the mathematical sciences, Society for Industrial and Applied Mathematics, 1998. |
| (pp. 16) |
(pp. 16) |
| \end{thebibliography} |
\end{thebibliography} |
|
|
|
|
