Mathematical Jargon

__TOC__
Note that some phrases, like "in general", appear in more than one section.

PHILOSOPHY OF MATHEMATICS

These terms discuss mathematics as mathematicians think of it; they connote common intellectual strategies or notions the investigation of which somehow underlies much of mathematics.
; in mathematics, which leads to arguments that establish a result without reference to any specifics of the present problem.
; 's proof is the 'canonical proof' of the infinitude of primes (and indeed this is possibly the canonical example of a canonical proof).
; distinguished between ''elegant'' and ''beautiful'', saying that for example, some topics could be written about elegantly although the mathematical content is not beautiful, and some theorems or proofs are beautiful but may be written about inelegantly.
; s) which holds independently of any choices. Though long used informally, this term has found a formal definition in category theory.
; Pathological : An object behaves pathologically if it fails to conform to the generic behavior of such objects, fails to satisfy certain regularity properties (depending on context), or simply disobeys mathematical intution. These can be and often are contradictory requirements. Sometimes the term is more pointed, referring to an object which is specifically and artificially exhibited as a counterexample to these properties.
; Rigor (rigour) : Mathematics strives to establish its results using indisputable logic rather than informal descriptive argument. Rigor is the diametric opposite of the terms on this page.
; Well-behaved : An object is well-behaved if it ''does'' satisfy the prevailing regularity properties, or sometimes if it conforms to intuition (but intuition often suggests the opposite behavior as well).

INFORMALITIES

Although ultimately, every mathematical argument must meet a high standard of precision, mathematicians use descriptive but informal statements to discuss recurring themes or concepts with unwieldy formal statements. Note that many of the terms are completely rigorous in context.
; s or other measure spaces, where it means "except for a set of Measure zero").
; Arbitrarily Large, Arbitrarily Small , arbitrarily close: Notions which arise mostly in the context of limits, referring to phenomena which recur as the limit is approached.
; Arbitrary : A shorthand for the universal existential quantifier. An arbitrary choice is one which is made unrestrictedly, or alternatively, a statement holds of an arbitrary element of a set if it holds of any element of that set.
; for all sufficiently nice X: For all X which satisfy a set of conditions to be specified later. When Working Out a theorem, the conditions involved may be not yet known to the speaker; the intent is to restrict the set of X to which the theorem applies when the proof runs into difficulties.
; generic: This is similar to almost all, with usage mostly in non-measure theoretic contexts. For example, a property which holds on a Dense G_δ (intersection of countably many open sets) is said to hold generically.
; in general: In a descriptive context, this phrase introduces a simple characterization of a broad class of objects, with an eye towards identifying a unifying principle. Concisely, this term introduces an "elegant" description which holds for "arbitrary" objects "modulo" "pathology".
; sharp: Often, a mathematical theorem will establish constraints on the behavior of some object; for example, a function will be shown to have an upper or lower bound. The constraint is ''sharp'' if it cannot be made more restrictive without failing in some cases.
; Smooth : ''Smoothness'' is a concept which mathematics has endowed with many meanings, from simple differentiability to infinite differentiability to analyticity, and still others which are more complicated. Each such usage attempts to invoke the physically intuitive notion of smoothness.
; Sufficiently Large, Suitably Small , sufficiently close: In the context of limits, these terms refer to phenomena which prevail as the limit is approached.
; upstairs, downstairs: In a Fiber Bundle , the total space is often said to be ''upstairs'', with the base space ''downstairs''. Also, in a Fraction , the Numerator is occasionally referred to as ''upstairs'' and the Denominator ''downstairs'', as in "bringing a term upstairs".
; . A statement is true ''up to'' a condition if the establishment of that condition is the only impediment to the truth of the statement.

PROOFS AND PROOF TECHNIQUES

The formal language of Proof draws repeatedly from a small pool of ideas, many of which are invoked through various lexical shorthands in practice.
; Aliter : An obsolescent term which refers to an alternative method of proof.
; If And Only If (iff): An abbreviation for logical equivalence of statements.
; in general: In the context of proofs, this phrase is often seen in Induction arguments when passing from the base case to the "induction step", and similarly, in the definition of Sequence s whose first few terms are exhibited as examples of the formula giving every term of the sequence.
; Necessary And Sufficient : A minor variant on "if and only if"; ''necessary'' means "only if" and ''sufficient'' means '"if".
; One And Only One : An especially precise existence statement; the object exists, and furthermore, no other such object exists.
; By Way Of Contradiction (BWOC), or "for, if not, ..." : The rhetorical prelude to a proof by contradiction, preceding the negation of the statement to be proved.
; Q.E.D. : A Latin abbreviation historically placed at the end of proofs, but less common currently.
; required to prove (RTP): Proofs sometimes proceed by enumerating several conditions whose satisfaction will together imply the desired theorem; thus, it is ''required to prove'' just these statements.
; the following are equivalent (TFAE): A particular definition is not always the most convenient for certain applications; often one proves theorems stating equivalent rephrasings of the definition.
; wish to show, want to show (WTS): If a proof proceeds along several steps, the goal of each stage of the argument is prefaced with this expression.
; Without (any) Loss Of Generality (WLOG, WOLOG, WALOG), we may assume (WMA): Sometimes a proposition can be more easily proved with additional assumptions on the objects it concerns. If the proposition as stated follows from this modified one with a simple and minimal explanation (for example, if the remaining special cases are identical but for notation), then the modified assumptions are introduced with this phrase and the altered proposition is proved.

PROOF NON-TECHNIQUES

A few terms, such as those below, refer to the ''absence'' of correct proof technique.
; Back-of-the-envelope : An informal computation omitting much rigor without sacrificing correctness. Often this computation is "proof of concept" and treats only an accessible special case.
; By Inspection : A rhetorical shortcut made by authors who invite the reader to verify, at a glance, the correctness of a proposed expression or deduction.
; clearly, can be easily shown: A term which shortcuts around calculation the mathematician perceives to be tedious or routine, accessible to any member of the audience with the necessary expertise in the field; Laplace used ''obvious''.
; Handwaving : A non-technique of proof mostly employed in lectures, where formal argument is not strictly necessary. It proceeds by omission of details or even significant ingredients, and is merely a plausibility argument.
; in general: In a context not requiring rigor, this phrase often appears as a labor-saving device when the technical details of a complete argument would outweigh the conceptual benefits. The author gives a proof in a simple enough case that the computations are reasonable, and then indicates that "in general" the proof is similar.
; morally true: Used to indicate that the speaker believes a statement ''should'' be true, given their mathematical experience, even though a proof has not yet been put forward. As a variation, the statement may in fact be false, but instead provide a slogan for or illustration of a correct principle.
; Trivial : Similar to ''clearly''. A concept is trivial if it holds by definition, is immediately corollary to a known statement, or is a simple special case of a more general concept.

MISCELLANEOUS

; Left-hand Side, Right-hand Side (LHS, RHS):
; Transport Of Structure :
; Wrt , with respect to:

Information About

Mathematical Jargon