Brez škode za splošnost

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. 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 vemo, da je neka lastnost $P(x,y)$ na realnih številih simetrična (tj. $P(x,y)=P(y,x)$), potem pri dokazovanju, da $P(x,y)$ velja za vsaka $x$ in $y$, lahko "brez škode za splošnost" predpostavimo, da velja $x\le y$ in dokažemo $x\le y⟹P(x,y)$. Pri tem dokazu škode za splošnost seveda ni, saj dokaz $y\le x⟹P(y,x)$ sledi neposredno iz simetričnosti lastnosti $P$.

Č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

Oglejmo si naslednjo trditev: Predloga:Citatni blok Dokaz: Predloga:Citatni blok 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.