イギリス陸軍のジャングル戦闘教官を養成する専門訓練校。現在はブルネイの基地内に置かれ、熱帯地域での特殊な作戦に対応できる指導者を育成している。過去にはマレーシアを拠点とし、英連邦やアジア各国の兵士にも門戸を開いていた時期がある。
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）は、幾何学や代数幾何学において現れる重要な概念で、超平面を一般化したものです。特に、ある空間や多様体の中で、もとの空間より次元が一つ低い部分集合や部分多様体を指します。その定義は研究分野によって異なります。
自然科学、工学、コンピュータゲーム、社会など、多様な分野で用いられる「自由度」という言葉の多岐にわたる意味と概念を、それぞれの分野における具体的な定義や使用例を交えながら解説します。
相似次元は、図形がどれだけ細部まで自己相似性を持つかを示す指標です。特に人工的なフラクタル図形に適用され、図形を縮小して元の形を復元するために必要な部分の数から算出されます。非整数値をとることもあり、フラクタル幾何学の基本概念です。
正単体は、2次元の正三角形や3次元の正四面体を高次元へ拡張した正多胞体の一種です。全ての辺が等しい単体であり、数学分野ではアルファ体とも呼ばれます。高次元幾何学における基本的な図形です。
座標軸は、座標系において空間や平面、複素数などを表現する際に用いられる数直線です。各次元の成分を示し、方向や位置を特定するための基本要素となります。直交座標や曲線座標など、座標系の種類によってその形状や交わる角度が異なります。
五胞体（5-cell）は、4次元空間における最も基本的な多胞体の一つで、「4次元単体」とも呼ばれます。5つの四面体で囲まれ、最も要素数の少ない4次元図形です。その特徴、構造、そして正五胞体について解説します。
フラクタル幾何は、拡大しても細部が複雑さを保つ図形（フラクタル図形）を探求する幾何学分野です。整数とは限らないフラクタル次元を用いて、自然界の複雑な形状や自己相似な構造の数学的記述を可能にします。
3次元空間で物体が自由に動くことのできる全6種類の動きの自由度を指します。具体的には、前後・上下・左右への移動と、それぞれの軸を中心とした回転（ピッチ、ヨー、ロール）のこと。ロボット工学、機械工学、ゲームなど幅広い分野で基礎となる概念です。
空間の次元が一つである状態やその空間を指す。直線や数直線のように、一点の位置をただ一つの数値（スカラー）で完全に特定できる特徴を持つ。時間もまた、一方向に流れる1次元的な概念として捉えられる。
一様空間は、集合に「近さ」の概念を導入する一様構造を備えた空間です。位相空間より強く、擬距離空間より弱い構造を持ち、コーシー列や完備性、一様連続性といった解析学で重要な概念を定義可能にし、関数解析学などで応用されます。
解析学におけるε-δ論法は、無限の概念を直接用いずに関数の極限を厳密に定義する手法です。任意の「近さ」(ε)に対し、それに応じた「近さ」(δ)を設定することで極限を捉えます。数列の極限を定義するε-N論法とともに、現代解析学の基礎を築きました。
距離空間における写像のうち、任意の二点間の距離を一定の割合で縮小させる性質を持つものを指します。完備距離空間上の縮小写像はただ一つの不動点を持ち、反復によってその点に収束します。常微分方程式や自己相似図形の理論に応用されます。
数学において、位相空間の局所コンパクト性とは、各点の近傍にコンパクトな集合が存在する性質です。コンパクト空間より適用範囲が広く、特に局所コンパクトハウスドルフ空間は解析学をはじめ多くの分野で中心的な役割を果たします。
ドイツの数学者ルドルフ・リプシッツ（1832-1903）は、解析学のリプシッツ連続の概念にその名を残すことで知られます。数理解析、微分幾何学、代数学、数論、古典力学など広範な分野で重要な貢献を果たしました。
数学におけるヘルダー条件は、関数の滑らかさを示す指標の一つです。距離空間上で定義され、二点間の関数の値の差と点間の距離の関係を不等式で定めます。指数αによって滑らかさの度合いが異なり、解析学などで重要な概念です。
ユダヤ系ドイツ人数学者ヘルマン・ミンコフスキー（1864-1909）。アインシュタインの特殊相対性理論における時空概念を「ミンコフスキー空間」として数学的に定式化したことで知られる。また、幾何学的手法を数論に応用する「数の幾何学」を創始し、その後の数学に大きな影響を与えた。
【記事の利用について】
タイトルと記事文章は、記事のあるページにリンクを張っていただければ、無料で利用できます。
※画像は、利用できませんのでご注意ください。
【リンクついて】
リンクフリーです。