EDB — 1XY

view in whole PDF view in whole HTML

Vista

Italiano

Esercizio 51

[1XY] Difficoltà:*. Sia \(A\) un insieme bene ordinato 1 dall’ordinamento \(≤\); sia \(m=\min A\); allora per proposizioni \(P(a)\) con \(a∈ A\) si può usare un metodo di dimostrazione, detto induzione transfinita, in cui

  • si richiede che \(P(m)\) sia vera, e

  • si dimostra il “passo induttivo”

    \[ ∀ n∈ ℕ \Big( \big(∀ k{\lt} n, P(k)\big)⇒ P(n)\Big) \]

Si dimostri che se la proposizione \(P\) soddisfa le due precedenti, allora \(∀ x∈ A,P(x)\).

Si dimostri inoltre che se \(A=ℕ\) allora il “passo induttivo” è equivalente al passo induttivo della induzione forte (definita in [1XS]).

  1. Come definito in [07R].
Scarica PDF
Bibliografia
Indice analitico
  • induzione, transfinita
  • transfinita, induzione ---
Stai gestendo il blob in: Multiple languages
Questo contenuto è disponibile in: Italiano Inglese