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

Pasaklaw kahulugan

Pasaklaw kahulugan (pasaklaw definition)

Pasaklaw kahulugan ay upang tukuyin ang isang hanay ng mga pamamaraan na tinukoy para sa hanay na ibinigay sa pamamagitan ng pagtatalaga sa tungkulin upang patunayan ang sangkap kung saan ang lahat ay may isang tiyak na likas na katangian, kadalasang pasaklaw patunay.

Pasaklaw kahulugan hanay karaniwang may kasamang isang bilang ng mga panuntunan, na ginagamit upang bumuo ng ang metadata, at pagkatapos ay ipaliwanag na lamang ang mga panuntunan na nabuo sa pamamagitan ng mga bagay ay ang koleksyon ng mga dollars.

Pasaklaw kahulugan ng katumbas na pahayag ay nakatakda na portrayed bilang tinukoy sa mga panuntunang ito sarado minimal set.

Pasaklaw kahulugan ng istraktura

® pangunahing probisyon:

® mangailangan ng ilang mga elemento ng koleksyon na tinukoy bilang isang miyembro ng isang koleksyon ng mga iba pang mga elemento ay maaaring tinutukoy mula sa mga pangunahing elemento ng pagsisimula ng dahan-dahan.® pasaklaw Clause:

® na ang mga kinakailangan ay nakilala sa pamamagitan ng mga elemento ng koleksyon upang higit pang matukoy ang mga patakaran ng iba pang mga elemento.

® ultimate termino:

® koleksyon ay naglalaman lamang ng mga probisyon na tinukoy at summarized sa mga tuntunin ng mga pangunahing mga tuntunin ng mga kasapi na kinilala.

® pangunahing mga tuntunin at mga tuntunin summarized bilang "Kumpleto na sekswal na termino," kailangan naming matiyak na walang pagkukulang ay gumagawa ng isang koleksyon ng lahat ng mga miyembro.

® ultimate tuntunin, na kilala rin bilang "dalisay clause" upang matiyak na ang koleksyon ay naglalaman lamang matugunan ang mga tuntunin ng pagiging kumpleto ng mga bagay.

Magbigay ng tuntuning panlahat teorama

Maikling pangungusap

Pagtatalaga sa tungkulin teorama, na kilala rin bilang teorama recursion ay pasaklaw kahulugan ng isang mahigpit na may talino paliwanag.

Nilalaman

Given a0 ∈ A at isang function h: Isang → A. pagkatapos ay mayroon lamang isang function na f: N → A, masiyahan (1) f (0) = a0; (2) f (n ) = h (f (n)) .

Patunay

[1] (natatangi) pagpapalagay na masiyahan ang mga kondisyon (1) (2) ng pag-andar F1: N → A at F2: N → A. Upang patunayan ang pagiging natatangi, ito suffices upang F1 ≡ F2, ie ∀ n ∈ N, F1 (n) = F2 (n) pagtatalaga sa tungkulin para sa n:.. n = 0, ayon sa (1), na may F1 (0) = a0 = F2 (0) Hayaan f (n) = g (n), ayon sa ( 2), na may F1 (n ) = h (F1 (n)) = h (F2 (n)) = F2 (n ). Samakatuwid, ayon sa prinsipyo ng mathematical induction, F1 ≡ F2, natatangi ay di-napatutunayang.

(Pag-iral) ay tumutukoy n sa isang pasaklaw kaugnayan r (r ⊂ N × A) tulad ng mga sumusunod:

Ⅰ (0, x0) ∈ r.;

Ⅱ. Kung (n, x) ∈ r, pagkatapos ang ( n, h (x)) ∈ r.

Madaling malaman, sa gayon na ang pasaklaw r kaugnayan ay dapat na kasalukuyan, halimbawa, N × A ay isang pasaklaw relasyon (dahil gusto mong mahanap ang isang function ng N sa A, habang ang pag-andar para sa bawat isa sa mga orihinal na imahe ay maaaring mai-map sa isang elephant, kaya maaaring naisin mong isaalang-alang Ang lahat ng mga pinakamaliliit na pasaklaw relasyon, sabihin isaalang-alang ang naghahanap para sa mga pinakamaliliit na pasaklaw relasyon.)

Order f = {(n, x) ∈ N × A | (n, x) ∈ sa pagitan ng bawat induction} f ⊂ dahil sa pagtatalaga sa tungkulin sa pagitan ng bawat isa, sa gayon na ang isang minimum na f sa ibaba upang i-verify na f natutugunan ang mga kondisyon ng kaugnayan sa pagitan ng pagtatalaga sa tungkulin Ⅰ, Ⅱ upang patunayan na f ay ang pinakamaliit na pasaklaw relasyon.

Pagtatalaga sa tungkulin alang, una sa pamamagitan ng mga kilalang Ⅰ (0, x0) ∈ sa pagitan ng bawat pagtatalaga sa tungkulin, ang (0, x0) ∈ f. Ipagpalagay (n, x) ∈ f, lalo (n, x) ∈ sa pagitan ng bawat induction. Ⅱ ay kilala (n , h (x)) ∈ bawat pasaklaw relasyon, kaya (n , h (x)) ∈ f. Samakatuwid, ayon sa mga mathematical prinsipyo ng induction, f ay N at A ay isang pasaklaw relasyon, at f pagkakaroon ng minimum na sex.

Susunod na namin patunayan na ang f ay isang katangian ng N at A ay nakamit ∀ m ∈ N, ∃! X ∈ A, (m, x) ∈ f. Gamitin induction sa m.

1 kapag m = 0, dahil f ay pasaklaw pakikipag-ugnayan, sa gayon (0, x0) ∈ f Ipagpalagay x0 ay hindi natatangi, iyon ay, x1 ≠ x0, x1 ∈ a, at (0, x1) ∈ f, pagsasaalang-alang set f. - {(0, x1)}, na natutugunan ang

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

(Ⅱ) hayaan (n, x) ∈ f - {(0, x1)}, bilang f -. {(0, x1)} ⊂ f, sa gayon ay (n, x) ∈ f Dahil f ay pasaklaw relasyon, kaya ( n , h (x)) ∈ f Dahil n ≠ 0, (n , h (x)) ∈ f -. {(0, x1)}.


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

Wika :
| Suriin ang code :


Hanapin

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