48 2 Verfugbarkeit von Aussagen
Definition 2-1. Abschnitt in einer Sequenz (Metavariablen: ЭД, ®, ¢, ЭД', ®', ¢', ЭД*, ®*, £*,
■■■)
ЭД ist ein Abschnitt in ʃɔ
gdw
ʃɔ ∈ SEQ, ЭД ≠ 0, ЭД ⊆ ⅛ und ЭД = {(i, ⅛) | min(Dom(^)) ≤ i ≤ max(Dom(^))}.
Definition 2-2. Zuordnung der Menge der Abschnitte von ^ (ABS)
ABS = {(⅛, X) | ⅛ ∈ SEQ und X = {ЭД | ЭД ist ein Abschnitt in ⅛}}.
Definition 2-3, Definition 2-4 und Definition 2-5 dienen vor allem der Verflussigung des
Ausdrucks.
Definition 2-3. Abschnitt
ЭД ist ein Abschnitt gdw es gibt ein ⅛, so dass ЭД ein Abschnitt in ʃɔ ist.
Definition 2-4. Teilabschnitt
ЭД ist ein Teilabschnitt von ЭД' gdw ЭД, ЭД' sind Abschnitte und ЭД ⊆ ЭД'.
Definition 2-5. Echter Teilabschnitt
ЭД ist ein echter Teilabschnitt von ЭД' gdw ЭД ist Teilabschnitt von ЭД' und ЭД ≠ ЭД'.
Theorem 2-1. Eine Sequenz ^ ist genau dann nicht-leer, wenn ABS⅛) nicht-leer ist
Wenn ʃɔ ∈ SEQ, dann: ʃɔ ≠ 0 gdw ABS(⅛) ≠ 0.
Beweis: Sei A ∈ SEQ. Sei zunachst A ≠ 0. Dann ist A ein Abschnitt in A und somit A ∈
ABS(⅛). Sei nun ABS(⅛) ≠ 0. Dann gibt es ein ЭД, so dass ЭД ein Abschnitt in A ist. Dann
ist ЭД ≠ 0 und ЭД ⊆ A und damit A ≠ 0. ■
Theorem 2-2. Das Abschnittspradikat ist bezuglich Teilmengenschaft zwischen Sequenzen
monoton
Wenn ⅛ ⅛' ∈ SEQ, ʃɔ ⊆ ⅛' und ЭД ein Abschnitt in ʃɔ ist, dann ist ЭД ein Abschnitt in ⅛'.
Beweis: Seien Д ⅛, ∈ SEQ, A ⊆ ⅛, und ЭД ein Abschnitt in ⅛. Dann ist ЭД ≠ 0 und ЭД ⊆
A ⊆ ⅛,. Ferner ist A = ⅛'ΓDom(⅛). Damit ist
ЭД = {(i, ⅛i) | min(Dom(2l.)) ≤ i ≤ max(Dom(2t))[
More intriguing information
1. Education Responses to Climate Change and Quality: Two Parts of the Same Agenda?2. The name is absent
3. Has Competition in the Japanese Banking Sector Improved?
4. The name is absent
5. Heavy Hero or Digital Dummy: multimodal player-avatar relations in FINAL FANTASY 7
6. Special and Differential Treatment in the WTO Agricultural Negotiations
7. Foreign direct investment in the Indian telecommunications sector
8. Experimental Evidence of Risk Aversion in Consumer Markets: The Case of Beef Tenderness
9. Governance Control Mechanisms in Portuguese Agricultural Credit Cooperatives
10. ENVIRONMENTAL POLICY: THE LEGISLATIVE AND REGULATORY AGENDA