Manuscript IX-C-ST@1 · IX-C-ST.tex · section · 892f50c4

Concrete relations and evaluated scalar descent

Concrete relations and evaluated scalar descent · lines 1397–1408

For $v = \sum_{i} a_{i} f_{i} \otimes g_{i} \in E_{L}$ , use the faithful algebraic embedding

v (x, y) = i \sum a_{i} f_{i} (x) g_{i} (y) \in D (V^{2}) .

Faithfulness follows by choosing linearly independent first factors and applying dual linear functionals on their finite span. No completed tensor product is substituted.

Displayed formulas in this passage

unlabeled · line 1402
$v (x, y) = i \sum a_{i} f_{i} (x) g_{i} (y) \in D (V^{2}) .$

Nearby in this section

proposition: Proposition: Degree-two relation kernels
section: Concrete relations and evaluated scalar descent
proposition: Proposition: Degree-four relation kernels
section: Concrete relations and evaluated scalar descent
lemma: Lemma: Full distributional support of K
section: Concrete relations and evaluated scalar descent
lemma: Lemma: Compact primitive
theorem: Theorem: Injective partial-contraction presentations