ブラウザよりも高速アクセス！
57 関係: 単調族、同値関係、多重集合、奇数、定義、実数、完全加法族、宇宙 (数学)、代数的構造、ラミナ族、ラテン文字、トランプ、ブール代数、ディンキン族、フラクトゥール、和集合、ギリシア文字、グロタンディーク宇宙、スート、セット (抽象データ型)、内包と外延、写像、全単射、公理的集合論、共通部分 (数学)、元 (数学)、四元数、空集合、筆記体、算法、無限、直積集合、順序対、複素数、要素、記号、部分集合、自然数、集合半環、集合体、集合環、集合論、集合族、束 (束論)、構成、次元、濃度 (数学)、指示関数、有理数、有限加法族、...、有限集合、文字、族 (数学)、数、数え上げ、数学、整数。 インデックスを展開 (7 もっと) »
単調族
集合族の一種である単調族（たんちょうぞく、monotone class）は、測度論においてより複雑な集合族を構成するために用いられる。.
同値関係
数学において、同値関係（どうちかんけい、equivalence relation）は反射的、対称的かつ推移的な二項関係を言う。これらの性質の帰結として、与えられた集合において、一つの同値関係はその集合を同値類に分割（類別）する。 同値関係にあることを表す記法は文献によって様々に用いられるけれども、与えられた集合上の同値関係 に関して二元 が同値であることを "" や "" で表すのがもっともよく用いられる記法である。 に関して同値であることを明示する場合には、"" や "" あるいは "" などと書かれる。.
多重集合
数学における多重集合（たじゅうしゅうごう、multiset）あるいはバッグ（bag; かばん）は、集合に同じ値の元がいくつも含まれるとき、各元がそれぞれいくつ含まれるかという重複度を考え合わせた集合概念である。非順序対、非順序組 (unordered tuple) ともいう。 クヌースによれば、1970年代に最初に多重集合 (multiset) という言葉を提案したのは、オランダ人数学者のニコラース・ホーバート・ド・ブラン (IPA) であるという クヌースは同書で、多重集合に対して提案された他の名前（例えば,リスト(list)、まとまり(bunch)、バッグ(bag)、堆積(heap)、標本(sample)、重みつき集合(weighted set)、コレクション(collection)、組(suite).など）も提示している。 多重集合の歴史に関するサーベイ論文である。 。しかし、数学における多重集合の概念は、"multiset" という名称がつけられる90年以上も前にすでに使用が認められる。実際、1888年に発表されたリヒャルト・デデキントの有名な論文 "Was sind und was sollen die Zahlen?" （「数とは何か、何であるべきか？」）において、実質的に多重集合の概念が用いられている。.
奇数
奇数（きすう、 odd number）とは、2で割り切れない整数のことをいう。一方、2で割り切れる整数のことは、偶数という。−15, −3, 1, 7, 19 などは全て奇数である。 10進法では、一の位が 1, 3, 5, 7, 9 である数は奇数である。2進法では、20 の位（すなわち一の位）が 1 ならば奇数で、0 ならば偶数である。一般に 2n 進法（n は自然数）において、ある数が偶数であるか奇数であるかは、一の位（n0 の位）を見るだけで判別できる。 偶数と奇数は、位数が2の体の例を与える。.
定義
定義（ていぎ）は、一般にコミュニケーションを円滑に行うために、ある言葉の正確な意味や用法について、人々の間で共通認識を抱くために行われる作業。一般的にそれは「○○とは・・・・・である」という言い換えの形で行われる。基本的に定義が決められる場合は1つである。これは、複数の場合、矛盾が生じるからである。.
実数
数学における実数（じっすう、 nombre réel, reelle Zahl, real number）は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.
完全加法族
数学における完全加法族（かんぜんかほうぞく、completely additive class）、可算加法族（かさんかほうぞく、countably additive class）あるいは (σ-)加法族、σ-集合代数（シグマしゅうごうだいすう、σ-algebra）、σ-集合体（シグマしゅうごうたい、σ-field）接頭辞 "σ" は「可算加法的」("completely additive") であることを示すのにしばしば用いられる。また、完全加法族では可算加法性と可算乗法性が補集合を取る操作を通じて同値になるので区別されないが、（乗法族における）積の可算性が δ- を用いることによって表される場合がある（δ-乗法族）。例えば、σ-集合環と δ-集合環など。''G''δ-集合と''F''σ-集合の項も参照。は、主な用途として測度を定義することに十分な特定の性質を満たす集合の集まりである。特に測度が定義される集合全体を集めた集合族は完全加法族になる。この概念は、解析学ではルベーグ積分に対する基礎付けとして重要であり、また確率論では確率の定義できる事象全体の成す族として解釈される。完全加法族を接頭辞「完全」を付けずに単に「加法族」と呼ぶことも多い（つまり、有限加法族の意味ならば接頭辞「有限」を省略しないのがふつう）ので注意が必要である。.
宇宙 (数学)
数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、Universe）とは議論領域のことである。 数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。.
新しい！!: 集合と宇宙 (数学) · 続きを見る »
代数的構造
数学において代数的構造（だいすうてきこうぞう、algebraic structure）とは、集合に定まっている算法（演算ともいう）や作用によって決まる構造のことである。代数的構造の概念は、数学全体を少数の概念のみを用いて見通しよく記述するためにブルバキによって導入された。 また、代数的構造を持つ集合は代数系（だいすうけい、algebraic system）であるといわれる。すなわち、代数系というのは、集合 A とそこでの算法（演算の規則）の族 R の組 (A, R) のことを指す。逆に、具体的なさまざまな代数系から、それらが共通してもつ原理的な性質を抽出して抽象化・公理化したものが、代数的構造と呼ばれるのである。 なお、分野（あるいは人）によっては代数系そのもの、あるいは代数系のもつ算法族のことを代数的構造とよぶこともあるようである。 後者は、代数系の代数構造とも呼ばれる。 現代では、代数学とは代数系を研究する学問のことであると捉えられている。.
ラミナ族
層族（そうぞく、laminar family; ラミナー族）は集合族の種類のひとつである。 集合 V の部分集合 A と B は、A と B の共通集合が空集合でなく、かつ B と A の差集合が空集合でなく、かつ A と B の差集合が空集合でないとき交差 (intersect) するという。 V の部分集合の族 \mathcal は \mathcal におけるどの 2 つの集合も互いに交差しないときラミナ族とよばれる。 層族 \mathcal が V を含むとき\mathcal は無交叉族 (cross-free family) であり、有向木で表現できる。.
ラテン文字
ラテン文字（ラテンもじ、abecedarium Latinum、Latin alphabet、ラテンアルファベット）は、表音文字（音素文字・アルファベット）の一つである。ローマ文字、ローマ字（alfabeto Romano、Roman alphabet）とも呼ばれる。 文字を右書きで横に並べることで単語を表記し、単語間を分かち書きで区切って並べることで文章を構成する。それぞれの文字は子音か母音を表す。 今日、人類社会で最も解読者人口が多い文字である。 元来ラテン語の文字で、古くから西欧・中欧の諸言語で使われているが、近代以降はこれら以外にも使用言語が多い。ただし発音の文字への表記方法は各言語ごとに異なっており、同じ綴りでも言語によって違う発音をすることはラテン文字においては全く珍しくない。英語など、古い時代に表記法が定められた言語においては表記と発音の間の乖離も大きなものとなってきている。.
トランプ
cœur ロワ・ド・クール（＝ハートのキング）が1枚見せてある。フランスのカードは、王などに具体的な人物像があてはめられていて、絵が1枚1枚異なっている。 ジョーカーが加わる。英語圏で普及。明治以降の日本でも普及した。 トランプは、日本ではカードを使用した室内用の玩具を指すために用いられている用語で、もっぱら4種各13枚の計52枚(+α)を1セットとするタイプのものを指して言うことが多い。「プレイング・カード」「西洋かるた」とも。多種多様なゲームに用いられるほか、占いの道具としても手品（マジック）の小道具としてもよく用いられる。 起源についてははっきりしておらず諸説あるが、中国など東方で発生したものがイスラーム圏に、そしてヨーロッパに伝えられた、とするのが、ひとつの有力な説である（→#歴史）。日本では16世紀にポルトガルからラテン・スートのタイプが伝来し普及したが、明治以降の日本では英米式のカードが普及している（→#日本への伝来、#日本で一般的なカード）。.
ブール代数
ブール代数（ブールだいすう、boolean algebra）またはブール束（ブールそく、boolean lattice）とは、ジョージ・ブールが19世紀中頃に考案した代数系の一つである。ブール代数の研究は束の理論が築かれるひとつの契機ともなった。ブール論理の演算はブール代数の一例であり、現実の応用例としては、組み合わせ回路（論理回路#組み合わせ回路）はブール代数の式で表現できる。.
ディンキン族
数学において、ディンキン族（ディンキンぞく、Dynkin system）あるいは λ-族とは、ある集合の部分集合の族であって、測度と親和性の良いいくつかの条件を満たすものである。.
フラクトゥール
フラクトゥール（独：、フラクトゥーア）は、ドイツ文字、亀の子文字、亀甲文字、ひげ文字などとも呼ばれる書体である。ドイツでは、第二次世界大戦頃までこの書体を印刷に常用していた。 フラクトゥールは、中世のヨーロッパで広く使われた、写本やカリグラフィーの書体を基にした活字体・ブラックレターの一種であり、最も有名なものである。時には、ブラックレターを全部指して「フラクトゥール」と呼ぶこともある。フラクトゥールの語源は、古いラテン語の分詞、frangere（壊す）、fractus（壊れた）であり、他のブラックレターや現在よく使われるローマ字体であるアンティカ体に比べて線が崩れているところに特徴がある。 イマニュエル・カントの書簡。「Breitkopf-Fraktur」というフラクトゥールを用いた文章の例 通常、大文字の I と J には外見上の違いがないか、あってもわずかな差異である。これは、両者の起源は同じであり、区別する必要があまりなかったためでもある。語尾以外では小文字 s に長いs（ - 小文字の f によく似ているが、横棒が右側へと貫かない）を用いる。（エス・ツェット）には 長いs と z の合字を用い、ch には、文字同士が接触しないものの、字間が通常より狭い合字をそれぞれ用いる。また、ウムラウト付きの文字 では、現在のウムラウト（点を横に2つ並べたもの）ではなく、その由来となった古い形、すなわち小さな e を文字の上に付した字形のものがしばしば見られる。ハイフンは、右上がりの二重線となる。.
新しい！!: 集合とフラクトゥール · 続きを見る »
和集合
数学において、集合族の和集合（わしゅうごう）、あるいは合併集合（がっぺいしゅうごう）、合併（がっぺい、）、あるいは演算的に集合の和（わ、sum）、もしくは'''結び'''（むすび、）とは、集合の集まり（集合族）に対して、それらの集合のいずれか少なくとも一つに含まれているような要素を全て集めることにより得られる集合のことである。.
ギリシア文字
リシア文字（ギリシアもじ）とは、ギリシア語を書き表すために用いられる文字である。現代ギリシア語では24文字からなる。.
グロタンディーク宇宙
数学におけるグロタンディーク宇宙（Grothendieck universe、Univers de Grothendieck）は次の性質をもった集合 U である：.
新しい！!: 集合とグロタンディーク宇宙 · 続きを見る »
スート
ート（suit）とは、トランプ、あるいはタロットの小アルカナに書かれているマークの事。スーツとも呼ぶ。近代以前の日本で行われた天正かるた・うんすんカルタなどでは「紋標（もんじるし）」と呼ばれることがある。.
セット (抽象データ型)
ット(set)とは、プログラミングで用いられる抽象データ型の一種。集合とも呼ばれる。順序のないデータの集まりを表現する抽象データ型であり、同一のデータは一つしか含まれないことが保証される。.
新しい！!: 集合とセット (抽象データ型) · 続きを見る »
内包と外延
内包（Intension）はある概念がもつ共通な性質のことを指し、外延（extension）は具体的にどんなものがあるかを指すものである。これらは互いに対義語の関係をもつ。.
写像
写像（しゃぞう、mapping, map）とは、二つの集合が与えられたときに、一方の集合の各元に対し、他方の集合のただひとつの元を指定して結びつける対応のことである。函数（関数）、変換、作用素、射などが写像の同義語として用いられることもある。 ブルバキに見られるように、写像は集合とともに現代数学の基礎となる道具の一つである。現代的な立場では、「写像」と（一価の）「函数」は論理的におなじ概念を表すものと理解されているが、歴史的には「函数」の語は解析学に出自を持つものであり、一部には必ずしも写像でないものも函数の名の下におなじ範疇に扱われる（多価函数参照）。文献によっては「数の集合（大抵の場合実数体 または複素数体 の部分集合）を終域に持つ写像」をして特に「函数」と呼び、「写像」はより一般の場合に用いる。函数、二項関係、対応の各項も参照のこと。.
全単射
数学において、全単射（ぜんたんしゃ）あるいは双射（そうしゃ）(bijective function, bijection) とは、写像であって、その写像の終域となる集合の任意の元に対し、その元を写像の像とする元が、写像の定義域となる集合に常にただ一つだけ存在するようなもの、すなわち単射かつ全射であるような写像のことを言う。例としては、群論で扱われる置換が全単射の良い例である。 全単射であることを一対一上への写像 (one-to-one onto mapping)あるいは一対一対応 (one-to-one correspondence) ともいうが、紛らわしいのでここでは使用しない。 写像 f が全単射のとき、fは可逆であるともいう。.
公理的集合論
公理的集合論（こうりてきしゅうごうろん、axiomatic set theory）とは、公理化された集合論のことである。.
共通部分 (数学)
数学において、集合族の共通部分（きょうつうぶぶん、intersection）とは、与えられた集合の集まり（族）全てに共通に含まれる元を全て含み、それ以外の元は含まない集合のことである。共通集合（きょうつうしゅうごう）、交叉（こうさ、交差）、交わり（まじわり、）、積集合（せきしゅうごう）、積（せき）、などとも呼ばれる。ただし、積集合は直積集合の意味で用いられることが多い。.
新しい！!: 集合と共通部分 (数学) · 続きを見る »
元 (数学)
数学において元（げん、element）とは、集合を構成する個々の数学的対象のことである。ジュゼッペ・ペアノの導入した記法に従えば、対象 が集合 の元であることを と書き表す。このとき対象 が集合 に属する（ぞくする、membership）、あるいは集合 は対象 を含むとも言う。 「属する」という二項関係は、数学的対象と集合（あるいは一般にクラス）との間に定まる非対称な関係（帰属関係）である。外延性の公理により、集合はそれに属する全ての数学的対象を指定することで特徴づけられる。 通常用いられる においては基礎の公理が述べるところによって帰属関係は整礎、すなわち任意の集合は自身を元として含むことはない（帰属関係は反対称関係である）。しかし、基礎の公理の代わりにを置くではそのような制約を受けないが存在し得る。 帰属関係は推移的でない。これは集合の包含関係がそうであることと対照的である。.
四元数
数学における四元数（しげんすう、quaternion（クォターニオン））は複素数を拡張した数体系である。四元数についての最初の記述は、1843年にアイルランドの数学者ウィリアム・ローワン・ハミルトンによってなされ、三次元空間の力学に応用された。四元数の特徴は、二つの四元数の積が非可換となることである。ハミルトンは、四元数を三次元空間内の二つの有向直線の商として定義した。これは二つのベクトルの商と言っても同じである。四元数をスカラーと三次元のベクトルとの和として表すこともできる。 一般に、四元数は の形に表される。ここで、 a, b, c, d は実数であり、i, j, k は基本的な「四元数の単位」である。 四元数は純粋数学のみならず応用数学、特に3Dグラフィクスやコンピュータビジョンにおいてでも用いられる。これはオイラー角や回転行列あるいはそれらに代わる道具などとともに、必要に応じて利用される。 現代数学的な言い方をすれば、四元数の全体は実数体上四次元の結合的ノルム多元体を成し、またそれゆえに非可換整域となる。歴史的には四元数の体系は、最初に発見された非可換多元体である。四元数全体の成すこの代数は、ハミルトンに因んで H（あるいは黒板太文字でユニコードの Double-Struck Capital H, U+210D, ）と書かれる。またこの代数を、クリフォード代数の分類に従って というクリフォード代数として定義することもできる。この代数 は解析学において特別な位置を占めている。というのも、フロベニウスの定理に従えば は実数の全体 を真の部分環として含む有限次元可除環の二種類しかないうちの一つ（もう一つは複素数の全体 ）だからである。 従って、単位四元数は三次元球面 上の群構造を選んだものとして考えることができて、群 を与える。これは に同型、あるいはまた の普遍被覆に同型である。.
空集合
集合（くうしゅうごう、empty set）は、要素を一切持たない集合の事である。公理的集合論において、空集合は公理として存在を仮定される場合と、他の公理から存在が導かれる場合がある。空集合を表す記号として、∅ または \emptyset、 がある。記号 ∅ はノルウェー語等で用いられるアルファベット Ø に由来しており、形の似ているギリシャ文字φ, Φ（ファイ）とは全く関係がない。.
筆記体
ラテン文字の筆記体で書かれた手紙。1894年の日付がある 筆記体（ひっきたい）とは書体のひとつである。 文字はもともと筆記で書かれるものからはじまり、その後さまざまな書体が開発されるという発展の様式をたどった。その中で筆記で書くのに適した一筆書きのように文字を続けて書く手書き文字、あるいはそれに似せた印刷用の書体（活字やコンピュータ用のフォントなど）のことを「筆記体」と呼ぶ。日本において筆記体と言えば通常はラテン文字のものを指し、フォントとして「イタリック」「カッパープレート」「カーシヴ・スクリプト」「ツァッフィーノ」などがある。 日本語文字などの漢字圏において同様のものとしては「行書体」「草書体」などがある。英語ではそれぞれ「セミ・カーシヴ（semi cursive、準筆記体の意）」「カーシヴ（cursive、筆記体の意）」と呼ばれる。一方、中国語圏ではラテン文字の筆記体を「手写体」（、）と呼ぶが「手写体」自体は篆書体や隷書体、楷書体などの美術的な書体を指す。（中国語版を参照）.
算法
n 項算法（エヌこうさんぽう）とは、広義には、集合 A の直積集合 An の部分集合 D から A への写像 f のことをいい、D をこの算法の定義域という。n は任意の順序数でよい。 これを（仮に）f の項数とよぶ。 An は i < n をみたす順序数 i を添数とする A の元の族 (ai)i<n すべてからなる集合を表す。 集合 A とそこにおける算法の族 R との組み (A, R) を代数系という。.
無限
無限（むげん、infinity、∞）とは、限りの無いことである。 直感的には「限界を持たない」というだけの単純に理解できそうな概念である一方で、直感的には有限な世界しか知りえないと思われる人間にとって、無限というものが一体どういうことであるのかを厳密に理解することは非常に難しい問題を含んでいる。このことから、しばしば哲学、論理学や自然科学などの一部の分野において考察の対象として無限という概念が取り上げられ、そして深い考察が得られている。 本項では、数学などの学問分野において、無限がどのように捉えられ、どのように扱われるのかを記述する。.
直積集合
数学において、集合のデカルト積（デカルト­せき、Cartesian product）または直積（ちょくせき、direct product）、直積集合、または単に積（せき、product）、積集合は、集合の集まり（集合族）に対して各集合から一つずつ元をとりだして組にしたもの（元の族）を元として持つ新たな集合である。 具体的に二つの集合 に対し、それらの直積とはそれらの任意の元 の順序対 全てからなる集合をいう。 では と書くことができる。有限個の集合の直積 も同様のn-組からなる集合として定義されるが、二つの集合の直積を入れ子 (nested) にして、 と帰納的に定めることもできる。.
順序対
数学における順序対（じゅんじょつい、ordered pair）は、座標 (coordinate) や射影 (projection) とも呼ばれるふたつの成分 (entry) を持つ対象を総称するものである。順序対では常に、第一成分（第一座標、左射影）と第二成分（第二座標、右射影）の対によって対象が一意に決定される。第一座標が a で第二座標が b であるような順序対は通常、(a, b) で表される。「順序」対という呼称は、a.
複素数
数学における複素数（ふくそすう、complex number）は、実数の対 と と線型独立な（実数ではない）要素 の線型結合 の形に表される数（二元数: 実数体上の二次拡大環の元）で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数（四元数、八元数、十六元数など）の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係（つまり全順序）をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に（おおくは接頭辞「複素-」を付けることで）反映される。例えば、複素解析、複素行列、複素（係数）多項式、複素リー代数など。.
要素
要素（ようそ、element）とは、事項の成立やその効力に必要で不可欠な条件のことである。.
記号
記号（きごう、Sign）とは、情報伝達や思考・感情・芸術などの精神行為の働きを助ける媒体のことである。狭義には、文字やマーク、絵など、意味を付された図形を指すが、広義には表現物、ファッションや様々な行為（およびその結果など）までをも含む。.
部分集合
集合 A が集合 B の部分集合（ぶぶんしゅうごう、subset; 下位集合）であるとは、A が B の一部（あるいは全部）の要素だけからなることである。A が B の一部分であるという意味で部分集合という。二つの集合の一方が他方の部分集合であるとき、この二つの集合の間に包含関係があるという。.
自然数
自然数（しぜんすう、natural number）とは、個数、もしくは順番を表す一群の数のことである。集合論においては、自然数は物の個数を数える基数のうちで有限のものであると考えることもできるし、物の並べ方を示す順序数のうちで有限のものであると考えることもできる。 自然数を 1, 2, 3, … とする流儀と、0, 1, 2, 3, … とする流儀があり、前者は数論などでよく使われ、後者は集合論、論理学などでよく使われる（詳しくは自然数の歴史と零の地位の節を参照）。いずれにしても、0 を自然数に含めるかどうかが問題になるときは、その旨を明記する必要がある。自然数の代わりに非負整数または正整数と言い換えることによりこの問題を避けることもある。 数学の基礎付けにおいては、自然数の間の加法についての形式的な逆元を考えることによって整数を定義する。正の整数ないしは負でない整数を自然数と同一視し、自然数を整数の一部として取扱うことができる。自然数と同様に整数の全体も可算無限集合である。 なお、文脈によっては、その一群に属する個々の数（例えば 3 や 18）を指して自然数ということもある。.
集合半環
数学における集合半環（しゅうごうはんかん、semiring）は、何らかの集合 X の部分集合の成す族で、これを用いて容易に集合環が構成できる。集合半環は古典的な測度の構成において有効な枠組みである。.
集合体
集合体.
集合環
数学における集合環（しゅうごうかん、ring）またはクランは、何らかの集合 X の部分集合族で、二つの集合演算に関する閉性条件を満たす。この概念は測度論において用いられる集合代数（集合体）と非常に近しく、測度の構成の初めは集合環において与えられたものを集合代数に拡張する形で与えられた。X の部分集合全体の成す（擬環として考えた）ブール環の部分集合と見れば、集合環はその（必ずしも単位的でない）部分環である。.
集合論
集合論（しゅうごうろん、set theory, théorie des ensembles, Mengenlehre）は、集合とよばれる数学的対象をあつかう数学理論である。 通常、「集合」はいろいろな数学的対象の集まりを表していると見なされる。これは日常的な意味でのものの集まりやその要素、特定のものが入っているかいないか、という概念を包摂している。現代数学の定式化においては集合論がさまざまな数学的対象を描写する言葉をあたえている。（論理や述語論理とともに）集合論は数学の公理的な基礎付けをあたえ、数学的な対象を形式的に（無定義語の）「集合」と「帰属関係」によって構成することが可能になる。また、集合論の公理として何を仮定するとどんな体系が得られるか、といった集合それ自体の研究も活発に行われている。 集合論における基本的な操作には、あたえられた集合のべき集合や直積集合をとる、などがある。また二つの集合の元同士の関係（二項関係）を通じて定義される順序関係や写像などの概念が集合の分類に重要な役割を果たす。集合論では二つの集合はそれぞれの集合の元の間に全単射が存在するとき濃度が等しいという。そこで集合を濃度の等しさによって類別した各々の同値類のことを濃度という。この定義では濃度は真のクラスになってしまうので、濃度そのものを集合論的な対象として取り扱い難い。選択公理を仮定すると任意の集合は整列可能であることが導かれる。整列集合の順序型を順序同型で類別した各々の同値類と定義してしまうと、それは真のクラスとなってしまう。幸いなことに任意の整列集合は順序数と呼ばれる特別な集合（を帰属関係で順序付けしたもの）と順序同型となる。そのためそれら順序数を整列集合の順序型と定義することができる。また順序数全体 \mathrm（これは真のクラスになる）もまた整列順序付けられている。以上のもとで、集合の濃度を と定義することができる。すなわち濃度というのを特別な順序数として定義するわけである。このようにすることで濃度の定義から真のクラスを追放することができる。ただし選択公理を仮定することなく濃度を定義し取り扱うことはできる。基本的なアイデアは濃度で類別した各々同値類から累積階層の意味で階数が最小なものだけを分出するというものである。詳細はを参照。.
集合族
数学の集合論関連分野における集合族（しゅうごうぞく、family of sets）は集合の「あつまり」である。ここで「集合の集合」といわず「集合のあつまり」としているのは、文脈によっては集合族が同じ集合をいくつも重複して持つ場合（しばしば添字付けられた族 (indexed family of sets) として扱われる）があったり、別の文脈では集合でない真の類 (proper class) となる場合があるなどの理由による。 特に与えられた集合 の部分集合のみを考えるとき、 の部分集合からなる集合は の部分集合族、 上の集合族あるいはなどと呼ぶ。グラフ理論の文脈では集合系はハイパーグラフとも呼ばれる。 また、自然数で添字付けられた（あるいは可算な）集合族は特にと呼ぶ（族 (数学)および列 (数学)の項も参照）。.
束 (束論)
数学における束（そく、lattice）は、任意の二元集合が一意的な上限（最小上界、二元の結びとも呼ばれる）および下限（最大下界、二元の交わりとも呼ばれる）を持つ半順序集合である。それと同時に、ある種の公理的恒等式を満足する代数的構造としても定義できる。二つの定義が同値であることにより、束論は順序集合論と普遍代数学の双方の領域に属することとなる。さらに、半束 (semilattice) の概念は束の概念を含み、さらにハイティング代数やブール代数の概念も含む。これら束に関連する構造は全て順序集合としても代数系としても記述することができるという特徴を持つ。.
構成
構成（こうせい）とは、目的に従って統一的にすることである。なお、ある目的に従って構成された組織のメンバーを構成員という。本項には哲学と美学における構成の概念を解説するがこの他にも音楽の作曲をさして構成という場合もある。(コンポーズ).
次元
次元（じげん）は、空間の広がりをあらわす一つの指標である。座標が導入された空間ではその自由度を変数の組の大きさとして表現することができることから、要素の数・自由度として捉えることができ、数学や計算機において要素の配列の長さを指して次元ということもある。自然科学においては、物理量の自由度として考えられる要素の度合いを言い、物理的単位の種類を記述するのに用いられる。 直感的に言えば、ある空間内で特定の場所や物を唯一指ししめすのに、どれだけの変数があれば十分か、ということである。たとえば、地球は3次元的な物体であるが、表面だけを考えれば、緯度・経度で位置が指定できるので2次元空間であるとも言える。しかし、人との待ち合わせのときには建物の階数や時間を指定する必要があるため、この観点からは我々は4次元空間に生きているとも言える。 超立方体正八胞体は四次元図形の例である。数学と無縁な人は「正八胞体は四つの次元を持つ」というような「次元」という言葉の使い方をしてしまうこともあるが、専門用語としての通常の使い方は「正八胞体は次元（として） 4 を持つ」とか「正八胞体の次元は 4 である」といった表現になる（図形の次元はひとつの数値であって、いくつもあるようなものではない）。 また、転じて次元は世界の構造を意味することがある。.
濃度 (数学)
数学、とくに集合論において、濃度（のうど）あるいは基数（きすう）（cardinal number, cardinality, power）とは、集合の「元の個数」という概念を拡張したものである。有限集合については、濃度は「元の個数」の同意語に過ぎない。。。.
新しい！!: 集合と濃度 (数学) · 続きを見る »
指示関数
数学において指示関数（しじかんすう、indicator function）、集合の定義関数、特性関数（とくせいかんすう、characteristic function）は、集合の元がその集合の特定の部分集合に属するかどうかを指定することによって定義される関数である。.
有理数
有理数（ゆうりすう、rational number) とは、二つの整数 a, b （ただし b は 0 でない）をもちいて a/b という分数で表せる数のことをいう。b.
有限加法族
数学において、有限加法族（ゆうげんかほうぞく、finitely additive class）あるいは集合体（しゅうごうたい、field of sets）、集合代数（しゅうごうだいすう、algebra of sets, algebra over a set）とは、冪集合が集合演算について成すブール代数の部分代数のことである。つまり、集合 S 上の有限加法族 (S, F ⊂ 2S) は、F の任意の二つの集合 A, B の結び A ∪ B, 交わり A ∩ B および任意の集合 M の全体集合 S に対する補集合 Mc.
有限集合
数学において、集合が有限（ゆうげん、finite）であるとは、自然数 n を用いて という形にあらわされる集合との間に全単射が存在することをいう（ただしここでは、n.
文字
文字（もじ）とは、言葉・言語を伝達し記録するために線や点を使って形作られた記号のこと。文字の起源は、多くの場合ものごとを簡略化して描いた絵文字（ピクトグラム）であり、それが転用されたり変形、簡略化されたりして文字となったと見られる。.
族 (数学)
数学における族（ぞく、family）は、添字付けされた元（要素）の（一般には非可算無限個の）集まりで、対、n-組、列などの概念の一般化である。系（けい、collection）と呼ぶこともある。元がどのような対象であるかによって、点族、集合族（集合系）、関数族（関数系）などと呼ばれる。.
数
数（かず、すう、number）とは、.
数え上げ
数え上げ（かぞえあげ）は、数学においては、ある集合に対し、その集合から自然数全体の成す集合への単射を定義することである。また、そのような単射が少なくとも1つ存在するならば数え上げ可能であると言い、1つも存在しないならば数え上げ不可能であると言う。.
数学
数学（すうがく、μαθηματικά, 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) はそもそも「整数比」であるという意味なので、この呼称は自己循環的にもみえる。しかし、有理整数と呼ぶ場合の「有理」は「有理数の中で」という程度の意味の単なる符牒であって、「整数比」という本来の意味合いに拘るのは徒労である。。.
