Fundovaná indukce

Z Wikipedie, otevřené encyklopedie

Fundovaná indukce je druh matematického důkazu používaný zejména v teorii množin. Je zobecněním transfinitní indukce.

[editovat] Věta o fundované indukci

Věta o fundované indukci může být vyslovena například takto:

Nechť binární relace R je úzká a fundovaná na třídě A a nechť X \subseteq A je taková, že \{x; xRy\}\subseteq X \rightarrow y\in X pro všechna y\in A. Pak X=A.

[editovat] Příklady

  • Je-li R=\in a A=\mathbf{On}, říká věta o fundované indukci přesně totéž, co věta o transfinitní indukci.

[editovat] Podívejte se také na

Související články obsahuje:
 Portál Matematika