数学において、偶数( 2で割り切れる整数)は、 4の倍数であれば偶数偶数または倍偶数と呼ばれ、そうでなければ奇数偶数または単偶数と呼ばれる。前者の名称は古代ギリシャ数学に由来する伝統的なものであり、後者の名称は近年一般的になったものである。
これらの名前は、数論における基本的な概念である整数の2次数、つまりその整数が2で何回割り切れるかを反映しています。具体的には、ゼロでない整数nの2次数は、次の条件を満たす最大の整数kです。は整数です。これは素因数分解における2の重複度に相当します。
奇数と偶数を分けて考えることは、数学の多くの分野、特に数論、組み合わせ論、符号理論(より具体的には偶数符号)などで有用である。
古代ギリシャ語の「偶数倍偶数」(古代ギリシャ語: ἀρτιάκις ἄρτιος)と「偶数倍奇数」(古代ギリシャ語: ἀρτιάκις περισσόςまたはἀρτιοπέριττος )という用語には、ユークリッドやニコマコスなどの後世の著述家によって、さまざまな異なる定義が与えられました。[ 1 ]今日では、これらの概念は標準的な形で展開されています。2 進数または 2 進順序は、一般的な素数pにおけるp進順序の特殊なケースにすぎません。この数学の広範な分野の詳細については、 p進数を参照してください。以下の定義の多くは、他の素数にも直接一般化できます。
整数nに対して、 nの 2 位(評価とも呼ばれる) は、2νがnを割り切る 最大の自然数 ν です。この定義は正の数 n と負の数nの両方に適用されますが、一部の著者はこれを正のnに限定しています。また、0 の 2 位を無限大と定義することもできます (ゼロのパリティも参照)。[ 2 ] nの 2 位はν2 ( n ) または ord2 ( n )と表記されます。これは、 2 を法とする乗法の位と混同してはいけません。
2次数は、偶数性によって定義される様々な整数クラスを統一的に記述する。
また、 ν 2 ( q ) を一意の整数 ν と定義することにより、2 次を有理数に拡張することもできます。
そして、aとbは両方とも奇数です。例えば、半整数は負の2進数、つまり-1を持ちます。最後に、2進絶対値を定義することによって
2進数の構築に向けて順調に進んでいる。
ダーツゲームの目的はスコアを0にすることなので、スコアの低いプレイヤーが勝つ可能性が高くなります。レッグの開始時、「低い」とは絶対値という意味で、基本的な戦略はダーツボードの高得点エリアを狙い、できるだけ多くのポイントを獲得することです。レッグの終了時には、勝つためにはダブルアウトする必要があるため、2進絶対値が関連する尺度になります。絶対値がどれほど小さくても、奇数スコアの場合は少なくとも2本のダーツで勝つ必要があります。2から40までの偶数スコアは1本のダーツで達成できますが、ミスの影響を考えると、40は2よりもはるかに望ましいスコアです。
ダブルリングを狙うときによくあるミスは、シングルに当ててしまい、誤ってスコアを半分にしてしまうことです。スコアが22(偶数)の場合、ダブル11のゲームショットがあります。シングル11に当てると、新しいスコアは奇数である11になり、回復するには少なくともさらに2本のダーツが必要になります。対照的に、ダブル12を狙う場合、同じミスをしても、D12、D6、D3の3つのゲームショットが連続して残ります。一般的に、スコアn < 42の場合、このようなゲームショットはν 2 ( n )個あります。これが、32 = 2 5というスコアが非常に望ましい理由です。5回分割されるからです。[ 4 ] [ 5 ]
2の平方根が無理数であることの古典的な証明は、無限降下法によって行われます。通常、証明の降下部分は、有理数の既約表現の存在を仮定(または証明)することで抽象化されます。別の方法として、 ν2演算子の存在を利用する方法があります。
ここで、aとbはゼロでない自然数です。等式の両辺を二乗し、2 次評価演算子 ν 2を2 b 2 = a 2に適用します。
2次評価は整数であるため、その差は有理数と等しくなることはない。したがって、矛盾により、√2は有理数ではない。
より具体的には、2 b 2の評価は奇数であり、a 2の評価は偶数であるため、これらは異なる整数でなければなりません。簡単な計算で、下限値が得られます。差額について排中律に頼らずに不合理性の直接的な証明が得られる。[ 6 ]
幾何学的トポロジーでは、多様体の多くの性質は、mod 4 または mod 8 の次元のみに依存します。そのため、単偶数次元と二重偶数次元 (4 k +2 と 4 k ) の多様体をクラスとして研究することがよくあります。たとえば、二重偶数次元の多様体は、その中間次元のコホモロジー群上に対称な非退化双線形形式を持ち、その符号は整数値になります。逆に、単偶数次元の多様体は、その中間次元上に歪対称な非退化双線形形式を持ちます。これを二次形式に二次細分化すると(枠付き多様体の場合のように)、 mod 2 の不変量としてArf 不変量が得られます。対照的に、奇数次元の多様体はこれらの不変量を持ちませんが、代数的手術理論では、より複雑な不変量を定義できます。多様体の構造におけるこの4重および8重の周期性は、 L理論の4重周期性および実位相K理論の8重周期性に関連しており、これはボット周期性として知られている。
コンパクトな向き付けられた滑らかなスピン多様体の次元がn ≡ 4 mod 8またはν 2 ( n ) = 2である場合、その符号は 16 の整数倍になります。[ 7 ]
単偶数は強力数にはなり得ません。2乗の差として表すことはできません。しかし、単偶数は 2 つのプロニック数または 2 つの強力数の差として表すことができます。[ 8 ]
群論では、非可換有限単純群の位数が単偶数にならないことを示すのは比較的簡単である[ 9 ]。実際、フェイト・トンプソンの定理によれば、奇数にもならないので、そのような群はすべて二重偶数の位数を持つ。
ランバートのタンジェント関数の連分数では、正の偶数を含む次の単純な連分数が得られます。 [ 10 ]
有機化学において、ヒュッケル則( 4n + 2 則とも呼ばれる)は、偶数個のp 電子を含む環状π 結合系は芳香族性を示すと予測している。[ 12 ]
2次数は、整数が0 (mod 4) または 2 (mod 4) と合同かどうかを判定できますが、1 (mod 4) または 3 (mod 4) の違いを区別することはできません。この区別は、2つの平方数の和に関するフェルマーの定理など、いくつかの興味深い結果をもたらします。
{{cite book}}: CS1 maint: 複数の名前: 著者リスト (リンク)