Without Loss of Generality

Without loss of generality (abbreviated to WLOG; less commonly stated as without any loss of generality or with no loss of generality) is a frequently used expression in mathematics. The term is used before an assumption in a proof which narrows the premise to some special case; it is implied that the proof for that case can be easily applied to all others, or that all other cases are equivalent. Thus, given a proof of the conclusion in the special case, it is trivial to adapt it to prove the conclusion in all other cases.

This often requires the presence of symmetry. For example, in proving (i.e., that some property holds for any two real numbers and ), if we wish to assume "without loss of generality" that, then it is required that be symmetrical in and, namely that is equivalent to . There is then no loss of generality in assuming, since a proof for that case can trivially be adapted for the other case by interchanging and (leading to the conclusion, which is known to be equivalent to, the desired conclusion.)

Read more about Without Loss Of Generality:  Example

Famous quotes containing the words loss and/or generality:

    Our ego ideal is precious to us because it repairs a loss of our earlier childhood, the loss of our image of self as perfect and whole, the loss of a major portion of our infantile, limitless, ain’t-I-wonderful narcissism which we had to give up in the face of compelling reality. Modified and reshaped into ethical goals and moral standards and a vision of what at our finest we might be, our dream of perfection lives on—our lost narcissism lives on—in our ego ideal.
    Judith Viorst (20th century)

    The generality of men are naturally apt to be swayed by fear rather than reverence, and to refrain from evil rather because of the punishment that it brings than because of its own foulness.
    Aristotle (384–322 B.C.)