基数
概要
基数は文脈によって異なる二つの数学的概念を指す用語である。第一は集合の元の個数、すなわち集合の大きさを表す数であり、有限集合だけでなく無限集合の大きさまで扱う集合論の中心概念である。第二は位取り記数法において各桁の重みを決める底（base, radix）を意味し、十進法の10や二進法の2のように数を表現する体系そのものを規定する。日常語では競馬の騎手や囲碁・将棋の棋士（棋手）を指す同音異義語としても使われる。
主要な内容
集合論における基数
集合の基数は、二つの集合の間に一対一対応が存在するとき、二つの集合の大きさが等しいと定義する方式で導入される。有限集合の基数は自然数で表されるが、無限集合では直観と異なる結果が得られる。自然数集合と整数集合、有理数集合はすべて同じ基数（アレフ・ゼロ、ℵ₀）を持ち、これを可算無限または数えられる無限と呼ぶ。一方、実数集合はカントールの対角線論法によって自然数との一対一対応が不可能であることが証明され、より大きな基数を持つ。その大きさを連続体の基数 𝔠 と呼ぶ。
カントールの定理によれば、任意の集合についてその冪集合は常により大きな基数を持つ。したがって基数には上限がなく、無限に大きくなる基数の階層が存在する。基数の大小比較と演算（和、積、冪）は選択公理とともに精緻に整理され、連続体仮説（ℵ₀と𝔠の間に別の基数が存在するか）はツェルメロ＝フレンケル公理系から独立であることが1963年にコーエンによって証明された。その後、無限基数の組合せ論、巨大基数（large cardinal）理論、強制法（forcing）が現代集合論の主要な研究分野として定着した。
記数法における基数（底）
位取り記数法において基数 b は、0から b-1 までの b 個の数字を用いて数を表現する体系をいう。例えば十進法は基数10、二進法は基数2、八進法は8、十六進法は16を用いる。任意の数を基数 b で表現すると各桁の値は b の冪になり、この性質によって四則演算と進法変換が体系的に行われる。
コンピュータ科学では二進法が基本的な表現方式であり、人間が読みやすいように4ビットをまとめた十六進法が広く併用される。色コード、メモリアドレス、文字エンコーディング（UTF-8）、暗号鍵の表現などが代表例である。また六十進法は時間と角度の単位に、十二進法は伝統的な数え方に、六十四進法（Base64）はバイナリデータのテキストエンコーディングに用いられる。非整数基数（黄金比記数法など）や負の基数による記数法といった変形も研究されてきた。
その他の同音異義語
競馬の騎手は馬に騎乗して競走する選手であり、体重と騎乗技術が競技力に大きな影響を与える。棋士（棋手）は囲碁・将棋・チェスなどのボードゲームの専門対局者を意味し、韓国語では通常「기사」と表記して混同を避ける。
最新の動向
2024-2025年時点で、基数の概念は二つの軸で注目されている。第一に、ソフトウェア・人工知能教育で二進法と進法変換、ビット・バイト単位の理解が必須の素養として強調され、2022年改訂教育課程の情報教科でも位取り記数法が中核概念として扱われている。量子コンピューティングの量子ビットは0と1の重ね合わせを利用するため、基数2の体系の拡張として説明され、量子アルゴリズムにおける記数法的な思考が教材にしばしば登場する。
第二に、形式数学証明ツールであるLean/mathlibのようなシステムで無限基数と連続体仮説の形式化が進み、集合論研究の再現性と検証可能性が高まった。また、大規模言語モデルのトークナイザーが語彙を数値的にエンコードする際、進法変換と整数表現が性能に影響を与えるという分析も増えている。
関連トピック
- [[記数法]]
- [[二進法]]
- [[十進法]]
- [[集合論]]
- [[カントール]]
- [[連続体仮説]]
- [[アレフ数]]
- [[競馬]]