Brez škode za splošnost (pogosto skrajšano na BŠS; tudi brez izgube splošnosti) je izraz, ki se pogosto uporablja v matematiki in fiziki. Uporablja se, ko se v dokazu sicer osredotoči 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 se jih lahko dokazalo na enak način. 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. Na primer, če se ve, da je neka lastnost na realnih številih simetrična (tj. ), potem pri dokazovanju, da velja za vsaka in , se lahko »brez škode za splošnost« predpostavi, da velja in dokaže . Pri tem dokazu škode za splošnost seveda ni, saj dokaz sledi neposredno iz simetričnosti lastnosti .
Če v trditvi, ki se jo dokazuje, ni nobene simetrije ali kakršnekoli druge oblike ekvivalentnosti, potem je raba »brez škode za splošnost« napačna. Trditev se je tako dokazala le za določen primer.
Zgled
Naj se pogleda naslednjo trditev:
Dokaz:
Zgornji navedeni dokaz je pravilen, ker bi se lahko na popolnoma enak način sklepalo tudi, če bi se reklo, da je prvi predmet moder. Besedi 'rdeč' in 'moder' se torej lahko v dokazu prosto zamenjuje. Posledično je v tem primeru uporaba »brez škode za splošnost« veljavna.
Sklici
Kategorija:Matematično izrazoslovje