超越次数（transcendence degree）は、体の拡大における超越的な部分の「大きさ」を示す概念です。基礎体上代数的に独立な元の集合の最大濃度として定義され、体の構造を理解する上で重要な指標となります。
双有理幾何学は、代数多様体を「大部分」で捉え、低次元の部分を除いていつ同型になるかを研究する代数幾何学の分野です。有理関数で定義される写像を扱い、多様体の本質的な構造を双有理同値という観点から分類します。
スキームXの有理函数体の層KXは、古典的な代数多様体の函数体のスキーム論における一般化です。各開集合に有理函数の環を対応させますが、整でないスキームでは定義に工夫が必要です。
アフィン多様体は、代数閉体k上のアフィン空間内で、多項式方程式系の解集合のうち特定の代数的性質を持つものです。その構造は座標環と呼ばれる環によって特徴づけられ、代数幾何学における基本的な構成要素の一つとして重要な役割を果たします。
リーマン・ロッホの定理は、複素解析学や代数幾何学における中心的な定理です。閉リーマン面や代数曲線上の有理型関数の空間次元を、図形の位相的性質（種数）や因子（零点・極の情報）の次数に関連付け、関数の存在や自由度を定量的に記述します。多様体論へ発展した基本的な成果です。
数学、特に偏微分方程式や微分幾何学における重要な概念。楕円型作用素の概念を作用素の列に拡張した構造であり、ホッジ理論やアティヤ＝シンガーの指数定理など、現代数学の深遠な分野で中心的な役割を果たします。
代数幾何学におけるモチーフとは、多様体の本質的な情報を捉え、様々なコホモロジー論を包括する普遍的理論の構築を目指す概念です。その定義や性質は深く探求されており、いまだ多くの予想を含む発展途上の研究分野です。
数学におけるホッジ構造は、滑らかな多様体のコホモロジー論に由来する代数構造です。これを特異点や非完備な多様体へ拡張した混合ホッジ構造、族として捉える変形、さらに一般化した加群といった概念は、代数幾何学や数論で重要な役割を果たします。
楕円曲線のホッジ・アラケロフ理論は、アラケロフ理論を枠組みに楕円曲線のp進ホッジ理論を展開する数学理論。望月新一氏が提唱し、中心的な比較定理は数論の難問解決に繋がる可能性を持つ。
数学におけるベクトル束は、ある空間Xの各点xに対しベクトル空間V(x)を対応させ、それらが連続的に「うまく貼り合されて」全体の空間構造を作るという幾何学的構成です。局所的には直積空間と同相になり、多様体の接束などが典型例です。
微分幾何学、複素幾何学、シンプレクティック幾何学の構造が調和して存在する多様体。複素構造とリーマン計量、シンプレクティック形式が特定の条件で結びついています。多くの重要な数学的対象の基礎となります。
抽象代数学における可換環RのスペクトルSpec(R)は、Rの素イデアルの集合であり、ザリスキー位相と構造層を備えた局所環付き空間です。これはアフィンスキームとして、代数幾何学の基本的な構成要素となります。
代数学における既約多項式（irreducible polynomial）とは、多項式環において、自身と単数以外による積に分解できない多項式を指します。整数の素数に相当する概念であり、多項式を理解する上で基礎となる要素です。
固有射（proper morphism）は、スキーム論における重要な概念です。複素解析空間の固有写像の類比であり、分離的、有限型、絶対閉という性質を満たす射を指します。代数多様体の完備性や点の「完備化」といった幾何学的直観と深く関連しており、その性質や判定法は代数幾何学の様々な場面で基礎となります。
「分数体」または「商体」と呼ばれる、数学における重要な構成法。整域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）は、多重線型代数などで使われる数学概念。基準となる基底を変更した際に、幾何学的・物理的な対象の成分がどのように変換されるかを表します。
【記事の利用について】
タイトルと記事文章は、記事のあるページにリンクを張っていただければ、無料で利用できます。
※画像は、利用できませんのでご注意ください。
【リンクついて】
リンクフリーです。