Naar inhoud springen

Corollarium

Uit Wikipedia, de vrije encyclopedie

Een corollarium (Latijn: toegift), of eenvoudiger: gevolg, is een uitspraak die gemakkelijk volgt uit een eerdere uitspraak.

In de wiskunde volgt een corollarium typisch uit een voorafgaande stelling. Het gebruik van "corollarium", in plaats van "propositie" of "stelling" is subjectief. Stelling B is een corollarium van stelling A, als B 'gemakkelijk' uit A kan worden gededuceerd. De invulling van "gemakkelijk" varieert afhankelijk van auteur en context.

De betekenis van een corollarium wordt vaak als secundair beschouwd in vergelijking met de betekenis van de oorspronkelijke stelling. Het is ongebruikelijk dat men B een corollarium noemt, als de wiskundige gevolgen ervan even belangrijk zijn als die van A. Soms heeft een corollarium een bewijs dat de afleiding uit de voorafgaande stelling verklaart, maar soms wordt de afleiding ook als vanzelfsprekend beschouwd.