Manuscript IX-C@1 · IX-C.tex · section · 03ce8e6b
The real parameter test
Actual-functional descent of the second stage › The real parameter test · lines 925–938
IX-C@1#eq:affine
Let be the direct sum of the two relation-test spaces in (eq:leftscalarcondition) and (eq:rightscalarcondition). Define linear functionals on by evaluating the corresponding joint tests against and , respectively. Then both scalar relation tests are equivalent to
Displayed formulas in this passage
IX-C@1#eq:affine · line 933