Brez škode za splošnost

Iz Wikipedije, proste enciklopedije

Brez škode za splošnost (pogosto skrajšano na BŠS; tudi brez izgube splošnosti) je izraz, ki se pogosto uporablja v matematiki. Uporablja se, ko se v dokzu sicer osredotočimo le na določen primer, vendar to ne vpliva na splošno veljavnost dokaza. Ostali primeri so dovolj podobni že dokazanemu primeru, tako da bi jih lahko dokazali na enak način.[1] Tako bi bilo dokaz, podan za določen primer, trivialno podajati tudi za ostale.

V mnogih primerih je uporaba "brez škode za splošnost" mogoča zaradi simetrije.[2] Na primer, če vemo, da je neka lastnost na realnih številih simetrična (tj. ), potem pri dokazovanju, da velja za vsaka in , lahko "brez škode za splošnost" predpostavimo, da velja in dokažemo . Pri tem dokazu škode za splošnost seveda ni, saj dokaz sledi neposredno iz simetričnosti lastnosti .

Če v trditvi, ki jo dokazujemo, ni nobene simetrije ali kakršnekoli druge oblike ekvivalentnosti, potem je raba "brez škode za splošnost" napačna. Trditev smo tako dokazali le za določen primer.

Primer[uredi | uredi kodo]

Oglejmo si naslednjo trditev:

Če imamo tri predmete in vsakega pobarvamo bodisi z rdečo bodisi z modro barvo, potem sta vsaj dva predmeta iste barve.

Dokaz:

Brez škode za splošnost predpostavimo, da je prvi predmet rdeče barve. Če je rdeč še vsaj eden izmed ostalih dveh smo trditev dokazali. Če ne, pa morata biti ostala predmeta oba modre barve. S tem je trditev dokazana.

Zgornji navedeni dokaz je pravilen, ker bi lahko na popolnoma enak način sklepali tudi, če bi rekli, da je prvi predmet moder. Besedi 'rdeč' in 'moder' torej lahko v dokazu prosto zamenjujemo. Posledično je v tem primeru uporaba "brez škode za splošnost" veljavna.

Sklici[uredi | uredi kodo]

  1. Chartrand, Gary; Polimeni, Albert D.; Zhang, Ping (2008). Mathematical Proofs / A Transition to Advanced Mathematics (2. izd.). Pearson/Addison Wesley. str. 80–81. ISBN 978-0-321-39053-0.
  2. Dijkstra, Edsger W. (1997). »WLOG, or the misery of the unordered pair (EWD1223)«. V Broy, Manfred (ur.). Mathematical Methods in Program Development (PDF). NATO ASI Series F: Computer and Systems Sciences. Zv. 158. Springer. str. 33–34. doi:10.1007/978-3-642-60858-2_9.