Vikipedio:Projekto matematiko/Sen malprofito de universaleco

El Vikipedio

Ĉi tiu artikolo montras stilajn aŭ/kaj gramatikajn aŭ/kaj strukturajn problemojn kaj bezonas poluradon por konformi al pli bona nivelo de kvalito. Post plibonigo movu la artikolon al
Sen malprofito de universaleco
(eble la nomo mem bezonas korekton) Se la ligo estas ruĝa, vi povas movi la artikolon. Se la ligo estas blua, la alia artikolo pri la temo jam ekzistas kaj tiun kaj ĉi tiun artikolon necasas kunigi.

Sen malprofito de universaleco (mallongigis al _WLOG_ aŭ _WOLOG_ kaj malpli kutime komencita kiel sen (ĉiu, iu) malprofito de universaleco) estas ofte uzita esprimo en matematiko. La (termo, membro, flanko, termino) estas uzita kie la situacio aŭ (situacioj, situacias) priskribita povas esti simple ĝeneraligita al ĉiuj (bezonata, bezonis) (situacioj, situacias). Ĝia plej komuna uzi estas al kolapso (kesto, okazo) analitiko al unu (kesto, okazo), aŭ eble malgranda nombro de esenca (okazoj, skatoloj, kestoj, kestas, okazas).

_WLOG_ estas ne matematika aksiomo de (ĉiu, iu) speco; ĝi estas _admission_ al la legilo (tiu, ke, kiu) la pruvo donita estas ne plenumi, sed (implicas, enhavas) (tiu, ke, kiu) bagatele _completable_ (ekzemple, per numerigo forestas (okazoj, skatoloj, kestoj, kestas, okazas), aŭ aplikanta _unstated_ teoremo (tiu, ke, kiu) estos permesi ni al ĝeneraligi pruvo sur iu subaro de (objektoj, objektas) al la aro de ĉiuj tia (objektoj, objektas)). Kiel kun ĉiuj tiaj stenografioj, estas ĉiam danĝero de prezentanta malvera implica (premiso, supozo) (en alia (vortoj, vortas), (tiu, ke, kiu) estas fakte malprofito de universaleco ni havi bedaŭrita per ne skribanta ekster la pruvo en plena).

[redaktu] Ekzemplo

Konsideri jena teoremo (la plej simpla (kesto, okazo) de Teoremo de Ramsey kaj ankaŭ ekzemplo de Dirichlet-a's faka principo):

Tri (objektoj, objektas) estas ĉiu (farbis, kolorita, kolorigita, pentrita) ĉu (ruĝa, legita) aŭ blua; tie devas esti du (objektoj, objektas) de la sama koloro.

La pruvo:

Alpreni sen malprofito de universaleco (tiu, ke, kiu) la unua objekto estas (ruĝa, legita). Se ĉu de la alia du (objektoj, objektas) estas (ruĝa, legita), ni estas (finita, finpretigita); se ne, la alia du (objektoj, objektas) devas ambaŭ esti blua kaj ni estas ankoraŭ (finis, finpretigita).

Ni povas alpreni _WLOG_ (tiu, ke, kiu) la unua objekto estas (ruĝa, legita), ĉar estas ne diferenco inter (ruĝa, legita) kaj blua por la (celoj, celas) de la pruvo. Se la unua objekto estas blua anstataŭ (ruĝa, legita), tio estas ekvivalento al nura ŝanĝi de la (nomoj, nomas) de la du (koloroj, koloras, kolorigas), kaj la (nomoj, nomas) de la (koloroj, koloras, kolorigas) don't (materio, afero); la pruvo iras tra (justa, ĵus) monpuno se vi reŝaltilo '(ruĝa, legita)' al 'blua' kaj (malvirto, ŝraŭbtenilo) _versa_.