{"id":209,"date":"2025-10-12T23:44:05","date_gmt":"2025-10-12T15:44:05","guid":{"rendered":"http:\/\/4.189.252.43\/?p=209"},"modified":"2025-12-17T00:52:02","modified_gmt":"2025-12-16T16:52:02","slug":"%e5%b9%bf%e4%b9%89%e4%b8%8d%e7%ad%89%e5%bc%8f","status":"publish","type":"post","link":"http:\/\/4.189.252.43\/index.php\/2025\/10\/12\/%e5%b9%bf%e4%b9%89%e4%b8%8d%e7%ad%89%e5%bc%8f\/","title":{"rendered":"2.4 \u5e7f\u4e49\u4e0d\u7b49\u5f0f"},"content":{"rendered":"\n<h2>\u4e00\u3001\u6b63\u5e38\u9525\u4e0e\u5e7f\u4e49\u4e0d\u7b49\u5f0f<\/h2>\n<h3>1. \u6b63\u5e38\u9525<\/h3>\n<p>\u5bf9\u4e8e\u4e00\u4e2a\u9525<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"8.143ex\" height=\"2.227ex\" viewBox=\"0 -755.9 3505.8 958.9\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.472ex;\"><defs><path stroke-width=\"0\" id=\"E222-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><path stroke-width=\"0\" id=\"E222-MJMAIN-2286\" d=\"M84 346Q84 468 166 546T360 635Q361 635 370 635T395 635T430 636T475 636T524 636H679Q694 628 694 616Q694 607 681 597L522 596H470H441Q366 596 338 592T266 568Q244 557 224 542T179 500T139 433T124 346V341Q124 253 185 185Q244 121 328 103Q348 98 366 98T522 96H681Q694 86 694 76Q694 64 679 56H526Q510 56 480 56T434 55Q350 55 289 71T172 141Q84 223 84 346ZM104 -131T104 -118T118 -98H679Q694 -106 694 -118T679 -138H118Q104 -131 104 -118Z\"><\/path><path stroke-width=\"0\" id=\"E222-MJMATHI-52\" d=\"M230 637Q203 637 198 638T193 649Q193 676 204 682Q206 683 378 683Q550 682 564 680Q620 672 658 652T712 606T733 563T739 529Q739 484 710 445T643 385T576 351T538 338L545 333Q612 295 612 223Q612 212 607 162T602 80V71Q602 53 603 43T614 25T640 16Q668 16 686 38T712 85Q717 99 720 102T735 105Q755 105 755 93Q755 75 731 36Q693 -21 641 -21H632Q571 -21 531 4T487 82Q487 109 502 166T517 239Q517 290 474 313Q459 320 449 321T378 323H309L277 193Q244 61 244 59Q244 55 245 54T252 50T269 48T302 46H333Q339 38 339 37T336 19Q332 6 326 0H311Q275 2 180 2Q146 2 117 2T71 2T50 1Q33 1 33 10Q33 12 36 24Q41 43 46 45Q50 46 61 46H67Q94 46 127 49Q141 52 146 61Q149 65 218 339T287 628Q287 635 230 637ZM630 554Q630 586 609 608T523 636Q521 636 500 636T462 637H440Q393 637 386 627Q385 624 352 494T319 361Q319 360 388 360Q466 361 492 367Q556 377 592 426Q608 449 619 486T630 554Z\"><\/path><path stroke-width=\"0\" id=\"E222-MJMATHI-6E\" d=\"M21 287Q22 293 24 303T36 341T56 388T89 425T135 442Q171 442 195 424T225 390T231 369Q231 367 232 367L243 378Q304 442 382 442Q436 442 469 415T503 336T465 179T427 52Q427 26 444 26Q450 26 453 27Q482 32 505 65T540 145Q542 153 560 153Q580 153 580 145Q580 144 576 130Q568 101 554 73T508 17T439 -10Q392 -10 371 17T350 73Q350 92 386 193T423 345Q423 404 379 404H374Q288 404 229 303L222 291L189 157Q156 26 151 16Q138 -11 108 -11Q95 -11 87 -5T76 7T74 17Q74 30 112 180T152 343Q153 348 153 366Q153 405 129 405Q91 405 66 305Q60 285 60 284Q58 278 41 278H27Q21 284 21 287Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E222-MJMATHI-4B\" x=\"0\" y=\"0\"><\/use><use xlink:href=\"#E222-MJMAIN-2286\" x=\"1166\" y=\"0\"><\/use><g transform=\"translate(2222,0)\"><use xlink:href=\"#E222-MJMATHI-52\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E222-MJMATHI-6E\" x=\"1073\" y=\"513\"><\/use><\/g><\/g><\/svg><\/span><script type=\"math\/tex\">K \\subseteq R^n<\/script>\uff0c\u5982\u679c\u5b83\u6ee1\u8db3\u4ee5\u4e0b\u6761\u4ef6\uff1a<\/p>\n<ul>\n<li><span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"2.065ex\" height=\"1.877ex\" viewBox=\"0 -755.9 889 808.1\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.121ex;\"><defs><path stroke-width=\"0\" id=\"E274-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E274-MJMATHI-4B\" x=\"0\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">K<\/script>\u662f\u51f8\u7684<\/li>\n<li><span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"2.065ex\" height=\"1.877ex\" viewBox=\"0 -755.9 889 808.1\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.121ex;\"><defs><path stroke-width=\"0\" id=\"E274-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E274-MJMATHI-4B\" x=\"0\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">K<\/script>\u662f\u95ed\u96c6<\/li>\n<li><span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"2.065ex\" height=\"1.877ex\" viewBox=\"0 -755.9 889 808.1\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.121ex;\"><defs><path stroke-width=\"0\" id=\"E274-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E274-MJMATHI-4B\" x=\"0\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">K<\/script>\u662f\u5b9e\u7684\uff0c\u5373\u5177\u6709\u975e\u7a7a\u5185\u90e8 (<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"10.39ex\" height=\"2.577ex\" viewBox=\"0 -806.1 4473.6 1109.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.705ex;\"><defs><path stroke-width=\"0\" id=\"E226-MJMAIN-69\" d=\"M69 609Q69 637 87 653T131 669Q154 667 171 652T188 609Q188 579 171 564T129 549Q104 549 87 564T69 609ZM247 0Q232 3 143 3Q132 3 106 3T56 1L34 0H26V46H42Q70 46 91 49Q100 53 102 60T104 102V205V293Q104 345 102 359T88 378Q74 385 41 385H30V408Q30 431 32 431L42 432Q52 433 70 434T106 436Q123 437 142 438T171 441T182 442H185V62Q190 52 197 50T232 46H255V0H247Z\"><\/path><path stroke-width=\"0\" id=\"E226-MJMAIN-6E\" d=\"M41 46H55Q94 46 102 60V68Q102 77 102 91T102 122T103 161T103 203Q103 234 103 269T102 328V351Q99 370 88 376T43 385H25V408Q25 431 27 431L37 432Q47 433 65 434T102 436Q119 437 138 438T167 441T178 442H181V402Q181 364 182 364T187 369T199 384T218 402T247 421T285 437Q305 442 336 442Q450 438 463 329Q464 322 464 190V104Q464 66 466 59T477 49Q498 46 526 46H542V0H534L510 1Q487 2 460 2T422 3Q319 3 310 0H302V46H318Q379 46 379 62Q380 64 380 200Q379 335 378 343Q372 371 358 385T334 402T308 404Q263 404 229 370Q202 343 195 315T187 232V168V108Q187 78 188 68T191 55T200 49Q221 46 249 46H265V0H257L234 1Q210 2 183 2T145 3Q42 3 33 0H25V46H41Z\"><\/path><path stroke-width=\"0\" id=\"E226-MJMAIN-74\" d=\"M27 422Q80 426 109 478T141 600V615H181V431H316V385H181V241Q182 116 182 100T189 68Q203 29 238 29Q282 29 292 100Q293 108 293 146V181H333V146V134Q333 57 291 17Q264 -10 221 -10Q187 -10 162 2T124 33T105 68T98 100Q97 107 97 248V385H18V422H27Z\"><\/path><path stroke-width=\"0\" id=\"E226-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><path stroke-width=\"0\" id=\"E226-MJMAIN-2260\" d=\"M166 -215T159 -215T147 -212T141 -204T139 -197Q139 -190 144 -183L306 133H70Q56 140 56 153Q56 168 72 173H327L406 327H72Q56 332 56 347Q56 360 70 367H426Q597 702 602 707Q605 716 618 716Q625 716 630 712T636 703T638 696Q638 692 471 367H707Q722 359 722 347Q722 336 708 328L451 327L371 173H708Q722 163 722 153Q722 140 707 133H351Q175 -210 170 -212Q166 -215 159 -215Z\"><\/path><path stroke-width=\"0\" id=\"E226-MJAMS-2205\" d=\"M624 470Q624 468 639 446T668 382T683 291Q683 181 612 99T437 -1Q425 -2 387 -2T337 -1Q245 18 193 70L179 81L131 39Q96 8 89 3T75 -3Q55 -3 55 17Q55 24 61 30T111 73Q154 113 151 113Q151 114 140 130T115 177T95 241Q94 253 94 291T95 341Q112 431 173 495Q265 587 385 587Q410 587 437 581Q522 571 582 513L595 501L642 541Q689 586 695 586Q696 586 697 586T699 587Q706 587 713 583T720 568Q720 560 711 551T664 510Q651 499 642 490T628 475T624 470ZM564 477Q517 522 448 539Q428 546 375 546Q290 546 229 492T144 370Q133 332 133 279Q136 228 151 195Q157 179 168 160T184 141Q186 141 375 307T564 477ZM642 290Q642 318 637 343T625 386T611 416T598 436T593 444Q590 444 402 277T213 108Q213 104 231 89T293 55T392 37Q495 37 568 111T642 290Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E226-MJMAIN-69\"><\/use><use xlink:href=\"#E226-MJMAIN-6E\" x=\"278\" y=\"0\"><\/use><use xlink:href=\"#E226-MJMAIN-74\" x=\"834\" y=\"0\"><\/use><use xlink:href=\"#E226-MJMATHI-4B\" x=\"1473\" y=\"0\"><\/use><use xlink:href=\"#E226-MJMAIN-2260\" x=\"2639\" y=\"0\"><\/use><use xlink:href=\"#E226-MJAMS-2205\" x=\"3695\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">\\text{int}\\ K \\neq \\varnothing<\/script>)<\/li>\n<li><span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"2.065ex\" height=\"1.877ex\" viewBox=\"0 -755.9 889 808.1\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.121ex;\"><defs><path stroke-width=\"0\" id=\"E274-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E274-MJMATHI-4B\" x=\"0\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">K<\/script>\u662f\u5c16\u7684\uff0c\u5373\u4e0d\u5305\u62ec\u76f4\u7ebf\uff08<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"24.505ex\" height=\"2.344ex\" viewBox=\"0 -755.9 10550.9 1009.2\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.588ex;\"><defs><path stroke-width=\"0\" id=\"E228-MJMATHI-78\" d=\"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z\"><\/path><path stroke-width=\"0\" id=\"E228-MJMAIN-2208\" d=\"M84 250Q84 372 166 450T360 539Q361 539 377 539T419 540T469 540H568Q583 532 583 520Q583 511 570 501L466 500Q355 499 329 494Q280 482 242 458T183 409T147 354T129 306T124 272V270H568Q583 262 583 250T568 230H124V228Q124 207 134 177T167 112T231 48T328 7Q355 1 466 0H570Q583 -10 583 -20Q583 -32 568 -40H471Q464 -40 446 -40T417 -41Q262 -41 172 45Q84 127 84 250Z\"><\/path><path stroke-width=\"0\" id=\"E228-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><path stroke-width=\"0\" id=\"E228-MJMAIN-2C\" d=\"M78 35T78 60T94 103T137 121Q165 121 187 96T210 8Q210 -27 201 -60T180 -117T154 -158T130 -185T117 -194Q113 -194 104 -185T95 -172Q95 -168 106 -156T131 -126T157 -76T173 -3V9L172 8Q170 7 167 6T161 3T152 1T140 0Q113 0 96 17Z\"><\/path><path stroke-width=\"0\" id=\"E228-MJMAIN-2212\" d=\"M84 237T84 250T98 270H679Q694 262 694 250T679 230H98Q84 237 84 250Z\"><\/path><path stroke-width=\"0\" id=\"E228-MJMAIN-21D2\" d=\"M580 514Q580 525 596 525Q601 525 604 525T609 525T613 524T615 523T617 520T619 517T622 512Q659 438 720 381T831 300T927 263Q944 258 944 250T935 239T898 228T840 204Q696 134 622 -12Q618 -21 615 -22T600 -24Q580 -24 580 -17Q580 -13 585 0Q620 69 671 123L681 133H70Q56 140 56 153Q56 168 72 173H725L735 181Q774 211 852 250Q851 251 834 259T789 283T735 319L725 327H72Q56 332 56 347Q56 360 70 367H681L671 377Q638 412 609 458T580 514Z\"><\/path><path stroke-width=\"0\" id=\"E228-MJMAIN-3D\" d=\"M56 347Q56 360 70 367H707Q722 359 722 347Q722 336 708 328L390 327H72Q56 332 56 347ZM56 153Q56 168 72 173H708Q722 163 722 153Q722 140 707 133H70Q56 140 56 153Z\"><\/path><path stroke-width=\"0\" id=\"E228-MJMAIN-30\" d=\"M96 585Q152 666 249 666Q297 666 345 640T423 548Q460 465 460 320Q460 165 417 83Q397 41 362 16T301 -15T250 -22Q224 -22 198 -16T137 16T82 83Q39 165 39 320Q39 494 96 585ZM321 597Q291 629 250 629Q208 629 178 597Q153 571 145 525T137 333Q137 175 145 125T181 46Q209 16 250 16Q290 16 318 46Q347 76 354 130T362 333Q362 478 354 524T321 597Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E228-MJMATHI-78\" x=\"0\" y=\"0\"><\/use><use xlink:href=\"#E228-MJMAIN-2208\" x=\"849\" y=\"0\"><\/use><use xlink:href=\"#E228-MJMATHI-4B\" x=\"1794\" y=\"0\"><\/use><use xlink:href=\"#E228-MJMAIN-2C\" x=\"2683\" y=\"0\"><\/use><use xlink:href=\"#E228-MJMAIN-2212\" x=\"3128\" y=\"0\"><\/use><use xlink:href=\"#E228-MJMATHI-78\" x=\"3906\" y=\"0\"><\/use><use xlink:href=\"#E228-MJMAIN-2208\" x=\"4756\" y=\"0\"><\/use><use xlink:href=\"#E228-MJMATHI-4B\" x=\"5700\" y=\"0\"><\/use><use xlink:href=\"#E228-MJMAIN-21D2\" x=\"6867\" y=\"0\"><\/use><use xlink:href=\"#E228-MJMATHI-78\" x=\"8145\" y=\"0\"><\/use><use xlink:href=\"#E228-MJMAIN-3D\" x=\"8995\" y=\"0\"><\/use><use xlink:href=\"#E228-MJMAIN-30\" x=\"10050\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">x \\in K, -x \\in K \\Rightarrow x = 0<\/script>\uff09<\/li>\n\n<\/ul>\n<p>\u90a3\u4e48\u8fd9\u4e2a\u9525\u662f\u4e00\u4e2a<strong>\u6b63\u5e38\u9525<\/strong>\u3002\u53ef\u4ee5\u7528\u6765\u5b9a\u4e49\u5e7f\u4e49\u4e0d\u7b49\u5f0f\uff0c\u5373<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"2.98ex\" height=\"1.994ex\" viewBox=\"0 -755.9 1283.3 858.4\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.238ex;\"><defs><path stroke-width=\"0\" id=\"E231-MJMATHI-52\" d=\"M230 637Q203 637 198 638T193 649Q193 676 204 682Q206 683 378 683Q550 682 564 680Q620 672 658 652T712 606T733 563T739 529Q739 484 710 445T643 385T576 351T538 338L545 333Q612 295 612 223Q612 212 607 162T602 80V71Q602 53 603 43T614 25T640 16Q668 16 686 38T712 85Q717 99 720 102T735 105Q755 105 755 93Q755 75 731 36Q693 -21 641 -21H632Q571 -21 531 4T487 82Q487 109 502 166T517 239Q517 290 474 313Q459 320 449 321T378 323H309L277 193Q244 61 244 59Q244 55 245 54T252 50T269 48T302 46H333Q339 38 339 37T336 19Q332 6 326 0H311Q275 2 180 2Q146 2 117 2T71 2T50 1Q33 1 33 10Q33 12 36 24Q41 43 46 45Q50 46 61 46H67Q94 46 127 49Q141 52 146 61Q149 65 218 339T287 628Q287 635 230 637ZM630 554Q630 586 609 608T523 636Q521 636 500 636T462 637H440Q393 637 386 627Q385 624 352 494T319 361Q319 360 388 360Q466 361 492 367Q556 377 592 426Q608 449 619 486T630 554Z\"><\/path><path stroke-width=\"0\" id=\"E231-MJMATHI-6E\" d=\"M21 287Q22 293 24 303T36 341T56 388T89 425T135 442Q171 442 195 424T225 390T231 369Q231 367 232 367L243 378Q304 442 382 442Q436 442 469 415T503 336T465 179T427 52Q427 26 444 26Q450 26 453 27Q482 32 505 65T540 145Q542 153 560 153Q580 153 580 145Q580 144 576 130Q568 101 554 73T508 17T439 -10Q392 -10 371 17T350 73Q350 92 386 193T423 345Q423 404 379 404H374Q288 404 229 303L222 291L189 157Q156 26 151 16Q138 -11 108 -11Q95 -11 87 -5T76 7T74 17Q74 30 112 180T152 343Q153 348 153 366Q153 405 129 405Q91 405 66 305Q60 285 60 284Q58 278 41 278H27Q21 284 21 287Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E231-MJMATHI-52\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E231-MJMATHI-6E\" x=\"1073\" y=\"513\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">R^n<\/script>\u4e0a\u7684\u504f\u5e8f\u5173\u7cfb\u3002<\/p>\n<h3>2. \u5e7f\u4e49\u4e0d\u7b49\u5f0f<\/h3>\n<p>\u7528\u6b63\u5e38\u9525<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"2.065ex\" height=\"1.877ex\" viewBox=\"0 -755.9 889 808.1\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.121ex;\"><defs><path stroke-width=\"0\" id=\"E274-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E274-MJMATHI-4B\" x=\"0\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">K<\/script>\u53ef\u4ee5\u5b9a\u4e49<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"2.98ex\" height=\"1.994ex\" viewBox=\"0 -755.9 1283.3 858.4\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.238ex;\"><defs><path stroke-width=\"0\" id=\"E231-MJMATHI-52\" d=\"M230 637Q203 637 198 638T193 649Q193 676 204 682Q206 683 378 683Q550 682 564 680Q620 672 658 652T712 606T733 563T739 529Q739 484 710 445T643 385T576 351T538 338L545 333Q612 295 612 223Q612 212 607 162T602 80V71Q602 53 603 43T614 25T640 16Q668 16 686 38T712 85Q717 99 720 102T735 105Q755 105 755 93Q755 75 731 36Q693 -21 641 -21H632Q571 -21 531 4T487 82Q487 109 502 166T517 239Q517 290 474 313Q459 320 449 321T378 323H309L277 193Q244 61 244 59Q244 55 245 54T252 50T269 48T302 46H333Q339 38 339 37T336 19Q332 6 326 0H311Q275 2 180 2Q146 2 117 2T71 2T50 1Q33 1 33 10Q33 12 36 24Q41 43 46 45Q50 46 61 46H67Q94 46 127 49Q141 52 146 61Q149 65 218 339T287 628Q287 635 230 637ZM630 554Q630 586 609 608T523 636Q521 636 500 636T462 637H440Q393 637 386 627Q385 624 352 494T319 361Q319 360 388 360Q466 361 492 367Q556 377 592 426Q608 449 619 486T630 554Z\"><\/path><path stroke-width=\"0\" id=\"E231-MJMATHI-6E\" d=\"M21 287Q22 293 24 303T36 341T56 388T89 425T135 442Q171 442 195 424T225 390T231 369Q231 367 232 367L243 378Q304 442 382 442Q436 442 469 415T503 336T465 179T427 52Q427 26 444 26Q450 26 453 27Q482 32 505 65T540 145Q542 153 560 153Q580 153 580 145Q580 144 576 130Q568 101 554 73T508 17T439 -10Q392 -10 371 17T350 73Q350 92 386 193T423 345Q423 404 379 404H374Q288 404 229 303L222 291L189 157Q156 26 151 16Q138 -11 108 -11Q95 -11 87 -5T76 7T74 17Q74 30 112 180T152 343Q153 348 153 366Q153 405 129 405Q91 405 66 305Q60 285 60 284Q58 278 41 278H27Q21 284 21 287Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E231-MJMATHI-52\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E231-MJMATHI-6E\" x=\"1073\" y=\"513\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">R^n<\/script>\u4e0a\u7684\u504f\u5e8f\u5173\u7cfb\u5982\u4e0b\uff1a<\/p>\n<div contenteditable=\"true\" spellcheck=\"false\" class=\"mathjax-block md-end-block md-math-block md-rawblock\" id=\"mathjax-n17\" cid=\"n17\" mdtype=\"math_block\"><div class=\"md-rawblock-container md-math-container\" tabindex=\"-1\"><div class=\"MathJax_SVG_Display\"><span class=\"MathJax_SVG\" id=\"MathJax-Element-215-Frame\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"112.412ex\" height=\"2.811ex\" viewBox=\"0 -856.4 48399.6 1210.2\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.822ex; max-width: 100%;\" class=\"in-text-selection\"><defs><path stroke-width=\"0\" id=\"E218-MJMAIN-28\" d=\"M94 250Q94 319 104 381T127 488T164 576T202 643T244 695T277 729T302 750H315H319Q333 750 333 741Q333 738 316 720T275 667T226 581T184 443T167 250T184 58T225 -81T274 -167T316 -220T333 -241Q333 -250 318 -250H315H302L274 -226Q180 -141 137 -14T94 250Z\"><\/path><path stroke-width=\"0\" id=\"E218-MJMAIN-31\" d=\"M213 578L200 573Q186 568 160 563T102 556H83V602H102Q149 604 189 617T245 641T273 663Q275 666 285 666Q294 666 302 660V361L303 61Q310 54 315 52T339 48T401 46H427V0H416Q395 3 257 3Q121 3 100 0H88V46H114Q136 46 152 46T177 47T193 50T201 52T207 57T213 61V578Z\"><\/path><path stroke-width=\"0\" id=\"E218-MJMAIN-29\" d=\"M60 749L64 750Q69 750 74 750H86L114 726Q208 641 251 514T294 250Q294 182 284 119T261 12T224 -76T186 -143T145 -194T113 -227T90 -246Q87 -249 86 -250H74Q66 -250 63 -250T58 -247T55 -238Q56 -237 66 -225Q221 -64 221 250T66 725Q56 737 55 738Q55 746 60 749Z\"><\/path><path stroke-width=\"0\" id=\"E218-MJMATHI-78\" d=\"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z\"><\/path><path stroke-width=\"0\" id=\"E218-MJMAIN-2AAF\" d=\"M84 346Q84 359 91 363T117 367Q120 367 126 367T137 366Q388 370 512 430T653 609Q657 636 676 636Q685 635 689 629T694 618V612Q689 566 672 528T626 463T569 417T500 383T435 362T373 346Q379 345 404 339T440 330T477 318T533 296Q592 266 630 223T681 145T694 78Q694 57 674 57Q662 57 657 67T652 92T640 135T606 191Q500 320 137 326H114Q104 326 98 327T88 332T84 346ZM84 -131T84 -118T98 -98H679Q694 -106 694 -118T679 -138H98Q84 -131 84 -118Z\"><\/path><path stroke-width=\"0\" id=\"E218-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><path stroke-width=\"0\" id=\"E218-MJMATHI-79\" d=\"M21 287Q21 301 36 335T84 406T158 442Q199 442 224 419T250 355Q248 336 247 334Q247 331 231 288T198 191T182 105Q182 62 196 45T238 27Q261 27 281 38T312 61T339 94Q339 95 344 114T358 173T377 247Q415 397 419 404Q432 431 462 431Q475 431 483 424T494 412T496 403Q496 390 447 193T391 -23Q363 -106 294 -155T156 -205Q111 -205 77 -183T43 -117Q43 -95 50 -80T69 -58T89 -48T106 -45Q150 -45 150 -87Q150 -107 138 -122T115 -142T102 -147L99 -148Q101 -153 118 -160T152 -167H160Q177 -167 186 -165Q219 -156 247 -127T290 -65T313 -9T321 21L315 17Q309 13 296 6T270 -6Q250 -11 231 -11Q185 -11 150 11T104 82Q103 89 103 113Q103 170 138 262T173 379Q173 380 173 381Q173 390 173 393T169 400T158 404H154Q131 404 112 385T82 344T65 302T57 280Q55 278 41 278H27Q21 284 21 287Z\"><\/path><path stroke-width=\"0\" id=\"E218-MJMAIN-21D4\" d=\"M308 524Q318 526 323 526Q340 526 340 514Q340 507 336 499Q326 476 314 454T292 417T274 391T260 374L255 368Q255 367 500 367Q744 367 744 368L739 374Q734 379 726 390T707 416T685 453T663 499Q658 511 658 515Q658 525 680 525Q687 524 690 523T695 519T701 507Q766 359 902 287Q921 276 939 269T961 259T966 250Q966 246 965 244T960 240T949 236T930 228T902 213Q763 137 701 -7Q697 -16 695 -19T690 -23T680 -25Q658 -25 658 -15Q658 -11 663 1Q673 24 685 46T707 83T725 109T739 126L744 132Q744 133 500 133Q255 133 255 132L260 126Q265 121 273 110T292 84T314 47T336 1Q341 -11 341 -15Q341 -25 319 -25Q312 -24 309 -23T304 -19T298 -7Q233 141 97 213Q83 221 70 227T51 235T41 239T35 243T34 250T35 256T40 261T51 265T70 273T97 287Q235 363 299 509Q305 522 308 524ZM792 319L783 327H216Q183 294 120 256L110 250L120 244Q173 212 207 181L216 173H783L792 181Q826 212 879 244L889 250L879 256Q826 288 792 319Z\"><\/path><path stroke-width=\"0\" id=\"E218-MJMAIN-2212\" d=\"M84 237T84 250T98 270H679Q694 262 694 250T679 230H98Q84 237 84 250Z\"><\/path><path stroke-width=\"0\" id=\"E218-MJMAIN-2208\" d=\"M84 250Q84 372 166 450T360 539Q361 539 377 539T419 540T469 540H568Q583 532 583 520Q583 511 570 501L466 500Q355 499 329 494Q280 482 242 458T183 409T147 354T129 306T124 272V270H568Q583 262 583 250T568 230H124V228Q124 207 134 177T167 112T231 48T328 7Q355 1 466 0H570Q583 -10 583 -20Q583 -32 568 -40H471Q464 -40 446 -40T417 -41Q262 -41 172 45Q84 127 84 250Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><g transform=\"translate(47121,0)\"><g id=\"mjx-eqn-1\" transform=\"translate(0,-25)\"><use xlink:href=\"#E218-MJMAIN-28\"><\/use><use xlink:href=\"#E218-MJMAIN-31\" x=\"389\" y=\"0\"><\/use><use xlink:href=\"#E218-MJMAIN-29\" x=\"889\" y=\"0\"><\/use><\/g><\/g><g transform=\"translate(19829,0)\"><g transform=\"translate(-15,0)\"><g transform=\"translate(0,-25)\"><use xlink:href=\"#E218-MJMATHI-78\" x=\"0\" y=\"0\"><\/use><g transform=\"translate(849,0)\"><use xlink:href=\"#E218-MJMAIN-2AAF\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E218-MJMATHI-4B\" x=\"1100\" y=\"-213\"><\/use><\/g><use xlink:href=\"#E218-MJMATHI-79\" x=\"2634\" y=\"0\"><\/use><use xlink:href=\"#E218-MJMAIN-21D4\" x=\"3408\" y=\"0\"><\/use><use xlink:href=\"#E218-MJMATHI-79\" x=\"4686\" y=\"0\"><\/use><use xlink:href=\"#E218-MJMAIN-2212\" x=\"5405\" y=\"0\"><\/use><use xlink:href=\"#E218-MJMATHI-78\" x=\"6406\" y=\"0\"><\/use><use xlink:href=\"#E218-MJMAIN-2208\" x=\"7255\" y=\"0\"><\/use><use xlink:href=\"#E218-MJMATHI-4B\" x=\"8200\" y=\"0\"><\/use><\/g><\/g><\/g><\/g><\/svg><\/span><\/div><script type=\"math\/tex; mode=display\" id=\"MathJax-Element-215\">x \\preceq_K y \\Leftrightarrow y - x \\in K<\/script><\/div><\/div>\n<p>\u7c7b\u4f3c\u7684\uff0c\u6211\u4eec\u5b9a\u4e49\u76f8\u5e94\u7684\u4e25\u683c\u504f\u5e8f\u5173\u7cfb\u5982\u4e0b\uff1a<\/p>\n<div contenteditable=\"true\" spellcheck=\"false\" class=\"mathjax-block md-end-block md-math-block md-rawblock\" id=\"mathjax-n19\" cid=\"n19\" mdtype=\"math_block\"><div class=\"md-rawblock-container md-math-container\" tabindex=\"-1\"><div class=\"MathJax_SVG_Display\"><span class=\"MathJax_SVG\" id=\"MathJax-Element-216-Frame\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"112.412ex\" height=\"2.811ex\" viewBox=\"0 -856.4 48399.6 1210.2\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.822ex; max-width: 100%;\" class=\"in-text-selection\"><defs><path stroke-width=\"0\" id=\"E219-MJMAIN-28\" d=\"M94 250Q94 319 104 381T127 488T164 576T202 643T244 695T277 729T302 750H315H319Q333 750 333 741Q333 738 316 720T275 667T226 581T184 443T167 250T184 58T225 -81T274 -167T316 -220T333 -241Q333 -250 318 -250H315H302L274 -226Q180 -141 137 -14T94 250Z\"><\/path><path stroke-width=\"0\" id=\"E219-MJMAIN-32\" d=\"M109 429Q82 429 66 447T50 491Q50 562 103 614T235 666Q326 666 387 610T449 465Q449 422 429 383T381 315T301 241Q265 210 201 149L142 93L218 92Q375 92 385 97Q392 99 409 186V189H449V186Q448 183 436 95T421 3V0H50V19V31Q50 38 56 46T86 81Q115 113 136 137Q145 147 170 174T204 211T233 244T261 278T284 308T305 340T320 369T333 401T340 431T343 464Q343 527 309 573T212 619Q179 619 154 602T119 569T109 550Q109 549 114 549Q132 549 151 535T170 489Q170 464 154 447T109 429Z\"><\/path><path stroke-width=\"0\" id=\"E219-MJMAIN-29\" d=\"M60 749L64 750Q69 750 74 750H86L114 726Q208 641 251 514T294 250Q294 182 284 119T261 12T224 -76T186 -143T145 -194T113 -227T90 -246Q87 -249 86 -250H74Q66 -250 63 -250T58 -247T55 -238Q56 -237 66 -225Q221 -64 221 250T66 725Q56 737 55 738Q55 746 60 749Z\"><\/path><path stroke-width=\"0\" id=\"E219-MJMATHI-78\" d=\"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z\"><\/path><path stroke-width=\"0\" id=\"E219-MJMAIN-227A\" d=\"M84 249Q84 262 91 266T117 270Q120 270 126 270T137 269Q388 273 512 333T653 512Q657 539 676 539Q685 538 689 532T694 520V515Q689 469 672 431T626 366T569 320T500 286T435 265T373 249Q379 248 404 242T440 233T477 221T533 199Q681 124 694 -17Q694 -41 674 -41Q658 -41 653 -17Q646 41 613 84T533 154T418 197T284 220T137 229H114Q104 229 98 230T88 235T84 249Z\"><\/path><path stroke-width=\"0\" id=\"E219-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><path stroke-width=\"0\" id=\"E219-MJMATHI-79\" d=\"M21 287Q21 301 36 335T84 406T158 442Q199 442 224 419T250 355Q248 336 247 334Q247 331 231 288T198 191T182 105Q182 62 196 45T238 27Q261 27 281 38T312 61T339 94Q339 95 344 114T358 173T377 247Q415 397 419 404Q432 431 462 431Q475 431 483 424T494 412T496 403Q496 390 447 193T391 -23Q363 -106 294 -155T156 -205Q111 -205 77 -183T43 -117Q43 -95 50 -80T69 -58T89 -48T106 -45Q150 -45 150 -87Q150 -107 138 -122T115 -142T102 -147L99 -148Q101 -153 118 -160T152 -167H160Q177 -167 186 -165Q219 -156 247 -127T290 -65T313 -9T321 21L315 17Q309 13 296 6T270 -6Q250 -11 231 -11Q185 -11 150 11T104 82Q103 89 103 113Q103 170 138 262T173 379Q173 380 173 381Q173 390 173 393T169 400T158 404H154Q131 404 112 385T82 344T65 302T57 280Q55 278 41 278H27Q21 284 21 287Z\"><\/path><path stroke-width=\"0\" id=\"E219-MJMAIN-21D4\" d=\"M308 524Q318 526 323 526Q340 526 340 514Q340 507 336 499Q326 476 314 454T292 417T274 391T260 374L255 368Q255 367 500 367Q744 367 744 368L739 374Q734 379 726 390T707 416T685 453T663 499Q658 511 658 515Q658 525 680 525Q687 524 690 523T695 519T701 507Q766 359 902 287Q921 276 939 269T961 259T966 250Q966 246 965 244T960 240T949 236T930 228T902 213Q763 137 701 -7Q697 -16 695 -19T690 -23T680 -25Q658 -25 658 -15Q658 -11 663 1Q673 24 685 46T707 83T725 109T739 126L744 132Q744 133 500 133Q255 133 255 132L260 126Q265 121 273 110T292 84T314 47T336 1Q341 -11 341 -15Q341 -25 319 -25Q312 -24 309 -23T304 -19T298 -7Q233 141 97 213Q83 221 70 227T51 235T41 239T35 243T34 250T35 256T40 261T51 265T70 273T97 287Q235 363 299 509Q305 522 308 524ZM792 319L783 327H216Q183 294 120 256L110 250L120 244Q173 212 207 181L216 173H783L792 181Q826 212 879 244L889 250L879 256Q826 288 792 319Z\"><\/path><path stroke-width=\"0\" id=\"E219-MJMAIN-2212\" d=\"M84 237T84 250T98 270H679Q694 262 694 250T679 230H98Q84 237 84 250Z\"><\/path><path stroke-width=\"0\" id=\"E219-MJMAIN-2208\" d=\"M84 250Q84 372 166 450T360 539Q361 539 377 539T419 540T469 540H568Q583 532 583 520Q583 511 570 501L466 500Q355 499 329 494Q280 482 242 458T183 409T147 354T129 306T124 272V270H568Q583 262 583 250T568 230H124V228Q124 207 134 177T167 112T231 48T328 7Q355 1 466 0H570Q583 -10 583 -20Q583 -32 568 -40H471Q464 -40 446 -40T417 -41Q262 -41 172 45Q84 127 84 250Z\"><\/path><path stroke-width=\"0\" id=\"E219-MJMAIN-69\" d=\"M69 609Q69 637 87 653T131 669Q154 667 171 652T188 609Q188 579 171 564T129 549Q104 549 87 564T69 609ZM247 0Q232 3 143 3Q132 3 106 3T56 1L34 0H26V46H42Q70 46 91 49Q100 53 102 60T104 102V205V293Q104 345 102 359T88 378Q74 385 41 385H30V408Q30 431 32 431L42 432Q52 433 70 434T106 436Q123 437 142 438T171 441T182 442H185V62Q190 52 197 50T232 46H255V0H247Z\"><\/path><path stroke-width=\"0\" id=\"E219-MJMAIN-6E\" d=\"M41 46H55Q94 46 102 60V68Q102 77 102 91T102 122T103 161T103 203Q103 234 103 269T102 328V351Q99 370 88 376T43 385H25V408Q25 431 27 431L37 432Q47 433 65 434T102 436Q119 437 138 438T167 441T178 442H181V402Q181 364 182 364T187 369T199 384T218 402T247 421T285 437Q305 442 336 442Q450 438 463 329Q464 322 464 190V104Q464 66 466 59T477 49Q498 46 526 46H542V0H534L510 1Q487 2 460 2T422 3Q319 3 310 0H302V46H318Q379 46 379 62Q380 64 380 200Q379 335 378 343Q372 371 358 385T334 402T308 404Q263 404 229 370Q202 343 195 315T187 232V168V108Q187 78 188 68T191 55T200 49Q221 46 249 46H265V0H257L234 1Q210 2 183 2T145 3Q42 3 33 0H25V46H41Z\"><\/path><path stroke-width=\"0\" id=\"E219-MJMAIN-74\" d=\"M27 422Q80 426 109 478T141 600V615H181V431H316V385H181V241Q182 116 182 100T189 68Q203 29 238 29Q282 29 292 100Q293 108 293 146V181H333V146V134Q333 57 291 17Q264 -10 221 -10Q187 -10 162 2T124 33T105 68T98 100Q97 107 97 248V385H18V422H27Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><g transform=\"translate(47121,0)\"><g id=\"mjx-eqn-2\" transform=\"translate(0,-25)\"><use xlink:href=\"#E219-MJMAIN-28\"><\/use><use xlink:href=\"#E219-MJMAIN-32\" x=\"389\" y=\"0\"><\/use><use xlink:href=\"#E219-MJMAIN-29\" x=\"889\" y=\"0\"><\/use><\/g><\/g><g transform=\"translate(19092,0)\"><g transform=\"translate(-15,0)\"><g transform=\"translate(0,-25)\"><use xlink:href=\"#E219-MJMATHI-78\" x=\"0\" y=\"0\"><\/use><g transform=\"translate(849,0)\"><use xlink:href=\"#E219-MJMAIN-227A\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E219-MJMATHI-4B\" x=\"1100\" y=\"-213\"><\/use><\/g><use xlink:href=\"#E219-MJMATHI-79\" x=\"2634\" y=\"0\"><\/use><use xlink:href=\"#E219-MJMAIN-21D4\" x=\"3408\" y=\"0\"><\/use><use xlink:href=\"#E219-MJMATHI-79\" x=\"4686\" y=\"0\"><\/use><use xlink:href=\"#E219-MJMAIN-2212\" x=\"5405\" y=\"0\"><\/use><use xlink:href=\"#E219-MJMATHI-78\" x=\"6406\" y=\"0\"><\/use><use xlink:href=\"#E219-MJMAIN-2208\" x=\"7255\" y=\"0\"><\/use><g transform=\"translate(8200,0)\"><use xlink:href=\"#E219-MJMAIN-69\"><\/use><use xlink:href=\"#E219-MJMAIN-6E\" x=\"278\" y=\"0\"><\/use><use xlink:href=\"#E219-MJMAIN-74\" x=\"834\" y=\"0\"><\/use><\/g><use xlink:href=\"#E219-MJMATHI-4B\" x=\"9673\" y=\"0\"><\/use><\/g><\/g><\/g><\/g><\/svg><\/span><\/div><script type=\"math\/tex; mode=display\" id=\"MathJax-Element-216\">x \\prec_K y \\Leftrightarrow y - x \\in \\text{int} \\ K<\/script><\/div><\/div>\n<blockquote><p>\u5f53<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"8.435ex\" height=\"2.461ex\" viewBox=\"0 -755.9 3631.7 1059.4\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.705ex;\"><defs><path stroke-width=\"0\" id=\"E232-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><path stroke-width=\"0\" id=\"E232-MJMAIN-3D\" d=\"M56 347Q56 360 70 367H707Q722 359 722 347Q722 336 708 328L390 327H72Q56 332 56 347ZM56 153Q56 168 72 173H708Q722 163 722 153Q722 140 707 133H70Q56 140 56 153Z\"><\/path><path stroke-width=\"0\" id=\"E232-MJMATHI-52\" d=\"M230 637Q203 637 198 638T193 649Q193 676 204 682Q206 683 378 683Q550 682 564 680Q620 672 658 652T712 606T733 563T739 529Q739 484 710 445T643 385T576 351T538 338L545 333Q612 295 612 223Q612 212 607 162T602 80V71Q602 53 603 43T614 25T640 16Q668 16 686 38T712 85Q717 99 720 102T735 105Q755 105 755 93Q755 75 731 36Q693 -21 641 -21H632Q571 -21 531 4T487 82Q487 109 502 166T517 239Q517 290 474 313Q459 320 449 321T378 323H309L277 193Q244 61 244 59Q244 55 245 54T252 50T269 48T302 46H333Q339 38 339 37T336 19Q332 6 326 0H311Q275 2 180 2Q146 2 117 2T71 2T50 1Q33 1 33 10Q33 12 36 24Q41 43 46 45Q50 46 61 46H67Q94 46 127 49Q141 52 146 61Q149 65 218 339T287 628Q287 635 230 637ZM630 554Q630 586 609 608T523 636Q521 636 500 636T462 637H440Q393 637 386 627Q385 624 352 494T319 361Q319 360 388 360Q466 361 492 367Q556 377 592 426Q608 449 619 486T630 554Z\"><\/path><path stroke-width=\"0\" id=\"E232-MJMAIN-2B\" d=\"M56 237T56 250T70 270H369V420L370 570Q380 583 389 583Q402 583 409 568V270H707Q722 262 722 250T707 230H409V-68Q401 -82 391 -82H389H387Q375 -82 369 -68V230H70Q56 237 56 250Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E232-MJMATHI-4B\" x=\"0\" y=\"0\"><\/use><use xlink:href=\"#E232-MJMAIN-3D\" x=\"1166\" y=\"0\"><\/use><g transform=\"translate(2222,0)\"><use xlink:href=\"#E232-MJMATHI-52\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E232-MJMAIN-2B\" x=\"1073\" y=\"-213\"><\/use><\/g><\/g><\/svg><\/span><script type=\"math\/tex\">K = R_+<\/script>\u65f6\uff0c\u504f\u5e8f\u5173\u7cfb<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"3.499ex\" height=\"2.11ex\" viewBox=\"0 -705.6 1506.6 908.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.472ex;\"><defs><path stroke-width=\"0\" id=\"E271-MJMAIN-2AAF\" d=\"M84 346Q84 359 91 363T117 367Q120 367 126 367T137 366Q388 370 512 430T653 609Q657 636 676 636Q685 635 689 629T694 618V612Q689 566 672 528T626 463T569 417T500 383T435 362T373 346Q379 345 404 339T440 330T477 318T533 296Q592 266 630 223T681 145T694 78Q694 57 674 57Q662 57 657 67T652 92T640 135T606 191Q500 320 137 326H114Q104 326 98 327T88 332T84 346ZM84 -131T84 -118T98 -98H679Q694 -106 694 -118T679 -138H98Q84 -131 84 -118Z\"><\/path><path stroke-width=\"0\" id=\"E271-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E271-MJMAIN-2AAF\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E271-MJMATHI-4B\" x=\"1100\" y=\"-213\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">\\preceq_K<\/script>\u5c31\u662f\u901a\u5e38\u610f\u4e49\u4e0a<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"1.763ex\" height=\"1.994ex\" viewBox=\"0 -755.9 759 858.4\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.238ex;\"><defs><path stroke-width=\"0\" id=\"E256-MJMATHI-52\" d=\"M230 637Q203 637 198 638T193 649Q193 676 204 682Q206 683 378 683Q550 682 564 680Q620 672 658 652T712 606T733 563T739 529Q739 484 710 445T643 385T576 351T538 338L545 333Q612 295 612 223Q612 212 607 162T602 80V71Q602 53 603 43T614 25T640 16Q668 16 686 38T712 85Q717 99 720 102T735 105Q755 105 755 93Q755 75 731 36Q693 -21 641 -21H632Q571 -21 531 4T487 82Q487 109 502 166T517 239Q517 290 474 313Q459 320 449 321T378 323H309L277 193Q244 61 244 59Q244 55 245 54T252 50T269 48T302 46H333Q339 38 339 37T336 19Q332 6 326 0H311Q275 2 180 2Q146 2 117 2T71 2T50 1Q33 1 33 10Q33 12 36 24Q41 43 46 45Q50 46 61 46H67Q94 46 127 49Q141 52 146 61Q149 65 218 339T287 628Q287 635 230 637ZM630 554Q630 586 609 608T523 636Q521 636 500 636T462 637H440Q393 637 386 627Q385 624 352 494T319 361Q319 360 388 360Q466 361 492 367Q556 377 592 426Q608 449 619 486T630 554Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E256-MJMATHI-52\" x=\"0\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">R<\/script>\u4e2d\u7684\u5e8f<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"1.807ex\" height=\"2.11ex\" viewBox=\"0 -705.6 778 908.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.472ex;\"><defs><path stroke-width=\"0\" id=\"E257-MJMAIN-2264\" d=\"M674 636Q682 636 688 630T694 615T687 601Q686 600 417 472L151 346L399 228Q687 92 691 87Q694 81 694 76Q694 58 676 56H670L382 192Q92 329 90 331Q83 336 83 348Q84 359 96 365Q104 369 382 500T665 634Q669 636 674 636ZM84 -118Q84 -108 99 -98H678Q694 -104 694 -118Q694 -130 679 -138H98Q84 -131 84 -118Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E257-MJMAIN-2264\" x=\"0\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">\\leq<\/script>\u3002<\/p>\n<p>\u5e7f\u4e49\u4e0d\u7b49\u5f0f\u5305\u542b\u4e86<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"1.763ex\" height=\"1.994ex\" viewBox=\"0 -755.9 759 858.4\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.238ex;\"><defs><path stroke-width=\"0\" id=\"E256-MJMATHI-52\" d=\"M230 637Q203 637 198 638T193 649Q193 676 204 682Q206 683 378 683Q550 682 564 680Q620 672 658 652T712 606T733 563T739 529Q739 484 710 445T643 385T576 351T538 338L545 333Q612 295 612 223Q612 212 607 162T602 80V71Q602 53 603 43T614 25T640 16Q668 16 686 38T712 85Q717 99 720 102T735 105Q755 105 755 93Q755 75 731 36Q693 -21 641 -21H632Q571 -21 531 4T487 82Q487 109 502 166T517 239Q517 290 474 313Q459 320 449 321T378 323H309L277 193Q244 61 244 59Q244 55 245 54T252 50T269 48T302 46H333Q339 38 339 37T336 19Q332 6 326 0H311Q275 2 180 2Q146 2 117 2T71 2T50 1Q33 1 33 10Q33 12 36 24Q41 43 46 45Q50 46 61 46H67Q94 46 127 49Q141 52 146 61Q149 65 218 339T287 628Q287 635 230 637ZM630 554Q630 586 609 608T523 636Q521 636 500 636T462 637H440Q393 637 386 627Q385 624 352 494T319 361Q319 360 388 360Q466 361 492 367Q556 377 592 426Q608 449 619 486T630 554Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E256-MJMATHI-52\" x=\"0\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">R<\/script>\u4e0a\u7684\uff08\u4e0d\u4e25\u683c\u548c\u4e25\u683c\uff09\u4e0d\u7b49\u5f0f\uff0c<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"1.763ex\" height=\"1.994ex\" viewBox=\"0 -755.9 759 858.4\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.238ex;\"><defs><path stroke-width=\"0\" id=\"E256-MJMATHI-52\" d=\"M230 637Q203 637 198 638T193 649Q193 676 204 682Q206 683 378 683Q550 682 564 680Q620 672 658 652T712 606T733 563T739 529Q739 484 710 445T643 385T576 351T538 338L545 333Q612 295 612 223Q612 212 607 162T602 80V71Q602 53 603 43T614 25T640 16Q668 16 686 38T712 85Q717 99 720 102T735 105Q755 105 755 93Q755 75 731 36Q693 -21 641 -21H632Q571 -21 531 4T487 82Q487 109 502 166T517 239Q517 290 474 313Q459 320 449 321T378 323H309L277 193Q244 61 244 59Q244 55 245 54T252 50T269 48T302 46H333Q339 38 339 37T336 19Q332 6 326 0H311Q275 2 180 2Q146 2 117 2T71 2T50 1Q33 1 33 10Q33 12 36 24Q41 43 46 45Q50 46 61 46H67Q94 46 127 49Q141 52 146 61Q149 65 218 339T287 628Q287 635 230 637ZM630 554Q630 586 609 608T523 636Q521 636 500 636T462 637H440Q393 637 386 627Q385 624 352 494T319 361Q319 360 388 360Q466 361 492 367Q556 377 592 426Q608 449 619 486T630 554Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E256-MJMATHI-52\" x=\"0\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">R<\/script>\u4e0a\u7684\u4e0d\u7b49\u5f0f\u662f\u5e7f\u4e49\u4e0d\u7b49\u5f0f\u7684\u4e00\u79cd\u7279\u6b8a\u60c5\u51b5\u3002<\/p>\n<p>\u5e7f\u4e49\u4e0d\u7b49\u5f0f\u4e4b\u6240\u4ee5\u662f\u5e7f\u4e49\u662f\u56e0\u4e3a\u628a\u4e0d\u7b49\u5f0f\u7684\u6982\u5ff5<strong>\u63a8\u5e7f\u5230\u4efb\u610f\u5411\u91cf\u7a7a\u95f4\u6216\u77e9\u9635\u7a7a\u95f4<\/strong>\uff0c\u901a\u8fc7<strong>\u51f8\u9525<\/strong>\u6765\u5b9a\u4e49\u4e00\u79cd\u53ef\u7528\u7684\u504f\u5e8f\u5173\u7cfb\u3002<\/p>\n<\/blockquote>\n<h4>\u4f8b\u5b50\uff1a<\/h4>\n<ol>\n<li><p>\u975e\u8d1f\u8c61\u9650\u53ca\u5206\u91cf\u4e0d\u7b49\u5f0f\uff1a<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"8.435ex\" height=\"2.694ex\" viewBox=\"0 -755.9 3631.7 1160\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.938ex;\"><defs><path stroke-width=\"0\" id=\"E238-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><path stroke-width=\"0\" id=\"E238-MJMAIN-3D\" d=\"M56 347Q56 360 70 367H707Q722 359 722 347Q722 336 708 328L390 327H72Q56 332 56 347ZM56 153Q56 168 72 173H708Q722 163 722 153Q722 140 707 133H70Q56 140 56 153Z\"><\/path><path stroke-width=\"0\" id=\"E238-MJMATHI-52\" d=\"M230 637Q203 637 198 638T193 649Q193 676 204 682Q206 683 378 683Q550 682 564 680Q620 672 658 652T712 606T733 563T739 529Q739 484 710 445T643 385T576 351T538 338L545 333Q612 295 612 223Q612 212 607 162T602 80V71Q602 53 603 43T614 25T640 16Q668 16 686 38T712 85Q717 99 720 102T735 105Q755 105 755 93Q755 75 731 36Q693 -21 641 -21H632Q571 -21 531 4T487 82Q487 109 502 166T517 239Q517 290 474 313Q459 320 449 321T378 323H309L277 193Q244 61 244 59Q244 55 245 54T252 50T269 48T302 46H333Q339 38 339 37T336 19Q332 6 326 0H311Q275 2 180 2Q146 2 117 2T71 2T50 1Q33 1 33 10Q33 12 36 24Q41 43 46 45Q50 46 61 46H67Q94 46 127 49Q141 52 146 61Q149 65 218 339T287 628Q287 635 230 637ZM630 554Q630 586 609 608T523 636Q521 636 500 636T462 637H440Q393 637 386 627Q385 624 352 494T319 361Q319 360 388 360Q466 361 492 367Q556 377 592 426Q608 449 619 486T630 554Z\"><\/path><path stroke-width=\"0\" id=\"E238-MJMATHI-6E\" d=\"M21 287Q22 293 24 303T36 341T56 388T89 425T135 442Q171 442 195 424T225 390T231 369Q231 367 232 367L243 378Q304 442 382 442Q436 442 469 415T503 336T465 179T427 52Q427 26 444 26Q450 26 453 27Q482 32 505 65T540 145Q542 153 560 153Q580 153 580 145Q580 144 576 130Q568 101 554 73T508 17T439 -10Q392 -10 371 17T350 73Q350 92 386 193T423 345Q423 404 379 404H374Q288 404 229 303L222 291L189 157Q156 26 151 16Q138 -11 108 -11Q95 -11 87 -5T76 7T74 17Q74 30 112 180T152 343Q153 348 153 366Q153 405 129 405Q91 405 66 305Q60 285 60 284Q58 278 41 278H27Q21 284 21 287Z\"><\/path><path stroke-width=\"0\" id=\"E238-MJMAIN-2B\" d=\"M56 237T56 250T70 270H369V420L370 570Q380 583 389 583Q402 583 409 568V270H707Q722 262 722 250T707 230H409V-68Q401 -82 391 -82H389H387Q375 -82 369 -68V230H70Q56 237 56 250Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E238-MJMATHI-4B\" x=\"0\" y=\"0\"><\/use><use xlink:href=\"#E238-MJMAIN-3D\" x=\"1166\" y=\"0\"><\/use><g transform=\"translate(2222,0)\"><use xlink:href=\"#E238-MJMATHI-52\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E238-MJMATHI-6E\" x=\"1073\" y=\"498\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E238-MJMAIN-2B\" x=\"1073\" y=\"-351\"><\/use><\/g><\/g><\/svg><\/span><script type=\"math\/tex\">K = R^n_+<\/script><\/p>\n<\/li>\n<li><p>\u534a\u6b63\u5b9a\u9525\u548c\u77e9\u9635\u4e0d\u7b49\u5f0f\uff1a<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"8.096ex\" height=\"2.811ex\" viewBox=\"0 -806.1 3485.7 1210.2\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.938ex;\"><defs><path stroke-width=\"0\" id=\"E239-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><path stroke-width=\"0\" id=\"E239-MJMAIN-3D\" d=\"M56 347Q56 360 70 367H707Q722 359 722 347Q722 336 708 328L390 327H72Q56 332 56 347ZM56 153Q56 168 72 173H708Q722 163 722 153Q722 140 707 133H70Q56 140 56 153Z\"><\/path><path stroke-width=\"0\" id=\"E239-MJMATHI-53\" d=\"M308 24Q367 24 416 76T466 197Q466 260 414 284Q308 311 278 321T236 341Q176 383 176 462Q176 523 208 573T273 648Q302 673 343 688T407 704H418H425Q521 704 564 640Q565 640 577 653T603 682T623 704Q624 704 627 704T632 705Q645 705 645 698T617 577T585 459T569 456Q549 456 549 465Q549 471 550 475Q550 478 551 494T553 520Q553 554 544 579T526 616T501 641Q465 662 419 662Q362 662 313 616T263 510Q263 480 278 458T319 427Q323 425 389 408T456 390Q490 379 522 342T554 242Q554 216 546 186Q541 164 528 137T492 78T426 18T332 -20Q320 -22 298 -22Q199 -22 144 33L134 44L106 13Q83 -14 78 -18T65 -22Q52 -22 52 -14Q52 -11 110 221Q112 227 130 227H143Q149 221 149 216Q149 214 148 207T144 186T142 153Q144 114 160 87T203 47T255 29T308 24Z\"><\/path><path stroke-width=\"0\" id=\"E239-MJMATHI-6E\" d=\"M21 287Q22 293 24 303T36 341T56 388T89 425T135 442Q171 442 195 424T225 390T231 369Q231 367 232 367L243 378Q304 442 382 442Q436 442 469 415T503 336T465 179T427 52Q427 26 444 26Q450 26 453 27Q482 32 505 65T540 145Q542 153 560 153Q580 153 580 145Q580 144 576 130Q568 101 554 73T508 17T439 -10Q392 -10 371 17T350 73Q350 92 386 193T423 345Q423 404 379 404H374Q288 404 229 303L222 291L189 157Q156 26 151 16Q138 -11 108 -11Q95 -11 87 -5T76 7T74 17Q74 30 112 180T152 343Q153 348 153 366Q153 405 129 405Q91 405 66 305Q60 285 60 284Q58 278 41 278H27Q21 284 21 287Z\"><\/path><path stroke-width=\"0\" id=\"E239-MJMAIN-2B\" d=\"M56 237T56 250T70 270H369V420L370 570Q380 583 389 583Q402 583 409 568V270H707Q722 262 722 250T707 230H409V-68Q401 -82 391 -82H389H387Q375 -82 369 -68V230H70Q56 237 56 250Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E239-MJMATHI-4B\" x=\"0\" y=\"0\"><\/use><use xlink:href=\"#E239-MJMAIN-3D\" x=\"1166\" y=\"0\"><\/use><g transform=\"translate(2222,0)\"><use xlink:href=\"#E239-MJMATHI-53\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E239-MJMATHI-6E\" x=\"925\" y=\"498\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E239-MJMAIN-2B\" x=\"866\" y=\"-351\"><\/use><\/g><\/g><\/svg><\/span><script type=\"math\/tex\">K = S^n_+<\/script><\/p>\n<\/li>\n<li><p>[0, 1]\u4e0a\u975e\u8d1f\u7684\u591a\u9879\u5f0f\u9525\uff1a<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"53.849ex\" height=\"2.811ex\" viewBox=\"0 -906.7 23185.1 1210.2\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.705ex;\"><defs><path stroke-width=\"0\" id=\"E240-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><path stroke-width=\"0\" id=\"E240-MJMAIN-3D\" d=\"M56 347Q56 360 70 367H707Q722 359 722 347Q722 336 708 328L390 327H72Q56 332 56 347ZM56 153Q56 168 72 173H708Q722 163 722 153Q722 140 707 133H70Q56 140 56 153Z\"><\/path><path stroke-width=\"0\" id=\"E240-MJMAIN-7B\" d=\"M434 -231Q434 -244 428 -250H410Q281 -250 230 -184Q225 -177 222 -172T217 -161T213 -148T211 -133T210 -111T209 -84T209 -47T209 0Q209 21 209 53Q208 142 204 153Q203 154 203 155Q189 191 153 211T82 231Q71 231 68 234T65 250T68 266T82 269Q116 269 152 289T203 345Q208 356 208 377T209 529V579Q209 634 215 656T244 698Q270 724 324 740Q361 748 377 749Q379 749 390 749T408 750H428Q434 744 434 732Q434 719 431 716Q429 713 415 713Q362 710 332 689T296 647Q291 634 291 499V417Q291 370 288 353T271 314Q240 271 184 255L170 250L184 245Q202 239 220 230T262 196T290 137Q291 131 291 1Q291 -134 296 -147Q306 -174 339 -192T415 -213Q429 -213 431 -216Q434 -219 434 -231Z\"><\/path><path stroke-width=\"0\" id=\"E240-MJMATHI-63\" d=\"M34 159Q34 268 120 355T306 442Q362 442 394 418T427 355Q427 326 408 306T360 285Q341 285 330 295T319 325T330 359T352 380T366 386H367Q367 388 361 392T340 400T306 404Q276 404 249 390Q228 381 206 359Q162 315 142 235T121 119Q121 73 147 50Q169 26 205 26H209Q321 26 394 111Q403 121 406 121Q410 121 419 112T429 98T420 83T391 55T346 25T282 0T202 -11Q127 -11 81 37T34 159Z\"><\/path><path stroke-width=\"0\" id=\"E240-MJMAIN-2208\" d=\"M84 250Q84 372 166 450T360 539Q361 539 377 539T419 540T469 540H568Q583 532 583 520Q583 511 570 501L466 500Q355 499 329 494Q280 482 242 458T183 409T147 354T129 306T124 272V270H568Q583 262 583 250T568 230H124V228Q124 207 134 177T167 112T231 48T328 7Q355 1 466 0H570Q583 -10 583 -20Q583 -32 568 -40H471Q464 -40 446 -40T417 -41Q262 -41 172 45Q84 127 84 250Z\"><\/path><path stroke-width=\"0\" id=\"E240-MJMATHI-52\" d=\"M230 637Q203 637 198 638T193 649Q193 676 204 682Q206 683 378 683Q550 682 564 680Q620 672 658 652T712 606T733 563T739 529Q739 484 710 445T643 385T576 351T538 338L545 333Q612 295 612 223Q612 212 607 162T602 80V71Q602 53 603 43T614 25T640 16Q668 16 686 38T712 85Q717 99 720 102T735 105Q755 105 755 93Q755 75 731 36Q693 -21 641 -21H632Q571 -21 531 4T487 82Q487 109 502 166T517 239Q517 290 474 313Q459 320 449 321T378 323H309L277 193Q244 61 244 59Q244 55 245 54T252 50T269 48T302 46H333Q339 38 339 37T336 19Q332 6 326 0H311Q275 2 180 2Q146 2 117 2T71 2T50 1Q33 1 33 10Q33 12 36 24Q41 43 46 45Q50 46 61 46H67Q94 46 127 49Q141 52 146 61Q149 65 218 339T287 628Q287 635 230 637ZM630 554Q630 586 609 608T523 636Q521 636 500 636T462 637H440Q393 637 386 627Q385 624 352 494T319 361Q319 360 388 360Q466 361 492 367Q556 377 592 426Q608 449 619 486T630 554Z\"><\/path><path stroke-width=\"0\" id=\"E240-MJMATHI-6E\" d=\"M21 287Q22 293 24 303T36 341T56 388T89 425T135 442Q171 442 195 424T225 390T231 369Q231 367 232 367L243 378Q304 442 382 442Q436 442 469 415T503 336T465 179T427 52Q427 26 444 26Q450 26 453 27Q482 32 505 65T540 145Q542 153 560 153Q580 153 580 145Q580 144 576 130Q568 101 554 73T508 17T439 -10Q392 -10 371 17T350 73Q350 92 386 193T423 345Q423 404 379 404H374Q288 404 229 303L222 291L189 157Q156 26 151 16Q138 -11 108 -11Q95 -11 87 -5T76 7T74 17Q74 30 112 180T152 343Q153 348 153 366Q153 405 129 405Q91 405 66 305Q60 285 60 284Q58 278 41 278H27Q21 284 21 287Z\"><\/path><path stroke-width=\"0\" id=\"E240-MJMAIN-7C\" d=\"M139 -249H137Q125 -249 119 -235V251L120 737Q130 750 139 750Q152 750 159 735V-235Q151 -249 141 -249H139Z\"><\/path><path stroke-width=\"0\" id=\"E240-MJMAIN-31\" d=\"M213 578L200 573Q186 568 160 563T102 556H83V602H102Q149 604 189 617T245 641T273 663Q275 666 285 666Q294 666 302 660V361L303 61Q310 54 315 52T339 48T401 46H427V0H416Q395 3 257 3Q121 3 100 0H88V46H114Q136 46 152 46T177 47T193 50T201 52T207 57T213 61V578Z\"><\/path><path stroke-width=\"0\" id=\"E240-MJMAIN-2B\" d=\"M56 237T56 250T70 270H369V420L370 570Q380 583 389 583Q402 583 409 568V270H707Q722 262 722 250T707 230H409V-68Q401 -82 391 -82H389H387Q375 -82 369 -68V230H70Q56 237 56 250Z\"><\/path><path stroke-width=\"0\" id=\"E240-MJMAIN-32\" d=\"M109 429Q82 429 66 447T50 491Q50 562 103 614T235 666Q326 666 387 610T449 465Q449 422 429 383T381 315T301 241Q265 210 201 149L142 93L218 92Q375 92 385 97Q392 99 409 186V189H449V186Q448 183 436 95T421 3V0H50V19V31Q50 38 56 46T86 81Q115 113 136 137Q145 147 170 174T204 211T233 244T261 278T284 308T305 340T320 369T333 401T340 431T343 464Q343 527 309 573T212 619Q179 619 154 602T119 569T109 550Q109 549 114 549Q132 549 151 535T170 489Q170 464 154 447T109 429Z\"><\/path><path stroke-width=\"0\" id=\"E240-MJMATHI-74\" d=\"M26 385Q19 392 19 395Q19 399 22 411T27 425Q29 430 36 430T87 431H140L159 511Q162 522 166 540T173 566T179 586T187 603T197 615T211 624T229 626Q247 625 254 615T261 596Q261 589 252 549T232 470L222 433Q222 431 272 431H323Q330 424 330 420Q330 398 317 385H210L174 240Q135 80 135 68Q135 26 162 26Q197 26 230 60T283 144Q285 150 288 151T303 153H307Q322 153 322 145Q322 142 319 133Q314 117 301 95T267 48T216 6T155 -11Q125 -11 98 4T59 56Q57 64 57 83V101L92 241Q127 382 128 383Q128 385 77 385H26Z\"><\/path><path stroke-width=\"0\" id=\"E240-MJMAIN-22EF\" d=\"M78 250Q78 274 95 292T138 310Q162 310 180 294T199 251Q199 226 182 208T139 190T96 207T78 250ZM525 250Q525 274 542 292T585 310Q609 310 627 294T646 251Q646 226 629 208T586 190T543 207T525 250ZM972 250Q972 274 989 292T1032 310Q1056 310 1074 294T1093 251Q1093 226 1076 208T1033 190T990 207T972 250Z\"><\/path><path stroke-width=\"0\" id=\"E240-MJMAIN-2212\" d=\"M84 237T84 250T98 270H679Q694 262 694 250T679 230H98Q84 237 84 250Z\"><\/path><path stroke-width=\"0\" id=\"E240-MJMAIN-2265\" d=\"M83 616Q83 624 89 630T99 636Q107 636 253 568T543 431T687 361Q694 356 694 346T687 331Q685 329 395 192L107 56H101Q83 58 83 76Q83 77 83 79Q82 86 98 95Q117 105 248 167Q326 204 378 228L626 346L360 472Q291 505 200 548Q112 589 98 597T83 616ZM84 -118Q84 -108 99 -98H678Q694 -104 694 -118Q694 -130 679 -138H98Q84 -131 84 -118Z\"><\/path><path stroke-width=\"0\" id=\"E240-MJMAIN-30\" d=\"M96 585Q152 666 249 666Q297 666 345 640T423 548Q460 465 460 320Q460 165 417 83Q397 41 362 16T301 -15T250 -22Q224 -22 198 -16T137 16T82 83Q39 165 39 320Q39 494 96 585ZM321 597Q291 629 250 629Q208 629 178 597Q153 571 145 525T137 333Q137 175 145 125T181 46Q209 16 250 16Q290 16 318 46Q347 76 354 130T362 333Q362 478 354 524T321 597Z\"><\/path><path stroke-width=\"0\" id=\"E240-MJMAIN-5B\" d=\"M118 -250V750H255V710H158V-210H255V-250H118Z\"><\/path><path stroke-width=\"0\" id=\"E240-MJMAIN-2C\" d=\"M78 35T78 60T94 103T137 121Q165 121 187 96T210 8Q210 -27 201 -60T180 -117T154 -158T130 -185T117 -194Q113 -194 104 -185T95 -172Q95 -168 106 -156T131 -126T157 -76T173 -3V9L172 8Q170 7 167 6T161 3T152 1T140 0Q113 0 96 17Z\"><\/path><path stroke-width=\"0\" id=\"E240-MJMAIN-5D\" d=\"M22 710V750H159V-250H22V-210H119V710H22Z\"><\/path><path stroke-width=\"0\" id=\"E240-MJMAIN-7D\" d=\"M65 731Q65 745 68 747T88 750Q171 750 216 725T279 670Q288 649 289 635T291 501Q292 362 293 357Q306 312 345 291T417 269Q428 269 431 266T434 250T431 234T417 231Q380 231 345 210T298 157Q293 143 292 121T291 -28V-79Q291 -134 285 -156T256 -198Q202 -250 89 -250Q71 -250 68 -247T65 -230Q65 -224 65 -223T66 -218T69 -214T77 -213Q91 -213 108 -210T146 -200T183 -177T207 -139Q208 -134 209 3L210 139Q223 196 280 230Q315 247 330 250Q305 257 280 270Q225 304 212 352L210 362L209 498Q208 635 207 640Q195 680 154 696T77 713Q68 713 67 716T65 731Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E240-MJMATHI-4B\" x=\"0\" y=\"0\"><\/use><use xlink:href=\"#E240-MJMAIN-3D\" x=\"1166\" y=\"0\"><\/use><use xlink:href=\"#E240-MJMAIN-7B\" x=\"2222\" y=\"0\"><\/use><use xlink:href=\"#E240-MJMATHI-63\" x=\"2722\" y=\"0\"><\/use><use xlink:href=\"#E240-MJMAIN-2208\" x=\"3433\" y=\"0\"><\/use><g transform=\"translate(4378,0)\"><use xlink:href=\"#E240-MJMATHI-52\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E240-MJMATHI-6E\" x=\"1073\" y=\"513\"><\/use><\/g><use xlink:href=\"#E240-MJMAIN-7C\" x=\"5661\" y=\"0\"><\/use><g transform=\"translate(5939,0)\"><use xlink:href=\"#E240-MJMATHI-63\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E240-MJMAIN-31\" x=\"612\" y=\"-213\"><\/use><\/g><use xlink:href=\"#E240-MJMAIN-2B\" x=\"7048\" y=\"0\"><\/use><g transform=\"translate(8048,0)\"><use xlink:href=\"#E240-MJMATHI-63\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E240-MJMAIN-32\" x=\"612\" y=\"-213\"><\/use><\/g><use xlink:href=\"#E240-MJMATHI-74\" x=\"8934\" y=\"0\"><\/use><use xlink:href=\"#E240-MJMAIN-2B\" x=\"9518\" y=\"0\"><\/use><use xlink:href=\"#E240-MJMAIN-22EF\" x=\"10518\" y=\"0\"><\/use><use xlink:href=\"#E240-MJMAIN-2B\" x=\"11912\" y=\"0\"><\/use><g transform=\"translate(12912,0)\"><use xlink:href=\"#E240-MJMATHI-63\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E240-MJMATHI-6E\" x=\"612\" y=\"-213\"><\/use><\/g><g transform=\"translate(13870,0)\"><use xlink:href=\"#E240-MJMATHI-74\" x=\"0\" y=\"0\"><\/use><g transform=\"translate(361,362)\"><use transform=\"scale(0.707)\" xlink:href=\"#E240-MJMATHI-6E\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E240-MJMAIN-2212\" x=\"600\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E240-MJMAIN-31\" x=\"1378\" y=\"0\"><\/use><\/g><\/g><use xlink:href=\"#E240-MJMAIN-2265\" x=\"15936\" y=\"0\"><\/use><use xlink:href=\"#E240-MJMAIN-30\" x=\"16992\" y=\"0\"><\/use><g transform=\"translate(17492,0)\"><text font-family=\"STIXGeneral, 'PingFang SC', serif\" stroke=\"none\" transform=\"scale(50.259) matrix(1 0 0 -1 0 0)\">\u5bf9<\/text><g transform=\"translate(804,0)\"><text font-family=\"STIXGeneral, 'PingFang SC', serif\" stroke=\"none\" transform=\"scale(50.259) matrix(1 0 0 -1 0 0)\">\u4e8e<\/text><\/g><\/g><use xlink:href=\"#E240-MJMATHI-74\" x=\"19100\" y=\"0\"><\/use><use xlink:href=\"#E240-MJMAIN-2208\" x=\"19739\" y=\"0\"><\/use><use xlink:href=\"#E240-MJMAIN-5B\" x=\"20684\" y=\"0\"><\/use><use xlink:href=\"#E240-MJMAIN-30\" x=\"20962\" y=\"0\"><\/use><use xlink:href=\"#E240-MJMAIN-2C\" x=\"21462\" y=\"0\"><\/use><use xlink:href=\"#E240-MJMAIN-31\" x=\"21907\" y=\"0\"><\/use><use xlink:href=\"#E240-MJMAIN-5D\" x=\"22407\" y=\"0\"><\/use><use xlink:href=\"#E240-MJMAIN-7D\" x=\"22685\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">K=\\{c \\in R^n |c_1 + c_2t+\\cdots+c_nt^{n-1} \\geq 0 \\text{\u5bf9\u4e8e} t \\in [0, 1]\\}<\/script><\/p>\n<blockquote><p>\u8bc1\u660e\uff1a<\/p>\n<\/blockquote>\n<\/li>\n\n<\/ol>\n<h3>3.  \u5e7f\u4e49\u4e0d\u7b49\u5f0f\u7684\u6027\u8d28<\/h3>\n<ul>\n<li><span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"3.499ex\" height=\"2.11ex\" viewBox=\"0 -705.6 1506.6 908.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.472ex;\"><defs><path stroke-width=\"0\" id=\"E271-MJMAIN-2AAF\" d=\"M84 346Q84 359 91 363T117 367Q120 367 126 367T137 366Q388 370 512 430T653 609Q657 636 676 636Q685 635 689 629T694 618V612Q689 566 672 528T626 463T569 417T500 383T435 362T373 346Q379 345 404 339T440 330T477 318T533 296Q592 266 630 223T681 145T694 78Q694 57 674 57Q662 57 657 67T652 92T640 135T606 191Q500 320 137 326H114Q104 326 98 327T88 332T84 346ZM84 -131T84 -118T98 -98H679Q694 -106 694 -118T679 -138H98Q84 -131 84 -118Z\"><\/path><path stroke-width=\"0\" id=\"E271-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E271-MJMAIN-2AAF\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E271-MJMATHI-4B\" x=\"1100\" y=\"-213\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">\\preceq_K<\/script> \u5bf9\u4e8e\u52a0\u6cd5\u662f\u4fdd\u5e8f\u7684\uff1a<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"39.961ex\" height=\"2.577ex\" viewBox=\"0 -806.1 17205.2 1109.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.705ex;\"><defs><path stroke-width=\"0\" id=\"E242-MJMAIN-28\" d=\"M94 250Q94 319 104 381T127 488T164 576T202 643T244 695T277 729T302 750H315H319Q333 750 333 741Q333 738 316 720T275 667T226 581T184 443T167 250T184 58T225 -81T274 -167T316 -220T333 -241Q333 -250 318 -250H315H302L274 -226Q180 -141 137 -14T94 250Z\"><\/path><path stroke-width=\"0\" id=\"E242-MJMATHI-78\" d=\"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z\"><\/path><path stroke-width=\"0\" id=\"E242-MJMAIN-2AAF\" d=\"M84 346Q84 359 91 363T117 367Q120 367 126 367T137 366Q388 370 512 430T653 609Q657 636 676 636Q685 635 689 629T694 618V612Q689 566 672 528T626 463T569 417T500 383T435 362T373 346Q379 345 404 339T440 330T477 318T533 296Q592 266 630 223T681 145T694 78Q694 57 674 57Q662 57 657 67T652 92T640 135T606 191Q500 320 137 326H114Q104 326 98 327T88 332T84 346ZM84 -131T84 -118T98 -98H679Q694 -106 694 -118T679 -138H98Q84 -131 84 -118Z\"><\/path><path stroke-width=\"0\" id=\"E242-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><path stroke-width=\"0\" id=\"E242-MJMATHI-79\" d=\"M21 287Q21 301 36 335T84 406T158 442Q199 442 224 419T250 355Q248 336 247 334Q247 331 231 288T198 191T182 105Q182 62 196 45T238 27Q261 27 281 38T312 61T339 94Q339 95 344 114T358 173T377 247Q415 397 419 404Q432 431 462 431Q475 431 483 424T494 412T496 403Q496 390 447 193T391 -23Q363 -106 294 -155T156 -205Q111 -205 77 -183T43 -117Q43 -95 50 -80T69 -58T89 -48T106 -45Q150 -45 150 -87Q150 -107 138 -122T115 -142T102 -147L99 -148Q101 -153 118 -160T152 -167H160Q177 -167 186 -165Q219 -156 247 -127T290 -65T313 -9T321 21L315 17Q309 13 296 6T270 -6Q250 -11 231 -11Q185 -11 150 11T104 82Q103 89 103 113Q103 170 138 262T173 379Q173 380 173 381Q173 390 173 393T169 400T158 404H154Q131 404 112 385T82 344T65 302T57 280Q55 278 41 278H27Q21 284 21 287Z\"><\/path><path stroke-width=\"0\" id=\"E242-MJMAIN-29\" d=\"M60 749L64 750Q69 750 74 750H86L114 726Q208 641 251 514T294 250Q294 182 284 119T261 12T224 -76T186 -143T145 -194T113 -227T90 -246Q87 -249 86 -250H74Q66 -250 63 -250T58 -247T55 -238Q56 -237 66 -225Q221 -64 221 250T66 725Q56 737 55 738Q55 746 60 749Z\"><\/path><path stroke-width=\"0\" id=\"E242-MJMAIN-2227\" d=\"M318 591Q325 598 333 598Q344 598 348 591Q349 590 414 445T545 151T611 -4Q609 -22 591 -22Q588 -22 586 -21T581 -20T577 -17T575 -13T572 -9T570 -4L333 528L96 -4Q87 -20 80 -21Q78 -22 75 -22Q57 -22 55 -4Q55 2 120 150T251 444T318 591Z\"><\/path><path stroke-width=\"0\" id=\"E242-MJMATHI-75\" d=\"M21 287Q21 295 30 318T55 370T99 420T158 442Q204 442 227 417T250 358Q250 340 216 246T182 105Q182 62 196 45T238 27T291 44T328 78L339 95Q341 99 377 247Q407 367 413 387T427 416Q444 431 463 431Q480 431 488 421T496 402L420 84Q419 79 419 68Q419 43 426 35T447 26Q469 29 482 57T512 145Q514 153 532 153Q551 153 551 144Q550 139 549 130T540 98T523 55T498 17T462 -8Q454 -10 438 -10Q372 -10 347 46Q345 45 336 36T318 21T296 6T267 -6T233 -11Q189 -11 155 7Q103 38 103 113Q103 170 138 262T173 379Q173 380 173 381Q173 390 173 393T169 400T158 404H154Q131 404 112 385T82 344T65 302T57 280Q55 278 41 278H27Q21 284 21 287Z\"><\/path><path stroke-width=\"0\" id=\"E242-MJMATHI-76\" d=\"M173 380Q173 405 154 405Q130 405 104 376T61 287Q60 286 59 284T58 281T56 279T53 278T49 278T41 278H27Q21 284 21 287Q21 294 29 316T53 368T97 419T160 441Q202 441 225 417T249 361Q249 344 246 335Q246 329 231 291T200 202T182 113Q182 86 187 69Q200 26 250 26Q287 26 319 60T369 139T398 222T409 277Q409 300 401 317T383 343T365 361T357 383Q357 405 376 424T417 443Q436 443 451 425T467 367Q467 340 455 284T418 159T347 40T241 -11Q177 -11 139 22Q102 54 102 117Q102 148 110 181T151 298Q173 362 173 380Z\"><\/path><path stroke-width=\"0\" id=\"E242-MJMAIN-21D2\" d=\"M580 514Q580 525 596 525Q601 525 604 525T609 525T613 524T615 523T617 520T619 517T622 512Q659 438 720 381T831 300T927 263Q944 258 944 250T935 239T898 228T840 204Q696 134 622 -12Q618 -21 615 -22T600 -24Q580 -24 580 -17Q580 -13 585 0Q620 69 671 123L681 133H70Q56 140 56 153Q56 168 72 173H725L735 181Q774 211 852 250Q851 251 834 259T789 283T735 319L725 327H72Q56 332 56 347Q56 360 70 367H681L671 377Q638 412 609 458T580 514Z\"><\/path><path stroke-width=\"0\" id=\"E242-MJMAIN-2B\" d=\"M56 237T56 250T70 270H369V420L370 570Q380 583 389 583Q402 583 409 568V270H707Q722 262 722 250T707 230H409V-68Q401 -82 391 -82H389H387Q375 -82 369 -68V230H70Q56 237 56 250Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E242-MJMAIN-28\" x=\"0\" y=\"0\"><\/use><use xlink:href=\"#E242-MJMATHI-78\" x=\"389\" y=\"0\"><\/use><g transform=\"translate(1238,0)\"><use xlink:href=\"#E242-MJMAIN-2AAF\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E242-MJMATHI-4B\" x=\"1100\" y=\"-213\"><\/use><\/g><use xlink:href=\"#E242-MJMATHI-79\" x=\"3023\" y=\"0\"><\/use><use xlink:href=\"#E242-MJMAIN-29\" x=\"3520\" y=\"0\"><\/use><use xlink:href=\"#E242-MJMAIN-2227\" x=\"4131\" y=\"0\"><\/use><use xlink:href=\"#E242-MJMAIN-28\" x=\"5020\" y=\"0\"><\/use><use xlink:href=\"#E242-MJMATHI-75\" x=\"5409\" y=\"0\"><\/use><use xlink:href=\"#E242-MJMAIN-2AAF\" x=\"6259\" y=\"0\"><\/use><use xlink:href=\"#E242-MJMATHI-76\" x=\"7315\" y=\"0\"><\/use><use xlink:href=\"#E242-MJMAIN-29\" x=\"7800\" y=\"0\"><\/use><use xlink:href=\"#E242-MJMAIN-21D2\" x=\"8466\" y=\"0\"><\/use><use xlink:href=\"#E242-MJMAIN-28\" x=\"9744\" y=\"0\"><\/use><use xlink:href=\"#E242-MJMATHI-78\" x=\"10133\" y=\"0\"><\/use><use xlink:href=\"#E242-MJMAIN-2B\" x=\"10927\" y=\"0\"><\/use><use xlink:href=\"#E242-MJMATHI-75\" x=\"11928\" y=\"0\"><\/use><use xlink:href=\"#E242-MJMAIN-29\" x=\"12500\" y=\"0\"><\/use><use xlink:href=\"#E242-MJMAIN-2AAF\" x=\"13166\" y=\"0\"><\/use><use xlink:href=\"#E242-MJMAIN-28\" x=\"14222\" y=\"0\"><\/use><use xlink:href=\"#E242-MJMATHI-79\" x=\"14611\" y=\"0\"><\/use><use xlink:href=\"#E242-MJMAIN-2B\" x=\"15330\" y=\"0\"><\/use><use xlink:href=\"#E242-MJMATHI-76\" x=\"16331\" y=\"0\"><\/use><use xlink:href=\"#E242-MJMAIN-29\" x=\"16816\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">(x \\preceq_K y) \\land (u \\preceq v) \\Rightarrow (x+u) \\preceq (y+v)<\/script><\/li>\n<li><span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"3.499ex\" height=\"2.11ex\" viewBox=\"0 -705.6 1506.6 908.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.472ex;\"><defs><path stroke-width=\"0\" id=\"E271-MJMAIN-2AAF\" d=\"M84 346Q84 359 91 363T117 367Q120 367 126 367T137 366Q388 370 512 430T653 609Q657 636 676 636Q685 635 689 629T694 618V612Q689 566 672 528T626 463T569 417T500 383T435 362T373 346Q379 345 404 339T440 330T477 318T533 296Q592 266 630 223T681 145T694 78Q694 57 674 57Q662 57 657 67T652 92T640 135T606 191Q500 320 137 326H114Q104 326 98 327T88 332T84 346ZM84 -131T84 -118T98 -98H679Q694 -106 694 -118T679 -138H98Q84 -131 84 -118Z\"><\/path><path stroke-width=\"0\" id=\"E271-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E271-MJMAIN-2AAF\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E271-MJMATHI-4B\" x=\"1100\" y=\"-213\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">\\preceq_K<\/script> \u5177\u6709\u4f20\u9012\u6027\uff1a<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"32.024ex\" height=\"2.577ex\" viewBox=\"0 -806.1 13787.9 1109.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.705ex;\"><defs><path stroke-width=\"0\" id=\"E244-MJMAIN-28\" d=\"M94 250Q94 319 104 381T127 488T164 576T202 643T244 695T277 729T302 750H315H319Q333 750 333 741Q333 738 316 720T275 667T226 581T184 443T167 250T184 58T225 -81T274 -167T316 -220T333 -241Q333 -250 318 -250H315H302L274 -226Q180 -141 137 -14T94 250Z\"><\/path><path stroke-width=\"0\" id=\"E244-MJMATHI-78\" d=\"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z\"><\/path><path stroke-width=\"0\" id=\"E244-MJMAIN-2AAF\" d=\"M84 346Q84 359 91 363T117 367Q120 367 126 367T137 366Q388 370 512 430T653 609Q657 636 676 636Q685 635 689 629T694 618V612Q689 566 672 528T626 463T569 417T500 383T435 362T373 346Q379 345 404 339T440 330T477 318T533 296Q592 266 630 223T681 145T694 78Q694 57 674 57Q662 57 657 67T652 92T640 135T606 191Q500 320 137 326H114Q104 326 98 327T88 332T84 346ZM84 -131T84 -118T98 -98H679Q694 -106 694 -118T679 -138H98Q84 -131 84 -118Z\"><\/path><path stroke-width=\"0\" id=\"E244-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><path stroke-width=\"0\" id=\"E244-MJMATHI-79\" d=\"M21 287Q21 301 36 335T84 406T158 442Q199 442 224 419T250 355Q248 336 247 334Q247 331 231 288T198 191T182 105Q182 62 196 45T238 27Q261 27 281 38T312 61T339 94Q339 95 344 114T358 173T377 247Q415 397 419 404Q432 431 462 431Q475 431 483 424T494 412T496 403Q496 390 447 193T391 -23Q363 -106 294 -155T156 -205Q111 -205 77 -183T43 -117Q43 -95 50 -80T69 -58T89 -48T106 -45Q150 -45 150 -87Q150 -107 138 -122T115 -142T102 -147L99 -148Q101 -153 118 -160T152 -167H160Q177 -167 186 -165Q219 -156 247 -127T290 -65T313 -9T321 21L315 17Q309 13 296 6T270 -6Q250 -11 231 -11Q185 -11 150 11T104 82Q103 89 103 113Q103 170 138 262T173 379Q173 380 173 381Q173 390 173 393T169 400T158 404H154Q131 404 112 385T82 344T65 302T57 280Q55 278 41 278H27Q21 284 21 287Z\"><\/path><path stroke-width=\"0\" id=\"E244-MJMAIN-29\" d=\"M60 749L64 750Q69 750 74 750H86L114 726Q208 641 251 514T294 250Q294 182 284 119T261 12T224 -76T186 -143T145 -194T113 -227T90 -246Q87 -249 86 -250H74Q66 -250 63 -250T58 -247T55 -238Q56 -237 66 -225Q221 -64 221 250T66 725Q56 737 55 738Q55 746 60 749Z\"><\/path><path stroke-width=\"0\" id=\"E244-MJMAIN-2227\" d=\"M318 591Q325 598 333 598Q344 598 348 591Q349 590 414 445T545 151T611 -4Q609 -22 591 -22Q588 -22 586 -21T581 -20T577 -17T575 -13T572 -9T570 -4L333 528L96 -4Q87 -20 80 -21Q78 -22 75 -22Q57 -22 55 -4Q55 2 120 150T251 444T318 591Z\"><\/path><path stroke-width=\"0\" id=\"E244-MJMATHI-5A\" d=\"M58 8Q58 23 64 35Q64 36 329 334T596 635L586 637Q575 637 512 637H500H476Q442 637 420 635T365 624T311 598T266 548T228 469Q227 466 226 463T224 458T223 453T222 450L221 448Q218 443 202 443Q185 443 182 453L214 561Q228 606 241 651Q249 679 253 681Q256 683 487 683H718Q723 678 723 675Q723 673 717 649Q189 54 188 52L185 49H274Q369 50 377 51Q452 60 500 100T579 247Q587 272 590 277T603 282H607Q628 282 628 271Q547 5 541 2Q538 0 300 0H124Q58 0 58 8Z\"><\/path><path stroke-width=\"0\" id=\"E244-MJMAIN-21D2\" d=\"M580 514Q580 525 596 525Q601 525 604 525T609 525T613 524T615 523T617 520T619 517T622 512Q659 438 720 381T831 300T927 263Q944 258 944 250T935 239T898 228T840 204Q696 134 622 -12Q618 -21 615 -22T600 -24Q580 -24 580 -17Q580 -13 585 0Q620 69 671 123L681 133H70Q56 140 56 153Q56 168 72 173H725L735 181Q774 211 852 250Q851 251 834 259T789 283T735 319L725 327H72Q56 332 56 347Q56 360 70 367H681L671 377Q638 412 609 458T580 514Z\"><\/path><path stroke-width=\"0\" id=\"E244-MJMATHI-7A\" d=\"M347 338Q337 338 294 349T231 360Q211 360 197 356T174 346T162 335T155 324L153 320Q150 317 138 317Q117 317 117 325Q117 330 120 339Q133 378 163 406T229 440Q241 442 246 442Q271 442 291 425T329 392T367 375Q389 375 411 408T434 441Q435 442 449 442H462Q468 436 468 434Q468 430 463 420T449 399T432 377T418 358L411 349Q368 298 275 214T160 106L148 94L163 93Q185 93 227 82T290 71Q328 71 360 90T402 140Q406 149 409 151T424 153Q443 153 443 143Q443 138 442 134Q425 72 376 31T278 -11Q252 -11 232 6T193 40T155 57Q111 57 76 -3Q70 -11 59 -11H54H41Q35 -5 35 -2Q35 13 93 84Q132 129 225 214T340 322Q352 338 347 338Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E244-MJMAIN-28\" x=\"0\" y=\"0\"><\/use><use xlink:href=\"#E244-MJMATHI-78\" x=\"389\" y=\"0\"><\/use><g transform=\"translate(1238,0)\"><use xlink:href=\"#E244-MJMAIN-2AAF\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E244-MJMATHI-4B\" x=\"1100\" y=\"-213\"><\/use><\/g><use xlink:href=\"#E244-MJMATHI-79\" x=\"3023\" y=\"0\"><\/use><use xlink:href=\"#E244-MJMAIN-29\" x=\"3520\" y=\"0\"><\/use><use xlink:href=\"#E244-MJMAIN-2227\" x=\"4131\" y=\"0\"><\/use><use xlink:href=\"#E244-MJMAIN-28\" x=\"5020\" y=\"0\"><\/use><use xlink:href=\"#E244-MJMATHI-79\" x=\"5409\" y=\"0\"><\/use><g transform=\"translate(6184,0)\"><use xlink:href=\"#E244-MJMAIN-2AAF\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E244-MJMATHI-4B\" x=\"1100\" y=\"-213\"><\/use><\/g><use xlink:href=\"#E244-MJMATHI-5A\" x=\"7968\" y=\"0\"><\/use><use xlink:href=\"#E244-MJMAIN-29\" x=\"8691\" y=\"0\"><\/use><use xlink:href=\"#E244-MJMAIN-21D2\" x=\"9358\" y=\"0\"><\/use><use xlink:href=\"#E244-MJMAIN-28\" x=\"10636\" y=\"0\"><\/use><use xlink:href=\"#E244-MJMATHI-78\" x=\"11025\" y=\"0\"><\/use><use xlink:href=\"#E244-MJMAIN-2AAF\" x=\"11875\" y=\"0\"><\/use><use xlink:href=\"#E244-MJMATHI-7A\" x=\"12930\" y=\"0\"><\/use><use xlink:href=\"#E244-MJMAIN-29\" x=\"13398\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">(x \\preceq_K y) \\land (y \\preceq_K Z) \\Rightarrow (x \\preceq z)<\/script><\/li>\n<li><span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"3.499ex\" height=\"2.11ex\" viewBox=\"0 -705.6 1506.6 908.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.472ex;\"><defs><path stroke-width=\"0\" id=\"E271-MJMAIN-2AAF\" d=\"M84 346Q84 359 91 363T117 367Q120 367 126 367T137 366Q388 370 512 430T653 609Q657 636 676 636Q685 635 689 629T694 618V612Q689 566 672 528T626 463T569 417T500 383T435 362T373 346Q379 345 404 339T440 330T477 318T533 296Q592 266 630 223T681 145T694 78Q694 57 674 57Q662 57 657 67T652 92T640 135T606 191Q500 320 137 326H114Q104 326 98 327T88 332T84 346ZM84 -131T84 -118T98 -98H679Q694 -106 694 -118T679 -138H98Q84 -131 84 -118Z\"><\/path><path stroke-width=\"0\" id=\"E271-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E271-MJMAIN-2AAF\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E271-MJMATHI-4B\" x=\"1100\" y=\"-213\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">\\preceq_K<\/script> \u5bf9\u4e8e\u975e\u8d1f\u6570\u4e58\u662f\u4fdd\u5e8f\u7684\u3002<\/li>\n<li><span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"3.499ex\" height=\"2.11ex\" viewBox=\"0 -705.6 1506.6 908.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.472ex;\"><defs><path stroke-width=\"0\" id=\"E271-MJMAIN-2AAF\" d=\"M84 346Q84 359 91 363T117 367Q120 367 126 367T137 366Q388 370 512 430T653 609Q657 636 676 636Q685 635 689 629T694 618V612Q689 566 672 528T626 463T569 417T500 383T435 362T373 346Q379 345 404 339T440 330T477 318T533 296Q592 266 630 223T681 145T694 78Q694 57 674 57Q662 57 657 67T652 92T640 135T606 191Q500 320 137 326H114Q104 326 98 327T88 332T84 346ZM84 -131T84 -118T98 -98H679Q694 -106 694 -118T679 -138H98Q84 -131 84 -118Z\"><\/path><path stroke-width=\"0\" id=\"E271-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E271-MJMAIN-2AAF\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E271-MJMATHI-4B\" x=\"1100\" y=\"-213\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">\\preceq_K<\/script> \u662f\u81ea\u53cd\u7684\u3002<\/li>\n<li><span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"3.499ex\" height=\"2.11ex\" viewBox=\"0 -705.6 1506.6 908.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.472ex;\"><defs><path stroke-width=\"0\" id=\"E271-MJMAIN-2AAF\" d=\"M84 346Q84 359 91 363T117 367Q120 367 126 367T137 366Q388 370 512 430T653 609Q657 636 676 636Q685 635 689 629T694 618V612Q689 566 672 528T626 463T569 417T500 383T435 362T373 346Q379 345 404 339T440 330T477 318T533 296Q592 266 630 223T681 145T694 78Q694 57 674 57Q662 57 657 67T652 92T640 135T606 191Q500 320 137 326H114Q104 326 98 327T88 332T84 346ZM84 -131T84 -118T98 -98H679Q694 -106 694 -118T679 -138H98Q84 -131 84 -118Z\"><\/path><path stroke-width=\"0\" id=\"E271-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E271-MJMAIN-2AAF\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E271-MJMATHI-4B\" x=\"1100\" y=\"-213\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">\\preceq_K<\/script> \u662f\u53cd\u5bf9\u79f0\u7684\u3002<\/li>\n<li><span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"3.499ex\" height=\"2.11ex\" viewBox=\"0 -705.6 1506.6 908.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.472ex;\"><defs><path stroke-width=\"0\" id=\"E271-MJMAIN-2AAF\" d=\"M84 346Q84 359 91 363T117 367Q120 367 126 367T137 366Q388 370 512 430T653 609Q657 636 676 636Q685 635 689 629T694 618V612Q689 566 672 528T626 463T569 417T500 383T435 362T373 346Q379 345 404 339T440 330T477 318T533 296Q592 266 630 223T681 145T694 78Q694 57 674 57Q662 57 657 67T652 92T640 135T606 191Q500 320 137 326H114Q104 326 98 327T88 332T84 346ZM84 -131T84 -118T98 -98H679Q694 -106 694 -118T679 -138H98Q84 -131 84 -118Z\"><\/path><path stroke-width=\"0\" id=\"E271-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E271-MJMAIN-2AAF\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E271-MJMATHI-4B\" x=\"1100\" y=\"-213\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">\\preceq_K<\/script> \u5bf9\u4e8e\u6781\u9650\u8fd0\u7b97\u662f\u4fdd\u5e8f\u7684\uff1a\u5982\u679c\u5bf9\u4e8e<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"11.009ex\" height=\"2.344ex\" viewBox=\"0 -755.9 4739.9 1009.2\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.588ex;\"><defs><path stroke-width=\"0\" id=\"E249-MJMATHI-69\" d=\"M184 600Q184 624 203 642T247 661Q265 661 277 649T290 619Q290 596 270 577T226 557Q211 557 198 567T184 600ZM21 287Q21 295 30 318T54 369T98 420T158 442Q197 442 223 419T250 357Q250 340 236 301T196 196T154 83Q149 61 149 51Q149 26 166 26Q175 26 185 29T208 43T235 78T260 137Q263 149 265 151T282 153Q302 153 302 143Q302 135 293 112T268 61T223 11T161 -11Q129 -11 102 10T74 74Q74 91 79 106T122 220Q160 321 166 341T173 380Q173 404 156 404H154Q124 404 99 371T61 287Q60 286 59 284T58 281T56 279T53 278T49 278T41 278H27Q21 284 21 287Z\"><\/path><path stroke-width=\"0\" id=\"E249-MJMAIN-3D\" d=\"M56 347Q56 360 70 367H707Q722 359 722 347Q722 336 708 328L390 327H72Q56 332 56 347ZM56 153Q56 168 72 173H708Q722 163 722 153Q722 140 707 133H70Q56 140 56 153Z\"><\/path><path stroke-width=\"0\" id=\"E249-MJMAIN-31\" d=\"M213 578L200 573Q186 568 160 563T102 556H83V602H102Q149 604 189 617T245 641T273 663Q275 666 285 666Q294 666 302 660V361L303 61Q310 54 315 52T339 48T401 46H427V0H416Q395 3 257 3Q121 3 100 0H88V46H114Q136 46 152 46T177 47T193 50T201 52T207 57T213 61V578Z\"><\/path><path stroke-width=\"0\" id=\"E249-MJMAIN-2C\" d=\"M78 35T78 60T94 103T137 121Q165 121 187 96T210 8Q210 -27 201 -60T180 -117T154 -158T130 -185T117 -194Q113 -194 104 -185T95 -172Q95 -168 106 -156T131 -126T157 -76T173 -3V9L172 8Q170 7 167 6T161 3T152 1T140 0Q113 0 96 17Z\"><\/path><path stroke-width=\"0\" id=\"E249-MJMAIN-32\" d=\"M109 429Q82 429 66 447T50 491Q50 562 103 614T235 666Q326 666 387 610T449 465Q449 422 429 383T381 315T301 241Q265 210 201 149L142 93L218 92Q375 92 385 97Q392 99 409 186V189H449V186Q448 183 436 95T421 3V0H50V19V31Q50 38 56 46T86 81Q115 113 136 137Q145 147 170 174T204 211T233 244T261 278T284 308T305 340T320 369T333 401T340 431T343 464Q343 527 309 573T212 619Q179 619 154 602T119 569T109 550Q109 549 114 549Q132 549 151 535T170 489Q170 464 154 447T109 429Z\"><\/path><path stroke-width=\"0\" id=\"E249-MJMAIN-22EF\" d=\"M78 250Q78 274 95 292T138 310Q162 310 180 294T199 251Q199 226 182 208T139 190T96 207T78 250ZM525 250Q525 274 542 292T585 310Q609 310 627 294T646 251Q646 226 629 208T586 190T543 207T525 250ZM972 250Q972 274 989 292T1032 310Q1056 310 1074 294T1093 251Q1093 226 1076 208T1033 190T990 207T972 250Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E249-MJMATHI-69\" x=\"0\" y=\"0\"><\/use><use xlink:href=\"#E249-MJMAIN-3D\" x=\"622\" y=\"0\"><\/use><use xlink:href=\"#E249-MJMAIN-31\" x=\"1678\" y=\"0\"><\/use><use xlink:href=\"#E249-MJMAIN-2C\" x=\"2178\" y=\"0\"><\/use><use xlink:href=\"#E249-MJMAIN-32\" x=\"2623\" y=\"0\"><\/use><use xlink:href=\"#E249-MJMAIN-2C\" x=\"3123\" y=\"0\"><\/use><use xlink:href=\"#E249-MJMAIN-22EF\" x=\"3567\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">i=1,2,\\cdots<\/script>\uff0c\u5747\u6709<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"8.854ex\" height=\"2.344ex\" viewBox=\"0 -705.6 3812.1 1009.2\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.705ex;\"><defs><path stroke-width=\"0\" id=\"E250-MJMATHI-78\" d=\"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z\"><\/path><path stroke-width=\"0\" id=\"E250-MJMATHI-69\" d=\"M184 600Q184 624 203 642T247 661Q265 661 277 649T290 619Q290 596 270 577T226 557Q211 557 198 567T184 600ZM21 287Q21 295 30 318T54 369T98 420T158 442Q197 442 223 419T250 357Q250 340 236 301T196 196T154 83Q149 61 149 51Q149 26 166 26Q175 26 185 29T208 43T235 78T260 137Q263 149 265 151T282 153Q302 153 302 143Q302 135 293 112T268 61T223 11T161 -11Q129 -11 102 10T74 74Q74 91 79 106T122 220Q160 321 166 341T173 380Q173 404 156 404H154Q124 404 99 371T61 287Q60 286 59 284T58 281T56 279T53 278T49 278T41 278H27Q21 284 21 287Z\"><\/path><path stroke-width=\"0\" id=\"E250-MJMAIN-2AAF\" d=\"M84 346Q84 359 91 363T117 367Q120 367 126 367T137 366Q388 370 512 430T653 609Q657 636 676 636Q685 635 689 629T694 618V612Q689 566 672 528T626 463T569 417T500 383T435 362T373 346Q379 345 404 339T440 330T477 318T533 296Q592 266 630 223T681 145T694 78Q694 57 674 57Q662 57 657 67T652 92T640 135T606 191Q500 320 137 326H114Q104 326 98 327T88 332T84 346ZM84 -131T84 -118T98 -98H679Q694 -106 694 -118T679 -138H98Q84 -131 84 -118Z\"><\/path><path stroke-width=\"0\" id=\"E250-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><path stroke-width=\"0\" id=\"E250-MJMATHI-79\" d=\"M21 287Q21 301 36 335T84 406T158 442Q199 442 224 419T250 355Q248 336 247 334Q247 331 231 288T198 191T182 105Q182 62 196 45T238 27Q261 27 281 38T312 61T339 94Q339 95 344 114T358 173T377 247Q415 397 419 404Q432 431 462 431Q475 431 483 424T494 412T496 403Q496 390 447 193T391 -23Q363 -106 294 -155T156 -205Q111 -205 77 -183T43 -117Q43 -95 50 -80T69 -58T89 -48T106 -45Q150 -45 150 -87Q150 -107 138 -122T115 -142T102 -147L99 -148Q101 -153 118 -160T152 -167H160Q177 -167 186 -165Q219 -156 247 -127T290 -65T313 -9T321 21L315 17Q309 13 296 6T270 -6Q250 -11 231 -11Q185 -11 150 11T104 82Q103 89 103 113Q103 170 138 262T173 379Q173 380 173 381Q173 390 173 393T169 400T158 404H154Q131 404 112 385T82 344T65 302T57 280Q55 278 41 278H27Q21 284 21 287Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E250-MJMATHI-78\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E250-MJMATHI-69\" x=\"808\" y=\"-213\"><\/use><g transform=\"translate(1193,0)\"><use xlink:href=\"#E250-MJMAIN-2AAF\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E250-MJMATHI-4B\" x=\"1100\" y=\"-213\"><\/use><\/g><g transform=\"translate(2978,0)\"><use xlink:href=\"#E250-MJMATHI-79\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E250-MJMATHI-69\" x=\"692\" y=\"-213\"><\/use><\/g><\/g><\/svg><\/span><script type=\"math\/tex\">x_i \\preceq_K y_i<\/script>\uff0c\u5f53<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"6.737ex\" height=\"1.994ex\" viewBox=\"0 -755.9 2900.6 858.4\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.238ex;\"><defs><path stroke-width=\"0\" id=\"E251-MJMATHI-69\" d=\"M184 600Q184 624 203 642T247 661Q265 661 277 649T290 619Q290 596 270 577T226 557Q211 557 198 567T184 600ZM21 287Q21 295 30 318T54 369T98 420T158 442Q197 442 223 419T250 357Q250 340 236 301T196 196T154 83Q149 61 149 51Q149 26 166 26Q175 26 185 29T208 43T235 78T260 137Q263 149 265 151T282 153Q302 153 302 143Q302 135 293 112T268 61T223 11T161 -11Q129 -11 102 10T74 74Q74 91 79 106T122 220Q160 321 166 341T173 380Q173 404 156 404H154Q124 404 99 371T61 287Q60 286 59 284T58 281T56 279T53 278T49 278T41 278H27Q21 284 21 287Z\"><\/path><path stroke-width=\"0\" id=\"E251-MJMAIN-2192\" d=\"M56 237T56 250T70 270H835Q719 357 692 493Q692 494 692 496T691 499Q691 511 708 511H711Q720 511 723 510T729 506T732 497T735 481T743 456Q765 389 816 336T935 261Q944 258 944 250Q944 244 939 241T915 231T877 212Q836 186 806 152T761 85T740 35T732 4Q730 -6 727 -8T711 -11Q691 -11 691 0Q691 7 696 25Q728 151 835 230H70Q56 237 56 250Z\"><\/path><path stroke-width=\"0\" id=\"E251-MJMAIN-221E\" d=\"M55 217Q55 305 111 373T254 442Q342 442 419 381Q457 350 493 303L507 284L514 294Q618 442 747 442Q833 442 888 374T944 214Q944 128 889 59T743 -11Q657 -11 580 50Q542 81 506 128L492 147L485 137Q381 -11 252 -11Q166 -11 111 57T55 217ZM907 217Q907 285 869 341T761 397Q740 397 720 392T682 378T648 359T619 335T594 310T574 285T559 263T548 246L543 238L574 198Q605 158 622 138T664 94T714 61T765 51Q827 51 867 100T907 217ZM92 214Q92 145 131 89T239 33Q357 33 456 193L425 233Q364 312 334 337Q285 380 233 380Q171 380 132 331T92 214Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E251-MJMATHI-69\" x=\"0\" y=\"0\"><\/use><use xlink:href=\"#E251-MJMAIN-2192\" x=\"622\" y=\"0\"><\/use><use xlink:href=\"#E251-MJMAIN-221E\" x=\"1900\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">i \\rightarrow \\infty<\/script>\u65f6\uff0c\u6709<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"7.069ex\" height=\"1.994ex\" viewBox=\"0 -605.1 3043.5 858.4\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.588ex;\"><defs><path stroke-width=\"0\" id=\"E252-MJMATHI-78\" d=\"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z\"><\/path><path stroke-width=\"0\" id=\"E252-MJMATHI-69\" d=\"M184 600Q184 624 203 642T247 661Q265 661 277 649T290 619Q290 596 270 577T226 557Q211 557 198 567T184 600ZM21 287Q21 295 30 318T54 369T98 420T158 442Q197 442 223 419T250 357Q250 340 236 301T196 196T154 83Q149 61 149 51Q149 26 166 26Q175 26 185 29T208 43T235 78T260 137Q263 149 265 151T282 153Q302 153 302 143Q302 135 293 112T268 61T223 11T161 -11Q129 -11 102 10T74 74Q74 91 79 106T122 220Q160 321 166 341T173 380Q173 404 156 404H154Q124 404 99 371T61 287Q60 286 59 284T58 281T56 279T53 278T49 278T41 278H27Q21 284 21 287Z\"><\/path><path stroke-width=\"0\" id=\"E252-MJMAIN-2192\" d=\"M56 237T56 250T70 270H835Q719 357 692 493Q692 494 692 496T691 499Q691 511 708 511H711Q720 511 723 510T729 506T732 497T735 481T743 456Q765 389 816 336T935 261Q944 258 944 250Q944 244 939 241T915 231T877 212Q836 186 806 152T761 85T740 35T732 4Q730 -6 727 -8T711 -11Q691 -11 691 0Q691 7 696 25Q728 151 835 230H70Q56 237 56 250Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E252-MJMATHI-78\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E252-MJMATHI-69\" x=\"808\" y=\"-213\"><\/use><use xlink:href=\"#E252-MJMAIN-2192\" x=\"1193\" y=\"0\"><\/use><use xlink:href=\"#E252-MJMATHI-78\" x=\"2471\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">x_i \\rightarrow x<\/script>\u548c <span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"6.704ex\" height=\"2.11ex\" viewBox=\"0 -605.1 2886.5 908.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.705ex;\"><defs><path stroke-width=\"0\" id=\"E253-MJMATHI-79\" d=\"M21 287Q21 301 36 335T84 406T158 442Q199 442 224 419T250 355Q248 336 247 334Q247 331 231 288T198 191T182 105Q182 62 196 45T238 27Q261 27 281 38T312 61T339 94Q339 95 344 114T358 173T377 247Q415 397 419 404Q432 431 462 431Q475 431 483 424T494 412T496 403Q496 390 447 193T391 -23Q363 -106 294 -155T156 -205Q111 -205 77 -183T43 -117Q43 -95 50 -80T69 -58T89 -48T106 -45Q150 -45 150 -87Q150 -107 138 -122T115 -142T102 -147L99 -148Q101 -153 118 -160T152 -167H160Q177 -167 186 -165Q219 -156 247 -127T290 -65T313 -9T321 21L315 17Q309 13 296 6T270 -6Q250 -11 231 -11Q185 -11 150 11T104 82Q103 89 103 113Q103 170 138 262T173 379Q173 380 173 381Q173 390 173 393T169 400T158 404H154Q131 404 112 385T82 344T65 302T57 280Q55 278 41 278H27Q21 284 21 287Z\"><\/path><path stroke-width=\"0\" id=\"E253-MJMATHI-69\" d=\"M184 600Q184 624 203 642T247 661Q265 661 277 649T290 619Q290 596 270 577T226 557Q211 557 198 567T184 600ZM21 287Q21 295 30 318T54 369T98 420T158 442Q197 442 223 419T250 357Q250 340 236 301T196 196T154 83Q149 61 149 51Q149 26 166 26Q175 26 185 29T208 43T235 78T260 137Q263 149 265 151T282 153Q302 153 302 143Q302 135 293 112T268 61T223 11T161 -11Q129 -11 102 10T74 74Q74 91 79 106T122 220Q160 321 166 341T173 380Q173 404 156 404H154Q124 404 99 371T61 287Q60 286 59 284T58 281T56 279T53 278T49 278T41 278H27Q21 284 21 287Z\"><\/path><path stroke-width=\"0\" id=\"E253-MJMAIN-2192\" d=\"M56 237T56 250T70 270H835Q719 357 692 493Q692 494 692 496T691 499Q691 511 708 511H711Q720 511 723 510T729 506T732 497T735 481T743 456Q765 389 816 336T935 261Q944 258 944 250Q944 244 939 241T915 231T877 212Q836 186 806 152T761 85T740 35T732 4Q730 -6 727 -8T711 -11Q691 -11 691 0Q691 7 696 25Q728 151 835 230H70Q56 237 56 250Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E253-MJMATHI-79\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E253-MJMATHI-69\" x=\"692\" y=\"-213\"><\/use><use xlink:href=\"#E253-MJMAIN-2192\" x=\"1111\" y=\"0\"><\/use><use xlink:href=\"#E253-MJMATHI-79\" x=\"2389\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">y_i \\rightarrow y<\/script>\u3002\u90a3\u4e48<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"7.272ex\" height=\"2.344ex\" viewBox=\"0 -705.6 3131.2 1009.2\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.705ex;\"><defs><path stroke-width=\"0\" id=\"E259-MJMATHI-78\" d=\"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z\"><\/path><path stroke-width=\"0\" id=\"E259-MJMAIN-2AAF\" d=\"M84 346Q84 359 91 363T117 367Q120 367 126 367T137 366Q388 370 512 430T653 609Q657 636 676 636Q685 635 689 629T694 618V612Q689 566 672 528T626 463T569 417T500 383T435 362T373 346Q379 345 404 339T440 330T477 318T533 296Q592 266 630 223T681 145T694 78Q694 57 674 57Q662 57 657 67T652 92T640 135T606 191Q500 320 137 326H114Q104 326 98 327T88 332T84 346ZM84 -131T84 -118T98 -98H679Q694 -106 694 -118T679 -138H98Q84 -131 84 -118Z\"><\/path><path stroke-width=\"0\" id=\"E259-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><path stroke-width=\"0\" id=\"E259-MJMATHI-79\" d=\"M21 287Q21 301 36 335T84 406T158 442Q199 442 224 419T250 355Q248 336 247 334Q247 331 231 288T198 191T182 105Q182 62 196 45T238 27Q261 27 281 38T312 61T339 94Q339 95 344 114T358 173T377 247Q415 397 419 404Q432 431 462 431Q475 431 483 424T494 412T496 403Q496 390 447 193T391 -23Q363 -106 294 -155T156 -205Q111 -205 77 -183T43 -117Q43 -95 50 -80T69 -58T89 -48T106 -45Q150 -45 150 -87Q150 -107 138 -122T115 -142T102 -147L99 -148Q101 -153 118 -160T152 -167H160Q177 -167 186 -165Q219 -156 247 -127T290 -65T313 -9T321 21L315 17Q309 13 296 6T270 -6Q250 -11 231 -11Q185 -11 150 11T104 82Q103 89 103 113Q103 170 138 262T173 379Q173 380 173 381Q173 390 173 393T169 400T158 404H154Q131 404 112 385T82 344T65 302T57 280Q55 278 41 278H27Q21 284 21 287Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E259-MJMATHI-78\" x=\"0\" y=\"0\"><\/use><g transform=\"translate(849,0)\"><use xlink:href=\"#E259-MJMAIN-2AAF\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E259-MJMATHI-4B\" x=\"1100\" y=\"-213\"><\/use><\/g><use xlink:href=\"#E259-MJMATHI-79\" x=\"2634\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">x \\preceq_K y<\/script>\u3002<\/li>\n\n<\/ul>\n<h2>\u4e8c\u3001\u6700\u5c0f\u4e0e\u6781\u5c0f\u5143<\/h2>\n<p>\u5c3d\u7ba1\u5e7f\u4e49\u4e0d\u7b49\u5f0f\u770b\u4e0a\u53bb\u8ddf<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"1.763ex\" height=\"1.994ex\" viewBox=\"0 -755.9 759 858.4\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.238ex;\"><defs><path stroke-width=\"0\" id=\"E256-MJMATHI-52\" d=\"M230 637Q203 637 198 638T193 649Q193 676 204 682Q206 683 378 683Q550 682 564 680Q620 672 658 652T712 606T733 563T739 529Q739 484 710 445T643 385T576 351T538 338L545 333Q612 295 612 223Q612 212 607 162T602 80V71Q602 53 603 43T614 25T640 16Q668 16 686 38T712 85Q717 99 720 102T735 105Q755 105 755 93Q755 75 731 36Q693 -21 641 -21H632Q571 -21 531 4T487 82Q487 109 502 166T517 239Q517 290 474 313Q459 320 449 321T378 323H309L277 193Q244 61 244 59Q244 55 245 54T252 50T269 48T302 46H333Q339 38 339 37T336 19Q332 6 326 0H311Q275 2 180 2Q146 2 117 2T71 2T50 1Q33 1 33 10Q33 12 36 24Q41 43 46 45Q50 46 61 46H67Q94 46 127 49Q141 52 146 61Q149 65 218 339T287 628Q287 635 230 637ZM630 554Q630 586 609 608T523 636Q521 636 500 636T462 637H440Q393 637 386 627Q385 624 352 494T319 361Q319 360 388 360Q466 361 492 367Q556 377 592 426Q608 449 619 486T630 554Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E256-MJMATHI-52\" x=\"0\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">R<\/script>\u4e0a\u7684\u666e\u901a\u4e0d\u7b49\u5f0f\u770b\u4e0a\u53bb\u6709\u7740\u76f8\u540c\u7684\u6027\u8d28\uff0c\u4f46\u662f\u4ecd\u6709\u4f8b\u5916\u5b58\u5728\u3002<\/p>\n<p><span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"1.763ex\" height=\"1.994ex\" viewBox=\"0 -755.9 759 858.4\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.238ex;\"><defs><path stroke-width=\"0\" id=\"E256-MJMATHI-52\" d=\"M230 637Q203 637 198 638T193 649Q193 676 204 682Q206 683 378 683Q550 682 564 680Q620 672 658 652T712 606T733 563T739 529Q739 484 710 445T643 385T576 351T538 338L545 333Q612 295 612 223Q612 212 607 162T602 80V71Q602 53 603 43T614 25T640 16Q668 16 686 38T712 85Q717 99 720 102T735 105Q755 105 755 93Q755 75 731 36Q693 -21 641 -21H632Q571 -21 531 4T487 82Q487 109 502 166T517 239Q517 290 474 313Q459 320 449 321T378 323H309L277 193Q244 61 244 59Q244 55 245 54T252 50T269 48T302 46H333Q339 38 339 37T336 19Q332 6 326 0H311Q275 2 180 2Q146 2 117 2T71 2T50 1Q33 1 33 10Q33 12 36 24Q41 43 46 45Q50 46 61 46H67Q94 46 127 49Q141 52 146 61Q149 65 218 339T287 628Q287 635 230 637ZM630 554Q630 586 609 608T523 636Q521 636 500 636T462 637H440Q393 637 386 627Q385 624 352 494T319 361Q319 360 388 360Q466 361 492 367Q556 377 592 426Q608 449 619 486T630 554Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E256-MJMATHI-52\" x=\"0\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">R<\/script>\u4e0a\u7684<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"1.807ex\" height=\"2.11ex\" viewBox=\"0 -705.6 778 908.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.472ex;\"><defs><path stroke-width=\"0\" id=\"E257-MJMAIN-2264\" d=\"M674 636Q682 636 688 630T694 615T687 601Q686 600 417 472L151 346L399 228Q687 92 691 87Q694 81 694 76Q694 58 676 56H670L382 192Q92 329 90 331Q83 336 83 348Q84 359 96 365Q104 369 382 500T665 634Q669 636 674 636ZM84 -118Q84 -108 99 -98H678Q694 -104 694 -118Q694 -130 679 -138H98Q84 -131 84 -118Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E257-MJMAIN-2264\" x=\"0\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">\\leq<\/script>\u662f\u4e00\u4e2a<strong>\u7ebf\u6027\u5e8f<\/strong>\uff0c\u5373\u4efb\u610f\u4e24\u70b9\u90fd\u662f\u53ef\u6bd4\u7684\uff0c\u4f46\u5e7f\u4e49\u4e0d\u7b49\u5f0f\u5e76\u975e\u5982\u6b64\u3002<\/p>\n<h3>1. \u6700\u5c0f\u5143<\/h3>\n<p>\u5982\u679c\u5bf9\u4e8e\u6bcf\u4e2a<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"5.492ex\" height=\"2.577ex\" viewBox=\"0 -806.1 2364.6 1109.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.705ex;\"><defs><path stroke-width=\"0\" id=\"E266-MJMATHI-79\" d=\"M21 287Q21 301 36 335T84 406T158 442Q199 442 224 419T250 355Q248 336 247 334Q247 331 231 288T198 191T182 105Q182 62 196 45T238 27Q261 27 281 38T312 61T339 94Q339 95 344 114T358 173T377 247Q415 397 419 404Q432 431 462 431Q475 431 483 424T494 412T496 403Q496 390 447 193T391 -23Q363 -106 294 -155T156 -205Q111 -205 77 -183T43 -117Q43 -95 50 -80T69 -58T89 -48T106 -45Q150 -45 150 -87Q150 -107 138 -122T115 -142T102 -147L99 -148Q101 -153 118 -160T152 -167H160Q177 -167 186 -165Q219 -156 247 -127T290 -65T313 -9T321 21L315 17Q309 13 296 6T270 -6Q250 -11 231 -11Q185 -11 150 11T104 82Q103 89 103 113Q103 170 138 262T173 379Q173 380 173 381Q173 390 173 393T169 400T158 404H154Q131 404 112 385T82 344T65 302T57 280Q55 278 41 278H27Q21 284 21 287Z\"><\/path><path stroke-width=\"0\" id=\"E266-MJMAIN-2208\" d=\"M84 250Q84 372 166 450T360 539Q361 539 377 539T419 540T469 540H568Q583 532 583 520Q583 511 570 501L466 500Q355 499 329 494Q280 482 242 458T183 409T147 354T129 306T124 272V270H568Q583 262 583 250T568 230H124V228Q124 207 134 177T167 112T231 48T328 7Q355 1 466 0H570Q583 -10 583 -20Q583 -32 568 -40H471Q464 -40 446 -40T417 -41Q262 -41 172 45Q84 127 84 250Z\"><\/path><path stroke-width=\"0\" id=\"E266-MJMATHI-53\" d=\"M308 24Q367 24 416 76T466 197Q466 260 414 284Q308 311 278 321T236 341Q176 383 176 462Q176 523 208 573T273 648Q302 673 343 688T407 704H418H425Q521 704 564 640Q565 640 577 653T603 682T623 704Q624 704 627 704T632 705Q645 705 645 698T617 577T585 459T569 456Q549 456 549 465Q549 471 550 475Q550 478 551 494T553 520Q553 554 544 579T526 616T501 641Q465 662 419 662Q362 662 313 616T263 510Q263 480 278 458T319 427Q323 425 389 408T456 390Q490 379 522 342T554 242Q554 216 546 186Q541 164 528 137T492 78T426 18T332 -20Q320 -22 298 -22Q199 -22 144 33L134 44L106 13Q83 -14 78 -18T65 -22Q52 -22 52 -14Q52 -11 110 221Q112 227 130 227H143Q149 221 149 216Q149 214 148 207T144 186T142 153Q144 114 160 87T203 47T255 29T308 24Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E266-MJMATHI-79\" x=\"0\" y=\"0\"><\/use><use xlink:href=\"#E266-MJMAIN-2208\" x=\"774\" y=\"0\"><\/use><use xlink:href=\"#E266-MJMATHI-53\" x=\"1719\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">y \\in S<\/script>\uff0c\u5747\u6709<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"7.272ex\" height=\"2.344ex\" viewBox=\"0 -705.6 3131.2 1009.2\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.705ex;\"><defs><path stroke-width=\"0\" id=\"E259-MJMATHI-78\" d=\"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z\"><\/path><path stroke-width=\"0\" id=\"E259-MJMAIN-2AAF\" d=\"M84 346Q84 359 91 363T117 367Q120 367 126 367T137 366Q388 370 512 430T653 609Q657 636 676 636Q685 635 689 629T694 618V612Q689 566 672 528T626 463T569 417T500 383T435 362T373 346Q379 345 404 339T440 330T477 318T533 296Q592 266 630 223T681 145T694 78Q694 57 674 57Q662 57 657 67T652 92T640 135T606 191Q500 320 137 326H114Q104 326 98 327T88 332T84 346ZM84 -131T84 -118T98 -98H679Q694 -106 694 -118T679 -138H98Q84 -131 84 -118Z\"><\/path><path stroke-width=\"0\" id=\"E259-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><path stroke-width=\"0\" id=\"E259-MJMATHI-79\" d=\"M21 287Q21 301 36 335T84 406T158 442Q199 442 224 419T250 355Q248 336 247 334Q247 331 231 288T198 191T182 105Q182 62 196 45T238 27Q261 27 281 38T312 61T339 94Q339 95 344 114T358 173T377 247Q415 397 419 404Q432 431 462 431Q475 431 483 424T494 412T496 403Q496 390 447 193T391 -23Q363 -106 294 -155T156 -205Q111 -205 77 -183T43 -117Q43 -95 50 -80T69 -58T89 -48T106 -45Q150 -45 150 -87Q150 -107 138 -122T115 -142T102 -147L99 -148Q101 -153 118 -160T152 -167H160Q177 -167 186 -165Q219 -156 247 -127T290 -65T313 -9T321 21L315 17Q309 13 296 6T270 -6Q250 -11 231 -11Q185 -11 150 11T104 82Q103 89 103 113Q103 170 138 262T173 379Q173 380 173 381Q173 390 173 393T169 400T158 404H154Q131 404 112 385T82 344T65 302T57 280Q55 278 41 278H27Q21 284 21 287Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E259-MJMATHI-78\" x=\"0\" y=\"0\"><\/use><g transform=\"translate(849,0)\"><use xlink:href=\"#E259-MJMAIN-2AAF\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E259-MJMATHI-4B\" x=\"1100\" y=\"-213\"><\/use><\/g><use xlink:href=\"#E259-MJMATHI-79\" x=\"2634\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">x \\preceq_K y<\/script>\uff0c\u90a3\u4e48\u79f0<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"5.666ex\" height=\"2.11ex\" viewBox=\"0 -806.1 2439.6 908.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.238ex;\"><defs><path stroke-width=\"0\" id=\"E269-MJMATHI-78\" d=\"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z\"><\/path><path stroke-width=\"0\" id=\"E269-MJMAIN-2208\" d=\"M84 250Q84 372 166 450T360 539Q361 539 377 539T419 540T469 540H568Q583 532 583 520Q583 511 570 501L466 500Q355 499 329 494Q280 482 242 458T183 409T147 354T129 306T124 272V270H568Q583 262 583 250T568 230H124V228Q124 207 134 177T167 112T231 48T328 7Q355 1 466 0H570Q583 -10 583 -20Q583 -32 568 -40H471Q464 -40 446 -40T417 -41Q262 -41 172 45Q84 127 84 250Z\"><\/path><path stroke-width=\"0\" id=\"E269-MJMATHI-53\" d=\"M308 24Q367 24 416 76T466 197Q466 260 414 284Q308 311 278 321T236 341Q176 383 176 462Q176 523 208 573T273 648Q302 673 343 688T407 704H418H425Q521 704 564 640Q565 640 577 653T603 682T623 704Q624 704 627 704T632 705Q645 705 645 698T617 577T585 459T569 456Q549 456 549 465Q549 471 550 475Q550 478 551 494T553 520Q553 554 544 579T526 616T501 641Q465 662 419 662Q362 662 313 616T263 510Q263 480 278 458T319 427Q323 425 389 408T456 390Q490 379 522 342T554 242Q554 216 546 186Q541 164 528 137T492 78T426 18T332 -20Q320 -22 298 -22Q199 -22 144 33L134 44L106 13Q83 -14 78 -18T65 -22Q52 -22 52 -14Q52 -11 110 221Q112 227 130 227H143Q149 221 149 216Q149 214 148 207T144 186T142 153Q144 114 160 87T203 47T255 29T308 24Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E269-MJMATHI-78\" x=\"0\" y=\"0\"><\/use><use xlink:href=\"#E269-MJMAIN-2208\" x=\"849\" y=\"0\"><\/use><use xlink:href=\"#E269-MJMATHI-53\" x=\"1794\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">x \\in S<\/script>\u662f<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"1.498ex\" height=\"2.11ex\" viewBox=\"0 -806.1 645 908.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.238ex;\"><defs><path stroke-width=\"0\" id=\"E270-MJMATHI-53\" d=\"M308 24Q367 24 416 76T466 197Q466 260 414 284Q308 311 278 321T236 341Q176 383 176 462Q176 523 208 573T273 648Q302 673 343 688T407 704H418H425Q521 704 564 640Q565 640 577 653T603 682T623 704Q624 704 627 704T632 705Q645 705 645 698T617 577T585 459T569 456Q549 456 549 465Q549 471 550 475Q550 478 551 494T553 520Q553 554 544 579T526 616T501 641Q465 662 419 662Q362 662 313 616T263 510Q263 480 278 458T319 427Q323 425 389 408T456 390Q490 379 522 342T554 242Q554 216 546 186Q541 164 528 137T492 78T426 18T332 -20Q320 -22 298 -22Q199 -22 144 33L134 44L106 13Q83 -14 78 -18T65 -22Q52 -22 52 -14Q52 -11 110 221Q112 227 130 227H143Q149 221 149 216Q149 214 148 207T144 186T142 153Q144 114 160 87T203 47T255 29T308 24Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E270-MJMATHI-53\" x=\"0\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">S<\/script>\u5173\u4e8e\u5e7f\u4e49\u4e0d\u7b49\u5f0f<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"3.499ex\" height=\"2.11ex\" viewBox=\"0 -705.6 1506.6 908.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.472ex;\"><defs><path stroke-width=\"0\" id=\"E271-MJMAIN-2AAF\" d=\"M84 346Q84 359 91 363T117 367Q120 367 126 367T137 366Q388 370 512 430T653 609Q657 636 676 636Q685 635 689 629T694 618V612Q689 566 672 528T626 463T569 417T500 383T435 362T373 346Q379 345 404 339T440 330T477 318T533 296Q592 266 630 223T681 145T694 78Q694 57 674 57Q662 57 657 67T652 92T640 135T606 191Q500 320 137 326H114Q104 326 98 327T88 332T84 346ZM84 -131T84 -118T98 -98H679Q694 -106 694 -118T679 -138H98Q84 -131 84 -118Z\"><\/path><path stroke-width=\"0\" id=\"E271-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E271-MJMAIN-2AAF\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E271-MJMATHI-4B\" x=\"1100\" y=\"-213\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">\\preceq_K<\/script>\u7684<strong>\u6700\u5c0f\u5143<\/strong>\u3002\u5f53\u4e14\u4ec5\u5f53\uff1a<\/p>\n<div contenteditable=\"true\" spellcheck=\"false\" class=\"mathjax-block md-end-block md-math-block md-rawblock\" id=\"mathjax-n53\" cid=\"n53\" mdtype=\"math_block\"><div class=\"md-rawblock-container md-math-container\" tabindex=\"-1\"><div class=\"MathJax_SVG_Display\"><span class=\"MathJax_SVG\" id=\"MathJax-Element-217-Frame\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"112.412ex\" height=\"2.811ex\" viewBox=\"0 -856.4 48399.6 1210.2\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.822ex; max-width: 100%;\" class=\"in-text-selection\"><defs><path stroke-width=\"0\" id=\"E220-MJMAIN-28\" d=\"M94 250Q94 319 104 381T127 488T164 576T202 643T244 695T277 729T302 750H315H319Q333 750 333 741Q333 738 316 720T275 667T226 581T184 443T167 250T184 58T225 -81T274 -167T316 -220T333 -241Q333 -250 318 -250H315H302L274 -226Q180 -141 137 -14T94 250Z\"><\/path><path stroke-width=\"0\" id=\"E220-MJMAIN-33\" d=\"M127 463Q100 463 85 480T69 524Q69 579 117 622T233 665Q268 665 277 664Q351 652 390 611T430 522Q430 470 396 421T302 350L299 348Q299 347 308 345T337 336T375 315Q457 262 457 175Q457 96 395 37T238 -22Q158 -22 100 21T42 130Q42 158 60 175T105 193Q133 193 151 175T169 130Q169 119 166 110T159 94T148 82T136 74T126 70T118 67L114 66Q165 21 238 21Q293 21 321 74Q338 107 338 175V195Q338 290 274 322Q259 328 213 329L171 330L168 332Q166 335 166 348Q166 366 174 366Q202 366 232 371Q266 376 294 413T322 525V533Q322 590 287 612Q265 626 240 626Q208 626 181 615T143 592T132 580H135Q138 579 143 578T153 573T165 566T175 555T183 540T186 520Q186 498 172 481T127 463Z\"><\/path><path stroke-width=\"0\" id=\"E220-MJMAIN-29\" d=\"M60 749L64 750Q69 750 74 750H86L114 726Q208 641 251 514T294 250Q294 182 284 119T261 12T224 -76T186 -143T145 -194T113 -227T90 -246Q87 -249 86 -250H74Q66 -250 63 -250T58 -247T55 -238Q56 -237 66 -225Q221 -64 221 250T66 725Q56 737 55 738Q55 746 60 749Z\"><\/path><path stroke-width=\"0\" id=\"E220-MJMATHI-53\" d=\"M308 24Q367 24 416 76T466 197Q466 260 414 284Q308 311 278 321T236 341Q176 383 176 462Q176 523 208 573T273 648Q302 673 343 688T407 704H418H425Q521 704 564 640Q565 640 577 653T603 682T623 704Q624 704 627 704T632 705Q645 705 645 698T617 577T585 459T569 456Q549 456 549 465Q549 471 550 475Q550 478 551 494T553 520Q553 554 544 579T526 616T501 641Q465 662 419 662Q362 662 313 616T263 510Q263 480 278 458T319 427Q323 425 389 408T456 390Q490 379 522 342T554 242Q554 216 546 186Q541 164 528 137T492 78T426 18T332 -20Q320 -22 298 -22Q199 -22 144 33L134 44L106 13Q83 -14 78 -18T65 -22Q52 -22 52 -14Q52 -11 110 221Q112 227 130 227H143Q149 221 149 216Q149 214 148 207T144 186T142 153Q144 114 160 87T203 47T255 29T308 24Z\"><\/path><path stroke-width=\"0\" id=\"E220-MJMAIN-2286\" d=\"M84 346Q84 468 166 546T360 635Q361 635 370 635T395 635T430 636T475 636T524 636H679Q694 628 694 616Q694 607 681 597L522 596H470H441Q366 596 338 592T266 568Q244 557 224 542T179 500T139 433T124 346V341Q124 253 185 185Q244 121 328 103Q348 98 366 98T522 96H681Q694 86 694 76Q694 64 679 56H526Q510 56 480 56T434 55Q350 55 289 71T172 141Q84 223 84 346ZM104 -131T104 -118T118 -98H679Q694 -106 694 -118T679 -138H118Q104 -131 104 -118Z\"><\/path><path stroke-width=\"0\" id=\"E220-MJMATHI-78\" d=\"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z\"><\/path><path stroke-width=\"0\" id=\"E220-MJMAIN-2B\" d=\"M56 237T56 250T70 270H369V420L370 570Q380 583 389 583Q402 583 409 568V270H707Q722 262 722 250T707 230H409V-68Q401 -82 391 -82H389H387Q375 -82 369 -68V230H70Q56 237 56 250Z\"><\/path><path stroke-width=\"0\" id=\"E220-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><g transform=\"translate(47121,0)\"><g id=\"mjx-eqn-3\" transform=\"translate(0,-25)\"><use xlink:href=\"#E220-MJMAIN-28\"><\/use><use xlink:href=\"#E220-MJMAIN-33\" x=\"389\" y=\"0\"><\/use><use xlink:href=\"#E220-MJMAIN-29\" x=\"889\" y=\"0\"><\/use><\/g><\/g><g transform=\"translate(22043,0)\"><g transform=\"translate(-15,0)\"><g transform=\"translate(0,-25)\"><use xlink:href=\"#E220-MJMATHI-53\" x=\"0\" y=\"0\"><\/use><use xlink:href=\"#E220-MJMAIN-2286\" x=\"922\" y=\"0\"><\/use><use xlink:href=\"#E220-MJMATHI-78\" x=\"1978\" y=\"0\"><\/use><use xlink:href=\"#E220-MJMAIN-2B\" x=\"2772\" y=\"0\"><\/use><use xlink:href=\"#E220-MJMATHI-4B\" x=\"3773\" y=\"0\"><\/use><\/g><\/g><\/g><\/g><\/svg><\/span><\/div><script type=\"math\/tex; mode=display\" id=\"MathJax-Element-217\">S \\subseteq x + K<\/script><\/div><\/div>\n<p>\u8fd9\u91cc\u7684<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"6.233ex\" height=\"2.11ex\" viewBox=\"0 -755.9 2683.4 908.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.355ex;\"><defs><path stroke-width=\"0\" id=\"E263-MJMATHI-78\" d=\"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z\"><\/path><path stroke-width=\"0\" id=\"E263-MJMAIN-2B\" d=\"M56 237T56 250T70 270H369V420L370 570Q380 583 389 583Q402 583 409 568V270H707Q722 262 722 250T707 230H409V-68Q401 -82 391 -82H389H387Q375 -82 369 -68V230H70Q56 237 56 250Z\"><\/path><path stroke-width=\"0\" id=\"E263-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E263-MJMATHI-78\" x=\"0\" y=\"0\"><\/use><use xlink:href=\"#E263-MJMAIN-2B\" x=\"794\" y=\"0\"><\/use><use xlink:href=\"#E263-MJMATHI-4B\" x=\"1794\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">x+K<\/script>\u8868\u793a\u53ef\u4ee5\u4e0e<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"1.329ex\" height=\"1.41ex\" viewBox=\"0 -504.6 572 607.1\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.238ex;\"><defs><path stroke-width=\"0\" id=\"E273-MJMATHI-78\" d=\"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E273-MJMATHI-78\" x=\"0\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">x<\/script> \u76f8\u6bd4\u5e76\u4e14\u5927\u4e8e\u6216\u7b49\u4e8e<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"1.329ex\" height=\"1.41ex\" viewBox=\"0 -504.6 572 607.1\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.238ex;\"><defs><path stroke-width=\"0\" id=\"E273-MJMATHI-78\" d=\"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E273-MJMATHI-78\" x=\"0\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">x<\/script>\u7684\u6240\u6709\u5143\u7d20\u7684\u96c6\u5408\u3002<\/p>\n<h3>2. \u6781\u5c0f\u5143<\/h3>\n<p>\u5982\u679c<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"5.492ex\" height=\"2.577ex\" viewBox=\"0 -806.1 2364.6 1109.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.705ex;\"><defs><path stroke-width=\"0\" id=\"E266-MJMATHI-79\" d=\"M21 287Q21 301 36 335T84 406T158 442Q199 442 224 419T250 355Q248 336 247 334Q247 331 231 288T198 191T182 105Q182 62 196 45T238 27Q261 27 281 38T312 61T339 94Q339 95 344 114T358 173T377 247Q415 397 419 404Q432 431 462 431Q475 431 483 424T494 412T496 403Q496 390 447 193T391 -23Q363 -106 294 -155T156 -205Q111 -205 77 -183T43 -117Q43 -95 50 -80T69 -58T89 -48T106 -45Q150 -45 150 -87Q150 -107 138 -122T115 -142T102 -147L99 -148Q101 -153 118 -160T152 -167H160Q177 -167 186 -165Q219 -156 247 -127T290 -65T313 -9T321 21L315 17Q309 13 296 6T270 -6Q250 -11 231 -11Q185 -11 150 11T104 82Q103 89 103 113Q103 170 138 262T173 379Q173 380 173 381Q173 390 173 393T169 400T158 404H154Q131 404 112 385T82 344T65 302T57 280Q55 278 41 278H27Q21 284 21 287Z\"><\/path><path stroke-width=\"0\" id=\"E266-MJMAIN-2208\" d=\"M84 250Q84 372 166 450T360 539Q361 539 377 539T419 540T469 540H568Q583 532 583 520Q583 511 570 501L466 500Q355 499 329 494Q280 482 242 458T183 409T147 354T129 306T124 272V270H568Q583 262 583 250T568 230H124V228Q124 207 134 177T167 112T231 48T328 7Q355 1 466 0H570Q583 -10 583 -20Q583 -32 568 -40H471Q464 -40 446 -40T417 -41Q262 -41 172 45Q84 127 84 250Z\"><\/path><path stroke-width=\"0\" id=\"E266-MJMATHI-53\" d=\"M308 24Q367 24 416 76T466 197Q466 260 414 284Q308 311 278 321T236 341Q176 383 176 462Q176 523 208 573T273 648Q302 673 343 688T407 704H418H425Q521 704 564 640Q565 640 577 653T603 682T623 704Q624 704 627 704T632 705Q645 705 645 698T617 577T585 459T569 456Q549 456 549 465Q549 471 550 475Q550 478 551 494T553 520Q553 554 544 579T526 616T501 641Q465 662 419 662Q362 662 313 616T263 510Q263 480 278 458T319 427Q323 425 389 408T456 390Q490 379 522 342T554 242Q554 216 546 186Q541 164 528 137T492 78T426 18T332 -20Q320 -22 298 -22Q199 -22 144 33L134 44L106 13Q83 -14 78 -18T65 -22Q52 -22 52 -14Q52 -11 110 221Q112 227 130 227H143Q149 221 149 216Q149 214 148 207T144 186T142 153Q144 114 160 87T203 47T255 29T308 24Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E266-MJMATHI-79\" x=\"0\" y=\"0\"><\/use><use xlink:href=\"#E266-MJMAIN-2208\" x=\"774\" y=\"0\"><\/use><use xlink:href=\"#E266-MJMATHI-53\" x=\"1719\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">y \\in S<\/script>\uff0c<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"7.272ex\" height=\"2.344ex\" viewBox=\"0 -705.6 3131.2 1009.2\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.705ex;\"><defs><path stroke-width=\"0\" id=\"E267-MJMATHI-79\" d=\"M21 287Q21 301 36 335T84 406T158 442Q199 442 224 419T250 355Q248 336 247 334Q247 331 231 288T198 191T182 105Q182 62 196 45T238 27Q261 27 281 38T312 61T339 94Q339 95 344 114T358 173T377 247Q415 397 419 404Q432 431 462 431Q475 431 483 424T494 412T496 403Q496 390 447 193T391 -23Q363 -106 294 -155T156 -205Q111 -205 77 -183T43 -117Q43 -95 50 -80T69 -58T89 -48T106 -45Q150 -45 150 -87Q150 -107 138 -122T115 -142T102 -147L99 -148Q101 -153 118 -160T152 -167H160Q177 -167 186 -165Q219 -156 247 -127T290 -65T313 -9T321 21L315 17Q309 13 296 6T270 -6Q250 -11 231 -11Q185 -11 150 11T104 82Q103 89 103 113Q103 170 138 262T173 379Q173 380 173 381Q173 390 173 393T169 400T158 404H154Q131 404 112 385T82 344T65 302T57 280Q55 278 41 278H27Q21 284 21 287Z\"><\/path><path stroke-width=\"0\" id=\"E267-MJMAIN-2AAF\" d=\"M84 346Q84 359 91 363T117 367Q120 367 126 367T137 366Q388 370 512 430T653 609Q657 636 676 636Q685 635 689 629T694 618V612Q689 566 672 528T626 463T569 417T500 383T435 362T373 346Q379 345 404 339T440 330T477 318T533 296Q592 266 630 223T681 145T694 78Q694 57 674 57Q662 57 657 67T652 92T640 135T606 191Q500 320 137 326H114Q104 326 98 327T88 332T84 346ZM84 -131T84 -118T98 -98H679Q694 -106 694 -118T679 -138H98Q84 -131 84 -118Z\"><\/path><path stroke-width=\"0\" id=\"E267-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><path stroke-width=\"0\" id=\"E267-MJMATHI-78\" d=\"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E267-MJMATHI-79\" x=\"0\" y=\"0\"><\/use><g transform=\"translate(774,0)\"><use xlink:href=\"#E267-MJMAIN-2AAF\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E267-MJMATHI-4B\" x=\"1100\" y=\"-213\"><\/use><\/g><use xlink:href=\"#E267-MJMATHI-78\" x=\"2559\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">y \\preceq_K x<\/script>\u53ef\u4ee5\u63a8\u51fa<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"5.58ex\" height=\"1.877ex\" viewBox=\"0 -504.6 2402.6 808.1\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.705ex;\"><defs><path stroke-width=\"0\" id=\"E268-MJMATHI-78\" d=\"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z\"><\/path><path stroke-width=\"0\" id=\"E268-MJMAIN-3D\" d=\"M56 347Q56 360 70 367H707Q722 359 722 347Q722 336 708 328L390 327H72Q56 332 56 347ZM56 153Q56 168 72 173H708Q722 163 722 153Q722 140 707 133H70Q56 140 56 153Z\"><\/path><path stroke-width=\"0\" id=\"E268-MJMATHI-79\" d=\"M21 287Q21 301 36 335T84 406T158 442Q199 442 224 419T250 355Q248 336 247 334Q247 331 231 288T198 191T182 105Q182 62 196 45T238 27Q261 27 281 38T312 61T339 94Q339 95 344 114T358 173T377 247Q415 397 419 404Q432 431 462 431Q475 431 483 424T494 412T496 403Q496 390 447 193T391 -23Q363 -106 294 -155T156 -205Q111 -205 77 -183T43 -117Q43 -95 50 -80T69 -58T89 -48T106 -45Q150 -45 150 -87Q150 -107 138 -122T115 -142T102 -147L99 -148Q101 -153 118 -160T152 -167H160Q177 -167 186 -165Q219 -156 247 -127T290 -65T313 -9T321 21L315 17Q309 13 296 6T270 -6Q250 -11 231 -11Q185 -11 150 11T104 82Q103 89 103 113Q103 170 138 262T173 379Q173 380 173 381Q173 390 173 393T169 400T158 404H154Q131 404 112 385T82 344T65 302T57 280Q55 278 41 278H27Q21 284 21 287Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E268-MJMATHI-78\" x=\"0\" y=\"0\"><\/use><use xlink:href=\"#E268-MJMAIN-3D\" x=\"849\" y=\"0\"><\/use><use xlink:href=\"#E268-MJMATHI-79\" x=\"1905\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">x = y<\/script>\uff0c\u90a3\u4e48\u6211\u4eec\u79f0<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"5.666ex\" height=\"2.11ex\" viewBox=\"0 -806.1 2439.6 908.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.238ex;\"><defs><path stroke-width=\"0\" id=\"E269-MJMATHI-78\" d=\"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z\"><\/path><path stroke-width=\"0\" id=\"E269-MJMAIN-2208\" d=\"M84 250Q84 372 166 450T360 539Q361 539 377 539T419 540T469 540H568Q583 532 583 520Q583 511 570 501L466 500Q355 499 329 494Q280 482 242 458T183 409T147 354T129 306T124 272V270H568Q583 262 583 250T568 230H124V228Q124 207 134 177T167 112T231 48T328 7Q355 1 466 0H570Q583 -10 583 -20Q583 -32 568 -40H471Q464 -40 446 -40T417 -41Q262 -41 172 45Q84 127 84 250Z\"><\/path><path stroke-width=\"0\" id=\"E269-MJMATHI-53\" d=\"M308 24Q367 24 416 76T466 197Q466 260 414 284Q308 311 278 321T236 341Q176 383 176 462Q176 523 208 573T273 648Q302 673 343 688T407 704H418H425Q521 704 564 640Q565 640 577 653T603 682T623 704Q624 704 627 704T632 705Q645 705 645 698T617 577T585 459T569 456Q549 456 549 465Q549 471 550 475Q550 478 551 494T553 520Q553 554 544 579T526 616T501 641Q465 662 419 662Q362 662 313 616T263 510Q263 480 278 458T319 427Q323 425 389 408T456 390Q490 379 522 342T554 242Q554 216 546 186Q541 164 528 137T492 78T426 18T332 -20Q320 -22 298 -22Q199 -22 144 33L134 44L106 13Q83 -14 78 -18T65 -22Q52 -22 52 -14Q52 -11 110 221Q112 227 130 227H143Q149 221 149 216Q149 214 148 207T144 186T142 153Q144 114 160 87T203 47T255 29T308 24Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E269-MJMATHI-78\" x=\"0\" y=\"0\"><\/use><use xlink:href=\"#E269-MJMAIN-2208\" x=\"849\" y=\"0\"><\/use><use xlink:href=\"#E269-MJMATHI-53\" x=\"1794\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">x \\in S<\/script>\u662f<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"1.498ex\" height=\"2.11ex\" viewBox=\"0 -806.1 645 908.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.238ex;\"><defs><path stroke-width=\"0\" id=\"E270-MJMATHI-53\" d=\"M308 24Q367 24 416 76T466 197Q466 260 414 284Q308 311 278 321T236 341Q176 383 176 462Q176 523 208 573T273 648Q302 673 343 688T407 704H418H425Q521 704 564 640Q565 640 577 653T603 682T623 704Q624 704 627 704T632 705Q645 705 645 698T617 577T585 459T569 456Q549 456 549 465Q549 471 550 475Q550 478 551 494T553 520Q553 554 544 579T526 616T501 641Q465 662 419 662Q362 662 313 616T263 510Q263 480 278 458T319 427Q323 425 389 408T456 390Q490 379 522 342T554 242Q554 216 546 186Q541 164 528 137T492 78T426 18T332 -20Q320 -22 298 -22Q199 -22 144 33L134 44L106 13Q83 -14 78 -18T65 -22Q52 -22 52 -14Q52 -11 110 221Q112 227 130 227H143Q149 221 149 216Q149 214 148 207T144 186T142 153Q144 114 160 87T203 47T255 29T308 24Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E270-MJMATHI-53\" x=\"0\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">S<\/script>\u4e0a\u5173\u4e8e\u5e7f\u4e49\u4e0d\u7b49\u5f0f<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"3.499ex\" height=\"2.11ex\" viewBox=\"0 -705.6 1506.6 908.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.472ex;\"><defs><path stroke-width=\"0\" id=\"E271-MJMAIN-2AAF\" d=\"M84 346Q84 359 91 363T117 367Q120 367 126 367T137 366Q388 370 512 430T653 609Q657 636 676 636Q685 635 689 629T694 618V612Q689 566 672 528T626 463T569 417T500 383T435 362T373 346Q379 345 404 339T440 330T477 318T533 296Q592 266 630 223T681 145T694 78Q694 57 674 57Q662 57 657 67T652 92T640 135T606 191Q500 320 137 326H114Q104 326 98 327T88 332T84 346ZM84 -131T84 -118T98 -98H679Q694 -106 694 -118T679 -138H98Q84 -131 84 -118Z\"><\/path><path stroke-width=\"0\" id=\"E271-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E271-MJMAIN-2AAF\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E271-MJMATHI-4B\" x=\"1100\" y=\"-213\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">\\preceq_K<\/script>\u7684<strong>\u6781\u5c0f\u5143<\/strong>\u3002\u5f53\u4e14\u4ec5\u5f53\uff1a<\/p>\n<div contenteditable=\"true\" spellcheck=\"false\" class=\"mathjax-block md-end-block md-math-block md-rawblock\" id=\"mathjax-n57\" cid=\"n57\" mdtype=\"math_block\"><div class=\"md-rawblock-container md-math-container\" tabindex=\"-1\"><div class=\"MathJax_SVG_Display\"><span class=\"MathJax_SVG\" id=\"MathJax-Element-218-Frame\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"112.412ex\" height=\"2.811ex\" viewBox=\"0 -856.4 48399.6 1210.2\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.822ex; max-width: 100%;\" class=\"in-text-selection\"><defs><path stroke-width=\"0\" id=\"E221-MJMAIN-28\" d=\"M94 250Q94 319 104 381T127 488T164 576T202 643T244 695T277 729T302 750H315H319Q333 750 333 741Q333 738 316 720T275 667T226 581T184 443T167 250T184 58T225 -81T274 -167T316 -220T333 -241Q333 -250 318 -250H315H302L274 -226Q180 -141 137 -14T94 250Z\"><\/path><path stroke-width=\"0\" id=\"E221-MJMAIN-34\" d=\"M462 0Q444 3 333 3Q217 3 199 0H190V46H221Q241 46 248 46T265 48T279 53T286 61Q287 63 287 115V165H28V211L179 442Q332 674 334 675Q336 677 355 677H373L379 671V211H471V165H379V114Q379 73 379 66T385 54Q393 47 442 46H471V0H462ZM293 211V545L74 212L183 211H293Z\"><\/path><path stroke-width=\"0\" id=\"E221-MJMAIN-29\" d=\"M60 749L64 750Q69 750 74 750H86L114 726Q208 641 251 514T294 250Q294 182 284 119T261 12T224 -76T186 -143T145 -194T113 -227T90 -246Q87 -249 86 -250H74Q66 -250 63 -250T58 -247T55 -238Q56 -237 66 -225Q221 -64 221 250T66 725Q56 737 55 738Q55 746 60 749Z\"><\/path><path stroke-width=\"0\" id=\"E221-MJMATHI-78\" d=\"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z\"><\/path><path stroke-width=\"0\" id=\"E221-MJMAIN-2212\" d=\"M84 237T84 250T98 270H679Q694 262 694 250T679 230H98Q84 237 84 250Z\"><\/path><path stroke-width=\"0\" id=\"E221-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><path stroke-width=\"0\" id=\"E221-MJMAIN-2229\" d=\"M88 -21T75 -21T55 -7V200Q55 231 55 280Q56 414 60 428Q61 430 61 431Q77 500 152 549T332 598Q443 598 522 544T610 405Q611 399 611 194V-7Q604 -22 591 -22Q582 -22 572 -9L570 405Q563 433 556 449T529 485Q498 519 445 538T334 558Q251 558 179 518T96 401Q95 396 95 193V-7Q88 -21 75 -21Z\"><\/path><path stroke-width=\"0\" id=\"E221-MJMATHI-53\" d=\"M308 24Q367 24 416 76T466 197Q466 260 414 284Q308 311 278 321T236 341Q176 383 176 462Q176 523 208 573T273 648Q302 673 343 688T407 704H418H425Q521 704 564 640Q565 640 577 653T603 682T623 704Q624 704 627 704T632 705Q645 705 645 698T617 577T585 459T569 456Q549 456 549 465Q549 471 550 475Q550 478 551 494T553 520Q553 554 544 579T526 616T501 641Q465 662 419 662Q362 662 313 616T263 510Q263 480 278 458T319 427Q323 425 389 408T456 390Q490 379 522 342T554 242Q554 216 546 186Q541 164 528 137T492 78T426 18T332 -20Q320 -22 298 -22Q199 -22 144 33L134 44L106 13Q83 -14 78 -18T65 -22Q52 -22 52 -14Q52 -11 110 221Q112 227 130 227H143Q149 221 149 216Q149 214 148 207T144 186T142 153Q144 114 160 87T203 47T255 29T308 24Z\"><\/path><path stroke-width=\"0\" id=\"E221-MJMAIN-3D\" d=\"M56 347Q56 360 70 367H707Q722 359 722 347Q722 336 708 328L390 327H72Q56 332 56 347ZM56 153Q56 168 72 173H708Q722 163 722 153Q722 140 707 133H70Q56 140 56 153Z\"><\/path><path stroke-width=\"0\" id=\"E221-MJMAIN-7B\" d=\"M434 -231Q434 -244 428 -250H410Q281 -250 230 -184Q225 -177 222 -172T217 -161T213 -148T211 -133T210 -111T209 -84T209 -47T209 0Q209 21 209 53Q208 142 204 153Q203 154 203 155Q189 191 153 211T82 231Q71 231 68 234T65 250T68 266T82 269Q116 269 152 289T203 345Q208 356 208 377T209 529V579Q209 634 215 656T244 698Q270 724 324 740Q361 748 377 749Q379 749 390 749T408 750H428Q434 744 434 732Q434 719 431 716Q429 713 415 713Q362 710 332 689T296 647Q291 634 291 499V417Q291 370 288 353T271 314Q240 271 184 255L170 250L184 245Q202 239 220 230T262 196T290 137Q291 131 291 1Q291 -134 296 -147Q306 -174 339 -192T415 -213Q429 -213 431 -216Q434 -219 434 -231Z\"><\/path><path stroke-width=\"0\" id=\"E221-MJMAIN-7D\" d=\"M65 731Q65 745 68 747T88 750Q171 750 216 725T279 670Q288 649 289 635T291 501Q292 362 293 357Q306 312 345 291T417 269Q428 269 431 266T434 250T431 234T417 231Q380 231 345 210T298 157Q293 143 292 121T291 -28V-79Q291 -134 285 -156T256 -198Q202 -250 89 -250Q71 -250 68 -247T65 -230Q65 -224 65 -223T66 -218T69 -214T77 -213Q91 -213 108 -210T146 -200T183 -177T207 -139Q208 -134 209 3L210 139Q223 196 280 230Q315 247 330 250Q305 257 280 270Q225 304 212 352L210 362L209 498Q208 635 207 640Q195 680 154 696T77 713Q68 713 67 716T65 731Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><g transform=\"translate(47121,0)\"><g id=\"mjx-eqn-4\" transform=\"translate(0,-25)\"><use xlink:href=\"#E221-MJMAIN-28\"><\/use><use xlink:href=\"#E221-MJMAIN-34\" x=\"389\" y=\"0\"><\/use><use xlink:href=\"#E221-MJMAIN-29\" x=\"889\" y=\"0\"><\/use><\/g><\/g><g transform=\"translate(20312,0)\"><g transform=\"translate(-15,0)\"><g transform=\"translate(0,-25)\"><use xlink:href=\"#E221-MJMAIN-28\" x=\"0\" y=\"0\"><\/use><use xlink:href=\"#E221-MJMATHI-78\" x=\"389\" y=\"0\"><\/use><use xlink:href=\"#E221-MJMAIN-2212\" x=\"1183\" y=\"0\"><\/use><use xlink:href=\"#E221-MJMATHI-4B\" x=\"2183\" y=\"0\"><\/use><use xlink:href=\"#E221-MJMAIN-29\" x=\"3072\" y=\"0\"><\/use><use xlink:href=\"#E221-MJMAIN-2229\" x=\"3683\" y=\"0\"><\/use><use xlink:href=\"#E221-MJMATHI-53\" x=\"4572\" y=\"0\"><\/use><use xlink:href=\"#E221-MJMAIN-3D\" x=\"5495\" y=\"0\"><\/use><use xlink:href=\"#E221-MJMAIN-7B\" x=\"6551\" y=\"0\"><\/use><use xlink:href=\"#E221-MJMATHI-78\" x=\"7051\" y=\"0\"><\/use><use xlink:href=\"#E221-MJMAIN-7D\" x=\"7623\" y=\"0\"><\/use><\/g><\/g><\/g><\/g><\/svg><\/span><\/div><script type=\"math\/tex; mode=display\" id=\"MathJax-Element-218\">(x - K) \\cap S = \\{x\\}<\/script><\/div><\/div>\n<p>\u8fd9\u91cc\u7684<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"6.233ex\" height=\"2.11ex\" viewBox=\"0 -755.9 2683.4 908.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.355ex;\"><defs><path stroke-width=\"0\" id=\"E272-MJMATHI-78\" d=\"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z\"><\/path><path stroke-width=\"0\" id=\"E272-MJMAIN-2212\" d=\"M84 237T84 250T98 270H679Q694 262 694 250T679 230H98Q84 237 84 250Z\"><\/path><path stroke-width=\"0\" id=\"E272-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E272-MJMATHI-78\" x=\"0\" y=\"0\"><\/use><use xlink:href=\"#E272-MJMAIN-2212\" x=\"794\" y=\"0\"><\/use><use xlink:href=\"#E272-MJMATHI-4B\" x=\"1794\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">x - K<\/script>\u8868\u793a\u53ef\u4ee5\u4e0ex\u76f8\u6bd4\u5e76\u4e14\u5c0f\u4e8e\u6216\u7b49\u4e8e<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"1.329ex\" height=\"1.41ex\" viewBox=\"0 -504.6 572 607.1\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.238ex;\"><defs><path stroke-width=\"0\" id=\"E273-MJMATHI-78\" d=\"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E273-MJMATHI-78\" x=\"0\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">x<\/script>\u7684\u6240\u6709\u5143\u7d20\u7684\u96c6\u5408\u3002<\/p>\n<blockquote><p>\u6839\u636e<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"2.065ex\" height=\"1.877ex\" viewBox=\"0 -755.9 889 808.1\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.121ex;\"><defs><path stroke-width=\"0\" id=\"E274-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E274-MJMATHI-4B\" x=\"0\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">K<\/script>\u7684\u5b9a\u4e49\u6709<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"21.112ex\" height=\"2.461ex\" viewBox=\"0 -755.9 9089.7 1059.4\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.705ex;\"><defs><path stroke-width=\"0\" id=\"E275-MJMATHI-79\" d=\"M21 287Q21 301 36 335T84 406T158 442Q199 442 224 419T250 355Q248 336 247 334Q247 331 231 288T198 191T182 105Q182 62 196 45T238 27Q261 27 281 38T312 61T339 94Q339 95 344 114T358 173T377 247Q415 397 419 404Q432 431 462 431Q475 431 483 424T494 412T496 403Q496 390 447 193T391 -23Q363 -106 294 -155T156 -205Q111 -205 77 -183T43 -117Q43 -95 50 -80T69 -58T89 -48T106 -45Q150 -45 150 -87Q150 -107 138 -122T115 -142T102 -147L99 -148Q101 -153 118 -160T152 -167H160Q177 -167 186 -165Q219 -156 247 -127T290 -65T313 -9T321 21L315 17Q309 13 296 6T270 -6Q250 -11 231 -11Q185 -11 150 11T104 82Q103 89 103 113Q103 170 138 262T173 379Q173 380 173 381Q173 390 173 393T169 400T158 404H154Q131 404 112 385T82 344T65 302T57 280Q55 278 41 278H27Q21 284 21 287Z\"><\/path><path stroke-width=\"0\" id=\"E275-MJMAIN-2AAF\" d=\"M84 346Q84 359 91 363T117 367Q120 367 126 367T137 366Q388 370 512 430T653 609Q657 636 676 636Q685 635 689 629T694 618V612Q689 566 672 528T626 463T569 417T500 383T435 362T373 346Q379 345 404 339T440 330T477 318T533 296Q592 266 630 223T681 145T694 78Q694 57 674 57Q662 57 657 67T652 92T640 135T606 191Q500 320 137 326H114Q104 326 98 327T88 332T84 346ZM84 -131T84 -118T98 -98H679Q694 -106 694 -118T679 -138H98Q84 -131 84 -118Z\"><\/path><path stroke-width=\"0\" id=\"E275-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><path stroke-width=\"0\" id=\"E275-MJMATHI-78\" d=\"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z\"><\/path><path stroke-width=\"0\" id=\"E275-MJMAIN-21D2\" d=\"M580 514Q580 525 596 525Q601 525 604 525T609 525T613 524T615 523T617 520T619 517T622 512Q659 438 720 381T831 300T927 263Q944 258 944 250T935 239T898 228T840 204Q696 134 622 -12Q618 -21 615 -22T600 -24Q580 -24 580 -17Q580 -13 585 0Q620 69 671 123L681 133H70Q56 140 56 153Q56 168 72 173H725L735 181Q774 211 852 250Q851 251 834 259T789 283T735 319L725 327H72Q56 332 56 347Q56 360 70 367H681L671 377Q638 412 609 458T580 514Z\"><\/path><path stroke-width=\"0\" id=\"E275-MJMAIN-2212\" d=\"M84 237T84 250T98 270H679Q694 262 694 250T679 230H98Q84 237 84 250Z\"><\/path><path stroke-width=\"0\" id=\"E275-MJMAIN-2208\" d=\"M84 250Q84 372 166 450T360 539Q361 539 377 539T419 540T469 540H568Q583 532 583 520Q583 511 570 501L466 500Q355 499 329 494Q280 482 242 458T183 409T147 354T129 306T124 272V270H568Q583 262 583 250T568 230H124V228Q124 207 134 177T167 112T231 48T328 7Q355 1 466 0H570Q583 -10 583 -20Q583 -32 568 -40H471Q464 -40 446 -40T417 -41Q262 -41 172 45Q84 127 84 250Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E275-MJMATHI-79\" x=\"0\" y=\"0\"><\/use><g transform=\"translate(774,0)\"><use xlink:href=\"#E275-MJMAIN-2AAF\" x=\"0\" y=\"0\"><\/use><use transform=\"scale(0.707)\" xlink:href=\"#E275-MJMATHI-4B\" x=\"1100\" y=\"-213\"><\/use><\/g><use xlink:href=\"#E275-MJMATHI-78\" x=\"2559\" y=\"0\"><\/use><use xlink:href=\"#E275-MJMAIN-21D2\" x=\"3408\" y=\"0\"><\/use><use xlink:href=\"#E275-MJMATHI-78\" x=\"4686\" y=\"0\"><\/use><use xlink:href=\"#E275-MJMAIN-2212\" x=\"5480\" y=\"0\"><\/use><use xlink:href=\"#E275-MJMATHI-79\" x=\"6481\" y=\"0\"><\/use><use xlink:href=\"#E275-MJMAIN-2208\" x=\"7255\" y=\"0\"><\/use><use xlink:href=\"#E275-MJMATHI-4B\" x=\"8200\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">y \\preceq_K x \\Rightarrow x - y \\in K<\/script>\uff0c\u56e0\u6b64<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"16.988ex\" height=\"2.577ex\" viewBox=\"0 -806.1 7314.4 1109.7\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.705ex;\"><defs><path stroke-width=\"0\" id=\"E276-MJMATHI-59\" d=\"M66 637Q54 637 49 637T39 638T32 641T30 647T33 664T42 682Q44 683 56 683Q104 680 165 680Q288 680 306 683H316Q322 677 322 674T320 656Q316 643 310 637H298Q242 637 242 624Q242 619 292 477T343 333L346 336Q350 340 358 349T379 373T411 410T454 461Q546 568 561 587T577 618Q577 634 545 637Q528 637 528 647Q528 649 530 661Q533 676 535 679T549 683Q551 683 578 682T657 680Q684 680 713 681T746 682Q763 682 763 673Q763 669 760 657T755 643Q753 637 734 637Q662 632 617 587Q608 578 477 424L348 273L322 169Q295 62 295 57Q295 46 363 46Q379 46 384 45T390 35Q390 33 388 23Q384 6 382 4T366 1Q361 1 324 1T232 2Q170 2 138 2T102 1Q84 1 84 9Q84 14 87 24Q88 27 89 30T90 35T91 39T93 42T96 44T101 45T107 45T116 46T129 46Q168 47 180 50T198 63Q201 68 227 171L252 274L129 623Q128 624 127 625T125 627T122 629T118 631T113 633T105 634T96 635T83 636T66 637Z\"><\/path><path stroke-width=\"0\" id=\"E276-MJMAIN-3D\" d=\"M56 347Q56 360 70 367H707Q722 359 722 347Q722 336 708 328L390 327H72Q56 332 56 347ZM56 153Q56 168 72 173H708Q722 163 722 153Q722 140 707 133H70Q56 140 56 153Z\"><\/path><path stroke-width=\"0\" id=\"E276-MJMAIN-28\" d=\"M94 250Q94 319 104 381T127 488T164 576T202 643T244 695T277 729T302 750H315H319Q333 750 333 741Q333 738 316 720T275 667T226 581T184 443T167 250T184 58T225 -81T274 -167T316 -220T333 -241Q333 -250 318 -250H315H302L274 -226Q180 -141 137 -14T94 250Z\"><\/path><path stroke-width=\"0\" id=\"E276-MJMATHI-78\" d=\"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z\"><\/path><path stroke-width=\"0\" id=\"E276-MJMAIN-2212\" d=\"M84 237T84 250T98 270H679Q694 262 694 250T679 230H98Q84 237 84 250Z\"><\/path><path stroke-width=\"0\" id=\"E276-MJMATHI-4B\" d=\"M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z\"><\/path><path stroke-width=\"0\" id=\"E276-MJMAIN-29\" d=\"M60 749L64 750Q69 750 74 750H86L114 726Q208 641 251 514T294 250Q294 182 284 119T261 12T224 -76T186 -143T145 -194T113 -227T90 -246Q87 -249 86 -250H74Q66 -250 63 -250T58 -247T55 -238Q56 -237 66 -225Q221 -64 221 250T66 725Q56 737 55 738Q55 746 60 749Z\"><\/path><path stroke-width=\"0\" id=\"E276-MJMAIN-2229\" d=\"M88 -21T75 -21T55 -7V200Q55 231 55 280Q56 414 60 428Q61 430 61 431Q77 500 152 549T332 598Q443 598 522 544T610 405Q611 399 611 194V-7Q604 -22 591 -22Q582 -22 572 -9L570 405Q563 433 556 449T529 485Q498 519 445 538T334 558Q251 558 179 518T96 401Q95 396 95 193V-7Q88 -21 75 -21Z\"><\/path><path stroke-width=\"0\" id=\"E276-MJMATHI-53\" d=\"M308 24Q367 24 416 76T466 197Q466 260 414 284Q308 311 278 321T236 341Q176 383 176 462Q176 523 208 573T273 648Q302 673 343 688T407 704H418H425Q521 704 564 640Q565 640 577 653T603 682T623 704Q624 704 627 704T632 705Q645 705 645 698T617 577T585 459T569 456Q549 456 549 465Q549 471 550 475Q550 478 551 494T553 520Q553 554 544 579T526 616T501 641Q465 662 419 662Q362 662 313 616T263 510Q263 480 278 458T319 427Q323 425 389 408T456 390Q490 379 522 342T554 242Q554 216 546 186Q541 164 528 137T492 78T426 18T332 -20Q320 -22 298 -22Q199 -22 144 33L134 44L106 13Q83 -14 78 -18T65 -22Q52 -22 52 -14Q52 -11 110 221Q112 227 130 227H143Q149 221 149 216Q149 214 148 207T144 186T142 153Q144 114 160 87T203 47T255 29T308 24Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E276-MJMATHI-59\" x=\"0\" y=\"0\"><\/use><use xlink:href=\"#E276-MJMAIN-3D\" x=\"1040\" y=\"0\"><\/use><use xlink:href=\"#E276-MJMAIN-28\" x=\"2096\" y=\"0\"><\/use><use xlink:href=\"#E276-MJMATHI-78\" x=\"2485\" y=\"0\"><\/use><use xlink:href=\"#E276-MJMAIN-2212\" x=\"3279\" y=\"0\"><\/use><use xlink:href=\"#E276-MJMATHI-4B\" x=\"4280\" y=\"0\"><\/use><use xlink:href=\"#E276-MJMAIN-29\" x=\"5169\" y=\"0\"><\/use><use xlink:href=\"#E276-MJMAIN-2229\" x=\"5780\" y=\"0\"><\/use><use xlink:href=\"#E276-MJMATHI-53\" x=\"6669\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">Y = (x - K) \\cap S<\/script>\uff0c\u5176\u4e2d<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"1.772ex\" height=\"1.877ex\" viewBox=\"0 -755.9 763 808.1\" role=\"img\" focusable=\"false\" style=\"vertical-align: 0.002ex; margin-bottom: -0.124ex;\"><defs><path stroke-width=\"0\" id=\"E277-MJMATHI-59\" d=\"M66 637Q54 637 49 637T39 638T32 641T30 647T33 664T42 682Q44 683 56 683Q104 680 165 680Q288 680 306 683H316Q322 677 322 674T320 656Q316 643 310 637H298Q242 637 242 624Q242 619 292 477T343 333L346 336Q350 340 358 349T379 373T411 410T454 461Q546 568 561 587T577 618Q577 634 545 637Q528 637 528 647Q528 649 530 661Q533 676 535 679T549 683Q551 683 578 682T657 680Q684 680 713 681T746 682Q763 682 763 673Q763 669 760 657T755 643Q753 637 734 637Q662 632 617 587Q608 578 477 424L348 273L322 169Q295 62 295 57Q295 46 363 46Q379 46 384 45T390 35Q390 33 388 23Q384 6 382 4T366 1Q361 1 324 1T232 2Q170 2 138 2T102 1Q84 1 84 9Q84 14 87 24Q88 27 89 30T90 35T91 39T93 42T96 44T101 45T107 45T116 46T129 46Q168 47 180 50T198 63Q201 68 227 171L252 274L129 623Q128 624 127 625T125 627T122 629T118 631T113 633T105 634T96 635T83 636T66 637Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E277-MJMATHI-59\" x=\"0\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">Y<\/script>\u4e3a\u6240\u6709\u6ee1\u8db3\u6761\u4ef6\u7684<span class=\"MathJax_SVG\" tabindex=\"-1\" style=\"font-size: 100%; display: inline-block;\"><svg xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"1.154ex\" height=\"1.877ex\" viewBox=\"0 -504.6 497 808.1\" role=\"img\" focusable=\"false\" style=\"vertical-align: -0.705ex;\"><defs><path stroke-width=\"0\" id=\"E278-MJMATHI-79\" d=\"M21 287Q21 301 36 335T84 406T158 442Q199 442 224 419T250 355Q248 336 247 334Q247 331 231 288T198 191T182 105Q182 62 196 45T238 27Q261 27 281 38T312 61T339 94Q339 95 344 114T358 173T377 247Q415 397 419 404Q432 431 462 431Q475 431 483 424T494 412T496 403Q496 390 447 193T391 -23Q363 -106 294 -155T156 -205Q111 -205 77 -183T43 -117Q43 -95 50 -80T69 -58T89 -48T106 -45Q150 -45 150 -87Q150 -107 138 -122T115 -142T102 -147L99 -148Q101 -153 118 -160T152 -167H160Q177 -167 186 -165Q219 -156 247 -127T290 -65T313 -9T321 21L315 17Q309 13 296 6T270 -6Q250 -11 231 -11Q185 -11 150 11T104 82Q103 89 103 113Q103 170 138 262T173 379Q173 380 173 381Q173 390 173 393T169 400T158 404H154Q131 404 112 385T82 344T65 302T57 280Q55 278 41 278H27Q21 284 21 287Z\"><\/path><\/defs><g stroke=\"currentColor\" fill=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><use xlink:href=\"#E278-MJMATHI-79\" x=\"0\" y=\"0\"><\/use><\/g><\/svg><\/span><script type=\"math\/tex\">y<\/script>\u7684\u96c6\u5408\u3002<\/p>\n<\/blockquote>\n<p>&nbsp;<\/p>\n\n","protected":false},"excerpt":{"rendered":"<p>\u4e00\u3001\u6b63\u5e38\u9525\u4e0e\u5e7f\u4e49\u4e0d\u7b49\u5f0f 1. \u6b63\u5e38\u9525 \u5bf9\u4e8e\u4e00\u4e2a\u9525\uff0c\u5982\u679c\u5b83\u6ee1\u8db3\u4ee5\u4e0b\u6761\u4ef6\uff1a \u662f\u51f8\u7684 \u662f\u95ed\u96c6 \u662f\u5b9e\u7684\uff0c\u5373\u5177\u6709\u975e\u7a7a\u5185\u90e8 [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[4,22],"tags":[],"class_list":["post-209","post","type-post","status-publish","format-standard","hentry","category-4","category-22"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"http:\/\/4.189.252.43\/index.php\/wp-json\/wp\/v2\/posts\/209","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/4.189.252.43\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/4.189.252.43\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/4.189.252.43\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/4.189.252.43\/index.php\/wp-json\/wp\/v2\/comments?post=209"}],"version-history":[{"count":4,"href":"http:\/\/4.189.252.43\/index.php\/wp-json\/wp\/v2\/posts\/209\/revisions"}],"predecessor-version":[{"id":315,"href":"http:\/\/4.189.252.43\/index.php\/wp-json\/wp\/v2\/posts\/209\/revisions\/315"}],"wp:attachment":[{"href":"http:\/\/4.189.252.43\/index.php\/wp-json\/wp\/v2\/media?parent=209"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/4.189.252.43\/index.php\/wp-json\/wp\/v2\/categories?post=209"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/4.189.252.43\/index.php\/wp-json\/wp\/v2\/tags?post=209"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}