biextensional collapse

If $\\mathcal{C}=(\\mathcal{A},r,\\mathcal{X})$ is a Chu space, we can define the biextensional collapse of $\\mathcal{C}$ to be $(\\hat{r}[A],r^{\\prime},\\check{r}[X])$ where $r^{\\prime}(\\hat{r}(a),\\check{r}(x))=r(a,x)$ .

That is, to name the rows of the biextensional collapse, we just use functions representing the actual rows of the original Chu space (and similarly for the columns). The effect is to merge indistinguishable rows and columns.

We say that two Chu spaces are equivalent if their biextensional collapses are isomorphic.

单词	BiextensionalCollapse
释义	biextensional collapse If $\\mathcal{C}=(\\mathcal{A},r,\\mathcal{X})$ is a Chu space, we can define the biextensional collapse of $\\mathcal{C}$ to be $(\\hat{r}[A],r^{\\prime},\\check{r}[X])$ where $r^{\\prime}(\\hat{r}(a),\\check{r}(x))=r(a,x)$ . That is, to name the rows of the biextensional collapse, we just use functions representing the actual rows of the original Chu space (and similarly for the columns). The effect is to merge indistinguishable rows and columns. We say that two Chu spaces are equivalent if their biextensional collapses are isomorphic.
随便看	HarmonicMeanInTrapezoid harmonic mean in trapezoid HarmonicNumber harmonic number HarmonicOscillator harmonic oscillator HarmonicSeries harmonic series HarnacksPrinciple HarnackTheorem Harnack theorem Harnack’s principle HarshadNumber Harshad number HartigsQuantifier HartleyFunction Hartley function HartmanGrobmanTheorem Hartman-Grobman theorem Hartman-Grobman theorem HartmanGrobmanTheorem1 HartogsExtensionTheorem Hartogs extension theorem HartogsFunctions Hartogs functions