目次
30 関係: ねじれ群、単集合、可換体、可測関数、定数関数、対合、対合バナッハ環、不動点、位相群、位相群の群環、位数 (群論)、ハール測度、ヒルベルト空間、アーベル群、コンパクト群、全単射、線型部分空間、群 (数学)、群の表現、群作用、群環、群論、群準同型、畳み込み、関数 (数学)、自然数、連続写像、Graduate Texts in Mathematics、有限群、数学。
ねじれ群
群論における捩れ群（ねじれぐん、torsion group）または周期群（しゅうきぐん、periodic group）はその各元が有限位数を持つ群を言う。 任意の有限群は周期的である。なお、周期群と巡回群とは違うものである。; 定義: ねじれ群 に対して、そのすべての元の位数の最小公倍数を（存在すれば） の冪数 (exponent) と呼ぶ。 任意の有限群は冪数を持ち、それは の位数 の約数である。 有限群とねじれ群の間の関係性を扱うは、 が有限生成群とだけ仮定する場合には、古典的な問題である。それは冪数を特定することが有限性を導くかを問うもの（そして一般には答えは「否」）である。
見る 類関数とねじれ群
単集合
数学における単集合（たんしゅうごう、singleton; 単元集合、単項集合、一元集合）あるいは単位集合（）は、唯一の元からなる集合である。一つ組 (1-tuple) や単項列 (a sequence with one element) と言うこともできる。 例えば、 という集合は単集合である。
見る 類関数と単集合
可換体
抽象代数学において可換体（かかんたい、corps commutatif）あるいは単に体（たい、field）本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。（ガロア理論を含む）体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル-ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。
見る 類関数と可換体
可測関数
数学の、特に測度論の分野における可測関数（かそくかんすう、）とは、（積分論を展開する文脈として自然なものである）可測空間の間の、構造を保つ写像である。具体的に言えば、可測空間の間の関数が可測であるとは、各可測集合に対するその原像が可測であることを言う（これは位相空間の間の連続関数の定義の仕方と似ている）。 この定義は単純なようにも見えるが、σ-代数も併せて考えているということに特別な注意が払われなければならない。特に、関数 f: R → R がルベーグ可測であるといったとき、これは実際には fcolon (mathbb, mathcal) to (mathbb, mathcal) が可測関数であることを意味する。すなわち、その定義域と値域は、同じ台集合上で異なる σ-代数を持つものを表している（ここで mathcal はルベーグ可測集合全体の成す σ-代数であり、mathcal は R 上のボレル集合族である）。結果として、ルベーグ可測関数の合成は必ずしもルベーグ可測とはならない。ただし任意のルベーグ可測関数 fcolon (mathbb, mathcal) to (mathbb, mathcal) に対し f とほとんど至るところ一致するボレル可測関数 gcolon (mathbb, mathcal) to (mathbb, mathcal) が存在するので、ルベーグ測度0の集合上での違いを無視する文脈では可測関数同士の合成は再び可測関数となる。
見る 類関数と可測関数
定数関数
数学の分野における定数関数（ていすうかんすう、; 定値写像）とは、それがとりうる値が変数の変動によって変わらない定数値の関数（写像）のことを言う。例えば、関数 f(x)。
見る 類関数と定数関数
対合
対合（たいごう、ついごう、involution）は、自分自身をその逆として持つ写像である。 これは空間上の変換であって、二回繰り返すと恒等変換となる（元に戻る）という性質 を持つものと言ってもよい。ただし、それ自身が恒等変換となるものは通常は除いて考える。またこれは変換群に属する位数 2 の元 を指すと言っても同じことであり、それを理由に一般の群（抽象群）においても位数 2 の元を対合と呼ぶことがある。
見る 類関数と対合
対合バナッハ環
対合バナッハ環（ついごうバナッハかん、involutive Banach algebra; 対合バナッハ代数）、バナッハ *-環（バナッハ・スターかん、Banach *-algebra; バナッハ *-代数, バナッハ対合環）あるいは対合付きバナッハ環 (Banach algebra with involution) は、複素数体上のバナッハ環 で、対合 を持ち、以下の条件を満たす: および は任意、かつ は の複素共軛として。
見る 類関数と対合バナッハ環
不動点
不動点を三つ持つ関数 数学において写像の不動点（ふどうてん）あるいは固定点（こていてん、fixed point, fixpoint）とは、その写像によって自分自身に写される点のことである。
見る 類関数と不動点
位相群
数学における位相群（いそうぐん、topological group）は、位相の定められた群であって、そのすべての群演算が与えられた位相に関して連続となるという意味において代数構造と位相構造が両立する。したがって位相群に関して、群としての代数的操作を行ったり、位相空間として連続写像について扱ったりすることができる。位相群のは、連続対称性を調べるのに利用でき、例えば物理学などにも多くの応用を持つ。 文献によっては、本項に言うところの位相群を連続群と呼び、単に「位相群」と言えば位相空間として T2（ハウスドルフの分離公理）を満たす連続群すなわちハウスドルフ位相群を意味するものがある。
見る 類関数と位相群
位相群の群環
数学において、局所コンパクト群の群環（ぐんかん、group algebra）とは、その群の表現が適当な環の表現の表現として読み替えることができるような（いくつかの）構成法が与えられたときの、その環（ふつうは作用素環あるいはもっと一般のバナハ代数）を総称して呼ぶものである。そういった環は、位相を抜きにして考えた群に対する群環と同じような働きを果たす。
見る 類関数と位相群の群環
位数 (群論)
数学の分野である群論において、有限群の位数（order）はその濃度、すなわち、その集合に入っている元の個数である。また、群の元 a の位数（order, ときに period）は であるような最小の正の整数mである（ただし e は群の単位元を表し a は a の m 個のコピーの積を表す）。そのような m が存在しなければ、a の位数は無限であるという。 群 G の位数は ord(G) や |G| で表記され、元 a の位数は ord(a) や |a| 、それ以外では operatorname(langle a rangle) で表記される。ここで、やま括弧による記法は生成されたグループをあらわす。
見る 類関数と位数 (群論)
ハール測度
解析学におけるハール測度（ハールそくど、Haar measure）は、局所コンパクト位相群上で定義される正則不変測度である。ハンガリーの数学者アルフレッド・ハールにその名を因む。
見る 類関数とハール測度
ヒルベルト空間
数学におけるヒルベルト空間（ヒルベルトくうかん、Hilbert space）は、ダフィット・ヒルベルトにその名を因む、ユークリッド空間の概念を一般化したものである。これにより、二次元のユークリッド平面や三次元のユークリッド空間における線型代数学や微分積分学の方法論を、任意の有限または無限次元の空間へ拡張して持ち込むことができる。ヒルベルト空間は、内積の構造を備えた抽象ベクトル空間（内積空間）になっており、そこでは角度や長さを測るということが可能である。ヒルベルト空間は、さらに完備距離空間の構造を備えている（極限が十分に存在することが保証されている）ので、その中で微分積分学がきちんと展開できる。
見る 類関数とヒルベルト空間
アーベル群
数学、とくに抽象代数学におけるアーベル群（アーベルぐん、abelian group）または可換群（かかんぐん、commutative group）は、群演算が可換な群、すなわちどの二つの元の積も掛ける順番に依らず定まる群を言う。名称は、ノルウェーの数学者ニールス・アーベルに因む。 アーベル群は環や体、環上の加群やベクトル空間といった抽象代数学の概念において、その基礎となる加法に関する群（加法群）としてしばしば生じる。任意の抽象アーベル群についても、しばしば加法的な記法（例えば群演算は "+" を用いて表され、逆元は負符号を元の前に付けることで表す）が用いられ、その場合に用語の濫用で「加法群」と呼ばれることがある。また任意のアーベル群は整数全体の成す環 上の加群とみることができ、その意味でやはり用語の濫用だがアーベル群のことを「加群」と呼ぶこともある。
見る 類関数とアーベル群
コンパクト群
数学において、コンパクト（位相）群とは位相がコンパクトな位相群である。コンパクト群は離散位相をいれた有限群の自然な一般化であり、重要な性質が持ち越される。コンパクト群は群作用と表現論に関してよく理解された理論を持つ。 以下では常に群はハウスドルフと仮定する。
見る 類関数とコンパクト群
全単射
数学において、全単射（ぜんたんしゃ）あるいは双射（そうしゃ）(bijective function, bijection) とは、写像であって、その写像の終域となる集合の任意の元に対し、その元を写像の像とする元が、写像の定義域となる集合に常にただ一つだけ存在するようなもの、すなわち単射かつ全射であるような写像のことを言う。例としては、群論で扱われる置換が挙げられる。 全単射であることを1対1上への写像 (one-to-one onto mapping)あるいは1対1対応 (one-to-one correspondence) ともいうが、紛らわしいのでここでは使用しない。 写像 f が全単射のとき、f は可逆であるともいう。
見る 類関数と全単射
線型部分空間
数学、とくに線型代数学において、線型部分空間（せんけいぶぶんくうかん、linear subspace）または部分ベクトル空間（ぶぶんベクトルくうかん、vector subspace）とは、ベクトル空間の部分集合で、それ自身が元の空間の演算により線型空間になっているもののことである。 ベクトル空間のある部分集合が、それ自身ある演算に関してベクトル空間の構造を持っていたとしても、その演算がもとの空間の演算でないならば部分線型空間とは呼ばない、ということに注意されたい。また、文脈により紛れの恐れのない場合には、線型部分空間のことを単に部分空間と呼ぶことがある。
見る 類関数と線型部分空間
群 (数学)
数学における群（ぐん、group）とは、ある二項演算とその対象となる集合とを合わせて見たときに結合性を伴い単位元と逆元を備えるものをいう。数学において最も基本的と見なされる代数的構造の一つであり、数学や物理学全般において、さまざまな構成に対する基礎的な枠組みを与えている。群はそれ自体が研究対象であり、その領域は群論と呼ばれる。
見る 類関数と群 (数学)
群の表現
数学において、群の表現（ぐんのひょうげん、group representation）とは、抽象的な群 の元 に対して具体的な線形空間 の正則な線形変換としての実現を与える準同型写像 のことである。線型空間 の基底を取ることにより、 をより具体的な正則行列として表すことができる。
見る 類関数と群の表現
群作用
数学における群作用（ぐんさよう、group action）は、群を用いて対象の対称性を記述する方法である。
見る 類関数と群作用
群環
代数学において、与えられた群および環に対する群環（ぐんかん、group ring）は、与えられた群と環の構造を自然に用いて構成される。群環はそれ自身が、与えられた環を係数環とし与えられた群を生成系とする自由加群であって、なおかつ与えられた群の演算を生成元の間の演算として「線型に」延長したものを積とする環を成す。俗に言えば、群環は与えられた群の与えられた環の元を「重み」とする形式和の全体である。与えられた環が可換であるとき、群環は与えられた環上の多元環（代数）の構造を持ち、群多元環（ぐんたげんかん、group algebra; 群代数）（あるいは短く群環これは少々紛らわしいが、任意の群環は係数環の中心上の群多元環となるから、その文脈で何を係数環としているかが明らかならば混乱の虞は無いであろう。
見る 類関数と群環
群論
群論（ぐんろん、group theory）とは、群を研究する学問。 群の概念は抽象代数学における中心的な概念。 環・体・ベクトル空間などは、演算や公理が付与された群と看做すことができる。 群論の方法は代数学の大部分に強い影響を与えている。 線形代数群とリー群の理論は群論の一分野。 特に発展を遂げており、独自の適用範囲を持っている。 結晶や、水素原子などの構造の多くは、点群で表現できる。このように、群論は、物理学や化学の中に多くの実例・応用例がある。 1960年代 - 1980年代に発表された総計1万ページを超える論文によって、完全な有限単純群の分類が達成された。これは多くの数学者の共同作業の賜物であり、20世紀後半の数学において最も重要な業績の一つである。
見る 類関数と群論
群準同型
数学、特に群論における群の準同型写像（じゅんどうけいしゃぞう、group homomorphism）は群の構造を保つ写像である。準同型写像を単に準同型とも呼ぶ。
見る 類関数と群準同型
畳み込み
畳み込み（たたみこみ、convolution）とは、関数 を平行移動しながら関数 に重ね足し合わせる二項演算である。あるいはコンボリューションとも呼ばれる。
見る 類関数と畳み込み
関数 (数学)
数学における関数（かんすう、、、、 蘭: functie、、函数とも書かれる）とは、かつてはある変数に依存して決まる値あるいはその対応を表す式のことであった。この言葉はゴットフリート・ライプニッツによって導入された。その後定義が一般化され、現代では数の集合に値をとる写像の一種であると理解されるものとなった。
見る 類関数と関数 (数学)
自然数
自然数（しぜんすう、natural number）とは、個数もしくは順番を表す一群の数のことである。集合論においては、自然数は物の個数を数える基数のうちで有限のものであると考えることもできるし、物の並べ方を示す順序数のうちで有限のものであると考えることもできる。 自然数を 1, 2, 3, … とする流儀と、0, 1, 2, 3, … とする流儀があり、前者は数論などでよく使われ、後者は集合論、論理学などでよく使われる（詳しくは#自然数の歴史と零の地位の節を参照）。日本では高校教育課程においては0を入れないが、大学以降では0を含めることも多い（より正確には、代数学では0を含め、解析学では除外することが多い）。いずれにしても、0 を自然数に含めるかどうかが問題になるときは、その旨を明記する必要がある。自然数の代わりに前者を正整数、後者を非負整数と言い換えることによりこの問題を避けることもある。
見る 類関数と自然数
連続写像
数学において、関数または写像 が、定義域のある点 において連続（れんぞく、continuous）であるとは、 が において極限を保つこと、平たく言えば、 の入力 を に「限りなく近づける」ことで、その近づけ方によらず、出力 をも に「限りなく近づける」ことができるということである。特に定義域の全ての点において連続であるとき、 は連続関数（れんぞくかんすう、continuous function）または連続写像（れんぞくしゃぞう）という。連続でないことは不連続（ふれんぞく、discontinuous）という。 連続性は多項式関数や指数関数といった多くの初等関数が備える性質であり、実数値関数では連結集合の上で中間値の定理、コンパクト集合の上で最大値最小値定理が成り立つほか、微分可能であるための必要条件や積分可能であるための十分条件でもあるなど、解析学的に重要な性質を伴う。
見る 類関数と連続写像
Graduate Texts in Mathematics
Graduate Texts in Mathematics (Grad. Texts in Math., GTM) (ISSN 0072-5285) は、Springer-Verlag により出版されている数学の graduate-level（院レベル）のテキストのシリーズである。
見る 類関数とGraduate Texts in Mathematics
有限群
数学および抽象代数学において、有限群(ゆうげんぐん、finite group)とは台となっている集合 G が有限個の元しか持たない群のことである。20世紀の間数学者は、特に有限群のや、可解群や冪零群の理論などといった、有限群の理論のさまざまな面を深く研究していた。全ての有限群の構造の完全な決定は余りに遠大な目標だった: あり得る構造の数はすぐに圧倒的に大きくなった。しかし、単純群の完全な分類という目標は達成された。つまり任意の有限群の「組み立て部品」は現在では完全に知られている（任意の有限群は組成列を持つ）。 20世紀の後半には、シュヴァレーやといった数学者によってや関連する群の有限類似の理解が深まった。それらの群の族の一つには有限体上の一般線型群がある。
見る 類関数と有限群
数学
数学（すうがく）とは、数・量・図形などに関する学問であり、理学の一種。「算術・代数学・幾何学・解析学・微分法・積分法などの総称」とされる。 数学は自然科学の一種にも、自然科学ではない「形式科学」の一種にも分類され得る。
見る 類関数と数学