「分数体」または「商体」と呼ばれる、数学における重要な構成法。整域Rに対して、それを部分環として含む最小の体Kを構築する。Kの元はRの元による分数b/a (a≠0) の形で表され、有理数体を整数環から得る構成の一般化にあたる。
可換環論は、乗法が可換である特別な環「可換環」を体系的に研究する数学の一分野です。19世紀にイデアルの概念が導入されて以来、ヒルベルトやネーターといった数学者たちによって基礎が築かれ、現代数学の様々な分野と深く関連しています。
可換環論における剰余体は、環Rを極大イデアルmで割ったR/mとして定義されます。特に局所環や代数幾何学のスキーム論において、点の局所的な情報や「座標体」を捉える上で極めて重要な概念です。その定義と性質、応用について解説します。
多項式の判別式は、その根が重根（重複した解）を持つかどうかの必要十分条件を与える、元の係数による多項式です。通常DやΔで表記され、代数方程式の解の性質を調べる上で非常に重要な概念です。
数学の位相空間論におけるT1-空間およびR0-空間は、点の分離性に関する分離公理の一つ。T1-空間は相異なる二点が開近傍で互いを含まないように分離できる空間。R0-空間は位相的に識別可能な二点について同様の条件を満たす。T1空間は一点集合が閉であるという重要な性質を持つ。
理論物理学における「コンパクト化」とは、高次元の時空間を、有限で周期的な小さな空間として扱う手法です。超ひも理論などで、観測される低次元宇宙と理論上の高次元を結びつけるために不可欠であり、様々な分野で応用されています。
ドイツのケルンで1998年に誕生したKompaktは、テクノシーンを牽引するレコードレーベルです。ミニマルを核に多様なエレクトロニックミュージックを展開。ウォルフガング・ヴォイトら著名アーティストを擁し、TotalやPop Ambient等の人気コンピレーションで世界中のファンを魅了しています。
論理的帰結とは、ある命題の集合（前提）から別の命題（結論）が論理的に必然的に導かれる関係を指します。これは、前提が真であるならば、結論もまた必然的に真となる性質であり、論理学や認識論において基本的な推論の妥当性を保証する概念です。
アメリカの数学者、論理学者、言語哲学者。自然言語の意味論に数理論理学を応用する革新的な「モンタギュー文法」を提唱し、形式意味論の礎を築いた。不慮の死によりその生涯を閉じた。
数学において、球を有限個の断片に分け、回転と平行移動だけで再構成すると、元の球と同じものが2つできるという定理。直感に反するためパラドックスと呼ばれますが、厳密に証明されています。ただし、分割される断片は通常の体積を持たない特異な集合です。
ソロモン・フェファーマンはアメリカの著名な哲学者・論理学者。数理論理学に重要な貢献をし、スタンフォード大学教授として活躍。ショック賞受賞、ゲーデル全集編集委員長も務めた。
ポーランドの論理学者、スタニスワフ・レシニェフスキ（1886-1939）。数学基礎論に関心を寄せ、オントロジー、メレオロジー、プロトテティックという独自の論理体系を構築。ルヴフ＝ワルシャワ学派を代表する人物の一人であり、対象言語とメタ言語の区別に関する先駆的な研究はアルフレト・タルスキにも影響を与えた。
カール・メンガーは、オーストリアおよびアメリカ合衆国で活躍した数学者（1902-1985）。代数学や幾何学、次元理論に貢献し、メンガーのスポンジ、距離幾何学、メンガーの定理で知られる。ゲーム理論や社会科学分野にも業績を残し、ウィーン学団でも活動した。
ポーランドの数学者アンジェイ・モストフスキ（1913-1975）は、数理論理学、特に再帰理論やモデル理論に多大な貢献をしました。モストフスキ崩壊補題で知られ、戦時中の困難な状況下でも研究を続けました。
戦闘教義の一つで、敵の前進を遅らせて時間を稼ぎ、消耗させる防御戦略。軍事分野だけでなく、情報セキュリティや火災予防など、複数の防御層を組み合わせる非軍事分野の概念としても広く応用される。「深層防御」とも呼ばれる。
水際作戦とは、敵の上陸を海岸線で阻止する軍事戦略です。転じて、感染症や密輸品など、外部からの不要な侵入を国の入口で防ぐ非軍事的な政策や対策、さらには学習戦略など、幅広い分野で用いられる言葉です。
軍事分野における「決心（decision）」は、作戦や戦闘において指揮官が部隊の行動方針を決定する意思決定プロセスです。状況判断に基づき、合理的な手段を選ぶために数学的モデル分析などが活用されます。
移動中の部隊が敵部隊と遭遇し、突発的に発生する戦闘を指す。攻撃の一段階と位置づけられ、状況が急速に変化するため、初動における主導権の獲得と迅速かつ柔軟な判断、戦力展開が勝敗を左右する重要な要素となる。
イギリス陸軍のジャングル戦闘教官を養成する専門訓練校。現在はブルネイの基地内に置かれ、熱帯地域での特殊な作戦に対応できる指導者を育成している。過去にはマレーシアを拠点とし、英連邦やアジア各国の兵士にも門戸を開いていた時期がある。
1970年公開の戦争映画「マッケンジー脱出作戦」は、第二次大戦下のスコットランドの捕虜収容所が舞台。ドイツ捕虜の大胆な脱走計画と、阻止に動く英軍情報部員の息詰まる攻防を描く。実話に着想を得た緊迫の物語。
防御または防禦（ぼうぎょ）は、他からの攻撃や脅威から自己や対象を護るための行為や状態を指します。軍事、スポーツ、生物、心理、情報セキュリティなど、幅広い分野でその概念が用いられます。
軍集団とは、複数の軍を統合した大規模な陸軍の編成単位です。国や時代により方面軍や戦線とも称され、総軍の下位に位置します。第一次・第二次大戦や冷戦期の主要国で用いられましたが、自衛隊には存在しません。
多領域作戦（MDO）は、米陸軍が中心となり開発した軍事思想。陸海空に加え宇宙・サイバー・電磁波を統合活用し、同等レベルの敵対者との競争優位確立を図る。全作戦段階を通じた戦い方を重視。日本の領域横断作戦も同趣旨。
作戦機動グループ（OMG）は、ソ連軍が1950年代初頭に考案した機動戦の概念です。第二次世界大戦時の縦深攻撃理論に基づき、主力に先行して敵戦線への突破と後方攪乱を目指す高速機動部隊として、冷戦期における重要な攻撃ドクトリンを形成しました。
アメリカ陸軍訓練教義コマンド（TRADOC）は、陸軍兵士の募集、訓練、教育を一手に担う主要な司令部です。その役割は、陸軍の全部隊が現在および将来のあらゆる戦場で敵を阻止し、勝利を収めるため、組織全体の能力向上と変革を推進する中核的な役割を担うことです。
計測機器分野における「感度」は、測定できる最小量を指す「感度限界」と、測定量に対する出力の比率を示す「感度係数」の二つの主要な意味を持ちます。特に感度限界は分解能とも呼ばれ、測定の信頼性や精度を評価する上で極めて重要です。
変換（へんかん）とは、元の状態から別の状態へ性質や形を変える操作全般を指します。特に数学における要素の対応付け、コンピュータでの日本語入力における文字の置き換え、デジタルデータのファイル形式変更など、多岐にわたる分野で重要な概念として用いられています。
ランダムウォーク（酔歩、乱歩）は、次に進む方向やステップサイズが確率的に決定される運動。統計力学、量子力学、数理ファイナンスなど多様な分野で、不規則な現象やデータのモデル化にブラウン運動と並んで広く活用され、数学的にも深く研究されている概念である。
単元株は、会社法に基づき定められた株式の一定数で、議決権行使や市場での取引単位となります。単元に満たない単元未満株式とは区別され、単元株主には原則として全ての権利が認められます。日本独自の制度で、上場企業では100株単位に統一されています。
自由群とは、生成元とその逆元に関する自明な等式以外に元の間にいかなる関係も持たない、最も「自由」な群です。群論における基本的な構成要素の一つであり、他の様々な群を表現する際の土台となります。
Unicodeの文字様記号ブロックは、字母の形を基にした記号類を収めています。単位記号や数学記号、筆記体、さらには絵文字として使えるものまで含まれ、多様な用途を持ちますが、一部の文字は一般的な代替表現の使用が推奨されています。
Unicodeの数学用英数字記号ブロックは、数学分野で書体によって異なる概念を示すための特殊なラテン文字、ギリシャ文字、数字を収録しています。黒板太字など多様なスタイルがあり、他の英数字と区別されることで精密な表現を可能にします。装飾目的での使用は推奨されません。
代数幾何学における代数群は、代数多様体としての構造と群としての構造を併せ持ち、群演算が正則写像で与えられる数学的対象です。この概念は多様体論と群論を結びつけ、現代数学の様々な分野で重要な役割を果たしています。
モンスター群は、群論に登場する最大の散在型単純群です。その位数は約8×10⁵³と天文学的であり、他の多くの散在群を部分商として含みます。数学の様々な分野を結びつけるムーンシャイン予想とも深く関わる、現代数学の象徴的な存在です。
ブラウアー群は、数学において体K上の中心的単純環のクラスを対象とするアーベル群です。テンソル積を群演算とし、代数学者のリチャード・ブラウアーにちなんで名付けられました。体上の斜体の分類や類体論に重要な役割を果たします。
数学における偏微分方程式の一つで、特に二階の線型方程式が特定の条件（判別式が負）を満たすものを指します。円錐曲線の分類と類似しており、物理学や工学の様々な現象記述に応用される重要な概念です。
位相空間において、開集合であり同時に閉集合でもある特別な性質を持つ集合。直観に反する概念だが、位相空間の重要な構造を捉える上で欠かせない。連結性や境界の概念と密接に関わる。英語ではclopen setとも呼ばれる。
位相空間論における閉集合は、その補集合が開集合である集合として定義される基本的な概念です。極限点をすべて含む、点列の収束先を必ず含むなど、多様な特徴づけを持ちます。交わりや有限合併に関する重要な性質を持ち、連続写像やコンパクト性とも関連します。
特定の事例や部分から共通の性質を捉え、それらを包含するより広い概念や主張へと展開する知的な操作。抽象化の一種であり、論理、数学、科学から日常まで、幅広い領域で認識や理解の基礎となる。
K-理論は、空間に付随する大きな行列で定義される不変量を研究する数学理論です。ベクトル束や連接層の概念から発展し、代数、トポロジー、物理学など幅広い分野で応用され、様々な数学的構造や物理現象の分類に貢献しています。
位相幾何学におけるCW複体は、ホモトピー論のためにJ. H. C. Whiteheadが考案した位相空間です。単体複体を一般化した概念で、優れた性質を持ち、特に計算や理論構築において重要な役割を果たします。
ドイツの数学者クルト・ヘンゼル（1861-1941）は、独自の数体系であるp進数を1897年に導入し、20世紀の数論に新たな道を切り開きました。著名なメンデルスゾーン家とも関わりが深く、多方面で活躍しました。
数学の一分野であるガロア理論における重要な未解決問題。任意の有限群が、有理数体上のガロア拡大のガロア群として実現可能かという問いです。19世紀初頭に提起されて以来、多くの数学者によって研究が続けられています。部分的な成果は得られていますが、一般解はまだ見つかっていません。
普遍代数学は、特定の具体的な例ではなく、演算と公理によって定義される代数的構造そのものを研究する数学の分野です。群や環といった様々な代数系の共通原理を探求し、統一的な視点から理解することを目指します。
数学における位相空間の定義は、開集合系を用いる方法が一般的ですが、他にも同値な定義が数多く存在します。これらの異なる視点からの定義は、いずれも同じ数学的構造を捉え、位相論の理解を深める上で重要な役割を果たします。
パトリック・サップスは、アメリカ合衆国の哲学者。科学哲学、測定理論に多大な貢献をし、数理心理学、教育工学など幅広い分野に影響を与えた。スタンフォード大学哲学名誉教授として活躍。
ポーランドの偉大な数学者、ステファン・バナッハ（1892-1945）。バナッハ空間論を創始するなど関数解析学に多大な貢献をなし、現代数学の基礎を築いた。ルヴフ学派の中心人物として知られる。
数学における普遍性は、特定の構成（例: テンソル積、剰余群、完備化など）を一意な射によって特徴づける抽象的な性質です。これは様々な分野に現れる統一的な視点を提供し、サミュエルが提唱しブルバキが広めました。
数学分野における擬距離空間は、通常の距離空間を一般化した概念です。異なる二点間の距離がゼロになりうる点が特徴で、半ノルム空間などがその具体例です。この空間の定義、性質、応用、そして距離空間への変換方法について詳しく解説します。
位相空間論におけるベール空間は、ルネ＝ルイ・ベールが提唱した概念で、直感的に「十分大きい」空間を指します。無視できる集合（第一類集合）の可算和にならない空間として定義され、ベールの範疇定理は重要な性質を示します。
数学の位相空間論や関数解析学で重要なベールの範疇定理について解説します。この定理は、特定の性質を持つ空間が「ベール空間」と呼ばれる性質（稠密な開集合の可算な交わりが再び稠密になること）を満たすための十分条件を示します。主に完備距離空間や局所コンパクト空間に関する二つの主要な主張があり、多様な数学分野に応用されます。
領域理論は、特定の半順序集合である領域を扱う数学分野であり、計算機科学の表示的意味論で重要な役割を果たす。不完全な計算情報や途中結果を順序でモデル化し、近似や収束の概念を形式的に扱う枠組みである。
環論や抽象代数学における環準同型は、二つの環の間でその代数構造（加法と乗法、そして単位元）を保つ特別な関数です。これにより、環の性質を別の環に移したり、環の間の関係性を調べたりすることが可能になります。
数学における体論（Field Theory）は、四則演算が定義された代数的な対象「体」の性質を研究する分野です。古くは代数方程式の解法の探求から始まり、現在ではガロア理論や数論、計算機科学など、幅広い分野で基礎的な概念として利用されています。
位相空間論は、一般トポロジーや点集合トポロジーとも称され、位相空間の性質や構造を研究する数学分野です。特定の幾何学的対象だけでなく、多様な位相空間を網羅的に扱い、数学全般における連続性などの直観を捉えるための基盤を提供します。
様々な学術分野で用いられる「基底」という言葉について解説します。一般的な意味での基礎や土台から、化学、物理学、特に数学の線型代数、代数、体論、位相空間論における専門的な定義と役割を詳述。
ホモロジーは、数学的な対象が持つ構造的な特徴、特に位相空間の「穴」などを、アーベル群や加群の系列として捉える強力な手法です。代数的位相幾何学や抽象代数学において、対象の分類や不変量の計算に不可欠な概念として広く用いられています。
数学における函数の台（サポート）は、その値がゼロとならない点全体の集合やその閉包を指します。解析学で fundamental な役割を果たし、有限台、コンパクト台、超函数の台など、多様な文脈で定義・応用されるこの概念の側面を解説します。
計量テンソルは、リーマン幾何学において空間の微細な構造を捉える階数2のテンソル。距離や角度を定義し、多様体をリーマン多様体とします。特定の座標系では行列で表現され、空間の特性を反映します。リーマン計量とも呼ばれます。
解析関数は、定義域の各点の近傍で収束する冪級数で表せる関数。複素関数論では正則関数と同義とされる一方、解析接続によって得られる関数を指す場合もある。数学の様々な分野で重要な概念。
数学における特殊線型群とは、体上の正方行列のうち行列式が1であるもの全体が群をなすものです。一般線型群の正規部分群として定義され、幾何学的には体積や向きを保つ変換の群として捉えられます。
数学において、無限小（infinitesimal）は、どんなに小さくてもゼロではない極めて微小な量を指します。微積分学の基礎概念であり、その歴史は古く、現代数学では超実数などの厳密な体系で捉えられています。
関数のグラフのなめらかさの度合いを示す数学的な性質です。微分可能性によって測られ、直感的には尖りのない曲線に対応します。その性質に応じて、C^k級、C^∞級、解析関数などのクラスに分類されます。
Cp-級多様体の圏Manpは、圏論においてCp級可微分多様体を対象とし、Cp級可微分写像を射とする数学的な構造です。多様体論と圏論を結びつけ、様々な性質を持つ多様体の集まりとその間の関係性を統一的に捉える枠組みを提供します。特定の構造を持つ多様体の圏や、滑らかな多様体・解析多様体の圏も同様に定義されます。この圏は具体圏として、その対象は集合に位相構造や微分構造が付与されたものであり、射はこれらの構造を保つ写像です。
双正則写像は複素解析における重要な概念で、複素空間や複素多様体間の同型写像にあたります。全単射かつ正則で、その逆写像も正則となる性質を持ち、空間の幾何学的性質を保ちます。特に次元によって振る舞いが大きく異なります。
滑らかな多様体上の各点における余接空間を集めて得られるベクトル束。接束の双対であり、多様体の微分構造を反映。自然なシンプレクティック構造を持ち、ハミルトン力学における相空間として重要な役割を果たします。
数学における主束は、枠束を抽象化した概念であり、位相群G（構造群）がファイバーに自由かつ推移的に作用するファイバー束。位相幾何学、微分幾何学、ゲージ理論で重要な役割を果たす。他のファイバー束を統一的に扱う枠組みとなる。
アインシュタインが一般相対性理論の基礎として掲げた原理の一つ。物理法則は特定の座標系に依存せず、どのような座標系で記述してもその形式は変わらない、つまり一般座標変換に対して不変であることを要求する。物理法則の数学的記述にテンソル形式を用いる根拠となる。
数学のポアンカレの補題は、ユークリッド空間や可縮な多様体において、外微分がゼロになる微分形式（閉形式）が、ある微分形式の外微分として表される（完全形式）ことを保証する代数的位相幾何学の基本定理。ベクトル解析のポテンシャル存在条件の一般化。
共変性（covariance）と反変性（contravariance）は、多重線型代数などで使われる数学概念。基準となる基底を変更した際に、幾何学的・物理的な対象の成分がどのように変換されるかを表します。
数学におけるドナルドソンの定理は、4次元の滑らかな多様体における定値交叉形式が対角化可能であることを主張します。この定理は、4次元の位相構造と微分構造の違いを明らかにする上で重要な役割を果たしました。
イタリア出身のユダヤ系数学者トゥーリオ・レヴィ＝チヴィタ（1873-1941）。師と共にテンソル解析学（絶対微分学）の基礎を築き、レヴィ＝チヴィタ記号やレヴィ・チヴィタ接続など、現代数学・物理学に不可欠な概念を考案した。
ソボレフ空間は、関数とその弱微分がある階数までLpノルム有限であるような関数の空間です。偏微分方程式の解析において、古典的な滑らかな関数空間に代わる現代数学の基礎として極めて重要です。
ユークリッド空間や多様体上の滑らかな関数に関し、臨界点集合の像はルベーグ測度ゼロであるという、解析学におけるサードの定理について説明します。この定理は、多数の臨界点に対して臨界値が測度ゼロの集合をなすことを示します。
カービー・ジーベンマン不変量は、位相多様体理論における重要な概念で、位相多様体上に区分線形構造（PL構造）が存在するかどうかを判定する指標となる4次コホモロジー群の元です。この不変量は、PL構造が存在する多様体上で常にゼロとなり、ロビオン・カービーとラリー・ジーベンマンによって導入されました。
微分幾何学におけるアフィン接続は、滑らかな多様体上で接ベクトル場の微分を可能にする幾何学的構造です。異なる点での接空間を「接続」することで、平行移動や測地線の概念を導入し、局所的にユークリッド空間のような構造を与えます。その歴史は古く、リーマン幾何学や一般相対論の発展と深く関わっています。
はめ込み（immersion）は、数学における多様体間の滑らかな写像で、接空間上の微分が全ての点で単射となるものです。写像自体は単射とは限りません。埋め込みとは異なり、自己交差が許容されますが、局所的には埋め込みとして振る舞います。
『アナルズ・オブ・マセマティクス』は、プリンストン大学とプリンストン高等研究所が隔月で刊行する、世界で最も権威あるとされる数学の専門誌です。略記はAnn. Math.など。
数学における4次元空間の多様体。低次元や高次元とは異なり、位相的な分類と滑らかな構造の分類との間に大きな違いがある。滑らかな構造を持たない多様体や、複数の異なる滑らかな構造を持つ多様体が存在し、その性質や分類の研究は活発に行われている。
数学における位相空間の1の分割は、局所的な情報を空間全体へ橋渡しするための重要な概念です。連続関数の族で構成され、各点で関数の総和が1となり、かつ各点の近傍で非ゼロとなる関数が有限個に限られる性質を持ちます。多様体論、データ処理、信号解析など幅広い分野に応用されます。
数学における球対称函数とは、その点での値が原点からの距離のみに依存し、方向には依らない函数のことです。動径函数とも呼ばれ、ユークリッド空間における回転不変性を持つ函数として特徴づけられます。
ロシアの著名な数学者（1908-1988）。若くして失明する逆境を乗り越え、母親の献身的な支えのもと数学の道を究める。位相群論、連続群論、最適制御理論などに画期的な貢献を果たし、数々の栄誉ある賞を受賞。
関数解析学におけるF-空間は、完備で距離化可能な実または複素ベクトル空間の一種です。スカラー乗法と加法が連続で、距離は平行移動不変性を満たします。バナッハ空間やフレシェ空間を包含する重要な概念です。
数学、特に代数トポロジーやホモロジー代数における重要な概念。アーベル群や加群の系列と、次数を増減させる準同型（微分）から構成され、連続する準同型の合成がゼロとなる性質を持つ。ホモロジー群やコホモロジー群を定義する上で中心的役割を果たす。鎖複体と双対鎖複体が存在する。
高次元における幾何学的な図形である超立方体は、2次元の正方形や3次元の立方体をn次元に拡張した正多胞体です。正測体とも呼ばれ、点の0次元から線分の1次元を経て、5次元以上における重要な正多胞体の一つとして位置づけられています。その独特な構造と性質は多岐にわたります。
超曲面（ちょうきょくめん、hypersurface）は、幾何学や代数幾何学において現れる重要な概念で、超平面を一般化したものです。特に、ある空間や多様体の中で、もとの空間より次元が一つ低い部分集合や部分多様体を指します。その定義は研究分野によって異なります。
【記事の利用について】
タイトルと記事文章は、記事のあるページにリンクを張っていただければ、無料で利用できます。
※画像は、利用できませんのでご注意ください。
【リンクついて】
リンクフリーです。