MyWikiBiz, Author Your Legacy — Sunday September 07, 2025
Jump to navigationJump to search
233 bytes removed
, 05:04, 10 February 2009
Line 3,730: |
Line 3,730: |
| | | |
| ===Definition 13=== | | ===Definition 13=== |
− |
| |
− | <pre>
| |
− | Definition 13
| |
− |
| |
− | If R c OxSxI,
| |
− |
| |
− | then the following are identical subsets of SxI:
| |
− |
| |
− | D13a. DerR
| |
− |
| |
− | D13b. Der(R)
| |
− |
| |
− | D13c. {<x,y> C SxI : DenR|x = DenR|y}
| |
− |
| |
− | D13d. {<x,y> C SxI : Den(R, x) = Den(R, y)}
| |
− | </pre>
| |
| | | |
| <br> | | <br> |
Line 3,754: |
Line 3,738: |
| |- style="height:40px; text-align:center" | | |- style="height:40px; text-align:center" |
| | width="80%" | | | | width="80%" | |
− | | width="20%" | <math>\operatorname{Definition~8}</math> | + | | width="20%" | <math>\operatorname{Definition~13}</math> |
| |} | | |} |
| |- | | |- |
Line 3,773: |
Line 3,757: |
| |- style="height:40px" | | |- style="height:40px" |
| | width="2%" style="border-top:1px solid black" | | | | width="2%" style="border-top:1px solid black" | |
− | | width="18%" style="border-top:1px solid black" | <math>\operatorname{D8a.}</math> | + | | width="18%" style="border-top:1px solid black" | <math>\operatorname{D13a.}</math> |
− | | width="80%" style="border-top:1px solid black" | <math>L_{SI}\!</math> | + | | width="80%" style="border-top:1px solid black" | <math>\operatorname{Der}^L</math> |
− | |- style="height:40px"
| |
− | |
| |
− | | <math>\operatorname{D8b.}</math>
| |
− | | <math>\operatorname{Con}^L</math> | |
| |- style="height:40px" | | |- style="height:40px" |
| | | | | |
− | | <math>\operatorname{D8c.}</math> | + | | <math>\operatorname{D13b.}</math> |
− | | <math>\operatorname{Con}(L)</math> | + | | <math>\operatorname{Der}(L)</math> |
| |- style="height:40px" | | |- style="height:40px" |
| | | | | |
− | | <math>\operatorname{D8d.}</math> | + | | <math>\operatorname{D13c.}</math> |
− | | <math>\operatorname{proj}_{SI}(L)</math> | + | | <math>\{ (x, y) \in S \times I ~:~ \operatorname{Den}^L|_x = \operatorname{Den}^L|_y \}</math> |
| |- style="height:40px" | | |- style="height:40px" |
| | | | | |
− | | <math>\operatorname{D8e.}</math> | + | | <math>\operatorname{D13d.}</math> |
− | | <math>\{ (s, i) \in S \times I ~:~ (o, s, i) \in L ~\operatorname{for~some}~ o \in O \}</math> | + | | <math>\{ (x, y) \in S \times I ~:~ \operatorname{Den}(L, x) = \operatorname{Den}(L, y) \}</math> |
| |} | | |} |
| |} | | |} |