Az általánosság elvesztése nélkül

A Wikipédiából, a szabad enciklopédiából
Ugrás a navigációhoz Ugrás a kereséshez

A matematikai zsargonban az általánosság elvesztése nélkül, ritkábban az általánosság csökkentése nélkül (angolul Without [any] loss of generality, rövidítve WOLOG, WLOG vagy w.l.o.g.) matematikai bizonyítás során gyakran használt kifejezés. Arra utal, hogy bár a bizonyítás során valamely szűkebb esetre korlátoztuk a bizonyítási eljárást, azt az összes többi esetre is könnyen alkalmazni lehet, illetve a többi eset ekvivalens vagy nagyon hasonló.[1] Tehát, a speciális eseten végzett bizonyítás alapján triviális elvégezni a bizonyítást az összes többi esetre is.

A kifejezés használatát gyakran valamilyen szimmetria teszi lehetővé. Például ha a valós számok valamely P(x,y) tulajdonságáról ismert, hogy szimmetrikus x-re és y-ra, tehát P(x,y) ekvivalens P(y,x)-szel, akkor annak bebizonyításakor, hogy P(x,y) minden x és y értékre igaz, feltehető „az általánosság elvesztése nélkül” hogy xy. Nem csökken az általánosság ezzel a feltevéssel: ahogy az xy P(x,y) esetet igazoltuk, a másik eset következik: yx[2] P(y,x) ⇒[3] P(x,y); tehát P(x,y) minden esetben fennáll.

Példa[szerkesztés]

Tekintsük a következő matematikai tételt (ami a skatulyaelv egy esete):

„Ha három tárgy mindegyikét pirosra vagy kékre színezünk, kell lennie két azonos színű tárgynak.”

Egy bizonyítás:

„Az általánosság elvesztése nélkül tegyük fel, hogy az első tárgy piros. Ha a másik két tárgy valamelyike piros, készen vagyunk; ha nem, a másik két tárgya csak kék lehet, és ugyanúgy készen vagyunk.”

Ez azért működik, mert ugyanez az okoskodás (a „piros” és a „kék” szavak felcserélésével) alkalmazható akkor is, ha a másik lehetőséget tesszük fel, tehát hogy az első tárgy kék.

Kapcsolódó szócikkek[szerkesztés]

Jegyzetek[szerkesztés]

  1. Chartrand, Gary; Polimeni, Albert D. & Zhang, Ping (2008), Mathematical Proofs / A Transition to Advanced Mathematics (2nd ed.), Pearson/Addison Wesley, pp. 80–81, ISBN 0-321-39053-9
  2. az előbb bizonyított implikációból az x és az y felcserélésével
  3. a P szimmetriája miatt

További információk[szerkesztés]