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. The name is absent2. Why Managers Hold Shares of Their Firms: An Empirical Analysis
3. Behavioural Characteristics and Financial Distress
4. The name is absent
5. The name is absent
6. Økonomisk teorihistorie - Overflødig information eller brugbar ballast?
7. The name is absent
8. Studies on association of arbuscular mycorrhizal fungi with gluconacetobacter diazotrophicus and its effect on improvement of sorghum bicolor (L.)
9. Industrial Cores and Peripheries in Brazil
10. Fiscal Sustainability Across Government Tiers