[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/archives\/4235#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/archives\/4235","headline":"\u4ee3\u6570\u30b3\u30a4\u30eb\u30b7\u30b9\u30c6\u30e0-Wikipedia","name":"\u4ee3\u6570\u30b3\u30a4\u30eb\u30b7\u30b9\u30c6\u30e0-Wikipedia","description":"before-content-x4 \u4ee3\u6570\u30b9\u30ea\u30fc\u30d6\u30b7\u30b9\u30c6\u30e0 \u306f\u3001\u666e\u904d\u7684\u306a\u4ee3\u6570\u306e\u6570\u5b66\u7684\u30b5\u30d6\u30a8\u30ea\u30a2\u304b\u3089\u306e\u7528\u8a9e\u3067\u3059\u3002\u3059\u3079\u3066\u306e\u4e0b\u90e8\u69cb\u9020\u306e\u5b87\u5b99\u306e\u91cf\u3068\u3057\u3066\u4ee3\u6570\u69cb\u9020\u306b\u306a\u308b\u5834\u5408\u3001\u30b9\u30ea\u30fc\u30d6\u30b7\u30b9\u30c6\u30e0\u306f\u4ee3\u6570\u4f53\u3068\u547c\u3070\u308c\u307e\u3059\u3002 after-content-x4 \u30b9\u30ea\u30fc\u30d6\u30b7\u30b9\u30c6\u30e0\u7528 H\u2286 P\uff08 s \uff09\uff09 {displaystyle {mathcal {h}} subleteq {mathcal {p}}\uff08s\uff09} \u57fa\u672c\u91cf\u3092\u8d85\u3048\u3066 s {displaystyleS} \u95a2\u9023\u3059\u308b\u30b9\u30ea\u30fc\u30d6\u6f14\u7b97\u5b50\u3067\u3059 after-content-x4","datePublished":"2020-07-05","dateModified":"2020-07-05","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/archives\/author\/lordneo#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/archives\/author\/lordneo","image":{"@type":"ImageObject","@id":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","height":96,"width":96}},"publisher":{"@type":"Organization","name":"Enzyklop\u00e4die","logo":{"@type":"ImageObject","@id":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","url":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","width":600,"height":60}},"image":{"@type":"ImageObject","@id":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/3be14b6465dd45884bb0f2d7a2dcd433633e5642","url":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/3be14b6465dd45884bb0f2d7a2dcd433633e5642","height":"","width":""},"url":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/archives\/4235","wordCount":7521,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4\u4ee3\u6570\u30b9\u30ea\u30fc\u30d6\u30b7\u30b9\u30c6\u30e0 \u306f\u3001\u666e\u904d\u7684\u306a\u4ee3\u6570\u306e\u6570\u5b66\u7684\u30b5\u30d6\u30a8\u30ea\u30a2\u304b\u3089\u306e\u7528\u8a9e\u3067\u3059\u3002\u3059\u3079\u3066\u306e\u4e0b\u90e8\u69cb\u9020\u306e\u5b87\u5b99\u306e\u91cf\u3068\u3057\u3066\u4ee3\u6570\u69cb\u9020\u306b\u306a\u308b\u5834\u5408\u3001\u30b9\u30ea\u30fc\u30d6\u30b7\u30b9\u30c6\u30e0\u306f\u4ee3\u6570\u4f53\u3068\u547c\u3070\u308c\u307e\u3059\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u30b9\u30ea\u30fc\u30d6\u30b7\u30b9\u30c6\u30e0\u7528 H\u2286 P\uff08 s \uff09\uff09 {displaystyle {mathcal {h}} subleteq {mathcal {p}}\uff08s\uff09} \u57fa\u672c\u91cf\u3092\u8d85\u3048\u3066 s {displaystyleS} \u95a2\u9023\u3059\u308b\u30b9\u30ea\u30fc\u30d6\u6f14\u7b97\u5b50\u3067\u3059        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4c H{displaystyle c_ {mathcal {h}}} \u306e\u4e0a P\uff08 s \uff09\uff09 {displaystyle {mathcal {p}}\uff08s\uff09} \u306b\u3088\u3063\u3066\u4e0e\u3048\u3089\u308c\u305f\uff1a CH\uff08 a \uff09\uff09 = \u22c2 { h \u2208 H|h \u2287 a } {displaystyle c_ {mathcal {h}}\uff08a\uff09= bigcap {hin {mathcal {h}} | hsupseteq a}}} \uff08        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4a \u2286 s {displaystyle asubseteq s} \uff09\u3002 \u3057\u305f\u304c\u3063\u3066\u3001\u30b9\u30ea\u30fc\u30d6\u6f14\u7b97\u5b50\u306f\u3001S\u306e\u30b5\u30d6\u30bb\u30c3\u30c8\u3092\u30b9\u30ea\u30fc\u30d6\u30b7\u30b9\u30c6\u30e0\u304b\u3089\u6700\u5c0f\u306e\u4e0a\u90e8\u91cf\u306b\u5272\u308a\u5f53\u3066\u307e\u3059\u3002 \u30b9\u30ea\u30fc\u30d6\u30b7\u30b9\u30c6\u30e0\u306e\u4ee3\u6570\u6027\u306f\u3001\u4ee3\u6570\u69cb\u9020\u3092\u4f7f\u7528\u305b\u305a\u306b\u6b21\u306e\u3088\u3046\u306b\u7279\u5fb4\u3065\u3051\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\uff1a\u30b9\u30ea\u30fc\u30d6\u30b7\u30b9\u30c6\u30e0 H{displaystyle {mathcal {h}}} \u30b9\u30ea\u30fc\u30d6\u30aa\u30da\u30ec\u30fc\u30bf\u30fc c H{displaystyle c_ {mathcal {h}}} \u6b21\u306e\u5834\u5408\u3001\u4ee3\u6570\u4f53\u3068\u547c\u3070\u308c\u307e\u3059 \u3064\u3044\u306b \u6e80\u8db3\u3057\u3066\u3044\u308b\uff1a \u306f A\u2286S{displaystyle asubseteq s} \u3068 x\u2208CH(A){displayStyle\u3092\u304a\u9858\u3044\u3057\u307e\u3059c_ {mathcal {h}}\uff08a\uff09} \u3001\u3059\u3067\u306b\u6709\u9650\u306e\u30b5\u30d6\u30bb\u30c3\u30c8\u304c\u3042\u308a\u307e\u3059 F\u2286A{displaystyle fsubseteq a} \u3068\u306a\u308b\u3053\u3068\u306b\u3088\u3063\u3066 x\u2208CH(F){displaystyle xin c_ {mathcal {h}}\uff08f\uff09} \u3002 \u3064\u307e\u308a\u3001 \u3044\u3064\u3082 CH(A)=\u22c3{CH(F):F\u2286A\u2227|F|S{displaystyle asubseteq s} \uff09\u3002 \u8ad6\u7406\u3067\u306f\u3001\u3053\u306e\u30d7\u30ed\u30d1\u30c6\u30a3\u306f\u30b3\u30f3\u30d1\u30af\u30c8\u3055\u3068\u547c\u3070\u308c\u307e\u3059\u3002 \u3053\u306e\u30d7\u30ed\u30d1\u30c6\u30a3\u306f\u3001\u5143\u7d20\u306e\u305f\u3081\u306b\u4ee3\u6570\u69cb\u9020\u306e\u4e0b\u90e8\u69cb\u9020\u306b\u3088\u3063\u3066\u4e0e\u3048\u3089\u308c\u308b\u3059\u3079\u3066\u306e\u30b9\u30ea\u30fc\u30d6\u30b7\u30b9\u30c6\u30e0\u306b\u9069\u7528\u3055\u308c\u307e\u3059\u3002 \u30d0\u30c4 {displaystyle x} \u69cb\u9020\u306f\u3001\u30b5\u30d6\u30bb\u30c3\u30c8\u306e\u69cb\u9020\u3068\u8981\u7d20\u306e\u30ea\u30f3\u30af\uff08\u524d\u63d0\u6761\u4ef6\u306b\u5f93\u3063\u3066\uff09\u3067\u69cb\u6210\u3055\u308c\u308b\u7528\u8a9e\u304c\u3042\u308b\u5834\u5408\u3001\u7279\u306b\u69cb\u9020\u306e\u30b5\u30d6\u30bb\u30c3\u30c8\u306e\u7a4d\u306b\u3042\u308a\u307e\u3059\u3002 \u30d0\u30c4 {displaystyle x} IS\u3067\u3042\u308a\u3001\u7528\u8a9e\u306f\u6700\u7d42\u7684\u306b\u591a\u304f\u306e\u305d\u306e\u3088\u3046\u306a\u8981\u7d20\u3092\u4f7f\u7528\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u9006\u306b\u3001\u5bfe\u5fdc\u3059\u308b\u4ee3\u6570\u69cb\u9020\u306f\u3001\u4e0a\u8a18\u306e\u30d7\u30ed\u30d1\u30c6\u30a3\u3092\u4f7f\u7528\u3057\u3066\u30ab\u30d0\u30fc\u30b7\u30b9\u30c6\u30e0\u306b\u5b9a\u7fa9\u3067\u304d\u307e\u3059\u3002 a \u2286 s {displaystyle asubseteq s} \u3068 \u30d0\u30c4 {displaystyle x} \u3068 f = { f1,\u2026,fn} {displaystyle f =\u5de6{f_ {1}\u3001ldots\u3001f_ {n}\u53f3}}} \u4e0a\u8a18\u306e\u30ea\u30f3\u30af\u3068\u3057\u3066 \u306e \uff1a s n\u21a6 s {displaystyle vcolon s^{n} mapstoS} \u306b\u3088\u3063\u3066\u5b9a\u7fa9\u3055\u308c\u307e\u3059 \u306e \uff08 f 1\u3001 &#8230; \u3001 f n\uff09\uff09 = \u30d0\u30c4 {displaystyle V\uff08f_ {1}\u3001ldots\u3001f_ {n}\uff09= x} \u305d\u3057\u3066\u4ed6\u306e\u30c1\u30e5\u30a8\u30eb\u306e\u305f\u3081\u306b \uff08 \u30d0\u30c4 1\u3001 &#8230; \u3001 \u30d0\u30c4 n\uff09\uff09 {displaystyle\uff08x_ {1}\u3001ldots\u3001x_ {n}\uff09} \uff08\u3069\u3093\u306a n = 0 {displaystyle n = 0} \u305f\u3068\u3048\u3070\u3001\u8868\u793a\u3055\u308c\u307e\u305b\u3093\uff09 \u306e \uff08 \u30d0\u30c4 1\u3001 &#8230; \u3001 \u30d0\u30c4 n\uff09\uff09 = \u30d0\u30c4 1{displaystyle V\uff08x_ {1}\u3001ldots\u3001x_ {n}\uff09= x_ {1}} \u30d7\u30c3\u30c8\u3002 [\u521d\u3081] \u591a\u304f\u306e\u6570\u91cf T{displaystyle {mathcal {t}}} \u547c\u3070\u308c\u3066\u3044\u307e\u3059 \u5e30\u7d0d\u7684 \u5305\u542b\u95a2\u4fc2\u3068\u306e\u7121\u52b9\u306a\u95a2\u4fc2\u3054\u3068\u306b\u3001\u7dda\u5f62\u306b\u9806\u5e8f\u4ed8\u3051\u3089\u308c\u305f\u90e8\u5206\u91cf\u306b\u3064\u3044\u3066 K\u2286 T{displaystyle {mathcal {k}} subleteq {mathcal {t}}}} \u7d71\u4e00\u91cf \u22c3 K{displaystyle\u30c6\u30ad\u30b9\u30c8\u30b9\u30bf\u30a4\u30ebBigcup {Mathcal {k}}} \u518d\u3073 T{displaystyle {mathcal {t}}} \u805e\u3053\u3048\u305f\u3002\u3053\u308c\u306f\u3001\u306e\u3059\u3079\u3066\u306e\u975e\u7a7a\u767d\u306b\u57fa\u3065\u3044\u305f\u90e8\u5206\u306e\u5305\u542b\u95a2\u4fc2\u306e\u7d50\u5408\u306e\u7d50\u5408\u3092\u78ba\u5b9f\u306b\u3059\u308b\u3053\u3068\u3068\u540c\u7b49\u3067\u3059 T{displaystyle {mathcal {t}}} \u518d\u3073 T{displaystyle {mathcal {t}}} \u805e\u3053\u3048\u305f\u3002 [2] [3] [4] \u56de\u5fa9\u306f\u30d5\u30a9\u30eb\u30c6\u30a3\u30aa\u30ea\u306b\u7d9a\u304d\u3001\u5b9f\u884c\u306f\u3059\u3079\u3066\u306e\u57fa\u672c\u7684\u306a\u6570\u5024\u306b\u308f\u305f\u3063\u3066\u900f\u904e\u7684\u8a98\u5c0e\u3092\u3082\u305f\u3089\u3057\u307e\u3059\u3002\u8a98\u5c0e\u306e\u59cb\u307e\u308a\u306f\u6709\u9650\u6307\u5411\u306e\u91cf\u3067\u3042\u308a\u3001\u58f0\u660e\u306f\u4e9b\u7d30\u306a\u3082\u306e\u3067\u3059\u3002\u3060\u304b\u3089\u4eca K\u2286 T{displaystyle {mathcal {k}} subleteq {mathcal {t}}}} \u7121\u9650\u306e\u30ab\u30fc\u30c7\u30a3\u30ca\u30ea\u30c6\u30a3\u3092\u5099\u3048\u305f\u6307\u793a\u3055\u308c\u305f\u30b5\u30d6\u30bb\u30c3\u30c8 k {displaystyle kappa} \u3002 K{displaystyle {mathcal {k}}} \u3088\u308a\u5c0f\u3055\u306a\u30ab\u30fc\u30c7\u30a3\u30ca\u30ea\u30c6\u30a3\u306e\u30b5\u30d6\u91cf\u306e\u4e0a\u6607\u30c1\u30a7\u30fc\u30f3\u306e\u7d71\u4e00\u3068\u3057\u3066\u8868\u73fe\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002 [5] \u3053\u306e\u305f\u3081\u306b\u3001\u756a\u53f7\u4ed8\u3051\u3092\u9078\u629e\u3057\u307e\u3059 f \uff1a k \u2192 K{displaystyle fcolon kappa to {mathcal {k}}} \u3001 \u305d\u308c\u304b\u3089 K{displaystyle {mathcal {k}}} \u5199\u771f\u306e\u5354\u4f1a f \uff08 a \uff09\uff09 {displaystyle f\uff08alpha\uff09} \u6ce8\u6587\u756a\u53f7\u3054\u3068\u306b a < k {displaystyle alpha {displaystyle kappa} \u8d85\u3048\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059 K{displaystyle {mathcal {k}}} \u4e0a\u6607\u3059\u308b\u30c1\u30a7\u30fc\u30f3\u306e\u7d50\u5408\u3068\u3057\u3066\u3067\u3055\u3048 \u6307\u793a \u3088\u308a\u5c0f\u3055\u306a\u30ab\u30fc\u30c7\u30a3\u30ca\u30ea\u30c6\u30a3\u306e\u30b5\u30d6\u91cf\u3002\u3053\u306e\u305f\u3081\u3001\u30af\u30ec\u30fc\u30e0\u306f\u8a98\u5c0e\u8981\u4ef6\u306b\u3088\u3063\u3066\u793a\u3055\u308c\u3001\u3059\u3079\u3066\u306e\u57fa\u672c\u7684\u306a\u6570\u5b57\u306b\u306a\u308a\u307e\u3059\u3002 [6] \u30b7\u30e5\u30df\u30c3\u30c8\u304b\u3089\u30bb\u30c3\u30c8 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] J\u00fcrgenSchmidt\u306b\u3088\u308b\u6587 [7] [8] [9] [\u5341] \uff081918-1980\uff09\u3001\u305d\u308c\u306f\u305d\u308c\u3092\u8a00\u3063\u3066\u3044\u307e\u3059 \u30b9\u30ea\u30fc\u30d6\u30b7\u30b9\u30c6\u30e0\u306e\u30a4\u30f3\u30c0\u30af\u30bf\u30f3\u30b9\u306f\u3001\u4ee3\u6570\u3068\u540c\u7b49\u3067\u3059\u3002  \u4ee3\u6570\u6027\u306f\u660e\u3089\u304b\u306b\u76f4\u63a5\u30a4\u30f3\u30c0\u30af\u30bf\u30f3\u30b9\u3092\u610f\u5473\u3059\u308b\u304b\u3089\u3067\u3059\u3002\u9006\u306b\u3001\u30b9\u30ea\u30fc\u30d6\u30b7\u30b9\u30c6\u30e0\u3092\u691c\u8a0e\u3057\u307e\u3059 H\u2286 P\uff08 s \uff09\uff09 {displaystyle {mathcal {h}} subleteq {mathcal {p}}\uff08s\uff09} \u305d\u3057\u3066a a \u2286 s {displaystyle asubseteq s} \u6307\u5411\u984d { CH(F)\u2223F\u2286A\u2227|F|c H\uff08 g \uff09\uff09 = c H\uff08 f \u222a g \uff09\uff09 {displaystyle c_ {mathcal {h}}\uff08f\uff09cup c_ {mathcal {h}}\uff08g\uff09= c_ {mathcal {h}}\uff08fcup g\uff09} \uff09\u3002\u30b9\u30ea\u30fc\u30d6\u30b7\u30b9\u30c6\u30e0\u306e\u8981\u7d20\u3067\u69cb\u6210\u3055\u308c\u3066\u3044\u308b\u305f\u3081\u3001\u305d\u306e\u95a2\u9023\u306f \u306e {displaystyleu} \u30b9\u30ea\u30fc\u30d6\u30b7\u30b9\u30c6\u30e0\u306e\u8981\u7d20\u3082\u305d\u3046\u3067\u3059 \u306e = c H\uff08 a \uff09\uff09 {displaystyle u = c_ {mathcal {h}}\uff08a\uff09} \u305d\u3057\u3066\u3001\u793a\u3055\u308c\u3066\u3044\u308b\u4ee3\u6570\u6027\u3002\u4e0a\u8a18\u306e\u7279\u5b9a\u306e\u6587\u306e\u4f7f\u7528\u306b\u57fa\u3065\u304f\u5f8c\u8005\u306e\u542b\u610f\u306e\u8a3c\u62e0\u306f\u3001\u9078\u629eaxiome\u306e\u7121\u9650\u306e\u91cf\u306b\u57fa\u3065\u3044\u3066\u3044\u308b\u3053\u3068\u306b\u6ce8\u610f\u3057\u3066\u304f\u3060\u3055\u3044\u3002 2\u3064\u306e\u7c21\u5358\u306a\u4f8b\u3092\u4f7f\u7528\u3057\u3066\u3001\u6587\u306b\u3088\u3063\u3066\u5b9a\u5f0f\u5316\u3055\u308c\u305f\u4ee3\u6570\u3068\u30a4\u30f3\u30c0\u30af\u30bf\u30f3\u30b9\u306e\u9593\u306e\u63a5\u7d9a\u3092\u78ba\u8a8d\u3067\u304d\u307e\u3059\u3002 \u53ef\u80fd\u306a\u30b9\u30ea\u30fc\u30d6\u30b7\u30b9\u30c6\u30e0\u306f\u3001\u5168\u4f53\u306e\u52b9\u529b\u3067\u3059\u3002 H= P\uff08 s \uff09\uff09 {displaystyle {mathcal {h}} = {mathcal {p}}\uff08s\uff09} \u3002\u3053\u306e\u5834\u5408\u3001\u30b9\u30ea\u30fc\u30d6\u6f14\u7b97\u5b50\u306f\u30a2\u30a4\u30c7\u30f3\u30c6\u30a3\u30c6\u30a3\u3067\u3059\u3002\u306e\u3059\u3079\u3066\u306e\u30b5\u30d6\u30bb\u30c3\u30c8\u4ee5\u6765 s {displaystyleS} \u3042\u306a\u305f\u306e\u6709\u9650\u306e\u90e8\u5206\u91cf\u306e\u7d50\u5408\u306f\u3001\u30b3\u30fc\u30c6\u30a3\u30f3\u30b0\u6f14\u7b97\u5b50\u3068\u30b9\u30ea\u30fc\u30d6\u30b7\u30b9\u30c6\u30e0\u306e\u4ee3\u6570\u3067\u3059\u3002\u5b9f\u969b\u3001\u3053\u306e\u5834\u5408\u3001\u30b9\u30ea\u30fc\u30d6\u30b7\u30b9\u30c6\u30e0\u3082\u8a98\u5c0e\u6027\u304c\u3042\u308a\u307e\u3059\u3002 \u5225\u306e\u30b3\u30a4\u30eb\u30b7\u30b9\u30c6\u30e0\u306f\u3001\u60f3\u5b9a\u3055\u308c\u308b\u91cf\u3067\u69cb\u6210\u3055\u308c\u3066\u3044\u307e\u3059 s {displaystyleS} \u305d\u3057\u3066\u3001\u3059\u3079\u3066\u306e\u6709\u9650\u306e\u90e8\u5206\u91cf\u3001 H= { s } \u222a { a \uff1a a \u2286 s \u2227 | a | < \u221e } {displaystyle {mathcal {h}} = {s} cup {a\uff1aasubseteq sland | a |       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4"},{"@context":"http:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"item":{"@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/archives\/4235#breadcrumbitem","name":"\u4ee3\u6570\u30b3\u30a4\u30eb\u30b7\u30b9\u30c6\u30e0-Wikipedia"}}]}]