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

Back to manuscript

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

Nearby in this section