ブラウザよりも高速アクセス！
52 関係: 基本群、半単純リー代数、単位行列、単連結空間、可換体、向き、実数、対称双線型形式、対称群、射影空間、巡回群、三次元球面、一般線型群、平方剰余の相互法則、交代行列、交換子、二面体群、二次形式、位相空間、ユークリッドの運動群、ユークリッド空間、ユニタリ群、リー代数、リー群、ドット積、カルタン部分環、コンパクト空間、円 (数学)、写像の合成、回転、回転 (数学)、回転群、球面、等長写像、特異値分解、特殊ユニタリ群、直交行列、直和、鏡映、順序体、行列の乗法、行列式、被覆空間、複素数、超球面、転置行列、離散空間、連結空間、標数、正則行列、...、有限体、数学。 インデックスを展開 (2 もっと) »
基本群
数学、特に代数トポロジーにおいて、基本群（きほんぐん、fundamental group）とは、ある固定された点を始点と終点にもつふたつのループが互いに連続変形可能かを測る点付き位相空間に付帯する群である。直観的には、それは位相空間にある穴についての情報を記述している。基本群はホモトピー群の最初で最も単純な例である。基本群は位相不変量である。つまり同相な位相空間は同じ基本群を持っている。 基本群は被覆空間の理論を用いて研究することができる。なぜなら、基本群は元の空間に付帯する普遍被覆空間の被覆変換群に一致するからである。基本群のアーベル化は、その空間の第一ホモロジー群と同一視することできる。位相空間が単体複体に同相のとき、基本群は群の生成子と関係式のことばで明示的に記述することができる。 基本群はアンリ・ポアンカレによって1895年に論文"Analysis situs"で定義された。ベルンハルト・リーマンとポアンカレとフェリックス・クラインの仕事でリーマン面の理論において基本群の概念が現れた。基本群は閉曲面の位相的な完全な分類を提供するだけでなく、複素函数のモノドロミー的性質の記述もする。.
半単純リー代数
数学においてリー代数が半単純であるとは単純リー代数（自分自身と0以外にイデアルを持たないような非可換リー代数）の直和となる事をいう。 この記事内では特に注意しない限り \mathfrak g を標数0の体上の有限次元リー代数とする。以下の条件は全て同値である。.
新しい！!: 直交群と半単純リー代数 · 続きを見る »
単位行列
数学、特に線型代数学において、単位行列（たんいぎょうれつ、identity matrix）とは、単位的環上で定義される同じ型の正方行列同士の、積演算における単位元のことである。.
単連結空間
連結であるが、穴のまわりを1周するループを考えればわかるように単連結ではない。穴を全てふさげば単連結となる。 位相幾何学における単連結空間（たんれんけつくうかん、simply connected space）とは、任意のループを連続的に1点に収縮できるような弧状連結空間のことである。.
可換体
抽象代数学において、可換体（かかんたい、corps commutatif）あるいは単に体（たい、field）本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。（ガロワ理論を含む）体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は（ゼロ除算を除いて）除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.
向き
数学における実ベクトル空間の向き（むき、orientation) または向き付けとは、基底の順序付き組に対し「正」の向きまたは「負」の向きを指定する規約のことである。3次元ユークリッド空間における2種類の向きはそれぞれ右手系や左手系（あるいは右キラル・左キラル）と呼ばれる。しばしば右手系が正の向きにとられるものの、右手系を負の向きとするような向き付けももちろんありうる。 実ベクトル空間における向きの概念を基礎として、実多様体などの様々な幾何学的対象にも向きを考えることができる。.
実数
数学における実数（じっすう、 nombre réel, reelle Zahl, real number）は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.
対称双線型形式
線型代数学における対称双線型形式（たいしょうそうせんけいけいしき、symmetric bilinear form, symmetric bilinear functional）は、ベクトル空間上の対称な双線型形式を言う。平たく言えば、実ベクトル空間上の標準内積を一般化した概念である。対称双線型形式は、直交極性や二次曲面の研究に非常に重要である。 文脈上、双線型形式について述べていると明らかな場合は、単に短く対称形式と呼ぶこともある。対称双線型形式は二次形式と近しい関係にあり、この両者の差異に関する詳細はの項目を参照。.
新しい！!: 直交群と対称双線型形式 · 続きを見る »
対称群
対称群（たいしょうぐん、）とは、「ものを並べ替える」という操作を元とする群である。この場合の「ものを並べ替える」操作のことを置換（ちかん、）という。数学の議論の様々な場面で「番号づけられて並んでいるものを入れ替える」「入れ替えの可能性すべてを調べる」ことが問題となり、対称群はそのような議論を定式化するために用いられる。置換のうちで特別なものだけを集めて得られる群は置換群（ちかんぐん、）と呼ばれる。置換群が空間 の変換群として与えられているとき、 の元 の置換は で与えられる の部分群の分だけ潰れているが、これは のなかに と「同じ」元が複数含まれている場合に対応しており、 の中でこれらを区別することができれば の元の置換から対称群 が回復される。.
射影空間
射影空間（しゃえいくうかん、projective space） とは、その次元が n であるとき、(n + 1)個の「数」の比全体からなる空間の事をさす。比を構成する「数」をどんな体（あるいは環）にとるかによって様々な空間が得られる。非ユークリッド幾何学のひとつである射影幾何学がその概念の端緒であるが、射影空間は位相幾何学、微分幾何学、代数幾何学など幾何学のあらゆる分野にわたって非常に重要な概念である。.
巡回群
群論における巡回群（じゅんかいぐん、cyclic group、monogenous group）とは、ただ一つの元で生成される群（単項生成群）のことである。ここで群が「ただ一つの元で生成される」というのは、その群の適当な元 g をとれば、その群のどの元も（群が乗法的に書かれている場合は）g の整数冪として（群が加法的に書かれている場合は g の整数倍として）表されるということであり、このような元 g はこの群の生成元 (generator) あるいは原始元 (primitive) と呼ばれる。.
三次元球面
数学における三次元（超）球面（さんじげんきゅうめん、3-sphere; 3-球面）あるいはグローム (glome) は、通常の球面の高次元版である超球面の特別の場合である。四次元ユークリッド空間内の三次元球面は、固定された一点を「中心」として等距離にある点全体の成す点集合として定義することができる。通常の球面（つまり、二次元球面）が三次元の立体である球体の境界を成すのと同様、三次元球面は四次元の立体である四次元球体の境界となる三次元の幾何学的対象である。三次元球面は、三次元多様体の一つの例を与える。.
一般線型群
数学において、一般線型群（いっぱんせんけいぐん、general linear group）とは線型空間上の自己同型写像のなす群のこと。あるいは基底を固定することで、正則行列のなす群のことを指すこともある。.
平方剰余の相互法則
整数論』（1801年）で平方剰余の相互法則の最初の証明を公開した。 （へいほうじょうよ、quadratic residue）とは、ある自然数を法としたときの平方数のことであり、平方剰余の相互法則（へいほうじょうよのそうごほうそく、quadratic reciprocity）は、ある整数 が別の整数 の平方剰余であるか否かを判定する法則である。.
新しい！!: 直交群と平方剰余の相互法則 · 続きを見る »
交代行列
線型代数学において、交代行列（こうたいぎょうれつ、alternative matrix）、歪対称行列（わいたいしょうぎょうれつ、skew-symmetric matrix）または反対称行列（はんたいしょうぎょうれつ、antisymmetric matrix, antimetric matrix; 反称行列）は、正方行列 であってその転置 が自身の 倍となるものをいう。すなわち、転置に対して反対称性を持つ行列は交代行列である。交代行列とは逆に、転置に対して対称な行列は対称行列と呼ばれる。本項において（何も言わなければ）、係数体の標数 は でない と仮定する。標数が のとき、任意のスカラーは自身を反数として持つので、任意の歪対称行列は対称行列の概念に一致する。歪対称行列に付随する双線型形式は歪対称形式であり、標数 のときは対称形式になる。一方、付随する双線型形式が交代形式であるような行列を「交代行列」と呼べば、標数 のとき「交代行列」は歪対称（.
交換子
数学における交換子（こうかんし、commutator）は、二項演算がどの程度可換性からかけ離れているかを測る指標の役割を果たすものである。考えている代数構造により定義が異なる。物理学、特に量子力学における交換子の役割については、交換関係 (量子力学)の項を参照。.
二面体群
二面体群（にめんたいぐん、dihedral group）とは、正多角形の対称性を表現した数学的対象である。より正確には、正多角形を自分自身に移す合同変換全体の成す群のことである。そのような合同変換は、回転と鏡映の二種類がある。二面体群は、有限非可換群の最も単純な例であり、群論、幾何学、化学などの分野において重要な役割を果たす。類似の概念は、3次元以上の正多面体や正多胞体に対しても与えることができる。「二面体」とは、正多角形を3次元空間内で見て裏表の区別を付けたもの、といった意味合いである。.
二次形式
数学における二次形式（にじけいしき、quadratic form) は、いくつかの変数に関する次数が 2 の斉次多項式である。たとえば は変数 x, y に関する二次形式である。 二次形式は数学のいろいろな分野（数論、線型代数学、群論（直交群）、微分幾何学（リーマン計量）、微分位相幾何学（四次元多様体の交叉形式）、リー理論（キリング形式）など）で中心的な位置を占める概念である。.
位相空間
数学における位相空間（いそうくうかん, topological space）とは、集合にある種の情報（位相、topology）を付け加えたもので、この情報により、連続性や収束性といった概念が定式化可能になる。 位相空間論は位相空間の諸性質を研究する数学の分野である。.
ユークリッドの運動群
数学におけるユークリッド群（ユークリッド-ぐん、Euclidean group）あるいは運動群 (motion group) は、ユークリッド空間のを言う。その元はユークリッド距離に付随する等距変換であり、合同変換あるいはユークリッドの運動 (motion) と呼ばれる。ユークリッドの運動群の研究は、少なくとも二次元や三次元の場合については極めて古く、群の概念が発するよりもずっと以前から（従ってもちろん群としてでなく、もっと陰伏的な形で）よく調べられている。 -次元ユークリッド空間の運動群は や などとも表される。; 三次元までの等長変換についての概観 は の任意の元が螺旋変位であることを主張する。.
新しい！!: 直交群とユークリッドの運動群 · 続きを見る »
ユークリッド空間
数学におけるユークリッド空間（ユークリッドくうかん、Euclidean space）は、エウクレイデス（ユークリッド）が研究したような幾何学（ユークリッド幾何学）の場となる平面や空間、およびその高次元への一般化である。エウクレイデスが研究した平面や空間はそれぞれ、2次元ユークリッド空間、3次元ユークリッド空間に当たり、これらは通常、ユークリッド平面、ユークリッド空間などとも呼ばれる。「ユークリッド的」という修飾辞は、これらの空間が非ユークリッド幾何やアインシュタインの相対性理論に出てくるような曲がった空間ではないことを示唆している。 古典的なギリシャ数学では、ユークリッド平面や（三次元）ユークリッド空間は所定の公準によって定義され、そこからほかの性質が定理として演繹されるものであった。現代数学では、デカルト座標と解析幾何学の考え方にしたがってユークリッド空間を定義するほうが普通である。そうすれば、幾何学の問題に代数学や解析学の道具を持ち込んで調べることができるようになるし、三次元以上のユークリッド空間への一般化も容易になるといった利点が生まれる。 現代的な観点では、ユークリッド空間は各次元に本質的に一つだけ存在すると考えられる。たとえば一次元なら実数直線、二次元ならデカルト平面、より高次の場合は実数の組を座標にもつ実座標空間である。つまり、ユークリッド空間の「点」は実数からなる組であり、二点間の距離は二点間の距離の公式に従うものとして定まる。n-次元ユークリッド空間は、（標準的なモデルを与えるものという意味で）しばしば とかかれるが、（余分な構造を想起させない）ユークリッド空間固有の性質を備えたものということを強調する意味で と書かれることもある。ふつう、ユークリッド空間といえば有限次元であるものをいう。.
新しい！!: 直交群とユークリッド空間 · 続きを見る »
ユニタリ群
n 次のユニタリ群(ユニタリぐん、unitary group) U(n) とは、n 次ユニタリ行列のなす群のことである。演算は行列の積で与えられる。 ユニタリ群は一般線型群の部分群である。.
リー代数
数学において、リー代数、もしくはリー環日本語ではしばしば Lie algebra のことをリー環と呼ぶが、後述の Lie ring はより一般的な概念である。本項ではこの2つの用語を区別して用いる。は、「リー括弧積」（リーブラケット、Lie bracket）と呼ばれる非結合的な乗法 を備えたベクトル空間である。 の概念を研究するために導入された。"Lie algebra" という言葉は、ソフス・リーに因んで、1930年代にヘルマン・ワイルにより導入された。古い文献では、無限小群 (infinitesimal group) という言葉も使われている。 リー代数はリー群と密接な関係にある。リー群とは群でも滑らかな多様体でもあるようなもので、積と逆元を取る群演算がであるようなものである。任意のリー群からリー代数が生じる。逆に、実数あるいは複素数上の任意の有限次元リー代数に対し、対応する連結リー群がによる違いを除いて一意的に存在する（）。このによってリー群をリー代数によって研究することができる。.
リー群
リー群（リーぐん、Lie group）は群構造を持つ可微分多様体で、その群構造と可微分構造とが両立するもののことである。ソフス・リーの無限小変換と連続群の研究に端を発するためこの名がある。.
ドット積
数学あるいは物理学においてドット積（ドットせき、dot product）あるいは点乗積（てんじょうせき）とは、ベクトル演算の一種で、2つの同じ長さの数列から一つの数値を返す演算。代数的および幾何的に定義されている。幾何的定義では、（デカルト座標の入った）ユークリッド空間 において標準的に定義される内積のことである。.
カルタン部分環
数学において，カルタン部分環（カルタンぶぶんかん，Cartan subalgebra，しばしば CSA と略される）とは，リー環 \mathfrak の冪零部分環 \mathfrak であって，なもの（すべての X \in \mathfrak に対して \in \mathfrak であるならば，Y \in \mathfrak であるもの）のことである．エリ・カルタンによって彼の博士論文において導入された．.
新しい！!: 直交群とカルタン部分環 · 続きを見る »
コンパクト空間
数学において、コンパクト（compact）は位相空間の性質である。詳細は後述するがコンパクト性の定義それ自身は直観性に乏しいものであり、証明を容易にする為のいわば操作的なものである。しかし距離空間であればより直観的な言葉でいいかえる事ができ、特に有限次元のユークリッド空間においては有界閉集合であることとコンパクト集合であることとは同値になる。したがってコンパクトの概念はユークリッド空間における有界閉集合の概念を一般の位相空間に拡張したものとしてとらえる事ができる。 なお無限次元では有界閉集合はコンパクトとは限らず、例えばヒルベルト空間内の（縁を含んだ）単位球体は有界かつ閉集合であるがコンパクトではない（距離位相を入れた場合）。 ブルバキでは、ここでいう定義を満たす位相空間を準コンパクト（quasi-compact）と呼び、さらにハウスドルフの分離公理を満たすものをコンパクトであると呼んでいる。距離空間など多くの空間ではハウスドルフの分離公理が満たされるので両者の概念は一致するが、一般には注意が必要である。.
新しい！!: 直交群とコンパクト空間 · 続きを見る »
円 (数学)
数学において、円（えん）とは、平面（2次元ユークリッド空間）上の、定点 O からの距離が等しい点の集合でできる曲線のことをいう。ここで現れる定点 O を円の中心と呼ぶ。円には、その中心が1つあり、また1つに限る。中心から円周上の 1 点を結んだ線分を輻（や）とよび、その長さを半径というが、現在では輻のことを含めて半径と呼ぶことが多い。中心が点 O である円を、円 O と呼ぶ。定幅図形の一つ。 円が囲む部分、すなわち円の内部を含めて円ということもある。この場合は、曲線のことを円周という。これに対して、内部を含めていることを強調するときには円板という。また、三角形、四角形などと呼称を統一して、円形ということもある。 数学以外の分野ではこの曲線のことを「丸（まる）」という俗称で呼称することがある。 円: 中心、半径・直径、円周.
新しい！!: 直交群と円 (数学) · 続きを見る »
写像の合成
数学において写像あるいは函数の合成（ごうせい、composition）とは、ある写像を施した結果に再び別の写像を施すことである。 たとえば、時刻 t における飛行機の高度を h(t) とし、高度 x における酸素濃度を c(x) で表せば、この二つの函数の合成函数 (c ∘ h)(t).
回転
回転（廻転、かいてん、rotation）は、大きさを持たない点または大きさを持つ物体が、ある点を中心としてあるいは直線を軸として、あるいは別の物体の周りを回る運動。この点を回転中心、この直線を回転軸という。回転中心や回転軸が回転する物体の内部にある場合を特に自転というときもある。まさに運動している状態を指す場合も、運動の始状態から終状態への変化や移動を指す場合もある。前者の意味を強調したい場合は回転運動ということもある。 転じて、資金などの供給・サービス業の客の出入りなどをこう称する場合がある。.
回転 (数学)
平面における点 ''O'' の周りでの回転 初等幾何学および線型代数学における回転（かいてん、rotation）は、平面あるいは空間において固定された一点の周りでの剛体の運動を記述する。回転は、不動点を持たない平行移動とは違うし、剛体を「裏返し」にしてしまう鏡映とも異なる。回転を含めたこれらの変換は等距変換、即ちこれらの変換の前後で二点間の距離を変えない。 回転を考える際には基準系を知ることが重要であり、全ての回転はある特定の基準系に対するものとして記述される。一般に、ある座標系に関する剛体の任意の直交変換に対し、その逆変換が存在して、それを基準系に施すと剛体はもとと同じ座標にいることになる。例えば二次元の座標上の1点を定めて剛体を置いた時、1点を軸として剛体を時計回りに回すことと、剛体を動かさず1点を軸として座標を反時計回りに回すことは等価である。.
新しい！!: 直交群と回転 (数学) · 続きを見る »
回転群
（n 次の）回転群（かいてんぐん、rotation group）あるいは特殊直交群（とくしゅちょっこうぐん、special orthogonal group）とは、n行n列の直交行列であって、行列式が1のもの全体が行列の乗法に関してなす群をいう。SO(n) と書く。 SO(n) はコンパクトリー群であり、n.
球面
球面（きゅうめん）とは球体の表面の意である。数学における球面 (sphere) は、距離の定められた空間の定点からの距離が一定であるような点の軌跡として定義される、非常に高い対称性を示す図形である。球面の囲む有界領域を球体あるいは単に球 (ball) と呼ぶ。一般には三次元ユークリッド空間 E3 内のもの、つまり二次元球面を指す場合が多い。.
等長写像
数学、とくに幾何学において等長写像（とうちょうしゃぞう）または等距離写像（とうきょりしゃぞう）とは、"長さ" を変えない（距離を保つ、distance preserving）写像のことである。全単射であるものに限って等長写像 (isometry) という場合もある。.
特異値分解
特異値分解（とくいちぶんかい、singular value decomposition; SVD）とは、線形代数学における、複素数あるいは実数を成分とする行列に対する行列分解の一手法である。信号処理や統計学の分野で用いられる。特異値分解は、行列に対するスペクトル定理の一般化とも考えられ、正方行列に限らず任意の形の行列を分解できる。.
特殊ユニタリ群
次の特殊ユニタリ群（とくしゅユニタリぐん、special unitary group） とは、行列式が1の 次ユニタリ行列の為す群の事である。群の演算は行列の積で与えられる。 特殊ユニタリ群 はユニタリ群 の部分群であり、さらに一般線型群 の部分群である。 特殊ユニタリ群は素粒子物理学において、電弱相互作用のワインバーグ＝サラム理論や強い相互作用の量子色力学、あるいはそれらを統合した標準模型や大統一理論などに出てくる。.
新しい！!: 直交群と特殊ユニタリ群 · 続きを見る »
直交行列
交行列（ちょっこうぎょうれつ, ）とは、転置行列と逆行列が等しくなる正方行列のこと。つまりn × n の行列 M の転置行列を MT と表すときに、MTM.
直和
数学における直和（ちょくわ、）は、既知の数学的対象を「貼り合わせ」て同じ種類の対象を新たに作り出す操作の一種で、歴史的経緯から対象によってやや異なる意味で用いられるが、大雑把には集合論的、代数学的、圏論的用法に大別できる。またいずれの用法においても、直和を取る対象が全て一つの大きな対象の部分となっている場合（内部直和、構造的直和）と、そのようなものを仮定しない場合（外部直和、構成的直和）を区別することができる（場合によってはそれらの記述は見かけ上大きく異なる）が、それらの間に自然な同型があるため理論上区別して扱わないこともある。そのような自然同型は、しばしば圏論的直和（あるいは双積）の普遍性によって捉えることができる。 直和を表すのに用いられる記号には \oplus, \coprod などがある。.
鏡映
数学における鏡映（きょうえい、reflection）あるいは鏡映変換とはユークリッド空間の超平面を固定点集合にもつ等長変換である。その名の通り、3次元空間内では、ある図形に鏡映変換を施したものは、平面鏡に映ったその図形の位置及び見え方と一致する。（この場合、鏡の位置が固定点集合となる） 例えば2次元ユークリッド空間では鏡映の固定点集合は直線であり、固定点集合を鏡映の軸という。逆に、与えられた直線を軸とする鏡映が定まり、直線による折り返しなどとも呼ばれる。同様に、3次元空間では与えられた平面による鏡映が定まる。 鏡映によって変わらない図形を鏡映対称（2次元図形の場合、特に線対称とも呼ぶ）である、あるいは鏡映対称性を持つなどという。特に軸が垂直な場合は左右対称とも言われる。例えばアルファベットの A や H などは垂直な軸に関して鏡映対称である。3次元の物体や現象（特に分子）が鏡映対称であって、合同ではないことを掌性と呼ぶ。 長さや角度は鏡映によって変わらないが、向きが変わる。また、同じ鏡映を2回続けて行うと恒等変換になるので鏡映は対合の一種である。.
順序体
数学における順序体（じゅんじょたい、ordered field）は、その元が全順序付けられた体であって、その順序が体の演算と両立するものを言う。歴史的にはヒルベルト、ヘルダー、ハーンらを含む数学者たちによって徐々にぼんやりと公理化が進められ、1926年に順序体および（形式的）実体に関するによって結実する。 順序体は標数 でなければならず、任意の自然数 は全て相異なる。従って順序体は無限個の元を含まねばならず、有限体は順序付けることができない。 順序体の任意の部分体は、もとの体の順序に関してそれ自身順序体を成す。任意の順序体は有理数体に同型な部分順序体を含む。任意の順序体は実数体に同型である。順序体において平方元は非負でなければならない。従って複素数体は（虚数単位 の平方が だから）順序付けることはできない。任意の順序体は実体である。.
行列の乗法
数学において、行列の対から別の行列を作り出す二項演算としての行列の乗法は、実数や複素数などの数が初等的な四則演算でいうところの乗法を持つことと対照的に、そのような「数の配列」の間の乗法として必ずしも一意的な演算を指しうるものではない。そのような意味では、一般に「行列の乗法」は幾つかの異なる二項演算を総称するものと考えることができる。行列の乗法の持つ重要な特徴には、与えられた行列の行および列の数（行列の型やサイズあるいは次元と呼ばれるもの）が関係して、得られる行列の成分がどのように特定されるかが述べられるということが挙げられる。 例えば、ベクトルの場合と同様に、任意の行列に対してスカラーを掛けるという操作が、その行列の全ての成分に同じ数を掛けるという方法で与えられる。また、の場合と同様に、同じサイズの行列に対して成分ごとの乗法を入れることによって定まる行列の積はアダマール積と呼ばれる。それ以外にも、二つの行列のクロネッカー積は区分行列として得られる。 このようにさまざまな乗法が定義できるという事情の中にあっても、しかし最も重要な行列の乗法は連立一次方程式やベクトルの一次変換に関するもので、応用数学や工学へも広く応用がある。これは通例、行列の積（ぎょうれつのせき、matrix product）と呼ばれるもので、 が 行列で、 が 行列ならば、それらの行列の積 が 行列として与えられ、その成分は の各行の 個の成分がそれぞれ順番に の各列の 個の成分と掛け合わされる形で与えられる（後述）。 この通常の積は可換ではないが、結合的かつ行列の加法に対して分配的である。この行列の積に関する単位元（数において を掛けることに相当するもの）は単位行列であり、正方行列は逆行列（数における逆数に相当）を持ち得る。行列の積に関して行列式は乗法的である。一次変換や行列群あるいは群の表現などの理論を考える上において行列の積は重要な演算となる。 行列のサイズが大きくなれば、二つあるいはそれ以上の行列の積の計算を定義に従って行うには、非常に膨大な時間が掛かるようになってしまうため、効果的に行列の積を計算できるアルゴリズムが考えられてきた。.
行列式
数学における行列式（ぎょうれつしき、）とは、正方行列に対して定義される量で、歴史的には行列が表す一次方程式の可解性を判定する指標として導入された。幾何的には線型空間またはより一般の有限生成自由加群上の自己準同型に対して定義され、線型変換によって空間の体積要素が何倍に変わるかという概念を抽象化したものと見なすことができる。行列の可逆性を判定する指標として線型代数学における最も重要な指標の一つと見なされている。.
被覆空間
数学、特に代数トポロジーにおいて、被覆写像(covering map)あるいは被覆射影(covering projection)とは、位相空間 C から X への連続全射 p のうち、 X の各点が p により「均一に被覆される」開近傍をもつものをいう。厳密な定義は追って与える。このとき C を被覆空間(covering space)、X を底空間(base space)と呼ぶ。この定義は、すべての被覆写像は局所同相であることを意味する。 被覆空間はホモトピー論、調和解析、リーマン幾何学、微分幾何学で重要な役割を果たす。たとえば、リーマン幾何学では、分岐は、被覆写像の考え方の一般化である。また、被覆写像はホモトピー群、特に基本群の研究とも深く関係する： X が十分によい位相空間であれば、X の被覆の同値類の集合と 基本群 π1(X) の共役な部分群の類全体との間に全単射が存在する（被覆の分類定理）。 from a topological space, C, to a topological space, X, such that each point in X has an open neighbourhood evenly covered by p (as shown in the image); the precise definition is given below.
複素数
数学における複素数（ふくそすう、complex number）は、実数の対 と と線型独立な（実数ではない）要素 の線型結合 の形に表される数（二元数: 実数体上の二次拡大環の元）で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数（四元数、八元数、十六元数など）の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係（つまり全順序）をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に（おおくは接頭辞「複素-」を付けることで）反映される。例えば、複素解析、複素行列、複素（係数）多項式、複素リー代数など。.
超球面
数学において、 次元球面（-じげんきゅうめん、n-sphere, n 球面）は普通の球面の ''n'' 次元空間への一般化である。任意の自然数 n に対して、半径 r の n 次元球面は中心点から距離 r にある (n + 1) 次元ユークリッド空間における点の集合として定義される。ここで半径 r は任意の正の実数でよい。したがって、原点を中心とする n 次元球面は によって定義される。これは (n + 1) 次元ユークリッド空間内に存在する n 次元多様体である。 特に：.
転置行列
転置行列（てんちぎょうれつ、transpose, transposed matrix）とは 行 列の行列 に対して の 要素と 要素を入れ替えた 行 列の行列、つまり対角線で成分を折り返した行列のことである。転置行列は などと示される。行列の転置行列を与える操作のことを転置（てんち、transpose）といい、「 を転置する」などと表現する。.
離散空間
数学の位相空間論周辺分野における離散空間（りさんくうかん、discrete space）は、その点がすべてある意味で互いに「孤立」しているような空間で、位相空間（またはそれと同様の構造）の非常に単純で極端な例の一つを与える。.
連結空間
位相幾何学や関連する数学の分野において、連結空間（れんけつくうかん、connected space）とは、2つ以上の互いに素な空でない開部分集合の和集合として表すことのできない位相空間のことである。空間の連結性は主要なの1つであり、位相空間の区別をつけることに利用できる。より強い意味での連結性として、弧状連結 (path-connected) という概念があり、これは任意の2点が道によって結べることをいう。 位相空間 X の部分集合が連結であるとは、X の相対位相によってそれ自身を位相空間と見たときに連結であることをいう。 連結でない空間の例は、平面から直線を取り除いたものがある。非連結空間（すなわち連結でない空間）の他の例には、平面からアニュラスを取り除いたものや、2つの交わりを持たない閉円板の和集合がある。ただし、これら3つの例はいずれも、2次元ユークリッド空間から誘導される相対位相を考えている。.
標数
標数（ひょうすう、characteristic）は、環あるいは体の特徴を表す非負整数のひとつ。整域の標数は 0 または素数に限られる。.
正則行列
正則行列（せいそくぎょうれつ、regular matrix）、非特異行列（ひとくいぎょうれつ、non-singular matrix）あるいは可逆行列（かぎゃくぎょうれつ、invertible matrix）とは行列の通常の積に関する逆元を持つ正方行列のこと、言い換えると逆行列が存在する行列のことである。 ある体上の同じサイズの正則行列の全体は一般線型群と呼ばれる群を成す。多項式の根として定められる部分群はあるいは行列群と呼ばれる代数群の一種で、その表現論が代数的整数論などに広い応用を持つ幾何学的対象である。.
有限体
有限体（ゆうげんたい、英語：finite field）とは、代数学において、有限個の元からなる体、すなわち四則演算が定義され閉じている有限集合のことである。主に計算機関連の分野においては、発見者であるエヴァリスト・ガロアにちなんでガロア体あるいはガロア域（ガロアいき、Galois field）などとも呼ぶ。 有限体においては、体の定義における乗法の可換性についての条件の有無は問題にはならない。実際、ウェダーバーンの小定理と呼ばれる以下の定理 が成り立つことが知られている。別な言い方をすれば、有限体において乗法の可換性は、体の有限性から導かれるということである。.
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
