ブラウザよりも高速アクセス！
71 関係: 半単純リー代数、単連結空間、可微分多様体、可縮空間、同型写像、三葉結び目、交換子部分群、代数的位相幾何学、位相同型、位相空間、位相群、余積、モノドロミー、モジュラー群、ユークリッド空間、リーマン面、リー群、ブラウワーの不動点定理、ブレイド群、ブーケ (数学)、フレヴィッツの定理、フェリックス・クライン、ドーヴァー出版、ホモロジー (数学)、ホモトピー、ホモトピー群、ベルンハルト・リーマン、分類空間、アンリ・ポアンカレ、アンドレ・ヴェイユ、アーベル多様体、アーベル群、ウェッジ和、グラフ理論、ケンブリッジ大学出版局、コンパクト空間、コンパクト群、シュプリンガー・サイエンス・アンド・ビジネス・メディア、円 (数学)、凸集合、商位相空間、全域木、全射、回転数 (数学)、積 (圏論)、等質空間、群 (数学)、群の中心、群の圏、群の直積、...、群の表示、群作用、群準同型、結び目補空間、点付き空間、特殊ユニタリ群、違いを除いて、被覆空間、複体、複素解析、関手、自由アーベル群、自由積、自由群、連続写像、連結空間、捩れ (代数学)、核 (代数学)、数学、整数、曲面。 インデックスを展開 (21 もっと) »
半単純リー代数
数学においてリー代数が半単純であるとは単純リー代数（自分自身と0以外にイデアルを持たないような非可換リー代数）の直和となる事をいう。 この記事内では特に注意しない限り \mathfrak g を標数0の体上の有限次元リー代数とする。以下の条件は全て同値である。.
新しい！!: 基本群と半単純リー代数 · 続きを見る »
単連結空間
連結であるが、穴のまわりを1周するループを考えればわかるように単連結ではない。穴を全てふさげば単連結となる。 位相幾何学における単連結空間（たんれんけつくうかん、simply connected space）とは、任意のループを連続的に1点に収縮できるような弧状連結空間のことである。.
可微分多様体
数学において、可微分多様体（かびぶんたようたい、differentiable manifold）、あるいは微分可能多様体（びぶんかのうたようたい）は、局所的に十分線型空間に似ており微積分ができるような多様体である。任意の多様体は、チャート（座標近傍、局所座標）の集まり、アトラス（座標近傍系、局所座標系）、によって記述することができる。各座標近傍は微積分の通常のルールが適用する線型空間の中にあるから、各々のチャートの中で考えるときには微積分学のアイデアを適用できる。チャートが適切に両立可能であれば（すなわち1つのチャートから別のチャートへの変換が微分可能であれば）、1つのチャートでなされた計算は任意の他の微分可能なチャートにおいても有効である。 フォーマルに言えば、可微分多様体は大域的に定義されたを持つ位相多様体である。任意の位相多様体にはアトラスの同相写像と線型空間上の標準的な微分構造を用いて局所的に微分構造を与えることができる。同相写像によって誘導された局所座標系上の大域的な微分構造を誘導するためには、アトラスのチャートの共通部分上での合成が対応する線型空間上の微分可能な関数でなければならない。言い換えると、チャートの定義域が重なっているところでは、各チャートによって定義された座標はアトラスのすべてのチャートによって定義された座標に関して微分可能であることが要求される。様々なチャートによって定義された座標を互いに結びつける写像を変換関数 (transition map/遷移写像/座標変換) と呼ぶ。 微分可能性は文脈によって連続微分可能、k 回微分可能、滑らか、正則といった異なる意味を持つ。さらに、抽象的な空間にそのような可微分構造を誘導できることによって微分可能性の定義を大域的な座標系なしの空間に拡張することができる。微分構造によって大域的に微分可能な接空間、微分可能な関数、微分可能なテンソル場やベクトル場を定義することができる。可微分多様体は物理においても非常に重要である。特別な種類の可微分多様体は古典力学、一般相対論、ヤン・ミルズ理論といった物理理論の基礎をなす。可微分多様体に対して微積分を展開することが可能である。これによって exterior calculus （外微分法/外微分学）のような数学的機構が導かれる。可微分多様体上の微積分の研究は微分幾何学と呼ばれる。.
新しい！!: 基本群と可微分多様体 · 続きを見る »
可縮空間
数学において、位相空間 X は次のようなとき可縮 (contractible) である。X 上の恒等写像が、すなわち、ある定値写像にホモトープである。直感的には、可縮空間は連続的に一点に縮められるような空間である。 可縮空間はちょうど点のホモトピー型の空間である。可縮空間のすべてのホモトピー群は自明であることが従う。それゆえ非自明なホモトピー群をもつ任意の空間は可縮ではありえない。同様に、特異ホモロジーはホモトピー不変であるから、可縮空間のはすべて自明である。 位相空間 X に対して以下は全て同値である（ここで Y は任意の位相空間である）.
同型写像
数学において，同型写像（isomorphismfrom the Ancient Greek: ἴσος isos "equal", and μορφή morphe "form" or "shape"）あるいは単に同型とは，は準同型写像あるいは射であって，逆射を持つものである逆関数ではない．．2つの数学的対象が同型 (isomorphic) であるとは，それらの間に同型写像が存在することをいう．自己同型写像は始域と終域が同じ同型写像である．同型写像の興味は2つの同型な対象は写像を定義するのに使われる性質のみを使って区別できないという事実にある．したがって同型な対象はこれらの性質やその結果だけを考える限り同じものと考えてよい． 群や環を含むほとんどの代数的構造に対して，準同型写像が同型写像であることと全単射であることは同値である． 位相幾何学において，射とは連続写像のことであるが，同型写像は同相写像あるいは双連続写像とも呼ばれる．解析学において，射は可微分関数であり，同型写像は微分同相とも呼ばれる． 標準的な同型写像 (canonical isomorphism) は同型であるようなである．2つの対象が標準的に同型 (canonically isomorphic) であるとは，それらの間に標準的な同型写像が存在することをいう．例えば，有限次元ベクトル空間 から二重双対空間への標準的な写像は標準的な同型写像である．一方， は双対空間に同型であるが，一般には標準的にではない． 同型写像は圏論を用いて形式化される．ある圏の射 が同型射であるとは，両側逆射を持つことをいう，すなわち，その圏における別の射 があって， かつ となる，ただし と はそれぞれ と の恒等射である．.
三葉結び目
三葉結び目（さんようむすびめ/みつばむすびめ、Trefoil knot）またはクローバー結び目とは、位相幾何学の一分野である結び目理論において、自明でない最も単純な結び目である。ロープワークでいうところの止め結びに相当する。 名前の由来は植物のクローバー。三葉結び目をあしらったデザインの彫刻やロゴなどは多く、例えばウェールズ大学の数学科は彫刻家のジョン・ロビンソンが作成した三葉結び目状の彫刻を学科のシンボルとしている。.
交換子部分群
数学、特に抽象代数学における群の交換子部分群（こうかんしぶぶんぐん、commutator subgroup）あるいは導来部分群（どうらいぶぶんぐん、derived subgroup）は、その群の交換子全体で生成される部分群である。 交換子部分群は、それによる商がアーベル群となるような正規部分群のうちで最小のものであるという点で重要である。すなわち、 がアーベル群となる必要十分条件は正規部分群 が交換子部分群を含むことである。ゆえにある意味で交換子部分群は、群がアーベル群からどれくらい離れているかを測るものということができる。つまり、交換子部分群が大きいほど、その群はアーベル群から遠くなる。.
新しい！!: 基本群と交換子部分群 · 続きを見る »
代数的位相幾何学
代数的位相幾何学（だいすうてきいそうきかがく、英語：algebraic topology、代数的トポロジー）は代数的手法を用いる位相幾何学の分野のことをいう。 古典的な位相幾何学は、図形として取り扱い易い多面体を扱っていたが、1900年前後のポワンカレの一連の研究を契機として20世紀に発展した。 ポワンカレは 1895年に出版した "Analysis Situs" の中で、ホモトピーおよびホモロジーの概念を導入した。これらはいまや代数的位相幾何学の大きな柱であると考えられている。 多様体、基本群、ホモトピー、ホモロジー、コホモロジー、ファイバー束などの、位相空間の不変量として代数系を対応させ、位相的性質を代数的性質に移して研究する．.
新しい！!: 基本群と代数的位相幾何学 · 続きを見る »
位相同型
位相同型 （いそうどうけい、homeomorphic）、あるいは同相（どうそう）とは、2つの位相空間が位相空間として等しいことを表す概念である。 例えば、球の表面と湯飲みの表面とはある「連続」な双方向の移し方で互いに移し合うことができるので同相であり、また穴が1つ開いたドーナツの表面 (トーラス) と持ち手がひとつあるマグカップの表面も同じく同相である。よって球の表面と湯のみの表面は位相幾何学的に全く同一の性質を持ち、ドーナツの表面とマグカップの表面も同一の性質を持つ。しかし、球面とトーラスとはこのような写し方が存在しないので同相とはならない。（直観的には、連続的な変形によって穴の個数が変化することはないということである。） ここで連続な写し方とは、直観的には近いところを近いところに写すような写し方を意味する。.
位相空間
数学における位相空間（いそうくうかん, topological space）とは、集合にある種の情報（位相、topology）を付け加えたもので、この情報により、連続性や収束性といった概念が定式化可能になる。 位相空間論は位相空間の諸性質を研究する数学の分野である。.
位相群
数学における位相群（いそうぐん、topological group）は、位相の定められた群であって、そのすべての群演算が与えられた位相に関して連続となるという意味において代数構造と位相構造が両立する。したがって位相群に関して、群としての代数的操作を行ったり、位相空間として連続写像について扱ったりすることができる。位相群のは、連続対称性を調べるのに利用でき、例えば物理学などにも多くの応用を持つ。 文献によっては、本項に言うところの位相群を連続群と呼び、単に「位相群」と言えば位相空間として T2（ハウスドルフの分離公理）を満たす連続群すなわちハウスドルフ位相群を意味するものがある。.
余積
圏論において、余積（よせき、双対積、双対直積、coproduct）あるいは圏論的和（わ、直和、sum, direct sum）は、集合の直和、位相空間の直和、群の自由積、加群やベクトル空間の直和などを例として含む圏論的構成である。対象の族の余積は本質的に、族の各対象がそこへの射をもつような「最も固有的でない (least specific)」対象である。それは圏論的（直）積の圏論的双対概念であり、これは定義がすべての矢印を逆にすることを除けば積と同じであることを意味する。名前と表記の一見無害な変化にも関わらず、余積は積と劇的に異なり得るし、典型的にはそうなる。.
モノドロミー
数学では、モノドロミー (monodromy) は、解析学、代数トポロジー、代数幾何学や微分幾何学の観点から特異点の周りで対象がどのように振舞うかを研究する。名前が意味しているように、モノドロミーの基本的な意味は、「ひとりで回る」という意味である。被覆写像と被覆写像の分岐点への退化とは密接に関係している。モノドロミー現象が生ずることは、定義したある函数が一価性に失敗することを意味し、特異点の周りを回る経路を動くことである。このモノドロミーの失敗は、モノドロミー群を定義することによりうまく測ることができる。モノドロミー群は、「回る」ことに伴い起きることをエンコードするデータに作用する群である。.
新しい！!: 基本群とモノドロミー · 続きを見る »
モジュラー群
数学においてモジュラー群(modular group)とは、数論、幾何学、代数学や他の現代の数学の分野における基礎研究対象であり、幾何学的変換群や行列群により表されるものである。.
新しい！!: 基本群とモジュラー群 · 続きを見る »
ユークリッド空間
数学におけるユークリッド空間（ユークリッドくうかん、Euclidean space）は、エウクレイデス（ユークリッド）が研究したような幾何学（ユークリッド幾何学）の場となる平面や空間、およびその高次元への一般化である。エウクレイデスが研究した平面や空間はそれぞれ、2次元ユークリッド空間、3次元ユークリッド空間に当たり、これらは通常、ユークリッド平面、ユークリッド空間などとも呼ばれる。「ユークリッド的」という修飾辞は、これらの空間が非ユークリッド幾何やアインシュタインの相対性理論に出てくるような曲がった空間ではないことを示唆している。 古典的なギリシャ数学では、ユークリッド平面や（三次元）ユークリッド空間は所定の公準によって定義され、そこからほかの性質が定理として演繹されるものであった。現代数学では、デカルト座標と解析幾何学の考え方にしたがってユークリッド空間を定義するほうが普通である。そうすれば、幾何学の問題に代数学や解析学の道具を持ち込んで調べることができるようになるし、三次元以上のユークリッド空間への一般化も容易になるといった利点が生まれる。 現代的な観点では、ユークリッド空間は各次元に本質的に一つだけ存在すると考えられる。たとえば一次元なら実数直線、二次元ならデカルト平面、より高次の場合は実数の組を座標にもつ実座標空間である。つまり、ユークリッド空間の「点」は実数からなる組であり、二点間の距離は二点間の距離の公式に従うものとして定まる。n-次元ユークリッド空間は、（標準的なモデルを与えるものという意味で）しばしば とかかれるが、（余分な構造を想起させない）ユークリッド空間固有の性質を備えたものということを強調する意味で と書かれることもある。ふつう、ユークリッド空間といえば有限次元であるものをいう。.
新しい！!: 基本群とユークリッド空間 · 続きを見る »
リーマン面
数学、特に複素解析においてリーマン面（Riemann surface）とは、連結な複素 1 次元の複素多様体のことである。ベルンハルト・リーマンにちなんで名付けられた。 リーマン面は、複素平面を変形したものと考えられる。 各点の近くで局所的には、複素平面の部分に似ているが、大域的位相は大きく異なり得る。例えば、球面、トーラス、または互いに糊付けした二枚の面のように見え得る。 リーマン面の主要な意味合いは、正則関数がそこで定義できることである。 今日、リーマン面は正則関数、特に、平方根や自然対数等の多価関数の大域的振る舞いを研究するための自然な土台と考えられている。 全てのリーマン面は向きづけ可能な実 2 次元の実解析的多様体（従って曲面）であって、正則関数を一義的に定義するために必要な追加的構造（特に複素構造）を含む。2 次元実多様体は、それが向き付け可能な場合、かつその場合に限り、（通常は、等価でない複数の方法により）リーマン面にすることができる。従って、球面やトーラスは複素構造を持ち得るが、メビウスの輪、クラインの壺および射影平面は持ち得ない。 リーマン面は、でき得る限り良い特性を有しているという幾何学的事実から、他の曲線、多様体または代数多様体に対し一般化の直感および動機をしばしばもたらす。リーマン・ロッホの定理は、この影響の第一の例である。.
リー群
リー群（リーぐん、Lie group）は群構造を持つ可微分多様体で、その群構造と可微分構造とが両立するもののことである。ソフス・リーの無限小変換と連続群の研究に端を発するためこの名がある。.
ブラウワーの不動点定理
ブラウワーの不動点定理（ブラウワーのふどうてんていり、）は、位相幾何学における不動点定理で、ライツェン・ブラウワーの名にちなむ。この定理では、コンパクト凸集合からそれ自身への任意の連続函数 f に対して、f(x0).
新しい！!: 基本群とブラウワーの不動点定理 · 続きを見る »
ブレイド群
数学において、 本の糸のブレイド群(braid group)（組みひも群とも呼ぶ）は、と記し、直感的には幾何学的に描かれる群であり、ある意味で 対称群 を一般化する。ここに は自然数であり、 であれば、 は(infinite group)である。ブレイド群は、結び目をあるブレイド（組みひも）の閉じた形として表現することができるので、結び目理論に応用を持つ。 n, is a group which has an intuitive geometrical representation, and in a sense generalizes the symmetric group.
ブーケ (数学)
数学における（円の）ブーケ（bouquet; 花束）は円の集まり（無限個でもよい）を一点で貼り合わせて得られる位相空間である。円のブーケのことをバラ (rose) ともいう。ブーケは自由群に近しい関係をもち、代数的位相幾何学において重要である。 円を束ねたブーケ (bouquet of circles) の一般化として、円 S1 の代わりに任意次元の球面 Sn を束ねて得られるブーケを球面のブーケ (bouquet of spheres) という。.
新しい！!: 基本群とブーケ (数学) · 続きを見る »
フレヴィッツの定理
数学において、フレヴィッチの定理（Hurewicz theorem）は、代数的位相幾何学の基本的結果であり、フレヴィッチ準同型と呼ばれる写像を通して、ホモトピー論とホモロジー論を結びつけるものである。定理の名前は、 (Witold Hurewicz) に因んでいて、アンリ・ポアンカレ (Henri Poincaré) による以前の結果を一般化した定理である。.
新しい！!: 基本群とフレヴィッツの定理 · 続きを見る »
フェリックス・クライン
フェリックス・クリスティアン・クライン（Felix Christian Klein, 1849年4月25日 - 1925年6月22日）は、ドイツの数学者。群論と幾何学との関係、関数論などの発展に寄与した。クラインの壺の考案者。ダフィット・ヒルベルトやアンリ・ポアンカレといった次の世代の数学者に影響を与えた。.
新しい！!: 基本群とフェリックス・クライン · 続きを見る »
ドーヴァー出版
ドーヴァー出版（英:Dover Publications）は、アメリカの出版社。本社はニューヨーク市にある。1941年設立。 元の出版元で絶版になった本の再出版で有名である。再出版する書籍にはパブリックドメインのものも多い。歴史的に意義深く質の高い本を丈夫な製本と安い値段で提供する方針のもとに、現在までに9,000タイトル以上の書籍を出版している。 古典文学、クラシック音楽の楽譜、18-19世紀の図版の再出版が特に有名である。また、学生から一般読者向けの数学・科学関連書籍や、軍事史、アメリカ史、奇術、チェスなど特定の分野の本の出版もしている。 著作権使用料無料（royalty-free）のデザイン・イラスト集を多く出版しており、画集的なものから、そのままコピーして使う素材集まで存在する。題材は19世紀以前のイラスト、アールヌーボーの意匠、伝統的な民族文様など多様である。CD-ROM付きのシリーズもある。コンピューター関連メディア企業オライリー社の初期の書籍表紙の動物の絵は、ドーヴァー出版の19世紀の版画図版から採用されたものである。.
新しい！!: 基本群とドーヴァー出版 · 続きを見る »
ホモロジー (数学)
数学、とくに代数的位相幾何学や抽象代数学において、ホモロジー (homology) （「同一である」ことを意味するギリシャ語のホモス (ὁμός) に由来）は与えられた数学的対象、例えば位相空間や群に、アーベル群や加群の列を対応させる一つの一般的な手続きをいう。より詳しい背景については ホモロジー論 を見られたい。また、ホモロジーの手法の位相空間に対する具体的な適用については特異ホモロジーを、群についてのそれは群コホモロジーを、それぞれ参照されたい。 位相空間に対しては、ホモロジー群は一般にホモトピー群よりもずっと計算しやすく、したがって、空間を分類する道具としてはより手軽に扱えるものといえるだろう。.
新しい！!: 基本群とホモロジー (数学) · 続きを見る »
ホモトピー
数学におけるホモトピー (homotopy)とは、点や線や面などの幾何学的対象、あるいはそれらの間の連続写像が連続的に移りあうということを定式化した位相幾何学における概念のひとつである。位相幾何学では、2 つの対象 A と X との関係のうち、連続的な変形によって保たれるものを問題とすることが多い。これらの関係はふつう連続写像 A → X を通して定義され、ホモトピーの概念は連続的に変形する連続写像の族によって定式化される。ホモトピー的な種々の不変量は位相幾何学の研究における基本的な道具となる。 考察している幾何学的対象に「穴」が開いていれば、端を固定された曲線はそれを越えて連続的に変形することができない。したがって、ホモトピーによって「穴」の有無や、単純な構成要素に分解したときのそれらの組み合わせ的なつながり具合といった構造を調べることができる。ホモトピーが威力を発揮するのは、空間や写像といった幾何学的な対象に対し群や準同型などという代数的な対象を対応づけることであり、またそのような代数的な対象がしばしばもとの幾何学的な対象よりも単純化されているということにある。 このように、代数的な道具によって空間と写像の位相的性質を調べるという方法をとる幾何学は、代数的位相幾何学と呼ばれる。.
ホモトピー群
数学において、ホモトピー群 (homotopy group) は代数トポロジーにおいて位相空間を分類するために使われる。1次の最も簡単なホモトピー群は基本群であり、空間のについての情報がわかる。直感的には、ホモトピー群は位相空間の基本的な形、穴、についての情報を持っている。 n 次ホモトピー群を定義するために、（付き）n 次元球面から与えられた（基点付き）空間の中への基点を保つ写像はと呼ばれる同値類へと集められる。2つの写像がホモトープ (homotopic) とは、一方から他方へ連続的に変形できることをいう。これらのホモトピー類たちが基点付きの与えられた空間 X の n 次ホモトピー群 (n-th homotopy group) と呼ばれる群 n(X) をなす。異なるホモトピー群を持つ位相空間は決して同じ（同相）ではないが、逆は正しくない。 のホモトピーの概念はカミーユ・ジョルダン (Camille Jordan) によって導入された。.
新しい！!: 基本群とホモトピー群 · 続きを見る »
ベルンハルト・リーマン
ルク・フリードリヒ・ベルンハルト・リーマン（Georg Friedrich Bernhard Riemann, 1826年9月17日 - 1866年7月20日）は、ドイツの数学者。解析学、幾何学、数論の分野で業績を上げた。アーベル関数に関する研究によって当時の数学者から高く評価されたが、先駆的な彼の研究は十分に理解されず、20世紀になって彼のそれぞれの研究分野で再評価されるようになった。19世紀を代表する数学者の一人である。 彼の名前が残っている数学用語に、リーマン積分、コーシー＝リーマンの方程式、リーマンのゼータ関数、リーマン多様体、リーマン球面、リーマン面、リーマン＝ロッホの定理、リーマン予想などがある。.
新しい！!: 基本群とベルンハルト・リーマン · 続きを見る »
分類空間
数学、特にホモトピー論では、位相群 G の分類空間(classifying space) BG は、G のにより空間 EG の商空間である（つまり、すべてのホモトピー群が自明となるような位相空間）。分類空間は、パラコンパクトな多様体上の任意の G 主バンドルが、主バンドル EG → BG の(pullback bundle)と同型となる性質を持つ。 離散群(discrete group) G に対し、BG は、大まかには、弧状連結な位相空間 X であり、X の基本群が G と同型となり、X の高次ホモトピー群が自明となる、つまり、BG は(Eilenberg-Maclane space)、または K(G,1) となる。, Theorem 2 For a discrete group G, BG is, roughly speaking, a path-connected topological space X such that the fundamental group of X is isomorphic to G and the higher homotopy groups of X are trivial, that is, BG is an Eilenberg-Maclane space, or a K(G,1).-->.
アンリ・ポアンカレ
ュール＝アンリ・ポアンカレ（、1854年4月29日 – 1912年7月17日）はナンシー生まれのフランスの数学者。数学、数理物理学、天体力学などの重要な基本原理を確立し、功績を残した。フランス第三共和制大統領・レーモン・ポアンカレはアンリの従弟（いとこ）。.
新しい！!: 基本群とアンリ・ポアンカレ · 続きを見る »
アンドレ・ヴェイユ
アンドレ・ヴェイユ（André Weil, 1906年5月6日 - 1998年8月6日）は、フランスの数学者で、20世紀を代表する数学者の一人である。思想家のシモーヌ・ヴェイユは妹、児童文学者のは娘である。.
新しい！!: 基本群とアンドレ・ヴェイユ · 続きを見る »
アーベル多様体
数学において、特に代数幾何学や複素解析や数論では、アーベル多様体(abelian variety)は、射影代数多様体であり、また正則函数(regular function)により定義することのできる群法則を持つ代数群でもある代数多様体を言う。アーベル多様体は、代数幾何の最も研究されている対象であり、同時に代数幾何学や数論やそれ以外の他の分野の研究の不可欠な道具である。 アーベル多様体は、任意の体に係数を持つ方程式により定義することができる。従って、多様体はその体の上で定義されると言う。歴史的には、最初研究されたアーベル多様体は複素数体上で定義された多様体であった。そのようなアーベル多様体はまさに複素射影空間へ埋め込むことができ複素トーラスであることが判明している。代数体上に定義されたアーベル多様体は、特別であり、数論の観点から重要である。環の局所化のテクニックは、数体上に定義されたアーベル多様体から有限体上や様々な局所体上に定義されたアーベル多様体を自然に導く。 アーベル多様体は代数多様体のヤコビ多様体（ピカール多様体のゼロ点の連結成分として）自然に現れてくる。アーベル多様体の群法則は必然的に可換となり、多様体は非特異となる。楕円曲線のアーベル多様体は次元が 1 である。アーベル多様体は小平次元が 0 である。.
新しい！!: 基本群とアーベル多様体 · 続きを見る »
アーベル群
数学、とくに抽象代数学におけるアーベル群（アーベルぐん、abelian group）または可換群（かかんぐん、commutative group）は、群演算が可換な群、すなわちどの二つの元の積も掛ける順番に依らず定まる群を言う。名称は、ノルウェーの数学者ニールス・アーベルに因む。 アーベル群は環や体、環上の加群やベクトル空間といった抽象代数学の概念において、その基礎となる加法に関する群（加法群）としてしばしば生じる。任意の抽象アーベル群についても、しばしば加法的な記法（例えば群演算は "+" を用いて表され、逆元は負符号を元の前に付けることで表す）が用いられ、その場合に用語の濫用で「加法群」と呼ばれることがある。また任意のアーベル群は整数全体の成す環 上の加群とみることができ、その意味でやはり用語の濫用だがアーベル群のことを「加群」と呼ぶこともある。 一般に可換群はに比べて著しく容易であり、とくに有限アーベル群の構造は具さに知られているが、それでも無限アーベル群論はいまなお活発な研究領域である。.
ウェッジ和
位相空間論や位相幾何学においてウェッジ和 (wedge sum) は位相空間の族の「一点和」である．具体的には， と が基点付き空間（すなわち区別された基点 および をもつ位相空間）であるとき， と のウェッジ和は と の直和において と同一視した商空間である： ただし は関係 である． より一般に， を基点 を持つ基点付き空間の族とする．この族のウェッジ和は次で与えられる： ただし は同値関係.
グラフ理論
ラフ理論（グラフりろん、graph theory）は、ノード（節点・頂点）の集合とエッジ（枝・辺）の集合で構成されるグラフに関する数学の理論である。グラフ (データ構造) などの応用がある。.
ケンブリッジ大学出版局
ンブリッジ大学出版局（Cambridge University Press）は、ケンブリッジ大学の出版事業を手がける出版社である。1534年、ヘンリー8世により特許状が発せられたのを起こりとする世界最古の出版社、かつ世界第2の規模の大学出版局であり、聖書や学術誌の出版も手掛けている。 「出版活動を通して、大学の理念である全世界における学問、知識、研究の促進を推し進めること」を使命として掲げている。これは、ケンブリッジ大学規約中の「Statute J」に規定されている。そして、「公益のため継続的に出版活動を行い、ケンブリッジという名前の評価を高めること」を目的としている。 ケンブリッジ大学出版局は、学術、教育分野の書籍の出版を行なっており、ヨーロッパ、中東、アフリカ、アメリカ、アジア太平洋といった地域で事業を展開している。世界中に50以上の事業所を持ち、2000人近くの従業員を抱え、4万以上のタイトルの書籍を発行している。その種類は、専門書、教科書、研究論文、参考書、 300近くに及ぶ学術誌、聖書、祈祷書、英語教育教材、教育ソフト、電子出版など、多岐にわたる。.
新しい！!: 基本群とケンブリッジ大学出版局 · 続きを見る »
コンパクト空間
数学において、コンパクト（compact）は位相空間の性質である。詳細は後述するがコンパクト性の定義それ自身は直観性に乏しいものであり、証明を容易にする為のいわば操作的なものである。しかし距離空間であればより直観的な言葉でいいかえる事ができ、特に有限次元のユークリッド空間においては有界閉集合であることとコンパクト集合であることとは同値になる。したがってコンパクトの概念はユークリッド空間における有界閉集合の概念を一般の位相空間に拡張したものとしてとらえる事ができる。 なお無限次元では有界閉集合はコンパクトとは限らず、例えばヒルベルト空間内の（縁を含んだ）単位球体は有界かつ閉集合であるがコンパクトではない（距離位相を入れた場合）。 ブルバキでは、ここでいう定義を満たす位相空間を準コンパクト（quasi-compact）と呼び、さらにハウスドルフの分離公理を満たすものをコンパクトであると呼んでいる。距離空間など多くの空間ではハウスドルフの分離公理が満たされるので両者の概念は一致するが、一般には注意が必要である。.
新しい！!: 基本群とコンパクト空間 · 続きを見る »
コンパクト群
数学において，コンパクト（位相）群とは位相がコンパクトな位相群である．コンパクト群は離散位相をいれた有限群の自然な一般化であり，重要な性質が持ち越される．コンパクト群は群作用と表現論に関してよく理解された理論を持つ． 以下では常に群はハウスドルフと仮定する．.
新しい！!: 基本群とコンパクト群 · 続きを見る »
シュプリンガー・サイエンス・アンド・ビジネス・メディア
ュプリンガー・サイエンス・アンド・ビジネス・メディア（Springer Science+Business Media, Springer）は、科学（Science）、技術（Technology、工学など）、医学（Medicine）、すなわちSTM関連の書籍、電子書籍、査読済みジャーナルを出版するグローバル企業である。シュプリンガーはまた、"SpringerLink"（「シュプリンガー・リンク」） 、"SpringerProtocols"（「」） 、"SpringerImages"（「シュプリンガー・イメージ」） 、"SpringerMaterials"（「シュプリンガー・マテリアル」） などいくつかの科学データベース・サービスのホスティングも行っている。 出版物には、参考図書（Reference works、レ（リ）ファレンス・ワークス）、教科書、モノグラフ（Monograph）、（Proceedings）、叢書など多数が含まれる。また、シュプリンガー・リンクには45,000以上のタイトルが自然科学など13の主題・テーマで集められており、それらは電子書籍として利用可能である。シュプリンガーはSTM分野の書籍に関しては世界最大の出版規模を持ち、ジャーナルでは世界第2位である（第1位はエルゼビア）。 多数のインプリントや、20ヶ国に約55の発行所（パブリッシング・ハウス）、5,000人以上の従業員を抱え、毎年約2,000のジャーナル、7,000以上の新書（これにはSTM分野だけではなく、B2B分野のものも含まれる）を発刊している。シュプリンガーはベルリン、ハイデルベルク、ドルトレヒト、ニューヨークに主要オフィスを構える。近年成長著しいアジア市場のために、アジア地域本部を香港に置いており、2005年8月からは北京に代表部を設置している 。 2015年5月、シュプリンガー・サイエンス+ビジネスメディアとマクミラン・サイエンス・アンド・エデュケーションの大半の事業の合併が、欧州連合や米国司法省などの主要な公正競争監視機関により承認された。新会社の名称は「シュプリンガー・ネイチャー（Springer Nature）」。.
新しい！!: 基本群とシュプリンガー・サイエンス・アンド・ビジネス・メディア · 続きを見る »
円 (数学)
数学において、円（えん）とは、平面（2次元ユークリッド空間）上の、定点 O からの距離が等しい点の集合でできる曲線のことをいう。ここで現れる定点 O を円の中心と呼ぶ。円には、その中心が1つあり、また1つに限る。中心から円周上の 1 点を結んだ線分を輻（や）とよび、その長さを半径というが、現在では輻のことを含めて半径と呼ぶことが多い。中心が点 O である円を、円 O と呼ぶ。定幅図形の一つ。 円が囲む部分、すなわち円の内部を含めて円ということもある。この場合は、曲線のことを円周という。これに対して、内部を含めていることを強調するときには円板という。また、三角形、四角形などと呼称を統一して、円形ということもある。 数学以外の分野ではこの曲線のことを「丸（まる）」という俗称で呼称することがある。 円: 中心、半径・直径、円周.
新しい！!: 基本群と円 (数学) · 続きを見る »
凸集合
ユークリッド空間における物体が凸（とつ、convex）であるとは、その物体に含まれる任意の二点に対し、それら二点を結ぶ線分上の任意の点がまたその物体に含まれることを言う。例えば中身のつまった立方体は凸であるが、例えば三日月形のように窪みや凹みのあるものは何れも凸でない。は凸集合の境界を成す。 凸集合の概念は後で述べるとおり他の空間へも一般化することができる。.
商位相空間
位相空間論およびそれに関連する数学の各分野において、等化空間（とうかくうかん、identification space）または商位相空間（しょういそうくうかん、quotient topological space）あるいは単に商空間 (quotient space) とは、直観的には与えられた空間のある種の点の集まりを「貼合せ」("gluing together") あるいは同一視してしまうことによって得られる新しい空間である。ただし、ここで貼合わせられるべき点の集まりというのは、何らかの同値関係によって決定される。 このような商空間構成は、与えられた位相空間から新たな空間を構成する方法の一つとして広く用いられる。.
全域木
4×4のグリッドグラフにおける全域木の一例 全域木（ぜんいきぎ、Spanning tree）、極大木（きょくだいき）、スパニング木、スパニングツリーとは、グラフ理論において、以下のように定義される木のことである。 つまり、あるグラフの全ての頂点とそのグラフを構成する辺の一部分のみで構成される木のことである。.
全射
数学において、写像が全射的（ぜんしゃてき、surjective, onto）であるとは、その終域となる集合の元は何れもその写像の像として得られることを言う。即ち、集合 から集合 への写像 について、 の各元 に対し となるような の元 が（一般には複数あってもよいが）対応させられるとき、写像 は全射 (surjection, onto mapping/function) であるという。全写（あるいは全写像）とも書く。 全射（および単射、双射）の語は20世紀フランスの数学結社ブルバキ（1935年以降『数学原論』シリーズを刊行している）により導入されたものである。接頭辞 sur- はフランス語で「上の」を意味し、写像の始域が終域全体をすっぽり覆い尽くすように写し込まれるイメージを反映したものになっている。sur, in, bi, jection いずれもラテン語源である。.
回転数 (数学)
数学において、与えられた点の周りの平面の閉曲線の回転数 (winding number) は曲線がその点の周りを反時計回りに周った総回数を表す整数である。回転数はに依存し、曲線が点の周りを時計回りに周れば負の数である。 回転数は代数トポロジーにおいて研究の基本的な対象であり、ベクトル解析、複素解析、幾何学的トポロジー、微分幾何学、弦理論を含む物理、において重要な役割を果たす。.
新しい！!: 基本群と回転数 (数学) · 続きを見る »
積 (圏論)
圏論において、考えている圏の二つの（あるいはそれ以上の）対象の（圏論的）積（せき、product）または直積 (direct product) は集合の直積（デカルト積）、群の直積、環の直積、位相空間の直積といった数学の他の分野における構成の背後にある本質を捉えるために考えられた概念である。本質的に対象の族の積は与えられた対象のそれぞれへの射をもつ「最も一般な」対象である。.
新しい！!: 基本群と積 (圏論) · 続きを見る »
等質空間
数学、とくにリー群、代数群、位相群の理論において、群 の等質空間（とうしつくうかん、homogeneous space）は、 が推移的に作用するような空でない多様体あるいは位相空間 である。 の元は の対称変換 (symmetry) と呼ばれる。特別な場合は、問題の が空間 の自己同型群であるときである――ここで「自己同型群」は、微分同相群、あるいはの意味である。この場合 が等質空間であるとは、直感的には が、等長写像（リジッド幾何学）、微分同相写像（微分幾何学）、あるいは同相写像（位相幾何学）の意味において、各点で局所的に同じに見えるということである。著者によっては の作用が忠実である（非単位元は非自明に作用する）ことを要求するが、本記事ではそうしない。したがって、 上のある「幾何学的構造」を保ち を単一の G-軌道にすると考えられるような の への群作用が存在する。.
群 (数学)
数学における群（ぐん、group）とは最も基本的と見なされる代数的構造の一つである。群はそれ自体興味深い考察対象であり、群論における主要な研究対象となっているが、数学や物理学全般にわたってさまざまな構成に対する基礎的な枠組みを与えている。.
新しい！!: 基本群と群 (数学) · 続きを見る »
群の中心
代数学における群 の核心または中心（ちゅうしん、center）この記法の Z はドイツ語で中心という意味の Zentrum に由来する。英語の center から のような記法が使われることも在るが、中心化群などと紛らわしい。 は の全ての元と可換となるような元全体の成す集合 である。 の中心は の部分群であり、定義からアーベル群（可換群）である。部分群としては、常に正規であり、特性的であるが必ずしも完全特性的 (fully characteristic) ではない。剰余群 は の内部自己同型群に同型である。 群 がアーベル群となることと となることとは同値である。これと正反対に、 が自明（つまり単位元のみからなる）ならば群 は中心を持たない (centerless) という。 中心に属する元はしばしば中心的 (central) であるといわれる。.
群の圏
数学の一分野である圏論における群の圏（ぐんのけん、category of groups） は、群すべてからなる類を対象の類とし、群準同型を射とする圏である。作り方からこれはを成す。代数学における群論は、この圏の研究であるとみなすこともできる。.
群の直積
数学、特に群論において、与えられたいくつかの群の直積（ちょくせき、direct product）は、それらを正規部分群として含むような新しい群を作る構成法である。.
群の表示
数学のとくに群論における、生成元と基本関係による群の表示（ぐんのひょうじ、presentation of group）とは、群をその生成元と生成元の間に成り立つ関係によって特定することを言う。一般に群はある自由群の全射準同型像なので必ず表示を持つが、それは一意的ではない。.
群作用
数学における群作用（ぐんさよう、group action）は、群を用いて物体の対称性を記述する方法である。.
群準同型
数学、特に群論における群の準同型写像（じゅんどうけいしゃぞう、group homomorphism）は群の構造を保つ写像である。準同型写像を単に準同型とも呼ぶ。.
結び目補空間
数学の結び目理論において、 (tame knot) K の結び目補空間 (knot complement) は結び目の周囲の3次元空間である。正確には、K が3次元多様体 M（とすることが最も多い）における結び目であるとする。N を K のとする。したがって N はである。すると結び目補空間は、N の補空間である： 結び目補空間 XK はコンパクトなである。XK の境界と近傍 N の境界は2次元トーラスに同相である。周囲の多様体 M は3次元球面であることもあるが、M が何かを決めるには文脈が必要である。絡み目補空間 (link complement) も同様に定義する。 結び目群のような多くの結び目不変量は実は結び目補空間の不変量である。周囲の空間が3次元球面の場合は（補空間を考えることで結び目の）情報は全く失われない：により、結び目はその補空間によって決定されるのである。つまり、K と K′ が同相な補空間を持つ2つの結び目のとき、一方の結び目を他方へと写す3次元球面の同相写像が存在する。.
新しい！!: 基本群と結び目補空間 · 続きを見る »
点付き空間
数学における点付き空間（てんつきくうかん、pointed space; （基）点付き（位相）空間）は、基点 と呼ばれる区別を受ける点を備えた位相空間を言う。基点というのは、その空間内から選び出された単に特定の一点ということに過ぎないのであるが、しかしいったん選び出されたならば一連の議論の間は基点を変えることはできないし、様々な操作においてその結果として基点がどうなるのかを追うことを免れ得ない。 点付き空間の間の点付き写像 とは、基点を保つ連続写像のことを言う。すなわち、点付き空間 から への点付き写像とは、写像 が各空間の位相 に関して連続で、 を満たすときに言い、それをふつうは のように書く。点付き空間は代数的位相幾何学、特にホモトピー論において重要であり、そこでは基本群などの様々な構成が、基点の選び方に依存して定まる。 点付き集合の概念は、点付き離散空間に他ならないから、重要性はやや落ちる。 点付き空間はしばしば、部分集合が一点集合であるような相対位相の特別の場合ととられる。そうすればホモトピー論の大部分は点付き空間上でふつうに展開でき、相対位相を代数的位相幾何学に持ち込むことができる。.
特殊ユニタリ群
次の特殊ユニタリ群（とくしゅユニタリぐん、special unitary group） とは、行列式が1の 次ユニタリ行列の為す群の事である。群の演算は行列の積で与えられる。 特殊ユニタリ群 はユニタリ群 の部分群であり、さらに一般線型群 の部分群である。 特殊ユニタリ群は素粒子物理学において、電弱相互作用のワインバーグ＝サラム理論や強い相互作用の量子色力学、あるいはそれらを統合した標準模型や大統一理論などに出てくる。.
新しい！!: 基本群と特殊ユニタリ群 · 続きを見る »
違いを除いて
数学の文脈における「—（の違い）を除いて…」 (… "up to" &mdash) という語句は、「— に関する差異を無視する」ことを意味する専門用語である。この言い回しの意味するところは、「適当な目的のもとでは、あるひとつの同値類に属する元全体を、何か単一の実体を表すものとみなせる」ということである。"—" の部分には、何らかの性質や、同じ同値類に属する元(つまり一方は他方に同値となるような元)の間の変換の過程を記述する内容が入る。 たとえば不定積分を計算するとき、その結果は「定数項の違いを除いて」 f(x) であるというように言うことができる。その意味は、f(x) 以外に不定積分 g(x) があったとしても g(x).
新しい！!: 基本群と違いを除いて · 続きを見る »
被覆空間
数学、特に代数トポロジーにおいて、被覆写像(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.
複体
単体複体（たんたいふくたい、simplicial complex）（略して複体（ふくたい、complex）ということもある）とは、複数の単体を、同じ次元の面（部分単体）同士で貼り合わせてできる図形である。代数的位相幾何学における単体集合は単体複体と混同されやすいが、単体集合は単体複体の圏論的な抽象化であり、単体圏からの関手として定義される概念として区別されるべきである。むしろ単体複体の性質から、各々の単体はその頂点の集合で完全に決定され、複体を頂点全体の集合とその部分集合の族の組として組合せ論的に表示することができる。この様に組合せ論的に表示された複体を抽象単体複体と呼ぶ。.
複素解析
数学の分科である複素解析（ふくそかいせき、complex analysis）は、複素数の関数に関わる微分法、積分法、変分法、微分方程式論、積分方程式論、複素函数論などの総称である。初等教育で扱う実解析に対比して複素解析というが、現代数学の基礎が複素数であることから、単に解析といえば複素解析を意味することが多い。複素解析の手法は、応用数学を含む数学、理論物理学、工学などの多くの分野で用いられている。.
関手
圏論における関手（かんしゅ、functor）は、圏から圏への構造と両立する対応付けである。関手によって一つの数学体系から別の体系への組織的な対応が定式化される。関手は「圏の圏」における射と考えることもできる。 関手の概念の萌芽はエヴァリスト・ガロアによる群を用いた代数方程式の研究に見ることができる。20世紀はじめのエミー・ネーターらによる加群の研究において拡大加群などさまざまな関手的構成が蓄積された。20世紀半ばの代数的位相幾何学において実際に関手が定義され、図形から様々な「自然な」代数的構造を取り出す操作を定式化するために利用された。ここでは（基本群のような）代数的対象が位相空間から導かれ、位相空間の間の連続写像は基本群の間の代数的準同型を導いている。その後アレクサンドル・グロタンディークらによる代数幾何学の変革の中でさまざまな数学的対象の関手による定式化が徹底的に追求された。.
自由アーベル群
抽象代数学において、自由アーベル群 (free abelian group) あるいは自由 Z-加群 (free Z-module) とは基底をもったアーベル群のことを言う。.
新しい！!: 基本群と自由アーベル群 · 続きを見る »
自由積
数学、とくに群論における自由積（じゆうせき、free product）は、2つの群 G, H から新しい群 G ∗ H を構成する操作である。G ∗ H は G と H をともに部分群として含み、G と H の元によって生成され、そして、これらの性質を持つ「最も一般的な」群である。G と H の一方が自明でないかぎり、自由積は必ず無限群である。自由積の構成は自由群（与えられた生成集合から作ることのできる最も一般的な群）の構成と類似している。 自由積は群の圏における余積である。つまり、自由積が群論において果たす役割は、集合論における非交和や加群論における直和のそれと同じである。もとの群が可換であったとしても、一方が自明でない限り、自由積は可換ではない。したがって、自由積はアーベル群の圏における余積ではない。 自由積はのために代数トポロジーにおいて重要である。この定理はある条件を満たす2つの弧状連結位相空間の和集合の基本群は常にもとの空間の基本群の融合積であるというものである。とくに2つの空間のウェッジ和（すなわち1点で2つの空間を貼りあわせて得られる空間）の基本群は単に空間の基本群の自由積である。 自由積はまた木に自己同型として作用する群の研究であるにおいても重要である。特に、木に対する有限頂点固定群を持つ任意の群作用は融合積とを用いて有限群から構成することができる。この理論において、双曲平面のある種の三角形分割上へのモジュラー群の作用を用いれば、モジュラー群が位数 および の巡回群の、位数 の巡回群上でとった融合積に同型となることが示せる。 群の自由積（＝余積）はの圏において考えるのが適している 。群の非交和は、群にはならないが、亜群にはなるという点に注目する。任意の亜群 は必ず普遍群 (universal group) を持つが、群の非交和の普遍群はそれら群の自由積（＝余積）に一致するのである。.
自由群
自由群（じゆうぐん、free group）とは、公理から来る自明なもの以外に元の間の等式がない群のことである。ただし、二つの元を取り出したとき、同じ元であるかどうか、および一方が他方の逆元であるかどうかは判定できる。.
連続写像
位相空間論において函数や写像が連続（れんぞく、continuous）であるというのは、ある特定の意味で位相空間の間の位相的構造を保つある種の準同型となっていることを意味し、それ自体が位相空間論における興味の対象ともなる。数学の他の領域における各種の連続性の定義も、位相空間論における連続性の定義から導出することができる。連続性は、空間の位相が同相（位相同型）であることの基礎となる概念であり、特に全単射な連続写像が同相写像であるための必要十分条件は、その逆写像もまた連続となることである。 連続でない写像あるいは函数は、不連続であると言う。 連続性と近しい関係にある概念として、一様連続性、同程度連続性、作用素の有界性などがある。 位相空間の間の写像の連続性の概念は、それが距離空間の間の連続函数の場合のような明確な「距離」の概念を一般には持たない分、より抽象的である。位相空間というのは、集合 とその上の位相（あるいは開集合系）と呼ばれる の部分集合族で（距離空間における開球体全体の成す族の持つ性質を一般化するように）合併と交叉に関する特定の条件を満足するものを組にしたもので、位相空間においても与えられた点の近傍について考えることができる。位相に属する各集合は の（その位相に関する）開部分集合と呼ばれる。.
連結空間
位相幾何学や関連する数学の分野において、連結空間（れんけつくうかん、connected space）とは、2つ以上の互いに素な空でない開部分集合の和集合として表すことのできない位相空間のことである。空間の連結性は主要なの1つであり、位相空間の区別をつけることに利用できる。より強い意味での連結性として、弧状連結 (path-connected) という概念があり、これは任意の2点が道によって結べることをいう。 位相空間 X の部分集合が連結であるとは、X の相対位相によってそれ自身を位相空間と見たときに連結であることをいう。 連結でない空間の例は、平面から直線を取り除いたものがある。非連結空間（すなわち連結でない空間）の他の例には、平面からアニュラスを取り除いたものや、2つの交わりを持たない閉円板の和集合がある。ただし、これら3つの例はいずれも、2次元ユークリッド空間から誘導される相対位相を考えている。.
捩れ (代数学)
抽象代数学において、捩れ（ねじれ、torsion）は、群の場合は、有限位数の元を言い、また環上の加群の場合は、環のある正則元によって零化される加群の元を言う。.
新しい！!: 基本群と捩れ (代数学) · 続きを見る »
核 (代数学)
数学において、準同型の核（かく、kernel）とは、その準同型の単射からのずれの度合いを測る道具である。代数系における準同型の核が "自明" (trivial) であることとその準同型が単射であることとが同値となる。.
新しい！!: 基本群と核 (代数学) · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
整数
数学における整数（せいすう、integer, whole number, Ganze Zahl, nombre entier, número entero）は、0 とそれに 1 ずつ加えていって得られる自然数 (1, 2, 3, 4, …) および 1 ずつ引いていって得られる数 (−1, −2, −3, −4, …) の総称である。 整数は数直線上の格子点として視覚化される 整数の全体からなる集合は普通、太字の Z または黒板太字の \mathbb Z で表す。これはドイツ語 Zahlen（「数」の意・複数形）に由来する。 抽象代数学、特に代数的整数論では、しばしば「代数体の整数環」の元という意味で代数的整数あるいは「整数」という言葉を用いる。有理数全体の成す体はそれ自身が代数体の最も簡単な例であり、有理数体の代数体としての整数環すなわち、「有理数の中で整なもの」の全体の成す環は、本項でいう意味での整数全体の成す環である。一般の「整数」との区別のためにここでいう意味の整数を有理整数 (rational integer) と呼ぶことがある接頭辞「有理（的）」(rational) はそもそも「整数比」であるという意味なので、この呼称は自己循環的にもみえる。しかし、有理整数と呼ぶ場合の「有理」は「有理数の中で」という程度の意味の単なる符牒であって、「整数比」という本来の意味合いに拘るのは徒労である。。.
曲面
数学、特に位相幾何学における曲面（きょくめん、surface）は二次元位相多様体である。最もよく知られた曲面の例は、古典的な三次元ユークリッド空間 R3 内の立体の境界として得られる曲面である。例えば、球体の境界としての球面はそのようなものの例になっている。他方でクラインの壷などの、特異点や自己交叉を持つことなしに三次元ユークリッド空間に埋め込み不可能な曲面というものも存在する。 曲面が「二次元」であるというのは、それが二次元の座標系を入れた「座標付きのきれはし」の貼り合せになっているということを指し示している。例えば、「地球の表面」は（理想的には）二次元球面であり、経線と緯線はその球面上の二次元座標系を与えている（ただし、両極を180度子午線で結んだ部分を除く）。.
