[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/jp\/wiki4\/2020\/10\/26\/%e5%ae%87%e5%ae%99-%e6%95%b0%e5%ad%a6-wikipedia\/#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/jp\/wiki4\/2020\/10\/26\/%e5%ae%87%e5%ae%99-%e6%95%b0%e5%ad%a6-wikipedia\/","headline":"\u5b87\u5b99 (\u6570\u5b66) – Wikipedia","name":"\u5b87\u5b99 (\u6570\u5b66) – Wikipedia","description":"\u6570\u7406\u8ad6\u7406\u5b66\u306b\u304a\u3044\u3066\u3001\u69cb\u9020 (\u3082\u3057\u304f\u306f\u30e2\u30c7\u30eb) \u306e\u5b87\u5b99\uff08\u3046\u3061\u3085\u3046\u3001\u82f1: Universe\uff09\u3068\u306f\u8b70\u8ad6\u9818\u57df\u306e\u3053\u3068\u3067\u3042\u308b\u3002 \u6570\u5b66\u3001\u3068\u308a\u308f\u3051\u96c6\u5408\u8ad6\u3084\u6570\u5b66\u57fa\u790e\u8ad6\u306b\u304a\u3051\u308b\u5b87\u5b99\u3068\u306f\u3001\u7279\u5b9a\u306e\u72b6\u6cc1\u306b\u304a\u3044\u3066\u8003\u5bdf\u3055\u308c\u308b\u5b9f\u4f53\u306e\u3059\u3079\u3066\u3092\u5143\u3068\u3057\u3066\u542b\u3080\u3088\u3046\u306a\u985e\u306e\u3053\u3068\u3067\u3042\u308b\u3002\u3053\u306e\u30a2\u30a4\u30c7\u30a2\u306b\u306f\u3044\u304f\u3064\u3082\u306e\u30d0\u30fc\u30b8\u30e7\u30f3\u304c\u3042\u308b\u305f\u3081\u3001\u9805\u76ee\u3092\u5206\u3051\u3066\u8aac\u660e\u3059\u308b\u3002 \u3042\u308b\u7279\u5b9a\u306e\u6587\u8108\u306b\u304a\u3044\u3066[\u7de8\u96c6] \u304a\u305d\u3089\u304f\u6700\u3082\u5358\u7d14\u306a\u30d0\u30fc\u30b8\u30e7\u30f3\u306f\u3001\u7814\u7a76\u5bfe\u8c61\u304c\u7279\u5b9a\u306e\u96c6\u5408\u3067\u9589\u3058\u3066\u3044\u308b\u9650\u308a\u3001\u4efb\u610f\u306e\u96c6\u5408\u304c\u5b87\u5b99\u3067\u3042\u308b\u3068\u3044\u3046\u3082\u306e\u3067\u3042\u308b\u3002 \u3082\u3057\u7814\u7a76\u5bfe\u8c61\u304c\u5b9f\u6570\u3068\u3057\u3066\u5f62\u5f0f\u5316\u3055\u308c\u3066\u3044\u308c\u3070\u3001\u5b9f\u6570\u306e\u96c6\u5408\u3067\u3042\u308b\u5b9f\u6570\u76f4\u7dda R \u306f\u8003\u5bdf\u4e0b\u306b\u304a\u3044\u3066\u5b87\u5b99\u306b\u306a\u308a\u3046\u308b\u3002 \u3053\u308c\u306f1870\u5e74\u4ee3\u304b\u30891880\u5e74\u4ee3\u306b\u304b\u3051\u3066\u30b2\u30aa\u30eb\u30af\u30fb\u30ab\u30f3\u30c8\u30fc\u30eb\u304c\u5b9f\u89e3\u6790\u306e\u5fdc\u7528\u3068\u3057\u3066\u3001\u521d\u306e\u73fe\u4ee3\u7684\u306a\u96c6\u5408\u8ad6\u3068\u6fc3\u5ea6\u306e\u958b\u767a\u306b\u7528\u3044\u305f\u5b87\u5b99\u3067\u3042\u308b\u3002 \u30ab\u30f3\u30c8\u30fc\u30eb\u304c\u5f53\u6642\u8208\u5473\u3092\u6301\u3063\u3066\u3044\u305f\u96c6\u5408\u306f\u3001R \u306e\u90e8\u5206\u96c6\u5408\u3060\u3063\u305f\u3002 \u3053\u306e\u5b87\u5b99\u306e\u6982\u5ff5\u306f\u30d9\u30f3\u56f3\u306e\u4f7f\u7528\u306b\u53cd\u6620\u3055\u308c\u3066\u3044\u308b\u3002 \u30d9\u30f3\u56f3\u306b\u304a\u3044\u3066\u3001\u4f5c\u7528\u306f\u4f1d\u7d71\u7684\u306b\u5b87\u5b99 U \u3092\u8868\u3059\u5927\u304d\u306a\u56db\u89d2\u5f62\u306e\u5185\u90e8\u306b\u751f\u3058\u308b\u3002 \u4e00\u822c\u7684\u306b\u96c6\u5408\u304c U \u306e\u90e8\u5206\u96c6\u5408\u3067\u3042\u308c\u3070\u3001\u305d\u308c\u306f\u5186\u306b\u3088\u3063\u3066\u8868\u73fe\u3055\u308c\u308b\u3002\u96c6\u5408","datePublished":"2020-10-26","dateModified":"2020-10-26","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/jp\/wiki4\/author\/lordneo\/#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/jp\/wiki4\/author\/lordneo\/","image":{"@type":"ImageObject","@id":"https:\/\/secure.gravatar.com\/avatar\/c9645c498c9701c88b89b8537773dd7c?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/c9645c498c9701c88b89b8537773dd7c?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\/76206102d1ebbf8c8ac534ef4bb8599c7bd67a6e","url":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/76206102d1ebbf8c8ac534ef4bb8599c7bd67a6e","height":"","width":""},"url":"https:\/\/wiki.edu.vn\/jp\/wiki4\/2020\/10\/26\/%e5%ae%87%e5%ae%99-%e6%95%b0%e5%ad%a6-wikipedia\/","wordCount":1634,"articleBody":"\u6570\u7406\u8ad6\u7406\u5b66\u306b\u304a\u3044\u3066\u3001\u69cb\u9020 (\u3082\u3057\u304f\u306f\u30e2\u30c7\u30eb) \u306e\u5b87\u5b99\uff08\u3046\u3061\u3085\u3046\u3001\u82f1: Universe\uff09\u3068\u306f\u8b70\u8ad6\u9818\u57df\u306e\u3053\u3068\u3067\u3042\u308b\u3002  \u6570\u5b66\u3001\u3068\u308a\u308f\u3051\u96c6\u5408\u8ad6\u3084\u6570\u5b66\u57fa\u790e\u8ad6\u306b\u304a\u3051\u308b\u5b87\u5b99\u3068\u306f\u3001\u7279\u5b9a\u306e\u72b6\u6cc1\u306b\u304a\u3044\u3066\u8003\u5bdf\u3055\u308c\u308b\u5b9f\u4f53\u306e\u3059\u3079\u3066\u3092\u5143\u3068\u3057\u3066\u542b\u3080\u3088\u3046\u306a\u985e\u306e\u3053\u3068\u3067\u3042\u308b\u3002\u3053\u306e\u30a2\u30a4\u30c7\u30a2\u306b\u306f\u3044\u304f\u3064\u3082\u306e\u30d0\u30fc\u30b8\u30e7\u30f3\u304c\u3042\u308b\u305f\u3081\u3001\u9805\u76ee\u3092\u5206\u3051\u3066\u8aac\u660e\u3059\u308b\u3002\u3042\u308b\u7279\u5b9a\u306e\u6587\u8108\u306b\u304a\u3044\u3066[\u7de8\u96c6]\u304a\u305d\u3089\u304f\u6700\u3082\u5358\u7d14\u306a\u30d0\u30fc\u30b8\u30e7\u30f3\u306f\u3001\u7814\u7a76\u5bfe\u8c61\u304c\u7279\u5b9a\u306e\u96c6\u5408\u3067\u9589\u3058\u3066\u3044\u308b\u9650\u308a\u3001\u4efb\u610f\u306e\u96c6\u5408\u304c\u5b87\u5b99\u3067\u3042\u308b\u3068\u3044\u3046\u3082\u306e\u3067\u3042\u308b\u3002\u3082\u3057\u7814\u7a76\u5bfe\u8c61\u304c\u5b9f\u6570\u3068\u3057\u3066\u5f62\u5f0f\u5316\u3055\u308c\u3066\u3044\u308c\u3070\u3001\u5b9f\u6570\u306e\u96c6\u5408\u3067\u3042\u308b\u5b9f\u6570\u76f4\u7dda R \u306f\u8003\u5bdf\u4e0b\u306b\u304a\u3044\u3066\u5b87\u5b99\u306b\u306a\u308a\u3046\u308b\u3002\u3053\u308c\u306f1870\u5e74\u4ee3\u304b\u30891880\u5e74\u4ee3\u306b\u304b\u3051\u3066\u30b2\u30aa\u30eb\u30af\u30fb\u30ab\u30f3\u30c8\u30fc\u30eb\u304c\u5b9f\u89e3\u6790\u306e\u5fdc\u7528\u3068\u3057\u3066\u3001\u521d\u306e\u73fe\u4ee3\u7684\u306a\u96c6\u5408\u8ad6\u3068\u6fc3\u5ea6\u306e\u958b\u767a\u306b\u7528\u3044\u305f\u5b87\u5b99\u3067\u3042\u308b\u3002\u30ab\u30f3\u30c8\u30fc\u30eb\u304c\u5f53\u6642\u8208\u5473\u3092\u6301\u3063\u3066\u3044\u305f\u96c6\u5408\u306f\u3001R \u306e\u90e8\u5206\u96c6\u5408\u3060\u3063\u305f\u3002\u3053\u306e\u5b87\u5b99\u306e\u6982\u5ff5\u306f\u30d9\u30f3\u56f3\u306e\u4f7f\u7528\u306b\u53cd\u6620\u3055\u308c\u3066\u3044\u308b\u3002\u30d9\u30f3\u56f3\u306b\u304a\u3044\u3066\u3001\u4f5c\u7528\u306f\u4f1d\u7d71\u7684\u306b\u5b87\u5b99 U \u3092\u8868\u3059\u5927\u304d\u306a\u56db\u89d2\u5f62\u306e\u5185\u90e8\u306b\u751f\u3058\u308b\u3002\u4e00\u822c\u7684\u306b\u96c6\u5408\u304c U \u306e\u90e8\u5206\u96c6\u5408\u3067\u3042\u308c\u3070\u3001\u305d\u308c\u306f\u5186\u306b\u3088\u3063\u3066\u8868\u73fe\u3055\u308c\u308b\u3002\u96c6\u5408 A \u306e\u88dc\u96c6\u5408\u306f A \u306e\u5186\u306e\u5916\u5074\u306e\u56db\u89d2\u5f62\u306e\u90e8\u5206\u306b\u3088\u3063\u3066\u4e0e\u3048\u3089\u308c\u3066\u3044\u308b\u3002\u53b3\u5bc6\u306b\u8a00\u3048\u3070\u3001\u3053\u308c\u306f U \u306b\u76f8\u5bfe\u306a A \u306e \u76f8\u5bfe\u88dc\u96c6\u5408   U\u2216A{displaystyle Ubackslash A}\u3067\u3042\u308a\u3001U \u304c\u5b87\u5b99\u3067\u3042\u308b\u3068\u3044\u3046\u6587\u8108\u306b\u304a\u3044\u3066\u306f\u3001A \u306e\u7d76\u5bfe\u88dc\u96c6\u5408 AC{displaystyle A^{C}}\u3068\u307f\u306a\u3055\u308c\u308b\u3002\u540c\u69d8\u306b\u3001\u7a7a\u7a4d\u96c6\u5408\u306e\u6982\u5ff5\u304c\u3042\u308a\u3001\u3053\u308c\u306f 0 \u500b\u306e\u96c6\u5408 (\u96c6\u5408\u304c\u306a\u3044\u3068\u3044\u3046\u610f\u5473\u3067\u3001\u7a7a\u96c6\u5408\u3067\u306f\u306a\u3044) \u306e\u5171\u901a\u90e8\u5206\u3068\u306a\u308b\u3002\u5b87\u5b99\u629c\u304d\u3067\u306f\u3001\u7a7a\u7a4d\u96c6\u5408\u306f\u7d76\u5bfe\u306b\u3059\u3079\u3066\u306e\u3082\u306e\u306e\u96c6\u5408\u3068\u306a\u308a\u3046\u308b\u304c\u3001\u3053\u308c\u306f\u4e00\u822c\u7684\u306b\u4e0d\u53ef\u80fd\u3068\u307f\u306a\u3059\u3002\u3057\u304b\u3057\u5b87\u5b99\u304c\u60f3\u5b9a\u3055\u308c\u3066\u3044\u308c\u3070\u3001\u7a7a\u7a4d\u96c6\u5408\u306f\u8003\u5bdf\u4e0b\u306e\u3059\u3079\u3066\u306e\u3082\u306e\u306e\u96c6\u5408 U \u3068\u3057\u3066\u6271\u308f\u308c\u308b\u3002\u3053\u308c\u3089\u306e\u898f\u5247\u306f\u3001\u30d6\u30fc\u30eb\u675f\u306b\u57fa\u790e\u4ed8\u3051\u3089\u308c\u308b\u3088\u3046\u306a\u57fa\u672c\u7684\u306a\u96c6\u5408\u8ad6\u3078\u306e\u30a2\u30d7\u30ed\u30fc\u30c1\u306b\u304a\u3044\u3066\u975e\u5e38\u306b\u6709\u7528\u3067\u3042\u308b\u3002\u65b0\u57fa\u790e\u96c6\u5408\u8ad6\u306e\u3088\u3046\u306a\u516c\u7406\u7684\u96c6\u5408\u8ad6\u306e\u3044\u304f\u3064\u304b\u306e\u975e\u6a19\u6e96\u7684\u5f62\u5f0f\u3092\u9664\u3044\u3066\u3001\u3059\u3079\u3066\u306e\u96c6\u5408\u306e\u516c\u7406\u7684\u96c6\u5408\u8ad6\u306f\u76f8\u5bfe\u7684\u53ef\u88dc\u675f\u306e\u3088\u3046\u306a\u30d6\u30fc\u30eb\u675f\u3067\u306a\u3044\u3002\u5bfe\u7167\u7684\u306b\u3001U \u306e\u3079\u304d\u96c6\u5408\u306f\u30d6\u30fc\u30eb\u675f\u3067\u3042\u308b\u3002\u4e0a\u8a18\u306e\u88dc\u96c6\u5408\u306e\u8aac\u660e\u306f\u3001\u30d6\u30fc\u30eb\u675f\u306b\u304a\u3051\u308b\u88dc\u6f14\u7b97\u3067\u3042\u308b\u3002\u4e00\u65b9\u3067 U \u3068\u7a7a\u7a4d\u96c6\u5408\u306f\u30d6\u30fc\u30eb\u675f\u306b\u304a\u3044\u3066\u3001\u6700\u5927\u5143 (\u3082\u3057\u304f\u306f\u7a7a\u4ea4\u5dee)\u3092\u63d0\u4f9b\u3057\u3066\u3044\u308b\u3002\u3059\u308b\u3068\u4ea4\u5dee\u3068\u7d50\u5408\u306e\u88dc\u96c6\u5408\u3092\u6271\u3046\u30c9\u30fb\u30e2\u30eb\u30ac\u30f3\u306e\u6cd5\u5247\u306b\u9069\u7528\u3067\u304d\u3001\u3055\u3089\u306b\u7a7a\u96c6\u5408\u3067\u3042\u308b\u7a7a\u4ea4\u5dee\u3068\u7a7a\u7d50\u5408\u306b\u3082\u9069\u5fdc\u3067\u304d\u308b\u3002\u901a\u5e38\u306e\u6570\u5b66[\u7de8\u96c6]\u3057\u304b\u3057\u3001\u4e0e\u3048\u3089\u308c\u305f X (\u30ab\u30f3\u30c8\u30fc\u30eb\u306e\u5834\u5408\u306b\u306f\u3001 X = R) \u306e\u90e8\u5206\u96c6\u5408\u3092\u8003\u3048\u308c\u3070\u3001\u5b87\u5b99\u306f X \u306e\u90e8\u5206\u96c6\u5408\u306e\u96c6\u5408\u306e\u5b58\u5728\u3092\u8981\u8acb\u3059\u308b\u3002(\u4f8b\u3048\u3070\u3001X \u306e\u4f4d\u76f8\u306f X \u306e\u90e8\u5206\u96c6\u5408\u306e\u96c6\u5408\u3067\u3042\u308b\u3002)X \u306e\u69d8\u3005\u306a\u90e8\u5206\u96c6\u5408\u306e\u96c6\u5408\u306f\u3001\u305d\u308c\u81ea\u4f53\u306f X \u306e\u90e8\u5206\u96c6\u5408\u306b\u306a\u3089\u306a\u3044\u304c\u3001\u4ee3\u308f\u308a\u306b X \u306e\u51aa\u96c6\u5408 PX \u306e\u8981\u7d20\u306fX \u306e\u90e8\u5206\u96c6\u5408\u306b\u306a\u308b\u3002\u3053\u308c\u306b\u7d9a\u304d\u3001\u7814\u7a76\u5bfe\u8c61\u306f\u5b87\u5b99\u304c P(PX) \u306b\u306a\u308b\u3088\u3046\u306a\u5834\u5408\u306b\u304a\u3051\u308b X \u306e\u90e8\u5206\u96c6\u5408\u306e\u96c6\u5408\u306a\u3069\u3092\u69cb\u6210\u3059\u308b\u3002\u8a00\u3044\u63db\u3048\u308c\u3070\u3001X \u4e0a\u306e\u4e8c\u9805\u95a2\u4fc2 (\u30c7\u30ab\u30eb\u30c8\u7a4d\u306e\u90e8\u5206\u96c6\u5408 X \u00d7 X) \u3001\u3082\u3057\u304f\u306f X \u304b\u3089\u305d\u308c\u81ea\u8eab\u3078\u306e\u5199\u50cf\u3092\u8003\u3048\u308c\u3070\u3001P(X \u00d7 X) \u3082\u3057\u304f\u306f XX \u306e\u3088\u3046\u306a\u5b87\u5b99\u304c\u8981\u8acb\u3055\u308c\u308b\u3002  \u3057\u305f\u304c\u3063\u3066\u3001\u4e3b\u8981\u306a\u95a2\u5fc3\u304c X \u3067\u3042\u3063\u3066\u3082\u3001 X \u3088\u308a\u3082\u304b\u306a\u308a\u5927\u304d\u306a\u5b87\u5b99\u304c\u5fc5\u8981\u3068\u3055\u308c\u308b\u3053\u3068\u306b\u306a\u308b\u3002\u4e0a\u8a18\u306e\u30a2\u30a4\u30c7\u30a2\u306b\u7d9a\u3044\u3066\u3001X \u306e\u5b87\u5b99\u3068\u3057\u3066\u306e \u4e0a\u90e8\u69cb\u9020 \u304c\u8981\u8acb\u3055\u308c\u308b\u3002\u3053\u308c\u306f\u6b21\u306e\u3088\u3046\u306a\u518d\u5e30\u7684\u69cb\u9020\u306b\u3088\u3063\u3066\u5b9a\u7fa9\u3055\u308c\u308b\u3002S0X \u3092 X \u81ea\u8eab\u3068\u3059\u308b\u3002S1X \u3092 X \u3068 PX \u306e\u548c\u96c6\u5408\u3068\u3059\u308b\u3002S2X \u3092 S1X \u3068 P(S1X) \u306e\u548c\u96c6\u5408\u3068\u3059\u308b\u3002\u4e00\u822c\u306b\u3001Sn+1X \u3092 SnX \u3068 P(SnX) \u306e\u548c\u96c6\u5408\u3068\u3059\u308b\u3002\u6b21\u306b X \u306e\u4e0a\u90e8\u69cb\u9020 SX \u304c S0X \u3001S1X \u3001S2X \u306a\u3069\u306e\u548c\u96c6\u5408\u3068\u3059\u308b\u3002\u3064\u307e\u308a\u3001SX:=\u22c3i=0\u221eSiX.{displaystyle mathbf {S} X:=bigcup _{i=0}^{infty }mathbf {S} _{i}X{mbox{.}}!}\u96c6\u5408 X \u306e\u958b\u59cb\u5730\u70b9\u304c\u3069\u3053\u3067\u3042\u308d\u3046\u3068\u3001\u7a7a\u96c6\u5408 {} \u306f S1X \u306b\u5c5e\u3059\u308b\u3053\u3068\u306b\u6ce8\u610f\u3059\u308b\u3053\u3068\u3002\u7a7a\u96c6\u5408\u306f\u30d5\u30a9\u30f3\u30fb\u30ce\u30a4\u30de\u30f3\u9806\u5e8f\u6570 [0] \u3067\u3042\u308b\u3002\u3055\u3089\u306b\u5143\u304c\u7a7a\u96c6\u5408\u306e\u307f\u306e\u96c6\u5408 {[0]} \u306f\u3001S2X \u306b\u5c5e\u3059\u308b\u3002\u3053\u308c\u306f\u30d5\u30a9\u30f3\u30fb\u30ce\u30a4\u30de\u30f3\u9806\u5e8f\u6570 [1] \u3067\u3042\u308b\u3002\u540c\u69d8\u306b\u3001{[1]} \u306f S3X \u306b\u5c5e\u3057\u3001\u3055\u3089\u306b {[0]} \u3068 {[1]} \u306e\u548c\u96c6\u5408 {[0], [1]} \u3082\u5c5e\u3059\u308b\u305f\u3081\u3001\u3053\u308c\u306f\u30d5\u30a9\u30f3\u30fb\u30ce\u30a4\u30de\u30f3\u9806\u5e8f\u6570 [2] \u3068\u306a\u308b\u3002\u3053\u306e\u30d7\u30ed\u30bb\u30b9\u3092\u7d9a\u3051\u3066\u3044\u3051\u3070\u3001\u3059\u3079\u3066\u306e \u81ea\u7136\u6570 \u306f\u30d5\u30a9\u30f3\u30fb\u30ce\u30a4\u30de\u30f3\u9806\u5e8f\u6570\u306b\u3088\u308b\u4e0a\u90e8\u69cb\u9020\u306e\u5185\u90e8\u306b\u304a\u3044\u3066\u8868\u73fe\u3055\u308c\u308b\u3002\u6b21\u306b\u3001\u3082\u3057 x \u3068 y \u304c\u4e0a\u90e8\u69cb\u9020\u306b\u5c5e\u3057\u3066\u3044\u308c\u3070\u3001{{x}, {x, y}} \u304c\u9806\u5e8f\u5bfe (x, y) \u3092\u8868\u73fe\u3059\u308b\u3053\u3068\u306b\u306a\u308b\u3002\u5f93\u3063\u3066\u3001\u4e0a\u90e8\u69cb\u9020\u306f\u8981\u6c42\u3055\u308c\u308b\u69d8\u3005\u306a\u30c7\u30ab\u30eb\u30c8\u7a4d\u3092\u542b\u3093\u3067\u3044\u308b\u3053\u3068\u306b\u306a\u308b\u3002\u3055\u3089\u306b\u3001\u95a2\u6570\u3068\u95a2\u4fc2\u3082\u30c7\u30ab\u30eb\u30c8\u7a4d\u3068\u3057\u3066\u8868\u73fe\u3055\u308c\u308b\u305f\u3081\u3001\u3053\u308c\u3089\u3082\u4e0a\u90e8\u69cb\u9020\u306b\u542b\u307e\u308c\u308b\u3002\u3053\u306e\u30d7\u30ed\u30bb\u30b9\u306f\u3001\u5b9a\u7fa9\u57df\u304c\u30d5\u30a9\u30f3\u30fb\u30ce\u30a4\u30de\u30f3\u9806\u5e8f\u6570 [n] \u306e\u95a2\u6570\u306a\u3069\u3068\u3057\u3066\u8868\u73fe\u3055\u308c\u308b\u3088\u3046\u306a n-tuples \u306b\u5bfe\u3057\u3066\u3082\u4e0e\u3048\u3089\u308c\u308b\u3002\u305d\u306e\u305f\u3081\u3001\u3082\u3057\u958b\u59cb\u5730\u70b9\u304c\u3061\u3087\u3046\u3069 X = {} \u306a\u3089\u3070\u3001\u6570\u5b66\u3067\u5fc5\u8981\u3068\u306a\u308b\u591a\u304f\u306e\u96c6\u5408\u306f {} \u4e0a\u306e\u4e0a\u90e8\u69cb\u9020\u306e\u8981\u7d20\u3068\u3057\u3066\u73fe\u308c\u308b\u3002\u3057\u304b\u3057\u3001S{} \u306e\u8981\u7d20\u306e\u305d\u308c\u305e\u308c\u306f\u6709\u9650\u96c6\u5408\u3067\u3042\u308d\u3046\uff01\u81ea\u7136\u6570\u306e\u3072\u3068\u3064\u3072\u3068\u3064\u306f\u305d\u308c\u306b\u5c5e\u3059\u304c\u3001\u3059\u3079\u3066\u306e\u81ea\u7136\u6570\u306e\u96c6\u5408 N \u306f\u5c5e\u3055\u306a\u3044\uff08\u305d\u308c\u306f S{} \u306e\u90e8\u5206\u96c6\u5408\u3067\u3042\u308b\u306b\u3082\u304b\u304b\u308f\u3089\u305a\uff09\u3002\u5b9f\u969b\u3001X \u4e0a\u306e\u4e0a\u90e8\u69cb\u9020\u306f\u3059\u3079\u3066\u306e\u907a\u4f1d\u7684\u6709\u9650\u96c6\u5408\u304b\u3089\u6210\u308b\u3002\u3053\u306e\u3088\u3046\u306b\u3001\u305d\u308c\u306f\u6709\u9650\u4e3b\u7fa9\u8005\u306e\u6570\u5b66\u306e\u5b87\u5b99\u3068\u8003\u3048\u3089\u308c\u308b\u3002\u6642\u4ee3\u3092\u3055\u304b\u306e\u307c\u308c\u3070\u300119\u4e16\u7d00\u306e\u6709\u9650\u4e3b\u7fa9\u8005\u30ec\u30aa\u30dd\u30eb\u30c8\u30fb\u30af\u30ed\u30cd\u30c3\u30ab\u30fc\u306f\u3053\u306e\u5b87\u5b99\u306b\u304a\u3044\u3066\u4ed5\u4e8b\u3092\u3057\u305f\u3053\u3068\u304c\u601d\u3044\u51fa\u3055\u308c\u308b\u3002\u5f7c\u306f\u3001\u305d\u308c\u305e\u308c\u306e\u81ea\u7136\u6570\u306f\u5b58\u5728\u3059\u308b\u304c\u3001\u96c6\u5408 N\uff08\u5b8c\u5168\u306a\u7121\u9650\uff09\u306f\u5b58\u5728\u3057\u306a\u3044\u3068\u4fe1\u3058\u3066\u3044\u305f\u3002\u3057\u304b\u3057\u3001S{} \u306f\u901a\u5e38\u306e\uff08\u6709\u9650\u4e3b\u7fa9\u8005\u3067\u306f\u306a\u3044\uff09\u6570\u5b66\u8005\u306b\u3068\u3063\u3066\u306f\u4e0d\u8db3\u3067\u3042\u308b\u3002\u306a\u305c\u306a\u3089\u3001N \u304c S{} \u306e\u90e8\u5206\u96c6\u5408\u3068\u3057\u3066\u5229\u7528\u53ef\u80fd\u3067\u3042\u308b\u3068\u306f\u3044\u3048\u3001\u4f9d\u7136\u3068\u3057\u3066 N \u306e\u51aa\u96c6\u5408\u306f\u5229\u7528\u4e0d\u53ef\u80fd\u3060\u304b\u3089\u3067\u3042\u308b\u3002\u7279\u306b\u3001\u5b9f\u6570\u306e\u4efb\u610f\u306e\u96c6\u5408\u306f\u5229\u7528\u4e0d\u53ef\u80fd\u3067\u3042\u308b\u3002\u305d\u306e\u305f\u3081\u3001\u3082\u3046\u4e00\u5ea6\u4e0a\u8a18\u306e\u30d7\u30ed\u30bb\u30b9\u3092\u958b\u59cb\u3057\u3066 S(S{}) \u3092\u5f62\u6210\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3060\u308d\u3046\u3002\u3057\u304b\u3057\u3001\u7269\u4e8b\u3092\u5358\u7d14\u306b\u4fdd\u3064\u305f\u3081\u306b\u3001\u81ea\u7136\u6570\u306e\u96c6\u5408 N \u306f\u6240\u4e0e\u3068\u3057\u3066 SN \u3092\u5f62\u6210\u3057\u3001N \u4e0a\u306e\u4e0a\u90e8\u69cb\u9020\u3092\u3068\u3063\u3066\u3082\u3088\u3044\u3002\u3053\u308c\u306f\u3057\u3070\u3057\u3070\u901a\u5e38\u306e\u6570\u5b66\u306e\u5b87\u5b99\u3067\u3042\u308b\u3068\u8003\u3048\u3089\u308c\u308b\u3002\u901a\u5e38\u7814\u7a76\u3055\u308c\u308b\u6570\u5b66\u306e\u3059\u3079\u3066\u306f\u3053\u306e\u5b87\u5b99\u306e\u8981\u7d20\u3092\u53c2\u7167\u3057\u3066\u3044\u308b\u3068\u8003\u3048\u308b\u3068\u3044\u3046\u3053\u3068\u3067\u3042\u308b\u3002\u4f8b\u3048\u3070\u3001\u666e\u901a\u306e\u5b9f\u6570\u306e\u69cb\u6210\uff08\u30c7\u30c7\u30ad\u30f3\u30c8\u306e\u5207\u65ad\uff09\u306f\u3069\u308c\u3082 SN \u306b\u5c5e\u3057\u3066\u3044\u308b\u3002\u8d85\u6e96\u89e3\u6790\u3082\u81ea\u7136\u6570\u306e\u8d85\u6e96\u30e2\u30c7\u30eb\u4e0a\u306e\u4e0a\u90e8\u69cb\u9020\u306b\u304a\u3044\u3066\u884c\u3046\u3053\u3068\u304c\u3067\u304d\u308b\u3002\u5b87\u5b99\u304c\u95a2\u5fc3\u306e\u3042\u308b\u4efb\u610f\u306e\u96c6\u5408 U \u3067\u3042\u3063\u305f\u524d\u7bc0\u304b\u3089\u306e\u54f2\u5b66\u306e\u308f\u305a\u304b\u306a\u8ee2\u63db\u306b\u6ce8\u610f\u3057\u3088\u3046\u3002\u7814\u7a76\u3055\u308c\u308b\u96c6\u5408\u306f\u3001\u524d\u7bc0\u3067\u306f\u5b87\u5b99\u306e\u90e8\u5206\u96c6\u5408\u3067\u3042\u3063\u305f\u304c\u3001\u672c\u7bc0\u3067\u306f\u5b87\u5b99\u306e\u8981\u7d20\u3067\u3042\u308b\u3002\u3057\u305f\u304c\u3063\u3066\u3001P(SX) \u306f\u30d6\u30fc\u30eb\u675f\u3067\u3042\u308b\u304c\u3001\u95a2\u9023\u3059\u308b\u3082\u306e SX \u81ea\u4f53\u306f\u305d\u3046\u3067\u306f\u306a\u3044\u3002\u7d50\u679c\u3068\u3057\u3066\u3001\u4e0a\u90e8\u69cb\u9020\u306e\u5b87\u5b99\u3092\u524d\u7bc0\u306e\u51aa\u96c6\u5408\u306e\u5b87\u5b99\u3067\u3042\u308b\u3068\u307f\u3066\u3001\u305d\u308c\u306b\u30d6\u30fc\u30eb\u675f\u3068\u30d9\u30f3\u56f3\u306e\u6982\u5ff5\u3092\u76f4\u63a5\u7684\u306b\u9069\u7528\u3059\u308b\u3053\u3068\u306f\u307e\u308c\u3067\u3042\u308b\u3002\u305d\u306e\u304b\u308f\u308a\u306b\u3001\u500b\u3005\u306e\u30d6\u30fc\u30eb\u675f PA \u3092\u7528\u3044\u3066\u4f5c\u696d\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3002\u3053\u3053\u3067\u3001A \u306f SX \u306b\u5c5e\u3059\u308b\u4efb\u610f\u306e\u95a2\u9023\u3059\u308b\u96c6\u5408\u3067\u3042\u308b\u3002\u3059\u308b\u3068\u3001PA \u306f SX \u306e\u90e8\u5206\u96c6\u5408\u3067\u3042\u308b\uff08\u305d\u3057\u3066\u3001\u5b9f\u969b\u306b SX \u306b\u5c5e\u3059\u308b\uff09\u3002\u30ab\u30f3\u30c8\u30fc\u30eb\u306e\u5834\u5408 X = R \u3067\u306f\u7279\u306b\u3001\u5b9f\u6570\u306e\u4efb\u610f\u306e\u96c6\u5408\u306f\u5229\u7528\u53ef\u80fd\u3067\u306f\u306a\u3044\u306e\u3067\u3001\u5b9f\u969b\u306b\u3082\u3046\u4e00\u5ea6\u4e0a\u8a18\u306e\u30d7\u30ed\u30bb\u30b9\u3092\u958b\u59cb\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3060\u308d\u3046\u3002SN\u306f\u901a\u5e38\u306e\u6570\u5b66\u306e\u5b87\u5b99\u3067\u3042\u308b\u3068\u3044\u3046\u4e3b\u5f35\u306b\u6b63\u78ba\u306a\u610f\u5473\u3092\u4e0e\u3048\u308b\u3053\u3068\u306f\u53ef\u80fd\u3067\u3042\u308b\u3002\u3059\u306a\u308f\u3061\u3001\u305d\u308c\u306f\u30c4\u30a7\u30eb\u30e1\u30ed\u96c6\u5408\u8ad6\u306e\u30e2\u30c7\u30eb\u3067\u3042\u308b\u3002\u516c\u7406\u7684\u96c6\u5408\u8ad6\u306f\u5143\u67651908\u5e74\u306b\u30a8\u30eb\u30f3\u30b9\u30c8\u30fb\u30c4\u30a7\u30eb\u30e1\u30ed\u306b\u3088\u3063\u3066\u958b\u767a\u3055\u308c\u305f\u3002\u30c4\u30a7\u30eb\u30e1\u30ed\u96c6\u5408\u8ad6\u306f”\u901a\u5e38\u306e”\u6570\u5b66\u3092\u516c\u7406\u5316\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u305f\u3081\u3001\u30ab\u30f3\u30c8\u30fc\u30eb\u306b\u3088\u3063\u3066\u4e09\u5341\u5e74\u65e9\u304f\u59cb\u3081\u3089\u308c\u305f\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u9054\u6210\u3057\u3066\u3001\u78ba\u5b9f\u306b\u6210\u529f\u3057\u305f\u3002\u3057\u304b\u3057\u3001\u30c4\u30a7\u30eb\u30e1\u30ed\u96c6\u5408\u8ad6\u306f\u516c\u7406\u7684\u96c6\u5408\u8ad6\u304a\u3088\u3073\u6570\u5b66\u57fa\u790e\u8ad6\u3001\u7279\u306b\u30e2\u30c7\u30eb\u7406\u8ad6\u306b\u304a\u3051\u308b\u4ed6\u306e\u7814\u7a76\u306e\u3055\u3089\u306a\u308b\u767a\u5c55\u306b\u3068\u3063\u3066\u4e0d\u5341\u5206\u3067\u3042\u3063\u305f\u3002\u5287\u7684\u306a\u4f8b\u3068\u3057\u3066\u3001\u4e0a\u8ff0\u306e\u4e0a\u90e8\u69cb\u9020\u30d7\u30ed\u30bb\u30b9\u306e\u8a18\u8ff0\u306f\u30c4\u30a7\u30eb\u30e1\u30ed\u96c6\u5408\u8ad6\u306b\u304a\u3044\u3066\u305d\u308c\u81ea\u8eab\u5b9f\u884c\u3067\u304d\u306a\u3044\u3053\u3068\u304c\u6319\u3052\u3089\u308c\u308b\u3002\u6700\u7d42\u30b9\u30c6\u30c3\u30d7\u3068\u3057\u3066\u3001\u7121\u9650\u548c (infinitary union) \u3068\u3057\u3066\u306eS\u3092\u5f62\u6210\u3059\u308b\u305f\u3081\u306e\u7f6e\u63db\u516c\u7406\u304c\u5fc5\u8981\u3067\u3042\u308b\u3002\u7f6e\u63db\u516c\u7406\u306f\u3001\u30c4\u30a7\u30eb\u30e1\u30ed\uff1d\u30d5\u30ec\u30f3\u30b1\u30eb\u96c6\u5408\u8ad6\u3092\u5f62\u6210\u3059\u308b\u3088\u3046\u306b1922\u5e74\u306b\u30c4\u30a7\u30eb\u30e1\u30ed\u96c6\u5408\u8ad6\u306b\u4ed8\u52a0\u3055\u308c\u305f\u3002\u3053\u306e\u516c\u7406\u96c6\u5408\u306f\u4eca\u65e5\u6700\u3082\u5e83\u304f\u53d7\u3051\u5165\u308c\u3089\u308c\u3066\u3044\u308b\u3002\u305d\u306e\u305f\u3081\u3001\u901a\u5e38\u306e\u6570\u5b66\u304cSN\u306b\u304a\u3044\u3066\u306a\u3055\u308c\u308b\u306e\u306b\u5bfe\u3057\u3001SN\u306e\u8b70\u8ad6\u306f”\u901a\u5e38\u306e”\u6570\u5b66\u3092\u8d8a\u3048\u3066\u30e1\u30bf\u6570\u5b66\u306e\u9818\u57df\u3068\u306a\u308b\u3002\u3057\u304b\u3057\u3001\u3082\u3057\u8d85\u51aa\u96c6\u5408\u8ad6\u304c\u6301\u3061\u8fbc\u307e\u308c\u305f\u5834\u5408\u3001\u4e0a\u8a18\u306e\u4e0a\u90e8\u69cb\u9020\u306e\u30d7\u30ed\u30bb\u30b9\u305d\u308c\u81ea\u4f53\u306f\u660e\u3089\u304b\u306b\u8d85\u9650\u5e30\u7d0d\u6cd5\u306e\u306f\u3058\u307e\u308a\u306b\u904e\u304e\u306a\u3044\u3002\u7a7a\u96c6\u5408 X = {} \u306b\u623b\u3063\u3066\u3001Si{} \u306b\u5bfe\u3059\u308b Vi \u3001V0 = {} \u3001V1 = P{} \u306a\u3069\u306e (\u6a19\u6e96\u7684\u306a) \u8a18\u6cd5\u3092\u5c0e\u5165\u3059\u308b\u3002\u3057\u304b\u3057\u3001”\u4e0a\u90e8\u69cb\u9020” \u3068\u547c\u3070\u308c\u308b\u3082\u306e\u306f\u3001\u03c9 \u304c1\u3064\u76ee\u306e\u6709\u9650\u9806\u5e8f\u6570\u3068\u3059\u308c\u3070\u3001\u30ea\u30b9\u30c8 V\u03c9 \u306e\u6b21\u306e\u9805\u76ee\u3068\u306a\u308b\u3002\u3053\u308c\u306f\u6b21\u306e\u3088\u3046\u306a\u4efb\u610f\u306e\u9806\u5e8f\u6570\u306b\u62e1\u5f35\u3055\u308c\u308b\u3002Vi:=\u22c3j"},{"@context":"http:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"item":{"@id":"https:\/\/wiki.edu.vn\/jp\/wiki4\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/jp\/wiki4\/2020\/10\/26\/%e5%ae%87%e5%ae%99-%e6%95%b0%e5%ad%a6-wikipedia\/#breadcrumbitem","name":"\u5b87\u5b99 (\u6570\u5b66) – Wikipedia"}}]}]