{"id":59,"date":"2022-01-19T13:30:00","date_gmt":"2022-01-19T04:30:00","guid":{"rendered":"https:\/\/arithmer.blog\/?p=59"},"modified":"2023-03-13T14:56:56","modified_gmt":"2023-03-13T05:56:56","slug":"object-check","status":"publish","type":"post","link":"https:\/\/arithmer.blog\/blog\/object-check","title":{"rendered":"\u3082\u306e\u306e\u300c\u304b\u305f\u3061\u300d\u3092\u8abf\u3079\u308b"},"content":{"rendered":"\n

\uff5e \u30c8\u30dd\u30ed\u30b8\u30fc\u3068\u30d1\u30fc\u30b7\u30b9\u30c6\u30f3\u30c8\u30db\u30e2\u30ed\u30b8\u30fc \uff5e<\/h2>\n\n\n\n

\u306f\u3058\u3081\u306b<\/strong><\/h3>\n\n\n\n

\u7269\u4f53\u3092\u30b9\u30ad\u30e3\u30f3\u3059\u308b\u306a\u3069\u3057\u3066\u5f97\u3089\u308c\u305f 3\u6b21\u5143\u306e\u70b9\u7fa4\u304b\u3089\u3001\u3082\u3068\u306e\u7269\u4f53\u306e\u304b\u305f\u3061\u306b\u95a2\u3059\u308b\u60c5\u5831\u3092\u5f97\u308b\u305f\u3081\u306b\u3001\u3055\u307e\u3056\u307e\u306a\u65b9\u6cd5\u304c\u7528\u3044\u3089\u308c\u307e\u3059\u3002<\/p>\n\n\n\n


\u4f8b\u3048\u3070\u3001Arithmer \u3067\u306f
3D\u30d3\u30b8\u30e7\u30f3\u30ed\u30dc\u30c3\u30c8\u30b7\u30b9\u30c6\u30e0<\/a>\u306a\u3069\u3067\u3001 \u6b21\u5143\u306e\u70b9\u7fa4\u3092\u6271\u3063\u3066\u3044\u307e\u3059\u3002
\u4eca\u56de\u306f\u70b9\u7fa4\u304b\u3089\u8a08\u7b97\u3055\u308c\u308b\u60c5\u5831\u3068\u3057\u3066\u3001\u8fd1\u5e74\u6ce8\u76ee\u3092\u6d74\u3073\u3066\u3044\u308b\u30d1\u30fc\u30b7\u30b9\u30c6\u30f3\u30c8\u30db\u30e2\u30ed\u30b8\u30fc\u3068\u3044\u3046\u6982\u5ff5\u3092\u7d39\u4ecb\u3057\u305f\u3044\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n\n\n\n

\u30c8\u30dd\u30ed\u30b8\u30fc\u3068\u3044\u3046\u6570\u5b66\u306e\u4e00\u5206\u91ce\u306e\u8003\u3048\u65b9\u3092\u4f7f\u3063\u3066\u3044\u308b\u306e\u3067\u3059\u304c\u3001\u308f\u304b\u308a\u3084\u3059\u3055\u306e\u305f\u3081\u306b\u3001\u3068\u3053\u308d\u3069\u3053\u308d\u3067\u6570\u5b66\u7684\u306b\u6b63\u78ba\u3067\u306f\u306a\u3044\u8868\u73fe\u3092\u3059\u308b\u4e8b\u3092\u304a\u8a31\u3057\u304f\u3060\u3055\u3044\u3002<\/p>\n\n\n\n

\u300c\u304b\u305f\u3061\u300d\u3068\u306f\uff1f\uff5e\u30c8\u30dd\u30ed\u30b8\u30fc\u306e\u8003\u3048\u65b9\uff5e<\/strong><\/h3>\n\n\n\n

\u3082\u306e\u306e\u300c\u304b\u305f\u3061\u300d\u3068\u306f\u4f55\u3067\u3057\u3087\u3046\u304b\uff1f \u4f8b\u3048\u3070\u3001\u4e38\u3068\u56db\u89d2\u306f\u304b\u305f\u3061\u304c\u9055\u3046\u3001\u3068\u3044\u3044\u307e\u3059\u3088\u306d\u3002
\u305d\u308c\u3067\u306f\u3001\u3053\u3061\u3089\u306e\u56f3\u3092\u307f\u305f\u6642\u306b\u3001\u3069\u308c\u304c\u4e38\u3067\u3069\u308c\u304c\u56db\u89d2\u3067\u3057\u3087\u3046\u304b\uff1f

\u4e00\u756a\u5de6\u306f\u4e38\u3001\u4e00\u756a\u53f3\u306f\u56db\u89d2\u3060\u3051\u3069\u3001\u5de6\u304b\u3089\u4e8c\u756a\u76ee\u306f\u4e38\u306e\u3088\u3046\u306a\u56db\u89d2\u306e\u3088\u3046\u306a\u3001\u307f\u305f\u3044\u306a\u6c17\u6301\u3061\u306b\u306a\u308a\u307e\u305b\u3093\u304b\uff1f<\/p>\n\n\n\n

\"\"<\/figure>\n\n\n\n

\u30c8\u30dd\u30ed\u30b8\u30fc\uff08\u4f4d\u76f8\u5e7e\u4f55\u5b66\uff09\u3068\u3044\u3046\u6570\u5b66\u306e\u5206\u91ce\u3067\u306f\u3001\u304b\u305f\u3061\u306b\u95a2\u3057\u3066\u3082\u3063\u3068\u96d1\u306a\u5206\u985e\u3092\u3057\u307e\u3059\u3002

\u4e0a\u306e\u4f8b\u306e\u3088\u3046\u306a\u3001\u9023\u7d9a\u7684\u306b\u5909\u5f62\u3057\u3066\u3046\u3064\u308a\u3042\u3046\u3082\u306e\u306f\u3001\u5168\u90e8\u540c\u3058\u304b\u305f\u3061\u3092\u3057\u3066\u3044\u308b\u3068\u8003\u3048\u308b\u306e\u3067
\u3059\u3002\u4eca\u56de\u306f\u3001\u3053\u306e\u3088\u3046\u306a\u3082\u306e\u305f\u3061\u3092\u300c\u4f4d\u76f8\u7684\u306b\u540c\u3058\u304b\u305f\u3061\u300d\u3092\u3057\u3066\u3044\u308b\u3068\u547c\u3076\u4e8b\u306b\u3057\u307e\u3059\u3002
\uff08\u672c\u5f53\u306f\u3001\u9023\u7d9a\u7684\u306a\u5909\u5f62\u4ee5\u5916\u3067\u3082\u4f4d\u76f8\u7684\u306b\u540c\u3058\u304b\u305f\u3061\u3060\u3068\u8003\u3048\u308b\u3082\u306e\u304c\u3042\u308b\u306e\u3067\u3059\u304c\u3001\u4eca\u65e5\u306f\u5272\u611b\u3055\u305b\u3066\u3082\u3089\u3044\u307e\u3059\u3002\uff09

\u3067\u306f\u3001\u3069\u3046\u3044\u3046\u3082\u306e\u306f\u9055\u3046\u3068\u8003\u3048\u308b\u306e\u304b\u3068\u3044\u3046\u3068\u3001\u4f8b\u3048\u3070\u3001\u4e0b\u306e\u56f3\u306e\u5186\u76e4\u3068\u7a74\u306e\u7a7a\u3044\u305f\u5186\u76e4\u306f\u3001\uff08\u304a\u4e92\u3044\u3092\u9023\u7d9a\u7684\u306b\u5909\u5f62\u3057\u3066\u3082\u3046\u3064\u308a\u3042\u308f\u306a\u3044\u306e\u3067\uff09\u9055\u3046\u304b\u305f\u3061\u3092\u3057\u3066\u3044\u308b\u3068\u8003\u3048\u307e\u3059\u3002<\/p>\n\n\n\n

\"\"<\/figure>\n\n\n\n

\u3053\u308c\u306f\u5186\u76e4\u3058\u3083\u306a\u304f\u3066\u56db\u89d2\u3067\u306f\u306a\u3044\u304b\uff1f \u3068\u601d\u3046\u65b9\u3082\u3044\u308b\u304b\u3082\u3057\u308c\u307e\u305b\u3093\u304c\u3001\u5148\u307b\u3069\u8ff0\u3079\u305f\u3088\u3046\u306b\u3001\u30c8\u30dd\u30ed\u30b8\u30fc\u306e\u8003\u3048\u65b9\u3067\u306f\u9023\u7d9a\u7684\u306b\u79fb\u308a\u5408\u3046\u3082\u306e\u306f\u540c\u3058\u304b\u305f\u3061\u3060\u3068\u601d\u3046\u306e\u3067\u3001\u4e00\u898b\u56db\u89d2\u304f\u898b\u3048\u308b\u3053\u308c\u3089\u3092\u5186\u76e4\u3068\u547c\u3093\u3067\u3057\u307e\u3046\u306e\u3067\u3059\u3002

3\u6b21\u5143\u7a7a\u9593\u306e\u4e2d\u306e\u4f8b\u3082\u6319\u3052\u3066\u304a\u304d\u307e\u3059\u3002
\u30c8\u30dd\u30ed\u30b8\u30fc\u306e\u8003\u3048\u65b9\u3067\u306f\u3001\u7403\u3068\u56db\u9762\u4f53\u306e\u8868\u9762\u306f\u304a\u306a\u3058\u304b\u305f\u3061\u3067\u3001\u30c9\u30fc\u30ca\u30c4\u306e\u8868\u9762\uff08\u30c8\u30fc\u30e9\u30b9\u3068\u547c\u3073\u307e\u3059\uff09\u306f\u9055\u3046\u304b\u305f\u3061\u3001\u3060\u3068\u8003\u3048\u307e\u3059\u3002<\/p>\n\n\n\n

\"\"<\/figure>\n\n\n\n

\u304b\u305f\u3061\u3092\u898b\u5206\u3051\u308b \uff5e \u4f4d\u76f8\u4e0d\u5909\u91cf \uff5e<\/strong><\/h3>\n\n\n\n

\u5148\u7a0b\u3001\u4e0a\u306e\u56f3\u306e\u3001\u5186\u76e4\u3068\u7a74\u306e\u7a7a\u3044\u305f\u5186\u76e4\u306f\u4f4d\u76f8\u7684\u306b\u9055\u3046\u304b\u305f\u3061\u3092\u3057\u3066\u3044\u308b\u3068\u8a00\u3044\u307e\u3057\u305f\u304c\u3001\u672c\u5f53\u306f\u3001\u3069\u3046\u3084\u3063\u3066\u9023\u7d9a\u7684\u306b\u5909\u5f62\u3057\u3066\u3082\u304a\u4e92\u3044\u304c\u79fb\u308a\u5408\u308f\u306a\u3044\u3068\u3044\u3046\u3053\u3068\u3092\u8a3c\u660e\u3057\u306a\u3044\u3068\u3044\u3051\u307e\u305b\u3093\u3002

\u3067\u306f\u3001\u4e8c\u3064\u306e\u3082\u306e\u304c\u3001\u4f4d\u76f8\u7684\u306b\u9055\u3046\u304b\u305f\u3061\u3092\u3057\u3066\u3044\u308b\u3068\u3044\u3046\u306e\u306f\u3001\u3069\u3046\u3084\u3063\u305f\u3089\u308f\u304b\u308b\u3067\u3057\u3087\u3046\u304b\uff1f

\u4f8b\u3048\u3070\u3001\u5883\u754c\u306e\u6570\u3001\u3068\u3044\u3046\u306e\u306f\u9023\u7d9a\u7684\u306b\u5909\u5f62\u3057\u3066\u3082\u304b\u308f\u308a\u307e\u305b\u3093\u3002\u305d\u306e\u305f\u3081\u3001\u5186\u76e4\u306e\u5883\u754c\u306f1\u3064\u3001\u7a74\u306e\u7a7a\u3044\u305f\u5186\u76e4\u306e\u5883\u754c\u306f 2\u3064\u3001\u3068\u3044\u3046\u4e8b\u304b\u3089\u3001\u3053\u306e\u4e8c\u3064\u304c\u4f4d\u76f8\u7684\u306b\u9055\u3046\u304b\u305f\u3061\u3092\u3057\u3066\u3044\u308b\u4e8b\u304c\u308f\u304b\u308a\u307e\u3059\u3002<\/p>\n\n\n\n

\"\"<\/figure>\n\n\n\n

\u307e\u305f\u3001\u4e0b\u306e\u56f3\u306e\u3054\u3061\u3083\u3054\u3061\u3083\u3057\u305f\u56f3\u5f62\u304c\u3001\u4e0a\u306e\u56f3\u306e\u3069\u3061\u3089\u3068\u4f4d\u76f8\u7684\u306b\u540c\u3058\u304b\u3001\u3068\u3044\u3046\u306e\u306f\u3001\u5b9f\u306f\u5883\u754c\u306e\u6570\u3092\u6570\u3048\u308c\u3070\u308f\u304b\u308a\u307e\u3059\u3002<\/p>\n\n\n\n

\"\"<\/figure>\n\n\n\n

\u5de6\u306e\u56f3\u5f62\u306f\u5883\u754c\u304c\u5168\u90e8\u7e4b\u304c\u3063\u3066\u3044\u308b\u306e\u3067\u5186\u76e4\u3068\u540c\u3058\u304b\u305f\u3061\u3067\u3001\u53f3\u306e\u56f3\u306f\u5883\u754c\u304c2\u3064\u3042\u308b\u306e\u3067\u3001\u7a74\u306e\u7a7a\u3044\u305f\u5186\u76e4\u3068\u540c\u3058\u304b\u305f\u3061\u3067\u3059\u3002

\u5883\u754c\u306e\u6570\u306e\u3088\u3046\u306b\u3001\u4f4d\u76f8\u7684\u306b\u540c\u3058\u304b\u305f\u3061\u3092\u3057\u305f\u3082\u306e\u306b\u5bfe\u3057\u3066\u3001\u540c\u3058\u5024\u3092\u3042\u305f\u3048\u308b\u91cf\u3092\u300c\u4f4d\u76f8\u4e0d\u5909\u91cf\u300d\u3068\u547c\u3073\u307e\u3059\u3002<\/p>\n\n\n\n

\u30aa\u30a4\u30e9\u30fc\u6a19\u6570<\/strong><\/h3>\n\n\n\n

\u3082\u3046\u5c11\u3057\u8907\u96d1\u306a\u4f4d\u76f8\u4e0d\u5909\u91cf\u3092\u7d39\u4ecb\u3057\u307e\u3059\u3002

$2$ \u6b21\u5143\u306e\u56f3\u5f62 $D$ \u304c\u3042\u3063\u305f\u6642\u306b\u3001\u305d\u308c\u3092\u304d\u308c\u3044\u306b\u4e09\u89d2\u5f62\u306b\u5206\u5272\u3057\u307e\u3059\u3002\u305d\u3057\u3066\u3001\u305d\u306e\u4e09\u89d2\u5f62\u306e\u679a\u6570 $f$ \u3068\u3001\u8fba\u306e\u672c\u6570 $e$ \u3068\u3001\u9802\u70b9\u306e\u500b\u6570 $v$ \u304b\u3089\u3001
$$ \\chi(D) = f \u2013 e + v $$ \u3092\u8a08\u7b97\u3057\u307e\u3059\u3002\u3053\u306e $ \\chi(D)$ \u3092 $D$ \u306e\u30aa\u30a4\u30e9\u30fc\u6a19\u6570\u3068\u547c\u3073\u307e\u3059\u3002

\u305d\u308c\u3067\u306f\u3001\u7403\u9762 $S$ \u3068\u3001\u30c8\u30fc\u30e9\u30b9 $T$ \u306e\u30aa\u30a4\u30e9\u30fc\u6a19\u6570\u3092\u8a08\u7b97\u3057\u3066\u307f\u307e\u3057\u3087\u3046\u3002
\u7403\u9762\u306f\u3001\u4f4d\u76f8\u7684\u306b\u306f\u56db\u9762\u4f53\u3068\u4e00\u7dd2\u306a\u306e\u3067\u3001\u56db\u9762\u4f53\u3092\u4f7f\u3063\u3066\u8a08\u7b97\u3057\u3066\u307f\u307e\u3059\u3002
\u56db\u9762\u4f53\u306f\u9762\u304c $4$ \u3064\u3001\u8fba\u304c $6$ \u672c\u3001\u9802\u70b9\u304c $4$ \u3064\u3067\u3059\u304b\u3089\u3001$$\\chi(S) = 4 \u2013 6 + 4 = 2$$ \u3068\u306a\u308a\u307e\u3059\u3002

\u30c8\u30fc\u30e9\u30b9 $T$ \u306f\u3001\u56db\u89d2\u5f62\u306e\u4e0a\u306e\u8fba\u3068\u4e0b\u306e\u8fba\u3001\u5de6\u306e\u8fba\u3068\u53f3\u306e\u8fba\u3092\u5f35\u308a\u5408\u308f\u305b\u305f\u3082\u306e\u3060\u3068\u8003\u3048\u308b\u4e8b\u304c\u3067\u304d\u307e\u3059\u3002<\/p>\n\n\n\n

\"\"<\/figure>\n\n\n\n

\u4e09\u89d2\u5f62\u306e\u9762\u304c $2$ \u3064\u3001\u8fba\u306f\u3001\u4e0a\u4e0b\u306e\u8fba\u304c\u304f\u3063\u3064\u3044\u305f\u3082\u306e\u304c $1$ \u672c\u3001\u5de6\u53f3\u306e\u8fba\u304c\u304f\u3063\u3064\u3044\u305f\u3082\u306e\u304c $1$ \u672c\u3001\u5bfe\u89d2\u7dda\u304c $1$ \u672c\u3067\u3001\u5408\u8a08 $3$ \u672c\u3001\u9802\u70b9\u306f\u3001\u5168\u3066\u306e\u9802\u70b9\u304c\u304f\u3063\u3064\u3044\u3066 $1$ \u3064\u3060\u3051\u3068\u306a\u308a\u3001\u30aa\u30a4\u30e9\u30fc\u6a19\u6570\u3092\u8a08\u7b97\u3059\u308b\u3068\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u306a\u308a\u307e\u3059\u3002 $$\\chi(T) = 2 \u2013 3 + 1 = 0$$

\u30aa\u30a4\u30e9\u30fc\u6a19\u6570\u304c\u4f4d\u76f8\u4e0d\u5909\u91cf\u3067\u3042\u308b\u4e8b\u3092\u4fe1\u3058\u308b\u3068\u3001\u3053\u306e\u8a08\u7b97\u304b\u3089\u3001\u7403\u3068\u30c8\u30fc\u30e9\u30b9\u304c\u4f4d\u76f8\u7684\u306b\u9055\u3063\u305f\u304b\u305f\u3061\u3092\u3057\u3066\u3044\u308b\u3068\u3044\u3046\u4e8b\u304c\u308f\u304b\u308a\u307e\u3059\u3002

\u3061\u306a\u307f\u306b\u3001\u30c8\u30fc\u30e9\u30b9\u306e\u304b\u305f\u3061\u3092\u3057\u3066\u3044\u308b\u4e16\u754c\u3067\u3082\u3063\u3068\u3082\u6709\u540d\u306a\u306e\u304c\u3001\u30c9\u30e9\u30b4\u30f3\u30af\u30a8\u30b9\u30c8\u30b7\u30ea\u30fc\u30ba\u306e\u4e16\u754c\u3067\u306f\u306a\u3044\u3067\u3057\u3087\u3046\u304b\u3002\u5730\u56f3\u306e\u4e0a\u3068\u4e0b\u3001\u5de6\u3068\u53f3\u304c\u304f\u3063\u3064\u3044\u3066\u3044\u308b\u3068\u3044\u3046\u3053\u3068\u306f\u3001\u4f4d\u76f8\u7684\u306b\u306f\u30c8\u30fc\u30e9\u30b9\u3067\u3042\u308b\u3068\u3044\u3046\u4e8b\u306a\u306e\u3067\u3059\u3002<\/p>\n\n\n\n

\u30aa\u30a4\u30e9\u30fc\u6a19\u6570\u306e\u4f4d\u76f8\u4e0d\u5909\u6027<\/strong><\/h3>\n\n\n\n

\u30aa\u30a4\u30e9\u30fc\u6a19\u6570\u306b\u3064\u3044\u3066\u3001\u3082\u3046\u5c11\u3057\u8a73\u3057\u304f\u898b\u3066\u304a\u304d\u307e\u3057\u3087\u3046\u3002

\u6700\u521d\u306b\u4e0d\u5b89\u306b\u306a\u308b\u4e8b\u306f\u3001\u540c\u3058\u66f2\u9762\u306b\u5bfe\u3057\u3066\u3001\u9055\u3063\u305f\u4e09\u89d2\u5f62\u5206\u5272\u3092\u3082\u3063\u3066\u304d\u305f\u3089\u3001\u30aa\u30a4\u30e9\u30fc\u6a19\u6570\u306f\u9055\u3063\u305f\u5024\u306b\u306a\u3089\u306a\u3044\u3067\u3057\u3087\u3046\u304b\uff1f \u3068\u3044\u3046\u4e8b\u3067\u3059\u304c\u3001\u5b9f\u306f\u5927\u4e08\u592b\u306a\u306e\u3067\u3059\u3002

\u305d\u306e\u4e0d\u5909\u6027\u306b\u3064\u3044\u3066\u3001\u4e00\u756a\u672c\u8cea\u7684\u306a\u3068\u3053\u308d\u3060\u3051\u3092\u7d39\u4ecb\u3057\u307e\u3057\u3087\u3046\u3002

\u4e0b\u306e\u56f3\u306e\u5de6\u3001\u56db\u89d2\u5f62\u3092 $2$ \u679a\u306e\u4e09\u89d2\u5f62\u3067\u5206\u5272\u3057\u305f\u3082\u306e\u3092\u8003\u3048\u308b\u3068\u3001$ f = 2, e = 5, v = 4 $ \u3067 $\\chi = 2 \u2013 5 + 4 = 1$ \u3067\u3059\u3002

\u56f3\u306e\u53f3\u3067\u306f\u3001\u8d64\u3044\u9802\u70b9\u3092\u8ffd\u52a0\u3057\u3066\u3001\u305d\u308c\u306b\u3068\u3082\u306a\u3063\u3066\u9752\u3044\u7dda\u304c $2$ \u672c\u8ffd\u52a0\u3055\u308c\u3001\u9ed2\u3044\u7dda\u304c\u4e8c\u3064\u306b\u5206\u5272\u3055\u308c\u3001\u4e09\u89d2\u5f62\u306f $4$ \u679a\u306b\u306a\u308a\u307e\u3059\u3002\u3059\u308b\u3068\u3001\u3084\u3063\u3071\u308a $\\chi = 4 \u2013 8 + 5 = 1$ \u3067\u3059\u3002<\/p>\n\n\n\n

\"\"<\/figure>\n\n\n\n

\u3053\u308c\u3092\u8a73\u3057\u304f\u898b\u3066\u307f\u308b\u3068\u3001\u3042\u308b\u8fba\u306b\u9802\u70b9\u3092 $1$ \u3064\u4ed8\u3051\u52a0\u3048\u308b\u3068\u3001\u9762\u304c $2$ \u3064\u5897\u3048\u3001\u8fba\u304c$3$ \u672c\u5897\u3048\u308b\u306e\u3067\u3001\u8db3\u3057\u5f15\u304d\u3059\u308b\u3068\u3061\u3087\u3046\u3069\u30ad\u30e3\u30f3\u30bb\u30eb\u3057\u3066\u30aa\u30a4\u30e9\u30fc\u6a19\u6570\u306f\u5909\u308f\u3089\u306a\u3044\u306e\u3067\u3059\u3002

\u5b9f\u306f\u3001\u4e8c\u3064\u306e\u4e09\u89d2\u5f62\u5206\u5272\u304c\u3042\u3063\u305f\u6642\u306b\u3001\u3053\u306e\u3088\u3046\u306a\u64cd\u4f5c\u3092\u7e70\u308a\u8fd4\u3057\u884c\u3046\u4e8b\u3067\u304a\u4e92\u3044\u306b\u79fb\u308a\u5408\u3046\u3068\u3044\u3046\u4e8b\u304c\u793a\u305b\u307e\u3059\u3002\u305d\u306e\u305f\u3081\u3001\u30aa\u30a4\u30e9\u30fc\u6a19\u6570\u306f\u4e09\u89d2\u5f62\u5206\u5272\u306e\u53d6\u308a\u65b9\u306b\u3088\u3089\u305a\u3001\u3082\u3068\u306e\u56f3\u5f62\u3060\u3051\u304b\u3089\u6c7a\u307e\u308b\u91cf\u3060\u3068\u3044\u3046\u4e8b\u304c\u308f\u304b\u308b\u306e\u3067\u3059\u3002

\u3055\u3066\u3001\u30aa\u30a4\u30e9\u30fc\u6a19\u6570\u304c\u304d\u3061\u3093\u3068\u5b9a\u7fa9\u3055\u308c\u308b\u3053\u3068\u304c\u308f\u304b\u308c\u3070\u3001\u305d\u308c\u304c\u4f4d\u76f8\u4e0d\u5909\u91cf\u306b\u306a\u3063\u3066\u3044\u308b\u3053\u3068\u306f\u3001\u307b\u3068\u3093\u3069\u660e\u3089\u304b\u3067\u3059\u3002

$2$ \u3064\u306e\u56f3\u5f62\u304c\u4f4d\u76f8\u7684\u306b\u540c\u3058\u304b\u305f\u3061\u306a\u3089\u3070\u3001\u7247\u65b9\u306e\u56f3\u5f62\u306b\u3042\u308b\u4e09\u89d2\u5f62\u5206\u5272\u3092\u305d\u306e\u307e\u307e\u3082\u3046\u7247\u65b9\u306e\u56f3\u5f62\u306b\u79fb\u3059\u4e8b\u304c\u3067\u304d\u307e\u3059\u3002\u305d\u306e\u969b\u306b\u3001\u4e09\u89d2\u5f62\u306e\u679a\u6570\u3084\u8fba\u306e\u672c\u6570\u306f\u304b\u308f\u3089\u306a\u3044\u306e\u3067\u3001\u30aa\u30a4\u30e9\u30fc\u6a19\u6570\u3082\u304b\u308f\u308a\u307e\u305b\u3093\u3002<\/p>\n\n\n\n

\u30db\u30e2\u30ed\u30b8\u30fc\u7fa4<\/strong><\/h3>\n\n\n\n

\u672c\u984c\u306e\u30d1\u30fc\u30b7\u30b9\u30c6\u30f3\u30c8\u30db\u30e2\u30ed\u30b8\u30fc\u7fa4\u3092\u8aac\u660e\u3059\u308b\u305f\u3081\u306b\u3001\u307e\u305a\u3001\u30db\u30e2\u30ed\u30b8\u30fc\u7fa4\u3068\u3044\u3046\u3082\u306e\u3092\u7d39\u4ecb\u3057\u307e\u3059\u3002

\u30db\u30e2\u30ed\u30b8\u30fc\u7fa4\u3068\u3044\u3046\u306e\u306f\u3001\u4ee3\u8868\u7684\u306a\u4f4d\u76f8\u4e0d\u5909\u91cf\u306e\u3072\u3068\u3064\u3067\u3059\u3002\u3064\u307e\u308a\u3001\u4f4d\u76f8\u7684\u306b\u540c\u3058\u304b\u305f\u3061\u3092\u3057\u305f\u3082\u306e\u306b\u5bfe\u3057\u3066\u3001\u3042\u308b\u7a2e\u306e\u65b9\u6cd5\u3067\u5b9a\u307e\u308b\u300c\u7fa4\u300d\u3067\u3059\u3002

\u65e5\u672c\u8a9e\u3067\u306e\u300c\u7fa4\u300d\u306f\u3001\u300c\u70b9\u7fa4\u300d\u306e\u3088\u3046\u306b\u3001\u3042\u308b\u7a2e\u306e\u3082\u306e\u306e\u96c6\u307e\u308a\u3092\u3042\u3089\u308f\u3059\u8a00\u8449\u306a\u306e\u3067\u3059\u304c\u3001\u6570\u5b66\u7528\u8a9e\u3067\u306e\u300c\u7fa4\u300d\u306f\u300c\u96c6\u5408\u3068\u6f14\u7b97\u3092\u7d44\u306b\u3057\u305f\u3082\u306e\u300d\u3060\u3068\u601d\u3063\u3066\u304a\u3044\u3066\u304f\u3060\u3055\u3044\u3002\u4f8b\u3048\u3070\u300c\u6574\u6570\u3068\u8db3\u3057\u7b97\u306e\u7d44\u300d\u3084\u300c\u5b9f\u6570\u4e0a\u306e\u5168\u5358\u5c04\u5168\u4f53\u3068\u5199\u50cf\u306e\u5408\u6210\u306e\u7d44\u300d\u306a\u3069\u304c\u7fa4\u306b\u306a\u308a\u307e\u3059\u3002

\u30db\u30e2\u30ed\u30b8\u30fc\u7fa4\u3067\u306f\u3001\u96c6\u5408\u3068\u3057\u3066\u300c\u7a7a\u9593\u4e0a\u306e\u9053\u306e\u96c6\u5408\u300d\u3001\u6f14\u7b97\u3068\u3057\u3066\u306f\u300c\u9053\u306e\u7d50\u5408\u300d\u3092\u8003\u3048\u307e\u3059\u3002

\u30db\u30e2\u30ed\u30b8\u30fc\u7fa4\u3092\u304d\u3061\u3093\u3068\u8aac\u660e\u3057\u3088\u3046\u3068\u3059\u308b\u3068\u3001\u3055\u307e\u3056\u307e\u306a\u6e96\u5099\u304c\u5fc5\u8981\u3068\u306a\u308b\u306e\u3067\u3001\u4eca\u56de\u306f\u3001\u4e00\u6b21\u5143\u30db\u30e2\u30ed\u30b8\u30fc\u7fa4 $H_1$ \u3092\u3044\u3044\u304b\u3052\u3093\u306b\u7d39\u4ecb\u3055\u305b\u3066\u3082\u3089\u3044\u307e\u3059\u3002<\/p>\n\n\n\n

\u7a7a\u9593\u306e\u4e0a\u306e\u9053<\/strong><\/h3>\n\n\n\n

\u307e\u305a\u3001\u7a7a\u9593\u306b\u5bfe\u3057\u3066\u300c\u9053\u300d\u3068\u547c\u3070\u308c\u308b\u3082\u306e\u3092\u96d1\u306b\u5b9a\u7fa9\u3057\u307e\u3059\u3002

\u7a7a\u9593 $X$ \u306b\u5bfe\u3057\u3066\u3001\u305d\u306e\u4e0a\u306b\u57fa\u70b9 $x_0$ \u3092\u4e00\u3064\u56fa\u5b9a\u3057\u3001$x_0$ \u304b\u3089\u51fa\u767a\u3057\u3066\u3001$x_0 $ \u306b\u623b\u3063\u3066\u304f\u308b\u7d4c\u8def\u3092\u8003\u3048\u307e\u3059\u3002\u305f\u3060\u3057\u3001$X$ \u306e\u4e2d\u3067\u9023\u7d9a\u7684\u306b\u79fb\u52d5\u3055\u305b\u3066\u540c\u3058\u306b\u306a\u308b\u7d4c\u8def\u306f\u300c\u540c\u3058\u9053\u300d\u3060\u3068\u601d\u3046\u4e8b\u306b\u3057\u307e\u3059\u3002
\u305d\u3057\u3066\u3001\u305d\u306e\u3088\u3046\u306a\u9053\u5168\u4f53\u306e\u96c6\u5408\u3092 $ P (X) $ \u3068\u66f8\u304f\u4e8b\u306b\u3057\u307e\u3059\u3002<\/p>\n\n\n\n

\u5186\u76e4\u306e\u4e0a\u306e\u9053\u306e\u96c6\u5408<\/strong><\/h3>\n\n\n\n

\u307e\u305a\u3001\u5186\u76e4 $D$ \u306e\u5834\u5408\u306b\u3001\u9053\u306e\u5168\u4f53\u306e\u96c6\u5408 $P(D)$ \u3092\u8003\u3048\u3066\u307f\u307e\u3059\u3002

\u4e00\u756a\u6700\u521d\u306b\u8003\u3048\u308b\u9053 $ e $ \u306f\u3001$x_0$ \u304b\u3089\u51fa\u767a\u3057\u3066\u3001\u305a\u30fc\u3063\u3068 $x_0$ \u306b\u3044\u3066\u3001$x_0$ \u306b\u5e30\u3063\u3066\u304f\u308b\u9053\u3067\u3059\u3002\u3053\u3046\u3044\u3046\u3001\u5168\u304f\u52d5\u304b\u306a\u3044\u3082\u306e\u3082\u9053\u3068\u3057\u3066\u8003\u3048\u308b\u4e8b\u306b\u3057\u307e\u3059\u3002

\u6b21\u306b\u3001\u56f3\u306e\u8d64\u3044\u7dda $ \\alpha $ \u3068\u3057\u3066\u3001$ x_0$ \u3092\u51fa\u767a\u3057\u3066\u3001\u305d\u3053\u3089\u3078\u3093\u3092\u5c11\u3057\u56de\u3063\u3066 $x_0$ \u306b\u623b\u3063\u3066\u304f\u308b\u9053\u3092\u8003\u3048\u307e\u3059\u3002<\/p>\n\n\n\n

\"\"<\/figure>\n\n\n\n

\u3053\u308c\u306f\u3001$ e $ \u3068\u540c\u3058\u9053\u3067\u3057\u3087\u3046\u304b\u3001\u9055\u3046\u9053\u3067\u3057\u3087\u3046\u304b\uff1f
\u5186\u76e4\u306e\u4e0a\u3067\u306f\u3001\u9053\u3092\u5c11\u3057\u3065\u3064\u9023\u7d9a\u7684\u306b\u79fb\u52d5\u3055\u305b\u308b\u3053\u3068\u3067\u3001\u3069\u306e\u3088\u3046\u306a $\\alpha$ \u306b\u5bfe\u3057\u3066\u3082\u3001$ e $ \u307e\u3067\u5909\u5f62\u3059\u308b\u4e8b\u304c\u3067\u304d\u307e\u3059\u3002

\u3068\u3044\u3046\u4e8b\u3067\u3001\u5b9f\u306f\u3001\u5186\u76e4\u4e0a\u306b\u306f\u9053\u306f\u4e00\u7a2e\u985e\u3057\u304b\u306a\u304f\u3001$ P (D) = { e } $ \u3067\u3042\u308b\u3068\u3044\u3046\u4e8b\u306b\u306a\u308a\u307e\u3059\u3002

$P$ \u304c $1$\u70b9\u96c6\u5408\u306e\u5834\u5408\u306f\u6f14\u7b97\u3092\u8003\u3048\u308b\u5fc5\u8981\u304c\u306a\u3044\u306e\u3067\u3001\u5186\u76e4 $D$ \u306e\u4e00\u6b21\u5143\u30db\u30e2\u30ed\u30b8\u30fc\u7fa4 $H_1 (D) = { e }$ \u3068\u306a\u308a\u307e\u3059\u3002<\/p>\n\n\n\n

\u7a74\u3042\u304d\u5186\u76e4\u306e\u4e0a\u306e\u9053\u306e\u96c6\u5408<\/strong><\/h3>\n\n\n\n

\u305d\u306e\u6b21\u306b\u7c21\u5358\u306a\u4f8b\u3092\u8003\u3048\u3066\u307f\u307e\u3057\u3087\u3046\u3002
$A$ \u3068\u3057\u3066\u3001\u5186\u76e4\u306b\u7a74\u3092\u958b\u3051\u305f\u3082\u306e\u3092\u8003\u3048\u307e\u3059\u3002$A$ \u4e0a\u306e\u9053\u3068\u3057\u3066\u3001\u8d64\u3044\u7dda\u3092\u8003\u3048\u308b\u3068\u3001\u3053\u308c\u306f\u5148\u7a0b\u3068\u540c\u69d8\u306b\u6b62\u307e\u3063\u305f\u9053 $e$ \u3068\u540c\u3058\u3067\u3059\u3002
\u3068\u3053\u308d\u304c\u3001\u9752\u3044\u7dda\u306b\u3088\u308b\u9053\u3092\u8003\u3048\u308b\u3068\u3001\u3053\u306e\u9053\u306f\u3069\u306e\u3088\u3046\u306b\u5909\u5f62\u3057\u3066\u3082\u5186\u76e4\u306e\u7a74\u306b\u5f15\u3063\u304b\u304b\u3063\u3066\u3057\u307e\u3046\u305f\u3081\u306b\u3001$e$ \u3068\u306f\u9055\u3046\u9053\u3060\u3068\u8003\u3048\u3089\u308c\u307e\u3059\u3002<\/p>\n\n\n\n

\"\"<\/figure>\n\n\n\n

\u305d\u308c\u3067\u306f\u3001\u4ed6\u306b\u3069\u306e\u3088\u3046\u306a\u9053\u304c\u3042\u308b\u3067\u3057\u3087\u3046\u304b\uff1f
\u4f8b\u3048\u3070\u3001\u8d64\u3044\u7dda\u3092$2$\u56de\u307e\u308f\u308b\u9053\u3001\u9006\u5411\u304d\u306b\u56de\u308b\u9053\u306a\u3069\u306f\u3001\u5143\u3005\u306e\u8d64\u3044\u7dda\u3068\u306f\u9055\u3046\u9053\u306b\u306a\u308a\u307e\u3059\u3002\u4e00\u65b9\u3067\u3001\u3069\u306e\u3088\u3046\u306a\u7dda\u3092\u66f8\u3044\u3066\u3082\u3001\u3046\u307e\u304f\u5909\u5f62\u3059\u308b\u3068\u3001\u8d64\u3044\u7dda\u3092\u4f55\u56de\u304b\u307e\u308f\u308b\u9053\u3068\u540c\u3058\u3067\u3042\u308b\u3053\u3068\u304c\u793a\u305b\u307e\u3059\u3002\uff08\u8a3c\u660e\u306f\u305d\u308c\u306a\u308a\u306b\u5927\u5909\u306a\u306e\u3067\u5272\u611b\u3055\u305b\u3066\u3044\u305f\u3060\u304d\u307e\u3059\uff09

\u3064\u307e\u308a\u3001$P(A) = { \u8d64\u3044\u7dda\u3092 n \u56de\u307e\u308f\u308b\u9053 \\mid n \u306f\u6574\u6570 }$ \u3068\u306a\u308b\u306e\u3067\u3059\u3002

\u3053\u306e\u5834\u5408\u306f\u3001\u96c6\u5408 $P$ \u3068\u9053\u3092\u3064\u306a\u3050\u6f14\u7b97\u3092\u7d44\u306b\u3057\u305f\u3082\u306e\u304c\u3001\u4e00\u6b21\u5143\u306e\u30db\u30e2\u30ed\u30b8\u30fc\u7fa4 $H_1(A)$ \u3068\u306a\u308a\u307e\u3059\u3002\u3053\u306e\u7fa4\u306f\u3001\u62bd\u8c61\u7684\u306b\u306f\u6574\u6570\u5168\u4f53\u306e\u3064\u304f\u308b\u7fa4 $\\mathbb Z$ \u3068\u540c\u3058\u3060\u3068\u307f\u306a\u305b\u308b\u306e\u3067\u3001$ H_1(A) \\cong {\\mathbb Z}$ \u3068\u66f8\u3044\u305f\u308a\u3057\u307e\u3059\u3002<\/p>\n\n\n\n

\u30c8\u30fc\u30e9\u30b9\u306e\u4e0a\u306e\u9053\u306e\u96c6\u5408<\/strong><\/h3>\n\n\n\n

\u305d\u306e\u6b21\u306b\u8907\u96d1\u306a\u30b1\u30fc\u30b9\u304c\u30c8\u30fc\u30e9\u30b9 $T$ \u3067\u3059\u3002
$ e $ \u4ee5\u5916\u306e\u9053\u3068\u3057\u3066\u3001\u307e\u305a\u601d\u3044\u3064\u304f\u306e\u304c\u3001\u56f3\u306b\u66f8\u3044\u305f\u8d64\u3044\u7dda $ \\alpha $ \u3068\u3001\u9752\u3044\u7dda $\\beta $ \u3067\u306f\u306a\u3044\u3067\u3057\u3087\u3046\u304b\u3002<\/p>\n\n\n\n

\"\"<\/figure>\n\n\n\n

\u3053\u306e $3$ \u3064\u306f\u3001\u304a\u4e92\u3044\u306b\u3069\u3046\u3084\u3063\u3066\u3082\u9023\u7d9a\u7684\u306b\u79fb\u3057\u5408\u3046\u3053\u3068\u306f\u3067\u304d\u307e\u305b\u3093\u3002\u8a3c\u660e\u3059\u308b\u306b\u306f\u305d\u308c\u306a\u308a\u306b\u624b\u9593\u304c\u304b\u304b\u308b\u306e\u3067\u3059\u304c\u3001\u76f4\u611f\u7684\u306b\u306f\u307b\u3068\u3093\u3069\u660e\u3089\u304b\u3067\u3057\u3087\u3046\u3002

\u305d\u308c\u4ee5\u5916\u306b\u3069\u306e\u3088\u3046\u306a\u9053\u304c\u3042\u308b\u304b\u3068\u8a00\u3046\u3068\u3001\u305f\u3068\u3048\u3070\u3001\u307e\u305a $\\alpha$ \u3092\u8fbf\u3063\u3066\u3001\u6b21\u306b $\\beta$ \u3092\u8fbf\u308b\u3068\u3044\u3046\u9053\u304c\u3042\u308a\u307e\u3059\u3002\u3053\u308c\u306f\u3001\u9023\u7d9a\u7684\u306b\u5909\u5f62\u3059\u308b\u3068\u3001\u7dd1\u3067\u66f8\u3044\u305f $ \\gamma $ \u3068\u3044\u3046\u9053\u306b\u306a\u308a\u307e\u3059\u3002

\u3067\u306f\u3001\u5148\u306b $\\beta$ \u3092\u8fbf\u3063\u3066\u3001\u6b21\u306b $\\alpha$ \u3092\u8fbf\u308b\u3068\u3069\u3046\u306a\u308b\u3067\u3057\u3087\u3046\u304b\uff1f \u5b9f\u306f\u3001\u3053\u308c\u3082\u9023\u7d9a\u7684\u306b\u5909\u5f62\u3059\u308b\u3068 $ \\gamma $ \u3068\u3044\u3046\u9053\u306b\u306a\u308a\u307e\u3059\u3002

\u5b9f\u306f\u3001\u30c8\u30fc\u30e9\u30b9\u306e\u5834\u5408\u306f\u3001\u3044\u304f\u3064\u304b\u306e\u9053\u3092\u9806\u756a\u306b\u8fbf\u3063\u305f\u3068\u304d\u306b\u3067\u304d\u308b\u65b0\u3057\u3044\u9053\u306f\u8fbf\u308b\u9806\u756a\u306b\u3088\u3089\u305a\u306b\u6c7a\u307e\u308b\u306e\u3067\u3001\u65b0\u3057\u3044\u9053 $\\gamma$ \u3092\u8db3\u3057\u7b97\u306e\u8a18\u53f7\u3092\u4f7f\u3063\u3066 $ \\gamma = \\alpha + \\beta = \\beta + \\alpha $ \u3068\u66f8\u304f\u4e8b\u306b\u3057\u307e\u3059\u3002

\u30c9\u30fc\u30ca\u30c4\u306e\u7d75\u3092\u307f\u308b\u3068\u308f\u304b\u308a\u306b\u304f\u3044\u304b\u3082\u3057\u308c\u307e\u305b\u3093\u304c\u3001\u30c9\u30e9\u30af\u30a8\u306e\u5730\u56f3\uff08\u30924\u500d\u306b\u3057\u305f\u3082\u306e\uff09\u3092\u307f\u308b\u3068\u3001\u3069\u3046\u3084\u3063\u3066\u9023\u7d9a\u7684\u306b\u52d5\u304b\u305b\u3070\u3044\u3044\u304b\u3001\u3059\u3050\u306b\u7406\u89e3\u3067\u304d\u308b\u306e\u3067\u306f\u306a\u3044\u3067\u3057\u3087\u3046\u304b\u3002<\/p>\n\n\n\n

\"\"<\/figure>\n\n\n\n

\u3055\u3066\u3001\u3053\u308c\u3067\u3001$ e, \\alpha, \\beta, \\gamma $ \u306e $3$ \u3064\u306e\u9053\u304c\u3042\u308b\u3053\u3068\u304c\u308f\u304b\u308a\u307e\u3057\u305f\u3002\u305d\u308c\u4ee5\u5916\u306b\u306f\u3069\u306e\u3088\u3046\u306a\u9053\u304c\u3042\u308b\u3067\u3057\u3087\u3046\u304b\u3002\u305f\u3068\u3048\u3070\u3001$ \\alpha $ \u30922\u56de\u8fbf\u308b\u9053\u3001$ \\alpha $ \u3092\u9006\u65b9\u5411\u306b\u8fbf\u308b\u9053\u3001$\\alpha $ \u3092 $2$ \u56de\u3068 $\\beta$ \u3092 $3$ \u56de\u8fbf\u308b\u9053\u3001\u306a\u3069\u306a\u3069\u3001\u7121\u9650\u306b\u601d\u3044\u3064\u304d\u307e\u3059\u3002

\u305d\u308c\u3089\u3092\u5408\u308f\u305b\u3066\u8003\u3048\u308b\u3068\uff08\u8a3c\u660e\u306f\u9762\u5012\u306a\u306e\u3067\u3059\u304c\uff09\u76f4\u611f\u7684\u306b\u306f\u3001\u30c8\u30fc\u30e9\u30b9\u4e0a\u306e\u5168\u3066\u306e\u9053\u306e\u96c6\u5408\u306f\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u306a\u308b\u4e8b\u304c\u308f\u304b\u308a\u307e\u3059\u3002

$ P (T) = { a \\alpha + b \\beta \\mid a, b \\in \\mathbb{Z} } $

\u3053\u3053\u3067\u3001\u9053\u3092\u7e4b\u3050\u6f14\u7b97\u3092 $+$ \u3068\u66f8\u304f\u3053\u3068\u306b\u3057\u3066\u3044\u307e\u3059\u3002

\u3053\u306e\u5834\u5408\u3082 $P$ \u306b\u3001\u9053\u3092\u3064\u306a\u3050\u6f14\u7b97 $+$ \u3092\u8003\u3048\u305f\u3082\u306e\u304c\u3001\u4e00\u6b21\u5143\u306e\u30db\u30e2\u30ed\u30b8\u30fc\u7fa4\u3068\u306a\u308a\u307e\u3059\u3002\u6570\u5b66\u3063\u307d\u304f\u3044\u3046\u3068\u3001$H_1(T) $ \u306f\u3001$2$ \u3064\u306e\u6574\u6570 $\\mathbb{Z}$ \u306e\u76f4\u7a4d\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n\n\n\n

\u8907\u96d1\u306a\u7a7a\u9593\u306e\u30db\u30e2\u30ed\u30b8\u30fc\u7fa4\u3068\u8a08\u7b97\u65b9\u6cd5<\/strong><\/h3>\n\n\n\n

\u4eca\u56de\u306f\u3001\u3053\u308c\u4ee5\u4e0a\u8907\u96d1\u306a\u5834\u5408\u306b\u95a2\u3057\u3066\u306f\u6df1\u5165\u308a\u3057\u307e\u305b\u3093\u304c\u3001\u4e00\u822c\u306e\u7a7a\u9593\u306b\u5bfe\u3059\u308b\u30db\u30e2\u30ed\u30b8\u30fc\u7fa4\u3067\u306f\u3001\u9053\u306e\u96c6\u5408\u306e\u4e0a\u306e\u6f14\u7b97\u3068\u3057\u3066\u3001\u5358\u306b\u9053\u3092\u3064\u306a\u3050\u3060\u3051\u3067\u306f\u306a\u304f\u3066\u300c\u3064\u306a\u3050\u9806\u756a\u3092\u5165\u308c\u66ff\u3048\u305f\u3082\u306e\u3082\u540c\u3058\u9053\u3060\u3068\u307f\u306a\u3059\u300d\u3068\u3044\u3046\u6f14\u7b97\u304c\u5fc5\u8981\u306b\u306a\u308a\u307e\u3059\u3002

\u307e\u305f\u3001\u5b9f\u969b\u306b\u30db\u30e2\u30ed\u30b8\u30fc\u7fa4\u3092\u3069\u3046\u3084\u3063\u3066\u8a08\u7b97\u3059\u308b\u304b\u3001\u3068\u3044\u3046\u4e8b\u306b\u3064\u3044\u3066\u3082\u4eca\u56de\u306f\u89e6\u308c\u307e\u305b\u3093\u304c\u3001\u7a7a\u9593\u306e\u4e09\u89d2\u5f62\u5206\u5272\u304c\u3042\u308c\u3070\u3001\u305d\u3053\u304b\u3089\u30b4\u30ea\u30b4\u30ea\u3068\u8a08\u7b97\u3059\u308b\u4e8b\u304c\u3067\u304d\u308b\u305f\u3081\u306b\u3001\u8a08\u7b97\u6a5f\u4e0a\u306e\u8a08\u7b97\u3068\u306f\u76f8\u6027\u304c\u826f\u3044\u3068\u3044\u3046\u4e8b\u3060\u3051\u3092\u8ff0\u3079\u3066\u304a\u304d\u307e\u3059\u3002<\/p>\n\n\n\n

\u30d1\u30fc\u30b7\u30b9\u30c6\u30f3\u30c8\u30db\u30e2\u30ed\u30b8\u30fc<\/strong><\/h3>\n\n\n\n

\u4e0e\u3048\u3089\u308c\u305f\u70b9\u7fa4\u306b\u5bfe\u3057\u3066\u3001\u30db\u30e2\u30ed\u30b8\u30fc\u7fa4\u3092\u4f7f\u3063\u3066\u7279\u5fb4\u3092\u6349\u3048\u3088\u3046\u3068\u3044\u3046\u8a66\u307f\u306e\u4e00\u3064\u304c\u3001\u30d1\u30fc\u30b7\u30b9\u30c6\u30f3\u30c8\u30db\u30e2\u30ed\u30b8\u30fc\u3068\u3044\u3046\u8003\u3048\u65b9\u3067\u3059\u3002<\/p>\n\n\n\n

\u30d1\u30fc\u30b7\u30b9\u30c6\u30f3\u30c8\u30db\u30e2\u30ed\u30b8\u30fc\u7fa4\u306e\u5b9a\u7fa9<\/strong><\/h3>\n\n\n\n

\u4e0e\u3048\u3089\u308c\u305f\u70b9\u7fa4\u3092 $P = { p_1, p_2, \\cdots, p_n } $ \u3068\u3057\u307e\u3059\u3002
\u6b63\u306e\u6574\u6570 $d > 0$ \u306b\u5bfe\u3057\u3066\u3001\u4e09\u89d2\u5f62\u5206\u5272\u3055\u308c\u305f\u7a7a\u9593 $X_d$ \u3092\u4ee5\u4e0b\u3067\u5b9a\u3081\u307e\u3059\u3002<\/p>\n\n\n\n

    \n
  • \u70b9\u7fa4\u306e\u305d\u308c\u305e\u308c\u306e\u70b9\u306b\u5bfe\u3057\u3066\u534a\u5f84 $d$ \u306e\u7403\u3092\u8003\u3048\u307e\u3059\u3002<\/li>\n\n\n\n
  • \u70b9\u7fa4\u306e $2$ \u3064\u306e\u70b9 $p, q$ \u306b\u5bfe\u3057\u3066\u3001\u305d\u308c\u3089\u3092\u4e2d\u5fc3\u3068\u3057\u305f\u7403\u304c\u4ea4\u308f\u3063\u3066\u3044\u308c\u3070\u3001$p$ \u3068 $q$ \u306e\u9593\u306b\u8fba\u3092\u5f15\u304d\u307e\u3059\u3002<\/li>\n\n\n\n
  • \u70b9\u7fa4\u306e $3$ \u3064\u306e\u70b9\u306b\u5bfe\u3057\u3066\u3001$3$ \u3064\u306e\u7403\u306b\u5171\u901a\u90e8\u5206\u304c\u3042\u308c\u3070\u3001\u305d\u306e $3$ \u70b9\u3067\u304b\u3053\u307e\u308c\u305f\u9818\u57df\u306b\u4e09\u89d2\u5f62\u3092\u4f5c\u308a\u307e\u3059\u3002<\/li>\n<\/ul>\n\n\n\n

    \u3053\u306e\u3088\u3046\u306b\u3057\u3066\u3001\u70b9\u7fa4 $P$ \u306b\u5bfe\u3057\u3066, \u6b63\u6570 $d$ \u3092\u6c7a\u3081\u308b\u305f\u3073\u306b\u3001\u4e09\u89d2\u5f62\u5206\u5272\u3055\u308c\u305f\u7a7a\u9593 $X_d$ \u3092\u4f5c\u308b\u4e8b\u304c\u3067\u304d\u307e\u3059\u3002
    \u3053\u306e\u7a7a\u9593\u306e $l$ \u6b21\u5143\u30db\u30e2\u30ed\u30b8\u30fc\u3092 $ H_l (X_d) $ \u3068\u3059\u308b\u3068\u3001$d$ \u3092 $d_0, d_1, d_2, \\cdots $ \u3068\u5909\u3048\u308b\u306b\u3057\u305f\u304c\u3063\u3066\u5909\u5316\u3059\u308b $l$ \u6b21\u5143\u30db\u30e2\u30ed\u30b8\u30fc\u7fa4\u306e\u5217 $ H_l(X_{d_0}), H_l(X_{d_1}), \\cdots $ \u304c\u5f97\u3089\u308c\u307e\u3059\u3002

    \u3053\u308c\u3092 $l$ \u6b21\u5143\u306e\u30d1\u30fc\u30b7\u30b9\u30c6\u30f3\u30c8\u30db\u30e2\u30ed\u30b8\u30fc\u7fa4\u3068\u547c\u3073\u307e\u3059\u3002<\/p>\n\n\n\n

    \u5177\u4f53\u4f8b<\/strong><\/h3>\n\n\n\n

    \u305d\u308c\u3067\u306f\u3001\u7c21\u5358\u306a\u4f8b\u3092\u8a08\u7b97\u3057\u3066\u307f\u307e\u3057\u3087\u3046\u3002

    \u4e0b\u306e\u56f3\u306f $P$ \u3068\u3057\u3066 $8$ \u3064\u306e\u70b9\u3092\u8003\u3048\u3066\u3001\u5de6\u304b\u3089\u3001$d =d_1, d_2, d_3, d_4$ \u3068\u5c11\u3057\u305a\u3064\u534a\u5f84\u3092\u5927\u304d\u304f\u3057\u3066\u3044\u3063\u305f\u56f3\u3067\u3059\u3002<\/p>\n\n\n\n

    \"\"<\/figure>\n\n\n\n

    $d=d_1$ \u3067\u306f\u3001\u53f3\u5074\u306e $3$ \u3064\u306e\u70b9\u3092\u4e2d\u5fc3\u3068\u3057\u305f\u5186\u304c\u4e92\u3044\u306b\u91cd\u306a\u308a\u3001$3$ \u672c\u306e\u8fba\u304c\u3067\u304d\u307e\u3059\u3002\u3053\u308c\u306f\u3001\u4f4d\u76f8\u7684\u306b\u306f\u7a74\u306e\u3042\u3044\u305f\u5186\u76e4\u3068\u540c\u3058\u304b\u305f\u3061\u3067\u3001\u9053\u5168\u4f53\u306e\u96c6\u5408\u306f\u3001\u9752\u306e\u7dda\u3092\u4f55\u56de\u307e\u308f\u308b\u304b\u3060\u3051\u3067\u8a18\u8ff0\u3067\u304d\u3001$H_1(X_{d_1}) \\cong \\mathbb{Z}$ \u3068\u306a\u308a\u307e\u3059\u3002\u6642\u9593 $d=d_1$ \u3067\u3001\u65b0\u3057\u3044\u30db\u30e2\u30ed\u30b8\u30fc\u5143\u3068\u3057\u3066\u9752\u306e\u9053\u304c\u8a95\u751f\u3057\u305f\u3001\u3068\u8003\u3048\u308b\u4e8b\u304c\u3067\u304d\u307e\u3059\u3002

    $d=d_2$ \u3067\u306f\u3001\u53f3\u5074\u306e $3$ \u3064\u306e\u70b9\u3092\u4e2d\u5fc3\u3068\u3057\u305f\u5186\u304c $3$ \u3064\u540c\u6642\u306b\u91cd\u306a\u308a\u3001\u4e09\u89d2\u5f62\u304c $1$ \u679a\u3067\u304d\u307e\u3059\u3002\u3053\u306e\u6642\u306b\u3001\u5148\u307b\u3069\u3067\u304d\u305f\u9752\u306e\u9053\u306f\u3001\u30db\u30e2\u30ed\u30b8\u30fc\u5143\u3068\u3057\u3066\u306f\u57fa\u70b9\u306b\u305a\u3063\u3068\u6b62\u307e\u3063\u3066\u3044\u308b\u5143 $e$ \u3068\u540c\u3058\u306b\u306a\u308b\u305f\u3081\u3001\u30db\u30e2\u30ed\u30b8\u30fc\u5143\u3068\u3057\u3066\u306f\u6d88\u6ec5\u3057\u305f\u3068\u8003\u3048\u308b\u4e8b\u306b\u3057\u307e\u3059\u3002

    $d=d_3$ \u3067\u306f\u3001\u5de6\u5074\u306e $6$ \u3064\u306e\u70b9\u3092\u4e2d\u5fc3\u3068\u3057\u305f\u5186\u304c\u4e92\u3044\u306b\u91cd\u306a\u308a\u3001\u8d64\u306e\u7dda\u3067\u3067\u304d\u305f\u9053\u304c\u65b0\u3057\u3044\u30db\u30e2\u30ed\u30b8\u30fc\u5143\u3068\u3057\u3066\u8a95\u751f\u3057\u307e\u3059\u3002

    $d=d_4$ \u307e\u3067\u9032\u3080\u3068\u3001\u5de6\u5074\u306b\u516d\u89d2\u5f62\u304c\u3067\u304d\u3001\u8d64\u306e\u9053\u306f\u30db\u30e2\u30ed\u30b8\u30fc\u5143\u3068\u3057\u3066\u306f\u6d88\u6ec5\u3057\u307e\u3059\u3002<\/p>\n\n\n\n

    \u30d1\u30fc\u30b7\u30b9\u30c6\u30f3\u30c8\u56f3<\/strong><\/h3>\n\n\n\n

    \u30d1\u30fc\u30b7\u30b9\u30c6\u30f3\u30c8\u30db\u30e2\u30ed\u30b8\u30fc $ H_1(X_{d_1}), H_1(X_{d_2}), \\cdots $ \u306b\u5bfe\u3057\u3066\u3001\u305d\u306e\u751f\u6210\u5143\u306e\u767a\u751f\u3068\u6b7b\u6ec5\u306e\u6642\u9593\u3092\u30d7\u30ed\u30c3\u30c8\u3057\u305f\u3082\u306e\u3092\u3001\u30d1\u30fc\u30b7\u30b9\u30c6\u30f3\u30c8\u56f3\u3068\u547c\u3073\u307e\u3059\u3002

    \u5148\u7a0b\u306e\u4f8b\u306b\u95a2\u3057\u3066\u306e\u30d1\u30fc\u30b7\u30b9\u30c6\u30f3\u30c8\u56f3\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n\n\n\n

    \"\"<\/figure>\n\n\n\n

    \u9752\u3044\u7dda\u306b\u5bfe\u5fdc\u3059\u308b\u30db\u30e2\u30ed\u30b8\u30fc\u5143\u306f\u5bfe\u89d2\u7dda\u306b\u8fd1\u3044\u90e8\u5206\u306b\u3042\u308a\u307e\u3059\u304c\u3001\u3053\u308c\u306f\u751f\u6210\u3057\u3066\u3059\u3050\u6b7b\u6ec5\u3059\u308b\u30db\u30e2\u30ed\u30b8\u30fc\u5143\u4e8b\u3092\u3042\u3089\u308f\u3057\u307e\u3059\u3002

    \u4e00\u65b9\u3001\u8d64\u3044\u7dda\u306b\u5bfe\u5fdc\u3059\u308b\u30db\u30e2\u30ed\u30b8\u30fc\u5143\u306f\u5bfe\u89d2\u7dda\u304b\u3089\u6bd4\u8f03\u7684\u9060\u3044\u90e8\u5206\u306b\u3042\u308a\u307e\u3059\u304c\u3001\u3053\u308c\u306f\u9577\u3044\u6642\u9593\u5b89\u5b9a\u3057\u3066\u5b58\u5728\u3057\u3066\u308b\u4e8b\u3092\u3042\u3089\u308f\u3057\u3001\u70b9\u7fa4\u306e\u5927\u57df\u7684\u306a\u69cb\u9020\u306b\u5bfe\u5fdc\u3059\u308b\u3068\u8003\u3048\u3089\u308c\u307e\u3059\u3002

    \u3053\u306e\u3088\u3046\u306b\u3001\u70b9\u7fa4\u306b\u5bfe\u3057\u3066\u30d1\u30fc\u30b7\u30b9\u30c6\u30f3\u30c8\u30db\u30e2\u30ed\u30b8\u30fc\u7fa4\u3068\u30d1\u30fc\u30b7\u30b9\u30c6\u30f3\u30c8\u56f3\u3092\u8a08\u7b97\u3059\u308b\u3068\u70b9\u7fa4\u306e\u69cb\u9020\u306b\u5bfe\u3059\u308b\u3042\u308b\u7a2e\u306e\u60c5\u5831\u304c\u5f97\u3089\u308c\u308b\u4e8b\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n\n\n\n

    \u304a\u308f\u308a\u306b<\/strong><\/h3>\n\n\n\n

    \u4eca\u56de\u306e\u8a18\u4e8b\u3067\u306f\u3001\u30d1\u30fc\u30b7\u30b9\u30c6\u30f3\u30c8\u30db\u30e2\u30ed\u30b8\u30fc\u3092\u7c21\u5358\u306b\u7d39\u4ecb\u3055\u305b\u3066\u3044\u305f\u3060\u304d\u307e\u3057\u305f\u3002
    \u30c8\u30dd\u30ed\u30b8\u30fc\u3068\u3044\u3046\u5206\u91ce\u306f\u3001\u6570\u5b66\u306e\u4e2d\u3067\u3082\u306a\u304b\u306a\u304b\u7fd2\u308f\u306a\u3044\u5206\u91ce\u306a\u306e\u3067\u3001\u99b4\u67d3\u307f\u306e\u306a\u3044\u65b9\u304c\u591a\u3044\u306e\u3067\u306f\u306a\u3044\u304b\u3068\u601d\u3044\u307e\u3059\u304c\u3001\u3061\u3087\u3063\u3068\u3067\u3082\u8208\u5473\u3092\u6301\u3063\u3066\u3044\u305f\u3060\u3051\u305f\u3089\u3042\u308a\u304c\u305f\u3044\u3067\u3059\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"

    \uff5e \u30c8\u30dd\u30ed\u30b8\u30fc\u3068\u30d1\u30fc\u30b7\u30b9\u30c6\u30f3\u30c8\u30db\u30e2\u30ed\u30b8\u30fc \uff5e \u306f\u3058\u3081\u306b \u7269\u4f53\u3092\u30b9\u30ad\u30e3\u30f3\u3059\u308b\u306a\u3069\u3057\u3066\u5f97\u3089\u308c\u305f 3\u6b21\u5143\u306e\u70b9\u7fa4\u304b\u3089\u3001\u3082\u3068\u306e\u7269\u4f53\u306e\u304b\u305f\u3061\u306b\u95a2\u3059\u308b\u60c5\u5831\u3092\u5f97\u308b\u305f\u3081\u306b\u3001\u3055\u307e\u3056\u307e\u306a\u65b9\u6cd5\u304c\u7528\u3044\u3089\u308c\u307e\u3059\u3002 \u4f8b\u3048\u3070\u3001Arithmer \u3067\u306f3D … <\/p>\n","protected":false},"author":3,"featured_media":80,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3],"tags":[4,5],"_links":{"self":[{"href":"https:\/\/arithmer.blog\/index.php?rest_route=\/wp\/v2\/posts\/59"}],"collection":[{"href":"https:\/\/arithmer.blog\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/arithmer.blog\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/arithmer.blog\/index.php?rest_route=\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/arithmer.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=59"}],"version-history":[{"count":29,"href":"https:\/\/arithmer.blog\/index.php?rest_route=\/wp\/v2\/posts\/59\/revisions"}],"predecessor-version":[{"id":2367,"href":"https:\/\/arithmer.blog\/index.php?rest_route=\/wp\/v2\/posts\/59\/revisions\/2367"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/arithmer.blog\/index.php?rest_route=\/wp\/v2\/media\/80"}],"wp:attachment":[{"href":"https:\/\/arithmer.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=59"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/arithmer.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=59"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/arithmer.blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=59"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}