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ť
je taková, že
pro všechna
. Pak X=A.
[editovat] Příklady
- Je-li
a
, ří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: |

