Vad är en följd i matematik?

Corollate är en term som ibland används i samband med matematiska bevis, särskilt inom området algebraisk geometri. Det är inte ett vanligt använt ord, och det kanske inte är bekant för många människor.

I allmänhet är en följd ett påstående som följer logiskt från ett tidigare påstående, ofta som en konsekvens av ett bevis eller en uppsättning antaganden. Med andra ord, en följd är ett sekundärt resultat som härleds från ett primärt resultat eller sats.

Om vi till exempel har en sats som säger "Om A då B", kanske vi kan härleda en följd som säger "Om B" sedan C". Det betyder att påståendet "C" logiskt följer av påståendet "B", vilket i sin tur logiskt följer av påståendet "A".

I praktiken används ofta följder för att ge ytterligare insikt eller för att illustrera konsekvenserna av ett visst resultat. De kan också vara användbara för att hjälpa till att bygga en kedja av logiska argument, där varje steg följer naturligt från det föregående.