4.1 Vorbereitungen 173
ft* ∈ RGS∖{0}, so dass VAN(ft*) = VAN(ft+) ⊆ VAN(ft)∖{rα = απ } und Α, Β ∈
VER(ft*) und K(ft*) = Β. ■
Theorem 4-8. Einfache Substitution eines neuen Parameters fur einen Parameter ist RGS-treu
Wenn ft ∈ RGS, und β* ∈ PAR∖TTSEQ(ft) und β ∈ PAR∖{β*}, dann ist [β*, β, ft] ∈ RGS
und Dom(VERS([β*, β, ft])) = Dom(VERS(ft)).
Beweis: Durch Induktion uber Dom(ft). Sei ft ∈ RGS, und β* ∈ PAR∖TTSEQ(ft) und β
∈ PAR∖{β*} und gelte die Behauptung fur alle k < Dom(ft). Sei Dom(ft) = 0. Dann ist ft
= 0 = [β*, β, ft] und damit [β*, β, ft] ∈ RGS und es ist Dom(VERS([β*, β, ft])) = 0 =
Dom(VERS(ft)). Sei nun 0 < Dom(ft). Dann ist ft ∈ RGS∖{0}. Dann ist mit Theorem 3-6
ft ∈ RGF(ftΓDom(ft)-1). Dann ist nach I.V.:
a) ft* = [β*, β, ftfDom(ft)-1] ∈ RGS und Dom(VERS(ft*)) =
Dom(VERS(ftf Dom(ft)-1)).
Sodann ergibt sich mit ft ∈ RGF(ftΓDom(ft)-1) mit Definition 3-18, dass ft ∈
AF(ftΓDom(ft)-1) oder ft ∈ SEF(ftΓDom(ft)-1) oder ft ∈ SBF(ftΓDom(ft)-1) oder ft ∈
KEF(ftΓDom(ft)-1) oder ft ∈ KBF(ftβDom(ft)-1) oder ft ∈ BEF(ftΓDom(ft)-1) oder ft ∈
BBF(ftΓDom(ft)-1) oder ft ∈ AEF(ftΓDom(ft)-1) oder ft ∈ ABF(ftΓDom(ft)-1) oder ft ∈
NEF(ftΓDom(ft)-1) oder ft ∈ NBF(ftΓDom(ft)-1) oder ft ∈ UEF(ftβDom(ft)-1) oder ft ∈
UBF(ftΓDom(ft)-1) oder ft ∈ PEF(ftβDom(ft)-1) oder ft ∈ PBF(ftΓDom(ft)-1) oder ft ∈
IEF(ftβDom(ft)-1) oder ft ∈ IBF(ftβDom(ft)-1).
Da sich Operatoren durch die Substitution nicht verandern, gilt nun zunachst:
b) Fur alle i ∈ Dom(ft)-1: A(ft*i) = [β*, β, A(fti)] und ft*i = rΞ [β*, β, A(fti)]π, wobei fti
= rΞ A(fti)^l, fur ein Ξ ∈ PERF.
Sodann gilt mit β* ∈ PAR∖TTSEQ(ft) und β ∈ PAR∖{β*}:
c) Fur jedes i ∈ Dom(ft): β* ∉ TT(A(fti)) und β ∉ TT([β*, β, A(fti)]),
da sonst im Gegensatz zur Voraussetzung β* ∈ TTSEQ(ft) oder β = β*. Sodann sei ver-
einbart:
d) ft+ = ft* U {(Dom(ft)-1, [β*, β, ftDom(ft)-1])}.
More intriguing information
1. Electricity output in Spain: Economic analysis of the activity after liberalization2. The Mathematical Components of Engineering
3. The Formation of Wenzhou Footwear Clusters: How Were the Entry Barriers Overcome?
4. Partner Selection Criteria in Strategic Alliances When to Ally with Weak Partners
5. Evolving robust and specialized car racing skills
6. Weather Forecasting for Weather Derivatives
7. QUEST II. A Multi-Country Business Cycle and Growth Model
8. The name is absent
9. Auctions in an outcome-based payment scheme to reward ecological services in agriculture – Conception, implementation and results
10. Response speeds of direct and securitized real estate to shocks in the fundamentals