Without loss of generality (oftenabbreviated toWOLOG,WLOG orw.l.o.g.; less commonly stated aswithout any loss of generality orwith no loss of generality) is a frequently used expression inmathematics. The term is used to indicate the assumption that what follows is chosen arbitrarily, narrowing the premise to a particular case, but does not affect the validity of theproof in general. The other cases are sufficiently similar to the one presented that proving them follows by essentially the same logic.[1] As a result, once a proof is given for the particular case, it istrivial to adapt it to prove the conclusion in all other cases.
In many scenarios, the use of "without loss of generality" is made possible by the presence ofsymmetry.[2] For example, if some propertyP(x,y) ofreal numbers is known to be symmetric inx andy, namely thatP(x,y) is equivalent toP(y,x), then in proving thatP(x,y) holds for everyx andy, one may assume "without loss of generality" thatx ≤y. There is no loss of generality in this assumption, since once the casex ≤y⇒P(x,y) has been proved, the other case follows by interchangingx andy:y ≤x ⇒P(y,x), and by symmetry ofP, this impliesP(x,y), thereby showing thatP(x,y) holds for all cases.
On the other hand, if neither such a symmetry nor another form of equivalence can be established, then the use of "without loss of generality" is incorrect and can amount to an instance ofproof by example – alogical fallacy of proving a claim by proving a non-representative example.[3]
Consider the followingtheorem (which is a case of thepigeonhole principle):
If three objects are each painted either red or blue, then there must be at least two objects of the same color.
A proof:
Assume, without loss of generality, that the first object is red. If either of the other two objects is red, then we are finished; if not, then the other two objects must both be blue and we are still finished.
The above argument works because the same reasoning could be applied if the alternative assumption, namely, that the first object is blue, were made, or, similarly, that the words 'red' and 'blue' can be freely exchanged in the wording of the proof. As a result, the use of "without loss of generality" is valid in this case.