ブラウザよりも高速アクセス！
56 関係: 単調写像、単集合、反射関係、可換体、可換図式、双対、始対象と終対象、実数、完備半順序、二項関係、圏 (数学)、圏同値、区間 (数学)、ハッセ図、ハウスドルフ空間、トポロジカルソート、ツォルンの補題、ドーヴァー出版、ベクトル空間、オンライン整数列大辞典、グラフ理論、コルモゴロフ空間、ストーン双対性、スコット連続、冪集合、全順序、元 (数学)、因果集合、図式 (圏論)、値域、積位相、素因数、素数、終域、直積順序、直積集合、違いを除いて、順序群、複素数、計算機科学、距離空間、辞書式順序、部分集合、閉包 (位相空間論)、閉集合、自然数、推移関係、束 (束論)、有向点族、有向非巡回グラフ、...、有向集合、有理数、数学、数学的構造、整数、2の冪。 インデックスを展開 (6 もっと) »
単調写像
単調写像（たんちょうしゃぞう、monotonic function, monotone function）または単調関数は、単調性、すなわち順序集合の間の写像が順序を保つような性質を持つ写像のことである。具体的な例としては以下の単調増加関数および単調減少関数がある。 単調増加（たんちょうぞうか、monotonically increasing）とは、狭義には実数の値を持つ関数 が、 の増加につれて常に関数値 も増加することをいい、このような性質を持つ関数を単調増加関数（たんちょうぞうかかんすう、monotonically increasing function）と呼ぶ。同様に、引数 の増加につれて関数値 が常に減少することを単調減少（たんちょうげんしょう、monotonically decreasing）といい、そのような性質を持つ関数を単調減少関数（たんちょうげんしょうかんすう、monotonically decreasing function）と呼ぶ。従って、連続な単調増加関数 を縦軸、その引数 を横軸にとったグラフ上の曲線は常に右上りで、右下がりになっている部分がない。逆に単調減少関数の場合には、常に右下がりであり右上がりの部分がない。 ある関数が単調増加または単調減少する性質をまとめて単調性（たんちょうせい、monotonicity）と呼ぶ。.
単集合
数学における単集合（たんしゅうごう、singleton; 単元集合、単項集合、一元集合）あるいは単位集合（）は、唯一の元からなる集合である。一つ組 (1-tuple) や単項列 (a sequence with one element) と言うこともできる。 例えば、 という集合は単集合である。.
反射関係
反射関係（はんしゃかんけい、reflexive relation）は、数学における二項関係の一種。二項関係には反射性 (reflexivity) のものと非反射性 (irreflexivity) のものがある。なお、ここでの（二項）関係は X × X という形式であり、集合 X からそれ自身への関係である。.
可換体
抽象代数学において、可換体（かかんたい、corps commutatif）あるいは単に体（たい、field）本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。（ガロワ理論を含む）体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は（ゼロ除算を除いて）除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.
可換図式
5項補題の証明で使われる可換図式 数学、特に圏論において、可換図式 (commutative diagram) は、対象（あるいは頂点）と射（あるいは矢、辺）の図式であって、始点と終点が同じである図式のすべての向き付きの道が合成によって同じ結果になるようなものである。可換図式は代数学において方程式が果たすような役割を圏論において果たす（Barr-Wells, Section 1.7 を参照）。 図式は可換でないかもしれない、すなわち図式の異なる道の合成は同じ結果にならないかもしれないことに注意する。明確化のために、「この可換図式」(this commutative diagram) あるいは「図式は交換する」(the diagram commutes) といったフレーズが使われる。.
双対
双対（そうつい、dual, duality）とは、互いに対になっている2つの対象の間の関係である。2つの対象がある意味で互いに「裏返し」の関係にあるというようなニュアンスがある（双対の双対はある意味で "元に戻る"）。また、2つのものが互いに双対の関係にあることを「双対性がある」などとよぶ。双対は数学や物理学をはじめとする多くの分野に表れる。 なお読みについて、双対を「そうたい」と読む流儀もあり「相対 (relative)」と紛らわしい。並行して相対を「そうつい」と読む流儀もある。一般には「双対」を「そうつい」、「相対」を「そうたい」と呼び分ける場合が多いようである。 双対の具体的な定義は、双対関係の成立している対象の種類によって様々に与えられる。.
始対象と終対象
数学の抽象的な分野である圏論において、圏 の始対象（したいしょう、initial object, coterminal object）とは、 の任意の対象 に対してちょうど一つの射 が存在するような の対象 のことを指す。圏 の終対象（しゅうたいしょう、final object, terminal object）とは、始対象の双対概念であり、 の任意の対象 に対してちょうど一つの射 が存在するような の対象 のことを指す。 始対象でも終対象でもあるような対象は零対象（れいたいしょう、ゼロたいしょう、zero object, null object）と呼ばれる。点付き圏 とは零対象を持つ圏を言う。.
新しい！!: 順序集合と始対象と終対象 · 続きを見る »
実数
数学における実数（じっすう、 nombre réel, reelle Zahl, real number）は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.
完備半順序
数学の特に順序理論関連分野における有向完備半順序（ゆうこうかんびはんじゅんじょ、directed-complete partial order; dcpo）および ω-完備半順序（オメガかんびはんじゅんじょ、ω-complete partial order; ωcpo）あるいは単に cpoとは、半順序集合の特別なクラスで、によって特徴づけられる。完備半順序は理論計算機科学、表示的意味論、領域理論において中心的な役割を果たす。.
新しい！!: 順序集合と完備半順序 · 続きを見る »
二項関係
数学において、二項関係（にこうかんけい、binary relation）あるいは二変数関係 (dyadic relation, 2-place relation) は、集合 の元からなる順序対のあつまりである。別な言い方をすれば、直積集合 の部分集合を、集合 上の二項関係と呼ぶ。あるいはもっと一般に、二つの集合 に対して、 と との間の二項関係とは、直積 の部分集合のことをいう。 二項関係の一つの例は素数全体の成す集合 と整数全体の成す集合 の間の整除関係である。この整除関係では任意の素数 は、 の倍数である任意の整数 に関係を持ち、倍数でない整数には関係しないものとして扱われる。例えば、素数 が関係を持つ整数には などが含まれるが や は含まれない。同様に素数 が関係する整数として などが挙げられるが、 や はそうではない。 二項関係は数学のさまざまな分野で用いられ、不等関係、恒等関係、算術の整除関係、初等幾何学の合同関係、グラフ理論の隣接関係、線型代数学の直交関係などのさまざまな概念が二項関係として定式化することができる。また、写像の概念を特別な種類の二項関係として定義することもできる。二項関係は計算機科学においても重用される。 二項関係はn-項関係 （各 -番目の成分が関係の -番目の始集合 からとられているようなn-組からなる集合）で とした特別の場合である。 ある種の公理的集合論では（集合の一般化としての）類の上の関係を考えることができる。このような拡張は、集合論における元の帰属関係や包含関係の概念（に限った話ではないが）のモデル化を、ラッセルの逆理のような論理矛盾に陥らずに行うために必要である。.
圏 (数学)
数学の一分野である圏論において中核的な概念を成す圏（けん、category）は、数学的構造を取り扱うための枠組みであり、数学的対象をあらわす対象とそれらの間の関係を表す射の集まりによって与えられる。圏はそれ自体、群に類似した代数的構造として理解することができる 二つの圏が等しい（相等）とは、それらの対象の集まりが等しく、かつそれら対象の間の射の集まりが等しく、さらにそれら射の対の結合の仕方が相等となることを言う。圏論の目的に照らせば、圏がまったく相等しいことは非常に強すぎる条件であり（それよりも緩いでさえ強すぎる）、圏同値がしばしば考慮される（二つの圏が同値であるとは、大まかに言えば圏の相等において等式で与えられる関係を、それぞれの圏における同型で置き換えたものとして与えられる）。 圏論が初めて現れるのは Eilenberg–Mac Lane, "General Theory of Natural Equivalences" (1945) と題された論文である。古典的だが今もなお広く用いられる教科書として、マクレーンの がある。.
新しい！!: 順序集合と圏 (数学) · 続きを見る »
圏同値
数学、とりわけ圏論において、圏同値（けんどうち、equivalence of categories）とはふたつの圏が「本質的には同じである」という関係のことをいう。 多くの分野で圏同値の例がある。 圏同値を示すことで、対象になっている数学的な構造の間に強い相関関係があることがわかる。 場合によっては、その構造は表面的には無関係に見えるので、圏同値は有用である； つまりある定理を異なる数学的構造の定理に「翻訳」できることがある。 もしある圏が別の圏の双対圏と圏同値ならば、ふたつの圏は双対同値と言い、圏双対について論じることができる。 圏同値は圏の間の「可逆な」関手から成る。 しかしながら代数的な設定の下における同型とは異なり、関手とその「逆関手」の合成が恒等写像である必要はない。 その代わりに各対象が合成の像と自然同型であればよい。 そのため、このことはふたつの関手が「同型を除いて逆関手」であると言われたりする。 実際にという概念もあり、こちらは本当に関手が逆関手であることを要求するが、圏同値の概念に比べると実用性を欠く。.
区間 (数学)
数学における（実）区間（じつくかん、(real) interval）は、実数からなる集合で、その集合内の任意の二点に対しその二点の間にあるすべての数がその集合に属するという性質を持つものである。例えば、 を満たす数 全体の成す集合は、 と, およびその間の数すべてを含区間である。他の著しい例として、実数全体の成す集合, 負の実数全体の成す集合および空集合などが挙げられる。 実区間は積分および測度論において、「大きさ」「測度」「長さ」などと呼ばれる量を容易に定義できるもっとも単純な集合として重要な役割がある。測度の概念は実数からなるより複雑な集合に対して拡張され、ボレル測度やルベーグ測度といったような概念までにつながっていく。 不確定性や数学的近似および算術的丸めがあっても勝手な公式に対する保証された一定範囲を自動的に与える一般の法としてのを考えるにあたって、区間はその中核概念を成す。 勝手な全順序集合、例えば整数の集合や有理数の集合上でも、区間の概念は定義することができる。.
新しい！!: 順序集合と区間 (数学) · 続きを見る »
ハッセ図
ハッセ図（ハッセず、英: Hasse diagram）は、数学における有限半順序集合を単純に図示する方法のひとつで、半順序のを描いたものである。具体的には有限半順序集合 (S, ≤) があるとき、S の個々の元を頂点とし、x < y で、かつ x < z < y となるような z が存在しない場合にのみ x から y に上向きの線（辺）を描く（ここで二項関係 < は全ての x について (x, x) という元を ≤ から除くことで得られる）。 この場合、「 y は x をする」または「 y は x の immediate successor（直接の後続）である」という。さらに、各辺が両端の頂点以外を通らないように頂点を配置する必要がある。このような図（頂点にはラベルが付属するものとする）は半順序を一意に特定し、任意の有限な半順序では推移簡約が一意に定まる。ただし、図における元の配置の仕方は様々なものが考えられ、ひとつの順序集合に対して見た目の異なるハッセ図が多数存在することになる。 ハッセ図はドイツの数論学者ヘルムート・ハッセ（1898年–1979年）に因んで名付けられている。これはハッセが部分体や拡大体がなす半順序集合を図示するために効果的に活用したからである。しかし、ハッセが最初にこの図を使ったわけではなく、少なくとも では既にこの図が使われている。ハッセ図は半順序集合を手で図示する技法として生まれたが、最近ではグラフ描画技法を使って自動的に描くことができる。 「ハッセ図」という言葉は、個々のグラフの描画とは関係なく、抽象概念としての有向非循環グラフの推移簡約を指すこともある。ただし、本項目ではこの意味では使わない。.
ハウスドルフ空間
数学におけるハウスドルフ空間（ハウスドルフくうかん、Hausdorff space）とは、異なる点がそれらの近傍によって分離できるような位相空間のことである。これは分離空間(separated space)またはT2 空間とも呼ばれる。位相空間についてのさまざまな分離公理の中で、このハウスドルフ空間に関する条件はもっともよく仮定されるものの一つである。ハウスドルフ空間においては点列（あるいはより一般に、フィルターやネット）の極限の一意性が成り立つ。位相空間の理論の創始者の一人であるフェリックス・ハウスドルフにちなんでこの名前がついている。ハウスドルフによって与えられた位相空間の公理系にはこのハウスドルフ空間の公理も含まれていた。.
新しい！!: 順序集合とハウスドルフ空間 · 続きを見る »
トポロジカルソート
トポロジカルソート（topological sort）とは、グラフ理論において、有向非巡回グラフ（directed acyclic graph, DAG）の各ノードを順序付けして、どのノードもその出力辺の先のノードより前にくるように並べることである。有向非巡回グラフは必ずトポロジカルソートすることができる。 有向非巡回グラフのノードの集合に到達可能性関係 R (ノード x から y への(各辺の向きに逆行しない)経路が存在するとき、またそのときに限り xRy とする)を定めると、R は半順序関係となる。トポロジカルソートとは、この R を全順序になるように拡張したものとみなせる。.
新しい！!: 順序集合とトポロジカルソート · 続きを見る »
ツォルンの補題
集合論においてツォルンの補題（ツォルンのほだい、Zorn's lemma）またはクラトフスキ・ツォルンの補題（クラトフスキ・ツォルンのほだい）とは次の定理をいう。; 命題 (Zorn の補題) この定理は数学者マックス・ツォルンとカジミェシュ・クラトフスキに因む。.
新しい！!: 順序集合とツォルンの補題 · 続きを見る »
ドーヴァー出版
ドーヴァー出版（英:Dover Publications）は、アメリカの出版社。本社はニューヨーク市にある。1941年設立。 元の出版元で絶版になった本の再出版で有名である。再出版する書籍にはパブリックドメインのものも多い。歴史的に意義深く質の高い本を丈夫な製本と安い値段で提供する方針のもとに、現在までに9,000タイトル以上の書籍を出版している。 古典文学、クラシック音楽の楽譜、18-19世紀の図版の再出版が特に有名である。また、学生から一般読者向けの数学・科学関連書籍や、軍事史、アメリカ史、奇術、チェスなど特定の分野の本の出版もしている。 著作権使用料無料（royalty-free）のデザイン・イラスト集を多く出版しており、画集的なものから、そのままコピーして使う素材集まで存在する。題材は19世紀以前のイラスト、アールヌーボーの意匠、伝統的な民族文様など多様である。CD-ROM付きのシリーズもある。コンピューター関連メディア企業オライリー社の初期の書籍表紙の動物の絵は、ドーヴァー出版の19世紀の版画図版から採用されたものである。.
新しい！!: 順序集合とドーヴァー出版 · 続きを見る »
ベクトル空間
数学、特に線型代数学におけるベクトル空間（ベクトルくうかん、vector space）、または、線型空間（せんけいくうかん、linear space）は、ベクトルと呼ばれる元からなる集まりの成す数学的構造である。ベクトルには和が定義され、またスカラーと呼ばれる数による積（「スケール変換」）を行える。スカラーは実数とすることも多いが、複素数や有理数あるいは一般の体の元によるスカラー乗法を持つベクトル空間もある。ベクトルの和とスカラー倍の演算は、「ベクトル空間の公理」と呼ばれる特定の条件（後述）を満足するものでなければならない。ベクトル空間の一つの例は、力のような物理量を表現するのに用いられる幾何ベクトルの全体である（同じ種類の任意の二つの力は、加え合わせて力の合成と呼ばれる第三の力のベクトルを与える。また、力のベクトルを実数倍したものはまた別の力のベクトルを表す）。同じ調子で、ただしより幾何学的な意味において、平面や空間での変位を表すベクトルの全体もやはりベクトル空間を成す。 ベクトル空間は線型代数学における主題であり、ベクトル空間はその次元（大雑把にいえばその空間の独立な方向の数を決めるもの）によって特徴づけられるから、その観点からはよく知られている。ベクトル空間は、さらにノルムや内積などの追加の構造を持つこともあり、そのようなベクトル空間は解析学において主に函数をベクトルとする無限次元の函数空間の形で自然に生じてくる。解析学的な問題では、ベクトルの列が与えられたベクトルに収束するか否かを決定することもできなければならないが、これはベクトル空間に追加の構造を考えることで実現される。そのような空間のほとんどは適当な位相を備えており、それによって近さや連続性といったことを考えることができる。こういた位相線型空間、特にバナッハ空間やヒルベルト空間については、豊かな理論が存在する。 歴史的な視点では、ベクトル空間の概念の萌芽は17世紀の解析幾何学、行列論、連立一次方程式の理論、幾何ベクトルの概念などにまで遡れる。現代的な、より抽象的な取扱いが初めて定式化されるのは、19世紀後半、ペアノによるもので、それはユークリッド空間よりも一般の対象が範疇に含まれるものであったが、理論の大半は（直線や平面あるいはそれらの高次元での対応物といったような）古典的な幾何学的概念を拡張することに割かれていた。 今日では、ベクトル空間は数学のみならず科学や工学においても広く応用される。ベクトル空間は線型方程式系を扱うための適当な線型代数学的概念であり、例えば画像圧縮ルーチンで使われるフーリエ展開のための枠組みを提示したり、あるいは偏微分方程式の解法に用いることのできる環境を提供する。さらには、テンソルのような幾何学的および物理学的な対象を、抽象的に座標に依らない で扱う方法を与えてくれるので、そこからさらに線型化の手法を用いて、多様体の局所的性質を説明することもできるようになる。 ベクトル空間の概念は様々な方法で一般化され、幾何学や抽象代数学のより進んだ概念が導かれる。.
新しい！!: 順序集合とベクトル空間 · 続きを見る »
オンライン整数列大辞典
ンライン整数列大辞典（オンラインせいすうれつだいじてん、On-Line Encyclopedia of Integer Sequences, 以下 OEIS）は、無料で利用可能な整数列（各項が整数である数列）のオンラインデータベースである。 2018年3月時点で30万を超える整数列の情報が収められており、この種のデータベースとしては最大のものである。英単語や数列の一部分を入力することにより検索ができる。各々の項目は数列の名前に始まり、由来、参考文献、公式、キーワードなどの情報を含む。その他、数列を一定の規則で変換した音楽を聞くことができるといった遊び心もあり、数学の専門家から数学パズル愛好者まで幅広い利用者の興味を集めている。 コンテンツは基本的に全て英語である（各言語版も用意されているが、一部のごく簡単なメッセージが翻訳されているに過ぎない）。.
新しい！!: 順序集合とオンライン整数列大辞典 · 続きを見る »
グラフ理論
ラフ理論（グラフりろん、graph theory）は、ノード（節点・頂点）の集合とエッジ（枝・辺）の集合で構成されるグラフに関する数学の理論である。グラフ (データ構造) などの応用がある。.
新しい！!: 順序集合とグラフ理論 · 続きを見る »
コルモゴロフ空間
数学の位相空間論関連分野におけるコルモゴロフ空間（コルモゴロフくうかん、Kolmogorov space）あるいは T0-空間は、任意の二点に対して少なくともその一方が他方を含まぬ開近傍を持つような位相空間である。この条件は分離公理と呼ばれるものの一種で、T0-分離公理などと呼ばれ、直観的には空間の各点が位相的に識別可能であることを意味する。名称はアンドレイ・コルモゴロフの名に因む。.
新しい！!: 順序集合とコルモゴロフ空間 · 続きを見る »
ストーン双対性
トーンの双対性定理とは数学における定理で、（非常に弱いある種の制限を満たす）位相空間がある種の性質を満たす束と自然に対応づけられる事を意味し、この対応づけをストーン双対性(Stone duality)という。位相空間論は点集合論に基づいて通常定式化されるが、ストーン双対性により位相空間は束と対応づけられるので、この双対性は点集合論の代わりに束論に基いて位相空間論を定式化（ポイントレス位相空間論（pointless topology））できる事を意味する。この為本稿ではポイントレス位相空間論についても述べる。ストーンの双対性定理はストーンの表現定理の一般化でもある。.
新しい！!: 順序集合とストーン双対性 · 続きを見る »
スコット連続
数学において、二つの半順序集合 P と Q が与えられたとき、それらの間の関数 がスコット連続（スコットれんぞく、）であるとは、それがすべての有向上限を保存する、すなわち、上限を P に持つすべての有向部分集合 D に対し、その像は Q に上限を持ち、sup f (D).
新しい！!: 順序集合とスコット連続 · 続きを見る »
冪集合
冪集合（べきしゅうごう、power set）とは、数学において、与えられた集合から、その部分集合の全体として新たに作り出される集合のことである。べきは冪乗の冪（べき）と同じもので、冪集合と書くのが正確だが、一部分をとった略字として巾集合とも書かれる。 集合と呼ぶべき対象を公理的に構成的に与える公理的集合論では、集合から作った冪集合が集合と呼ばれるべきもののうちにあることを公理の一つ（冪集合公理）としてしばしば提示する。.
全順序
数学における線型順序（せんけいじゅんじょ、linear order）、全順序（ぜんじゅんじょ、total order）または単純順序（たんじゅんじゅんじょ、simple order）は、推移的、反対称かつ完全な二項関係を言う。集合と全順序を組にしたものは、全順序集合 (totally ordered set), 線型順序集合 (linearly ordered set), 単純順序集合 (simply ordered set) あるいは鎖 (chain) と呼ばれる。 即ち、集合 X が関係 ≤ によって全順序付けられるとき、X の任意の元 a, b, c に対して、以下の条件 が満足される。 反対称性によって a < b でも b < a でもあるような不確定な状態は排除される。完全性を持つ関係は、その集合の任意の二元がその関係でであることを意味する。これはまた、元を直線に並べた図式によってその集合が表せるということでもあり、それは「線型」順序の名の由来である。また完全性から反射性 (a ≤ a) が出るから、全順序は半順序の公理を満たす。半順序は（完全性の代わりに反射性のみが課されるという意味で）全順序よりも弱い条件である。与えられた半順序を拡張して全順序をえることは、半順序のと呼ばれる。.
元 (数学)
数学において元（げん、element）とは、集合を構成する個々の数学的対象のことである。ジュゼッペ・ペアノの導入した記法に従えば、対象 が集合 の元であることを と書き表す。このとき対象 が集合 に属する（ぞくする、membership）、あるいは集合 は対象 を含むとも言う。 「属する」という二項関係は、数学的対象と集合（あるいは一般にクラス）との間に定まる非対称な関係（帰属関係）である。外延性の公理により、集合はそれに属する全ての数学的対象を指定することで特徴づけられる。 通常用いられる においては基礎の公理が述べるところによって帰属関係は整礎、すなわち任意の集合は自身を元として含むことはない（帰属関係は反対称関係である）。しかし、基礎の公理の代わりにを置くではそのような制約を受けないが存在し得る。 帰属関係は推移的でない。これは集合の包含関係がそうであることと対照的である。.
新しい！!: 順序集合と元 (数学) · 続きを見る »
因果集合
因果集合 (causal sets) プログラムは量子重力へのアプローチの一つである。これは、時空は本質的に離散的であり時空の事象はすべて半順序によって関連しているという仮定に基づいている。この半順序は時空の事象間の因果関係という物理的意味を持っている。.
図式 (圏論)
集合論における添え字付き集合族に類似した概念が、圏論における図式である。一番の違いは、圏論では射にも添え字を付ける必要があることである。添え字付き集合族は、ある固定した集合で添え字付けた集合の集まりのことであり、これは、固定した添え字集合から集合全体のクラスへの関数のことであると言っているのと同じである。これに対して、図式は、ある固定した圏で添え字付けた対象と射の集まりのことであり、固定した添え字圏からある圏への関手のことであると言うこともできる。 図式は極限と余極限の定義において中心となる概念であり、とも関連している。.
新しい！!: 順序集合と図式 (圏論) · 続きを見る »
値域
数学、特に素朴集合論における写像の値域（ちいき、range）は、その写像の終域または像の何れかの意味で用いられる。現代的な用法ではほとんど全ての場合において「像」の意味である。.
積位相
位相幾何学とその周辺において、積空間（せきくうかん、product space）とは位相空間の族の直積に積位相 (product topology) と呼ばれるを入れた空間のことである。この位相は他の、もしかするとより明らかな、と呼ばれる位相とは異なる。箱位相も積空間に与えることができ、有限個の空間の直積では積位相と一致する。しかしながら、積位相は位相空間の圏における圏論的積であるという意味で「正しい」位相である。（一方箱位相は細かすぎる。）これが積位相が「自然」であるという意味である。.
素因数
数学において、ある自然数の素因数（そいんすう、prime factor）とは、その約数になる素数のことである。ある数の素因数を求めてその積の形で表すことを素因数分解という。例えば 60 は 22×3×5 と素因数分解されるので 60 の相異なる素因数は 2, 3, 5 の3つである。また、7 は素数であるため、7 の素因数は 7 自身のみとなる。素因数のことを素因子（そいんし）、素因数分解のことを素因子分解ということもある。 2つの自然数が互いに素であることと、2つの自然数が共通の素因数を持たないことは同値である。なお 1 は素因数を持たない数であり、したがって 1 は全ての（1 自身を含めた）自然数と互いに素である。 自然数の素因数分解の結果は、素因数を掛ける順番の違いを除けば一意的に決まる。この事実は算術の基本定理と呼ばれている。 スミス数は自然数であって、その素因数の数字の和と各桁の数字の和が等しい数のことである。また、ルース＝アーロン・ペアは連続する自然数の組であって、それぞれの素因数の和が互いに等しいような二数のことである。.
素数
素数（そすう、prime number）とは、 より大きい自然数で、正の約数が と自分自身のみであるもののことである。正の約数の個数が である自然数と言い換えることもできる。 より大きい自然数で素数でないものは合成数と呼ばれる。 一般には、素数は代数体の整数環の素元として定義される（そこでは反数などの同伴なものも素数に含まれる）。このため、有理整数環 \mathbb Z での素数は有理素数（ゆうりそすう、rational prime）と呼ばれることもある。 最小の素数は である。素数は無数に存在する。したがって、素数からなる無限数列が得られる。 素数が無数に存在することは、紀元前3世紀頃のユークリッドの著書『原論』で既に証明されていた。 自然数あるいは実数の中での素数の分布の様子は高度に非自明で、リーマン予想などの現代数学の重要な問題との興味深い結び付きが発見されている。 分散コンピューティング・プロジェクト GIMPS により、史上最大の素数の探求が行われている。2018年1月現在で知られている最大の素数は、2017年12月に発見された、それまでに分かっている中で50番目のメルセンヌ素数 であり、十進法で表記したときの桁数は2324万9425桁に及ぶ。.
終域
数学において写像の終域（しゅういき、codomain; 余域）あるいは終集合（しゅうしゅうごう、target set）は、写像を と表すときの集合 、すなわち写像 の出力する値がその中に属するべきという制約を定める集合をいう。終域の代わりに「値域」という語を用いる場合もあるが、値域は写像の像（出力される値すべてからなる集合、 で言えば ）の意味で用いることが多いので注意すべきである。.
直積順序
数学において、二つの順序集合 A と B が与えられたとき、そのデカルト積 A × B に対して、一つの半順序を以下のように導入することが出来る。 A × B 内の与えられた二つのペア (a1,b1) および (a2,b2) に対して、a1 ≤ a2 および b1 ≤ b2 が成り立つとき、そしてそのときに限り と定義する。 この順序は直積順序（ちょくせきじゅんじょ、）と呼ばれる。A × B 上の他の順序として、辞書式順序がある。 直積順序を伴うデカルト積は、単調函数を射とする半順序集合の圏における積である。.
直積集合
数学において、集合のデカルト積（デカルト­せき、Cartesian product）または直積（ちょくせき、direct product）、直積集合、または単に積（せき、product）、積集合は、集合の集まり（集合族）に対して各集合から一つずつ元をとりだして組にしたもの（元の族）を元として持つ新たな集合である。 具体的に二つの集合 に対し、それらの直積とはそれらの任意の元 の順序対 全てからなる集合をいう。 では と書くことができる。有限個の集合の直積 も同様のn-組からなる集合として定義されるが、二つの集合の直積を入れ子 (nested) にして、 と帰納的に定めることもできる。.
違いを除いて
数学の文脈における「—（の違い）を除いて…」 (… "up to" &mdash) という語句は、「— に関する差異を無視する」ことを意味する専門用語である。この言い回しの意味するところは、「適当な目的のもとでは、あるひとつの同値類に属する元全体を、何か単一の実体を表すものとみなせる」ということである。"—" の部分には、何らかの性質や、同じ同値類に属する元(つまり一方は他方に同値となるような元)の間の変換の過程を記述する内容が入る。 たとえば不定積分を計算するとき、その結果は「定数項の違いを除いて」 f(x) であるというように言うことができる。その意味は、f(x) 以外に不定積分 g(x) があったとしても g(x).
新しい！!: 順序集合と違いを除いて · 続きを見る »
順序群
抽象代数学における（半）順序群（じゅんじょぐん、ordered group）は、両側移動不変な順序関係を付加的な構造として備えた群である。.
複素数
数学における複素数（ふくそすう、complex number）は、実数の対 と と線型独立な（実数ではない）要素 の線型結合 の形に表される数（二元数: 実数体上の二次拡大環の元）で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数（四元数、八元数、十六元数など）の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係（つまり全順序）をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に（おおくは接頭辞「複素-」を付けることで）反映される。例えば、複素解析、複素行列、複素（係数）多項式、複素リー代数など。.
計算機科学
計算機科学（けいさんきかがく、computer science、コンピュータ科学）とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.
新しい！!: 順序集合と計算機科学 · 続きを見る »
距離空間
距離空間（きょりくうかん、metric space）とは、距離関数（きょりかんすう）と呼ばれる非負実数値関数が与えられている集合のことである。 古代より、平面や空間、地上の 2 点間の離れ具合を表す尺度である距離は測量や科学、数学において重要な役割を果たしてきた。1906年にモーリス・フレシェは、様々な集合の上で定義された関数の一様連続性の概念を統一的に研究した論文 において、ユークリッド空間から距離の概念を抽出して用い、距離空間の理論を築いた。 平面 R2 の上の 2 点 P1.
辞書式順序
数学における辞書式順序（じしょしきじゅんじょ、lexicographical order.）とはいくつかの順序集合の直積集合上に順序を定める方法の一つである。順序集合 と が与えられた際の直積集合 上の辞書式順序は として定められる。辞書式順序という名前は、この順序の定め方が辞書における項目の並べ方を一般化したものと見なせることに由来する。つまり、単語（文字の並び） が別の単語 の前に現れるのは が と異なるような最初の について、文字の順番の中で が より前に現れる場合である。このとき2つの単語は同じ長さ（文字数）であるものと仮定されているが、実際の辞書では普通短い単語の方を後ろにどんな文字よりも先の順番にある空白を付け加えることで単語の長さが揃っているものとして考える、という操作が行われる。.
新しい！!: 順序集合と辞書式順序 · 続きを見る »
部分集合
集合 A が集合 B の部分集合（ぶぶんしゅうごう、subset; 下位集合）であるとは、A が B の一部（あるいは全部）の要素だけからなることである。A が B の一部分であるという意味で部分集合という。二つの集合の一方が他方の部分集合であるとき、この二つの集合の間に包含関係があるという。.
閉包 (位相空間論)
数学において、位相空間の部分集合の閉包（へいほう、closure）は、その部分集合の触点（部分集合の点とそれらの集積点）を全て集めて得られる集合である。直観的には、部分集合の触点とはその部分集合の「いくらでも近く」にある点と考えられる。閉包の概念は様々な意味で開核の概念の双対になっている。.
新しい！!: 順序集合と閉包 (位相空間論) · 続きを見る »
閉集合
閉集合（へいしゅうごう、closed set）は、その補集合が開集合となる集合のこと。距離空間の場合はその部分集合の元からなる任意の収束点列の極限がその部分集合の元であることと一致するので、それを定義としてもよい。 例えば、数直線上で不等式 0 ≤ x ≤ 1 によって定まる集合は閉区間と呼ばれるが、これは閉集合である。なぜならば、その補集合である x < 0 または x > 1 を満たす区間が開集合となるからである。 不等式を 0 < x < 1 としたものや 0 ≤ x < 1 としたものは、閉集合ではない。 また、連続関数 f(x,y) を使って、\ と表される集合は平面の閉集合である。円周も平面の閉集合である。 次の性質を満たす集合 X の部分集合の族 F があると、 F の元が閉集合であるような位相が X に定まる。.
自然数
自然数（しぜんすう、natural number）とは、個数、もしくは順番を表す一群の数のことである。集合論においては、自然数は物の個数を数える基数のうちで有限のものであると考えることもできるし、物の並べ方を示す順序数のうちで有限のものであると考えることもできる。 自然数を 1, 2, 3, … とする流儀と、0, 1, 2, 3, … とする流儀があり、前者は数論などでよく使われ、後者は集合論、論理学などでよく使われる（詳しくは自然数の歴史と零の地位の節を参照）。いずれにしても、0 を自然数に含めるかどうかが問題になるときは、その旨を明記する必要がある。自然数の代わりに非負整数または正整数と言い換えることによりこの問題を避けることもある。 数学の基礎付けにおいては、自然数の間の加法についての形式的な逆元を考えることによって整数を定義する。正の整数ないしは負でない整数を自然数と同一視し、自然数を整数の一部として取扱うことができる。自然数と同様に整数の全体も可算無限集合である。 なお、文脈によっては、その一群に属する個々の数（例えば 3 や 18）を指して自然数ということもある。.
推移関係
推移関係（すいいかんけい、Transitive relation）は、数学における二項関係の一種。集合 X の二項関係 R が推移的であるとは、Xの任意の元 a、b、c について、a と b に R が成り立ち、b と c に R が成り立つとき、a と c にも R が成り立つことをいう。推移的関係とも。 一階述語論理でこれを表すと、次のようになる。.
束 (束論)
数学における束（そく、lattice）は、任意の二元集合が一意的な上限（最小上界、二元の結びとも呼ばれる）および下限（最大下界、二元の交わりとも呼ばれる）を持つ半順序集合である。それと同時に、ある種の公理的恒等式を満足する代数的構造としても定義できる。二つの定義が同値であることにより、束論は順序集合論と普遍代数学の双方の領域に属することとなる。さらに、半束 (semilattice) の概念は束の概念を含み、さらにハイティング代数やブール代数の概念も含む。これら束に関連する構造は全て順序集合としても代数系としても記述することができるという特徴を持つ。.
新しい！!: 順序集合と束 (束論) · 続きを見る »
有向点族
有向点族（ゆうこうてんぞく、directed family of points）とは、点列を一般化した概念で、ムーア (Eliakim Hastings Moore) とスミス (H. L. Smith) により1922年に定義された。有向点族はネット (net)、有向点列、 Moore-Smith 列などとも呼ばれる。 点列との違いは添え字にあり、点列が自然数という可算な全順序集合の元で添え字付けられるのに対し、有向点族はより一般的な順序集合である（可算または非可算な）有向集合の元で添え字付けられている。 有向点族の概念の利点として以下の２つがある：.
有向非巡回グラフ
有向非巡回グラフ、有向非循環グラフ、有向無閉路グラフ（ゆうこうひじゅんかいグラフ、Directed acyclic graph, DAG）とは、グラフ理論における閉路のない有向グラフの事。有向グラフは頂点と有向辺（方向を示す矢印付きの辺）からなり、辺は頂点同士をつなぐが、ある頂点 v から出発し、辺をたどり、頂点 v に戻ってこないのが有向非巡回グラフである。 有向非巡回グラフは様々な情報をモデル化するのに使われる。有向非巡回グラフにおける到達可能性は半順序を構成し、全ての有限半順序は到達可能性を利用し有向非巡回グラフで表現可能である。順序づけする必要があるタスクの集合は、あるタスクが他のタスクよりも前に行う必要があるという制約により、頂点をタスク、辺を制約条件で表現すると有向非巡回グラフで表現できる。トポロジカルソートを使うと、妥当な順序を手に入れることが出来る。加えて、有向非巡回グラフは一部が重なるシーケンスの集合を表現する際の空間効率の良い表現として利用できる。また、有向非巡回グラフはイベント間の因果関係を表現することにも使える。さらに、有向非巡回グラフはデータの流れが一定方向のネットワークを表現することにも使える。 無向グラフにおける対応する概念は森で、森は閉路のない無向グラフである。森から方向を選ぶと polytree と呼ばれる特殊な有向非巡回グラフを作ることが出来る。しかしながら、無向非巡回グラフ（森）に方向付けする方法では作れない有向非巡回グラフがあり、全ての無向グラフは acyclic orientation があるため、辺に方向付けると有向非巡回グラフになる。この理由から、directed acyclic graph と呼ぶよりも acyclic directed graph と呼ぶ方が正確である。 なお、有向非巡回グラフをプロトコルとした仮想通貨に、BYTEBALL、IOTAがある。.
新しい！!: 順序集合と有向非巡回グラフ · 続きを見る »
有向集合
数学における有向集合（ゆうこうしゅうごう、directed set）、有向前順序集合 (directed preordered set) あるいはフィルター付き集合 (filtered set) とは、空でない集合 A と反射的かつ推移的な二項関係（つまり前順序）≤ との組 (A, &le) であって、さらに任意の二元が上界を持つ、すなわち A の任意の元 a, b に対して、A の元 c で a ≤ c かつ b ≤ c を満たすものが必ず存在するものをいう。 有向集合は空でない全順序集合の一般化、すなわち任意の全順序集合は有向集合となるが、一方で必ずしも全ての半順序集合が有向集合となるわけではない。位相空間論において有向集合は列の概念を一般化する有向点族（ネット）の概念を定義するのに用いられ、それにより解析学で用いられる様々な極限の概念を統一的に扱うことが可能になる。有向集合から抽象代数学あるいはもっと一般の圏論における直極限の概念が生じる。.
有理数
有理数（ゆうりすう、rational number) とは、二つの整数 a, b （ただし b は 0 でない）をもちいて a/b という分数で表せる数のことをいう。b.
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
数学的構造
数学における構造（こうぞう、mathematical structure）とは、ブルバキによって全数学を統一的に少数の概念によって記述するために導入された概念である。集合に、あるいは圏の対象に構造を決めることで、その構造に対する準同型が構造を保つ写像として定義される。数学の扱う対象は、基本的には全て構造として表すことができる。.
新しい！!: 順序集合と数学的構造 · 続きを見る »
整数
数学における整数（せいすう、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) はそもそも「整数比」であるという意味なので、この呼称は自己循環的にもみえる。しかし、有理整数と呼ぶ場合の「有理」は「有理数の中で」という程度の意味の単なる符牒であって、「整数比」という本来の意味合いに拘るのは徒労である。。.
2の冪
2の冪（にのべき）は、適当な自然数 n を選べば、2 の n 乗 2n の形に表せる自然数の総称である。平たく言うと2の累乗数（にのるいじょうすう）である。.
ここにリダイレクトされます：
上界 (数学)、上限 (数学)、下界 (数学)、下限、半順序、半順序関係、半順序集合、極大、極大元、極小、極小元、最大下界、最大元、最小上界、最小元、順序、順序構造、順序的構造、順序関係。
