Wika :
SWEWE Miyembro :Login |Rehistrasyon
Hanapin
Encyclopedia community |Encyclopedia Answers |Isumite tanong |Talasalitaan ng Kaalaman |Kaalaman Upload
Nakaraan 2 Susunod Pumili ng Pahina

Pasaklaw kahulugan

Ayon sa (Ⅰ) (Ⅱ), f - {(0, x1)} ay nakabuod relasyon na may pagkakasalungatan sa minimum ng f, kaya ∃ X ∈ A, (0, x) ∈ f!.

2 pagpapalagay m, ∃! X1 ∈ A, s.t. (m, x1) ∈ f.

Susunod na namin patunayan na ang m , ∃! X ∈ A, (m , x) ∈ f. Dahil ang induction teorya (m, x1) ∈ f, at f natutugunan ang induction tuntunin ng relasyon (Ⅱ), kaya (m , h (x1) .) ∈ f Isaalang-alang ang x natatangi, ipagpalagay ∃ t ≠ h (x1), st (m , t) ∈ f pagsasaalang-alang set f -. {( m, t)}, ito natutugunan ng

(Ⅰ) (0, x0) ∈ f - {( m, t)} (para sa m ≠ 0)

(Ⅱ) hayaan (n, x) ∈ f - {(m , t)}, bilang f -. {(M , t)} ⊂ f, sa gayon ay (n, x) ∈ f Dahil f ay pasaklaw relasyon, kaya ( n , h (x)) ∈ f. Kailan n = m (ibig sabihin n = m) ay, x = x1, kaya na h (x) = h (x1) ≠ t. kaya (n , h (x)) ≠ ( m , t) ang ( n, h (x)) ∈ f -. {( m, t)}.Ayon sa (Ⅰ) (Ⅱ), f - {( m, t)} ay din ng isang kaugnayan sa pagitan ng pagtatalaga sa tungkulin, kung saan ay ang minimum na f pagkakasalungatan, kaya ∃ X ∈ A, (m , x) ∈ f!.

Kaya, ayon sa mga prinsipyo ng mathematical induction, f ay isang katangian ng N sa A.

Dahil f natutugunan ng:. Ⅰ (0, x0) ∈ f;

Ⅱ. Kung (n, x) ∈ f, ang ( n, h (x)) ∈ f.

Samakatuwid, Ⅰ. F (0) = x0

Ⅱ. Kapag f (n) = x kapag, f (n ) = h (x) = h (f (n))

Kaya, recursive kahulugan ng pagkamaykatwiran ay satisfactorily di-napatutunayang.


Nakaraan 2 Susunod Pumili ng Pahina
Gumagamit Pagsusuri
Wala pang mga komento
Gusto kong magkomento [Visitor (18.189.*.*) | Login ]

Wika :
| Suriin ang code :


Hanapin

版权申明 | 隐私权政策 | Karapatang magpalathala @2018 World ensiklopediko kaalaman